void expand(char s1[], char s2[], int size) {
  int i, j = 0;
  char c;
  for (i = 0; s1[i] != '\0'; i++)
    if (s1[i] == '-' && (i - 1) >= 0) {
      c = s1[i - 1];
      for (; j < size && c <= s1[i + 1]; j++)
        s2[j] = c++;
      j--;
    }
}


x86 assembly (clang, -O0):
<expand>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     11e6 <expand+0xe6>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
jne    11d3 <expand+0xd3>
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jl     11d3 <expand+0xd3>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x1d(%rbp)
mov    -0x1c(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x1e(%rbp)
jge    1197 <expand+0x97>
movsbl -0x1d(%rbp),%eax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
setle  %al
mov    %al,-0x1e(%rbp)
mov    -0x1e(%rbp),%al
test   $0x1,%al
jne    11a7 <expand+0xa7>
jmp    11ca <expand+0xca>
mov    -0x1d(%rbp),%dl
mov    %dl,%al
add    $0x1,%al
mov    %al,-0x1d(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1169 <expand+0x69>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    11d8 <expand+0xd8>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    111d <expand+0x1d>
pop    %rbp
ret

x86 assembly (clang, -O2):
<expand>:
push   %r15
push   %r14
push   %rbx
movslq %edx,%r8
xor    %r10d,%r10d
xor    %r9d,%r9d
jmp    1118 <expand+0x18>
test   %al,%al
je     1175 <expand+0x75>
add    $0x1,%r10
mov    (%rdi,%r10,1),%al
cmp    $0x2d,%al
jne    1110 <expand+0x10>
test   %r10,%r10
je     1114 <expand+0x14>
cmp    %edx,%r9d
jge    116f <expand+0x6f>
lea    0x1(%r10),%r11d
movzbl -0x1(%r10,%rdi,1),%r14d
movslq %r9d,%rax
lea    (%rsi,%rax,1),%r15
mov    %r8,%rcx
sub    %rax,%rcx
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    (%r14,%rbx,1),%rax
cmp    (%rdi,%r11,1),%al
jg     116c <expand+0x6c>
mov    %al,(%r15,%rbx,1)
add    $0x1,%rbx
cmp    %rbx,%rcx
jne    1150 <expand+0x50>
mov    %edx,%r9d
jmp    116f <expand+0x6f>
add    %ebx,%r9d
add    $0xffffffff,%r9d
jmp    1114 <expand+0x14>
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @expand(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i8
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
store i32 0, i32* %8
store i32 0, i32* %7
br label %10
10: ; preds = %68, %3
%11 = load i8*, i8** %4
%12 = load i32, i32* %7
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds i8, i8* %11, i64 %13
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = icmp ne i32 %16, 0
br i1 %17, label %18, label %71
18: ; preds = %10
%19 = load i8*, i8** %4
%20 = load i32, i32* %7
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i8, i8* %19, i64 %21
%23 = load i8, i8* %22
%24 = sext i8 %23 to i32
%25 = icmp eq i32 %24, 45
br i1 %25, label %26, label %67
26: ; preds = %18
%27 = load i32, i32* %7
%28 = sub nsw i32 %27, 1
%29 = icmp sge i32 %28, 0
br i1 %29, label %30, label %67
30: ; preds = %26
%31 = load i8*, i8** %4
%32 = load i32, i32* %7
%33 = sub nsw i32 %32, 1
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i8, i8* %31, i64 %34
%36 = load i8, i8* %35
store i8 %36, i8* %9
br label %37
37: ; preds = %61, %30
%38 = load i32, i32* %8
%39 = load i32, i32* %6
%40 = icmp slt i32 %38, %39
br i1 %40, label %41, label %52
41: ; preds = %37
%42 = load i8, i8* %9
%43 = sext i8 %42 to i32
%44 = load i8*, i8** %4
%45 = load i32, i32* %7
%46 = add nsw i32 %45, 1
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i8, i8* %44, i64 %47
%49 = load i8, i8* %48
%50 = sext i8 %49 to i32
%51 = icmp sle i32 %43, %50
br label %52
52: ; preds = %41, %37
%53 = phi i1 [ false, %37 ], [ %51, %41 ]
br i1 %53, label %54, label %64
54: ; preds = %52
%55 = load i8, i8* %9
%56 = add i8 %55, 1
store i8 %56, i8* %9
%57 = load i8*, i8** %5
%58 = load i32, i32* %8
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i8, i8* %57, i64 %59
store i8 %55, i8* %60
br label %61
61: ; preds = %54
%62 = load i32, i32* %8
%63 = add nsw i32 %62, 1
store i32 %63, i32* %8
br label %37
64: ; preds = %52
%65 = load i32, i32* %8
%66 = add nsw i32 %65, -1
store i32 %66, i32* %8
br label %67
67: ; preds = %64, %26, %18
br label %68
68: ; preds = %67
%69 = load i32, i32* %7
%70 = add nsw i32 %69, 1
store i32 %70, i32* %7
br label %10
71: ; preds = %10
ret void
}

LLVM IR (-O2):
define void @expand(i8* nocapture %0, i8* nocapture writeonly %1, i32 %2) {
%4 = sext i32 %2 to i64
br label %5
5: ; preds = %37, %3
%6 = phi i64 [ %39, %37 ], [ 0, %3 ]
%7 = phi i32 [ %38, %37 ], [ 0, %3 ]
%8 = getelementptr inbounds i8, i8* %0, i64 %6
%9 = load i8, i8* %8
switch i8 %9, label %37 [
i8 0, label %40
i8 45, label %10
]
10: ; preds = %5
%11 = icmp eq i64 %6, 0
br i1 %11, label %37, label %12
12: ; preds = %10
%13 = add i64 %6, 1
%14 = and i64 %13, 4294967295
%15 = getelementptr inbounds i8, i8* %0, i64 %14
%16 = icmp slt i32 %7, %2
br i1 %16, label %17, label %34
17: ; preds = %12
%18 = add nsw i64 %6, -1
%19 = getelementptr inbounds i8, i8* %0, i64 %18
%20 = load i8, i8* %19
%21 = sext i32 %7 to i64
br label %22
22: ; preds = %17, %27
%23 = phi i64 [ %21, %17 ], [ %30, %27 ]
%24 = phi i8 [ %20, %17 ], [ %28, %27 ]
%25 = load i8, i8* %15
%26 = icmp sgt i8 %24, %25
br i1 %26, label %32, label %27
27: ; preds = %22
%28 = add i8 %24, 1
%29 = getelementptr inbounds i8, i8* %1, i64 %23
store i8 %24, i8* %29
%30 = add nsw i64 %23, 1
%31 = icmp eq i64 %30, %4
br i1 %31, label %34, label %22
32: ; preds = %22
%33 = trunc i64 %23 to i32
br label %34
34: ; preds = %27, %32, %12
%35 = phi i32 [ %7, %12 ], [ %33, %32 ], [ %2, %27 ]
%36 = add nsw i32 %35, -1
br label %37
37: ; preds = %5, %10, %34
%38 = phi i32 [ %36, %34 ], [ %7, %10 ], [ %7, %5 ]
%39 = add nuw i64 %6, 1
br label %5
40: ; preds = %5
ret void
}