void expand(char s1[], char s2[]) {
  int lastChar, currentChar, j, from, to;
  j = 0;
  for (int i = 0; s1[i] != '\0'; i++) {
    if ((s1[i] >= 'a' && s1[i] <= 'z') || (s1[i] >= 'A' && s1[i] <= 'Z') ||
        (s1[i] >= '0' && s1[i] <= '9')) {
      currentChar = s1[i];
      lastChar = s1[i];
    }
    if (s1[i] == '-' && lastChar && s1[i + 1] != '\0') {
      int k;
      --j;
      for (k = lastChar; k < s1[i + 1]; k++) {
        s2[j] = k;
        j++;
      }
    } else {
      s2[j] = s1[i];
      j++;
    }
  }
  s2[j] = '\0';
}


x86 assembly (clang, -O0):
<expand>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     128d <expand+0x18d>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x61,%eax
jl     1159 <expand+0x59>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7a,%eax
jle    11ad <expand+0xad>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jl     1183 <expand+0x83>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5a,%eax
jle    11ad <expand+0xad>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     11cb <expand+0xcb>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     11cb <expand+0xcb>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
jne    125b <expand+0x15b>
cmpl   $0x0,-0x14(%rbp)
je     125b <expand+0x15b>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     125b <expand+0x15b>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x8(%rbp),%rcx
mov    -0x28(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jge    1256 <expand+0x156>
mov    -0x2c(%rbp),%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1213 <expand+0x113>
jmp    127a <expand+0x17a>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
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    127f <expand+0x17f>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    111a <expand+0x1a>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
pop    %rbp
ret

x86 assembly (clang, -O2):
<expand>:
mov    (%rdi),%dl
test   %dl,%dl
je     1198 <expand+0x98>
xor    %r9d,%r9d
xor    %r10d,%r10d
jmp    113d <expand+0x3d>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl %dl,%r8d
movslq %r10d,%rax
mov    %dl,(%rsi,%rax,1)
add    $0x1,%r10d
mov    0x1(%rdi,%r9,1),%al
add    $0x1,%r9
mov    %eax,%edx
test   %al,%al
je     119b <expand+0x9b>
mov    %edx,%eax
and    $0xdf,%al
add    $0xbf,%al
cmp    $0x1a,%al
jb     1120 <expand+0x20>
lea    -0x30(%rdx),%eax
cmp    $0x9,%al
jbe    1120 <expand+0x20>
cmp    $0x2d,%dl
jne    1124 <expand+0x24>
test   %r8d,%r8d
je     1124 <expand+0x24>
movsbl 0x1(%rdi,%r9,1),%eax
test   %eax,%eax
je     1124 <expand+0x24>
add    $0x1,%r9
add    $0xffffffff,%r10d
cmp    %eax,%r8d
jge    1137 <expand+0x37>
movslq %r10d,%rdx
add    %rsi,%rdx
mov    %r8d,%ecx
nopl   0x0(%rax,%rax,1)
mov    %cl,(%rdx)
add    $0x1,%ecx
movsbl (%rdi,%r9,1),%eax
add    $0x1,%rdx
add    $0x1,%r10d
cmp    %eax,%ecx
jl     1180 <expand+0x80>
jmp    1137 <expand+0x37>
xor    %r10d,%r10d
movslq %r10d,%rax
movb   $0x0,(%rsi,%rax,1)
ret

LLVM IR (-O0):
define void @expand(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store i8* %0, i8** %3
store i8* %1, i8** %4
store i32 0, i32* %7
store i32 0, i32* %10
br label %12
12: ; preds = %141, %2
%13 = load i8*, i8** %3
%14 = load i32, i32* %10
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i8, i8* %13, i64 %15
%17 = load i8, i8* %16
%18 = sext i8 %17 to i32
%19 = icmp ne i32 %18, 0
br i1 %19, label %20, label %144
20: ; preds = %12
%21 = load i8*, i8** %3
%22 = load i32, i32* %10
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i8, i8* %21, i64 %23
%25 = load i8, i8* %24
%26 = sext i8 %25 to i32
%27 = icmp sge i32 %26, 97
br i1 %27, label %28, label %36
28: ; preds = %20
%29 = load i8*, i8** %3
%30 = load i32, i32* %10
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i8, i8* %29, i64 %31
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
%35 = icmp sle i32 %34, 122
br i1 %35, label %68, label %36
36: ; preds = %28, %20
%37 = load i8*, i8** %3
%38 = load i32, i32* %10
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i8, i8* %37, i64 %39
%41 = load i8, i8* %40
%42 = sext i8 %41 to i32
%43 = icmp sge i32 %42, 65
br i1 %43, label %44, label %52
44: ; preds = %36
%45 = load i8*, i8** %3
%46 = load i32, i32* %10
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i8, i8* %45, i64 %47
%49 = load i8, i8* %48
%50 = sext i8 %49 to i32
%51 = icmp sle i32 %50, 90
br i1 %51, label %68, label %52
52: ; preds = %44, %36
%53 = load i8*, i8** %3
%54 = load i32, i32* %10
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i8, i8* %53, i64 %55
%57 = load i8, i8* %56
%58 = sext i8 %57 to i32
%59 = icmp sge i32 %58, 48
br i1 %59, label %60, label %81
60: ; preds = %52
%61 = load i8*, i8** %3
%62 = load i32, i32* %10
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds i8, i8* %61, i64 %63
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = icmp sle i32 %66, 57
br i1 %67, label %68, label %81
68: ; preds = %60, %44, %28
%69 = load i8*, i8** %3
%70 = load i32, i32* %10
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i8, i8* %69, i64 %71
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
store i32 %74, i32* %6
%75 = load i8*, i8** %3
%76 = load i32, i32* %10
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i8, i8* %75, i64 %77
%79 = load i8, i8* %78
%80 = sext i8 %79 to i32
store i32 %80, i32* %5
br label %81
81: ; preds = %68, %60, %52
%82 = load i8*, i8** %3
%83 = load i32, i32* %10
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i8, i8* %82, i64 %84
%86 = load i8, i8* %85
%87 = sext i8 %86 to i32
%88 = icmp eq i32 %87, 45
br i1 %88, label %89, label %128
89: ; preds = %81
%90 = load i32, i32* %5
%91 = icmp ne i32 %90, 0
br i1 %91, label %92, label %128
92: ; preds = %89
%93 = load i8*, i8** %3
%94 = load i32, i32* %10
%95 = add nsw i32 %94, 1
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds i8, i8* %93, i64 %96
%98 = load i8, i8* %97
%99 = sext i8 %98 to i32
%100 = icmp ne i32 %99, 0
br i1 %100, label %101, label %128
101: ; preds = %92
%102 = load i32, i32* %7
%103 = add nsw i32 %102, -1
store i32 %103, i32* %7
%104 = load i32, i32* %5
store i32 %104, i32* %11
br label %105
105: ; preds = %124, %101
%106 = load i32, i32* %11
%107 = load i8*, i8** %3
%108 = load i32, i32* %10
%109 = add nsw i32 %108, 1
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i8, i8* %107, i64 %110
%112 = load i8, i8* %111
%113 = sext i8 %112 to i32
%114 = icmp slt i32 %106, %113
br i1 %114, label %115, label %127
115: ; preds = %105
%116 = load i32, i32* %11
%117 = trunc i32 %116 to i8
%118 = load i8*, i8** %4
%119 = load i32, i32* %7
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds i8, i8* %118, i64 %120
store i8 %117, i8* %121
%122 = load i32, i32* %7
%123 = add nsw i32 %122, 1
store i32 %123, i32* %7
br label %124
124: ; preds = %115
%125 = load i32, i32* %11
%126 = add nsw i32 %125, 1
store i32 %126, i32* %11
br label %105
127: ; preds = %105
br label %140
128: ; preds = %92, %89, %81
%129 = load i8*, i8** %3
%130 = load i32, i32* %10
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds i8, i8* %129, i64 %131
%133 = load i8, i8* %132
%134 = load i8*, i8** %4
%135 = load i32, i32* %7
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds i8, i8* %134, i64 %136
store i8 %133, i8* %137
%138 = load i32, i32* %7
%139 = add nsw i32 %138, 1
store i32 %139, i32* %7
br label %140
140: ; preds = %128, %127
br label %141
141: ; preds = %140
%142 = load i32, i32* %10
%143 = add nsw i32 %142, 1
store i32 %143, i32* %10
br label %12
144: ; preds = %12
%145 = load i8*, i8** %4
%146 = load i32, i32* %7
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds i8, i8* %145, i64 %147
store i8 0, i8* %148
ret void
}

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