#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ strcat(char *, char *);
void expand(char *s1, char *s2) {
  char Alpha[26] = "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
  char alpha[26] = "abcdefghijklmnopqrstuvwxyz";
  char digits[10] = "0123456789";
  int i, j;
  i = 1;
  j = 0;
  while (s1[i]) {
    if (s1[i] == '-') {
      if (s1[i - 1] == 'a' && s1[i + 1] == 'z') {
        strcat(s2, alpha);
        i += 2;
        j += 26;
      }
      if (s1[i - 1] == 'A' && s1[i + 1] == 'Z') {
        strcat(s2, Alpha);
        i += 2;
        j += 26;
      }
      if (s1[i - 1] == '0' && s1[i + 1] == '9') {
        strcat(s2, digits);
        i += 2;
        j += 10;
      }
    } else {
      s2[j++] = s1[i++];
    }
    s2[j++] = s1[i++];
  }
  s2[j] = '\0';
}


x86 assembly (clang, -O0):
<expand>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    0xed9(%rip),%rax
mov    %rax,-0x30(%rbp)
mov    0xed6(%rip),%rax
mov    %rax,-0x28(%rbp)
mov    0xed3(%rip),%rax
mov    %rax,-0x20(%rbp)
mov    0xed0(%rip),%ax
mov    %ax,-0x18(%rbp)
mov    0xecd(%rip),%rax
mov    %rax,-0x50(%rbp)
mov    0xeca(%rip),%rax
mov    %rax,-0x48(%rbp)
mov    0xec7(%rip),%rax
mov    %rax,-0x40(%rbp)
mov    0xec4(%rip),%ax
mov    %ax,-0x38(%rbp)
mov    0xebb(%rip),%rax
mov    %rax,-0x5a(%rbp)
mov    0xeb8(%rip),%ax
mov    %ax,-0x52(%rbp)
movl   $0x1,-0x60(%rbp)
movl   $0x0,-0x64(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x60(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     131a <expand+0x20a>
mov    -0x8(%rbp),%rax
movslq -0x60(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
jne    12c1 <expand+0x1b1>
mov    -0x8(%rbp),%rax
mov    -0x60(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x61,%eax
jne    1216 <expand+0x106>
mov    -0x8(%rbp),%rax
mov    -0x60(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7a,%eax
jne    1216 <expand+0x106>
mov    -0x10(%rbp),%rdi
lea    -0x50(%rbp),%rsi
call   1030 <strcat@plt>
mov    -0x60(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x60(%rbp)
mov    -0x64(%rbp),%eax
add    $0x1a,%eax
mov    %eax,-0x64(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x60(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jne    1269 <expand+0x159>
mov    -0x8(%rbp),%rax
mov    -0x60(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5a,%eax
jne    1269 <expand+0x159>
mov    -0x10(%rbp),%rdi
lea    -0x30(%rbp),%rsi
call   1030 <strcat@plt>
mov    -0x60(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x60(%rbp)
mov    -0x64(%rbp),%eax
add    $0x1a,%eax
mov    %eax,-0x64(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x60(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    12bc <expand+0x1ac>
mov    -0x8(%rbp),%rax
mov    -0x60(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jne    12bc <expand+0x1ac>
mov    -0x10(%rbp),%rdi
lea    -0x5a(%rbp),%rsi
call   1030 <strcat@plt>
mov    -0x60(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x60(%rbp)
mov    -0x64(%rbp),%eax
add    $0xa,%eax
mov    %eax,-0x64(%rbp)
jmp    12eb <expand+0x1db>
mov    -0x8(%rbp),%rax
mov    -0x60(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x60(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
mov    -0x64(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x64(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x60(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x60(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
mov    -0x64(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x64(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    119c <expand+0x8c>
mov    -0x10(%rbp),%rax
movslq -0x64(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<expand>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %rsi,%r14
mov    %rdi,%rbx
movups 0xedf(%rip),%xmm0
movups %xmm0,0x3a(%rsp)
movaps 0xec9(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
movups 0xee7(%rip),%xmm0
movups %xmm0,0x1a(%rsp)
movaps 0xed1(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
movabs $0x3736353433323130,%rax
35 36 37
mov    %rax,(%rsp)
movw   $0x3938,0x8(%rsp)
xor    %ebp,%ebp
mov    $0x1,%r12d
mov    %rsp,%r13
jmp    1195 <expand+0x85>
cs nopw 0x0(%rax,%rax,1)
movslq %r12d,%rax
add    $0x1,%r12d
movzbl (%rbx,%rax,1),%eax
movslq %ebp,%rcx
add    $0x1,%ebp
mov    %al,(%r14,%rcx,1)
movslq %r12d,%r15
movzbl (%rbx,%r15,1),%eax
cmp    $0x2d,%al
je     11c0 <expand+0xb0>
movslq %ebp,%rcx
test   %al,%al
je     125f <expand+0x14f>
add    $0x1,%r12d
add    $0x1,%ebp
mov    %al,(%r14,%rcx,1)
jmp    1180 <expand+0x70>
nopl   0x0(%rax)
lea    -0x1(%r15),%rax
movzbl -0x1(%rbx,%r15,1),%ecx
cmp    $0x61,%cl
jne    11f7 <expand+0xe7>
cmpb   $0x7a,0x1(%r15,%rbx,1)
jne    1230 <expand+0x120>
mov    %r14,%rdi
lea    0x10(%rsp),%rsi
call   1030 <strcat@plt>
lea    0x2(%r15),%r12d
add    $0x1a,%ebp
movzbl 0x1(%rbx,%r15,1),%ecx
lea    0x1(%r15),%eax
cltq
cmp    $0x41,%cl
jne    1230 <expand+0x120>
movslq %r12d,%rcx
cmpb   $0x5a,0x1(%rcx,%rbx,1)
jne    1230 <expand+0x120>
mov    %r14,%rdi
lea    0x30(%rsp),%rsi
call   1030 <strcat@plt>
lea    0x2(%r12),%ecx
add    $0x1a,%ebp
add    $0x1,%r12d
movslq %r12d,%rax
mov    %ecx,%r12d
cs nopw 0x0(%rax,%rax,1)
nop
cmpb   $0x30,(%rbx,%rax,1)
jne    1180 <expand+0x70>
movslq %r12d,%rax
cmpb   $0x39,0x1(%rax,%rbx,1)
jne    1180 <expand+0x70>
mov    %r14,%rdi
mov    %r13,%rsi
call   1030 <strcat@plt>
add    $0x2,%r12d
add    $0xa,%ebp
jmp    1180 <expand+0x70>
movb   $0x0,(%r14,%rcx,1)
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@__const.expand.Alpha = [26 x i8] c"ABCDEFGHIJKLMNOPQRSTUVWXYZ"
@__const.expand.alpha = [26 x i8] c"abcdefghijklmnopqrstuvwxyz"
@__const.expand.digits = [10 x i8] c"0123456789"
define void @expand(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca [26 x i8]
%6 = alloca [26 x i8]
%7 = alloca [10 x i8]
%8 = alloca i32
%9 = alloca i32
store i8* %0, i8** %3
store i8* %1, i8** %4
%10 = bitcast [26 x i8]* %5 to i8*
%11 = bitcast [26 x i8]* %6 to i8*
%12 = bitcast [10 x i8]* %7 to i8*
store i32 1, i32* %8
store i32 0, i32* %9
br label %13
13: ; preds = %119, %2
%14 = load i8*, i8** %3
%15 = load i32, i32* %8
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i8, i8* %14, i64 %16
%18 = load i8, i8* %17
%19 = icmp ne i8 %18, 0
br i1 %19, label %20, label %131
20: ; preds = %13
%21 = load i8*, i8** %3
%22 = load i32, i32* %8
%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 eq i32 %26, 45
br i1 %27, label %28, label %107
28: ; preds = %20
%29 = load i8*, i8** %3
%30 = load i32, i32* %8
%31 = sub nsw i32 %30, 1
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i8, i8* %29, i64 %32
%34 = load i8, i8* %33
%35 = sext i8 %34 to i32
%36 = icmp eq i32 %35, 97
br i1 %36, label %37, label %54
37: ; preds = %28
%38 = load i8*, i8** %3
%39 = load i32, i32* %8
%40 = add nsw i32 %39, 1
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i8, i8* %38, i64 %41
%43 = load i8, i8* %42
%44 = sext i8 %43 to i32
%45 = icmp eq i32 %44, 122
br i1 %45, label %46, label %54
46: ; preds = %37
%47 = load i8*, i8** %4
%48 = getelementptr inbounds [26 x i8], [26 x i8]* %6, i64 0, i64 0
%49 = call i32 @strcat(i8* %47, i8* %48)
%50 = load i32, i32* %8
%51 = add nsw i32 %50, 2
store i32 %51, i32* %8
%52 = load i32, i32* %9
%53 = add nsw i32 %52, 26
store i32 %53, i32* %9
br label %54
54: ; preds = %46, %37, %28
%55 = load i8*, i8** %3
%56 = load i32, i32* %8
%57 = sub nsw i32 %56, 1
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i8, i8* %55, i64 %58
%60 = load i8, i8* %59
%61 = sext i8 %60 to i32
%62 = icmp eq i32 %61, 65
br i1 %62, label %63, label %80
63: ; preds = %54
%64 = load i8*, i8** %3
%65 = load i32, i32* %8
%66 = add nsw i32 %65, 1
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds i8, i8* %64, i64 %67
%69 = load i8, i8* %68
%70 = sext i8 %69 to i32
%71 = icmp eq i32 %70, 90
br i1 %71, label %72, label %80
72: ; preds = %63
%73 = load i8*, i8** %4
%74 = getelementptr inbounds [26 x i8], [26 x i8]* %5, i64 0, i64 0
%75 = call i32 @strcat(i8* %73, i8* %74)
%76 = load i32, i32* %8
%77 = add nsw i32 %76, 2
store i32 %77, i32* %8
%78 = load i32, i32* %9
%79 = add nsw i32 %78, 26
store i32 %79, i32* %9
br label %80
80: ; preds = %72, %63, %54
%81 = load i8*, i8** %3
%82 = load i32, i32* %8
%83 = sub nsw i32 %82, 1
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i8, i8* %81, i64 %84
%86 = load i8, i8* %85
%87 = sext i8 %86 to i32
%88 = icmp eq i32 %87, 48
br i1 %88, label %89, label %106
89: ; preds = %80
%90 = load i8*, i8** %3
%91 = load i32, i32* %8
%92 = add nsw i32 %91, 1
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %90, i64 %93
%95 = load i8, i8* %94
%96 = sext i8 %95 to i32
%97 = icmp eq i32 %96, 57
br i1 %97, label %98, label %106
98: ; preds = %89
%99 = load i8*, i8** %4
%100 = getelementptr inbounds [10 x i8], [10 x i8]* %7, i64 0, i64 0
%101 = call i32 @strcat(i8* %99, i8* %100)
%102 = load i32, i32* %8
%103 = add nsw i32 %102, 2
store i32 %103, i32* %8
%104 = load i32, i32* %9
%105 = add nsw i32 %104, 10
store i32 %105, i32* %9
br label %106
106: ; preds = %98, %89, %80
br label %119
107: ; preds = %20
%108 = load i8*, i8** %3
%109 = load i32, i32* %8
%110 = add nsw i32 %109, 1
store i32 %110, i32* %8
%111 = sext i32 %109 to i64
%112 = getelementptr inbounds i8, i8* %108, i64 %111
%113 = load i8, i8* %112
%114 = load i8*, i8** %4
%115 = load i32, i32* %9
%116 = add nsw i32 %115, 1
store i32 %116, i32* %9
%117 = sext i32 %115 to i64
%118 = getelementptr inbounds i8, i8* %114, i64 %117
store i8 %113, i8* %118
br label %119
119: ; preds = %107, %106
%120 = load i8*, i8** %3
%121 = load i32, i32* %8
%122 = add nsw i32 %121, 1
store i32 %122, i32* %8
%123 = sext i32 %121 to i64
%124 = getelementptr inbounds i8, i8* %120, i64 %123
%125 = load i8, i8* %124
%126 = load i8*, i8** %4
%127 = load i32, i32* %9
%128 = add nsw i32 %127, 1
store i32 %128, i32* %9
%129 = sext i32 %127 to i64
%130 = getelementptr inbounds i8, i8* %126, i64 %129
store i8 %125, i8* %130
br label %13
131: ; preds = %13
%132 = load i8*, i8** %4
%133 = load i32, i32* %9
%134 = sext i32 %133 to i64
%135 = getelementptr inbounds i8, i8* %132, i64 %134
store i8 0, i8* %135
ret void
}

LLVM IR (-O2):
@__const.expand.Alpha = [26 x i8] c"ABCDEFGHIJKLMNOPQRSTUVWXYZ"
@__const.expand.alpha = [26 x i8] c"abcdefghijklmnopqrstuvwxyz"
@__const.expand.digits = [10 x i8] c"0123456789"
define void @expand(i8* nocapture %0, i8* %1) {
%3 = alloca [26 x i8]
%4 = alloca [26 x i8]
%5 = alloca [10 x i8]
%6 = getelementptr inbounds [26 x i8], [26 x i8]* %3, i64 0, i64 0
%7 = getelementptr inbounds [26 x i8], [26 x i8]* %4, i64 0, i64 0
%8 = getelementptr inbounds [10 x i8], [10 x i8]* %5, i64 0, i64 0
br label %9
9: ; preds = %74, %2
%10 = phi i32 [ 1, %2 ], [ %77, %74 ]
%11 = phi i32 [ 0, %2 ], [ %81, %74 ]
%12 = sext i32 %10 to i64
%13 = getelementptr inbounds i8, i8* %0, i64 %12
%14 = load i8, i8* %13
switch i8 %14, label %69 [
i8 0, label %84
i8 45, label %15
]
15: ; preds = %9
%16 = add nsw i32 %10, -1
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i8, i8* %0, i64 %17
%19 = load i8, i8* %18
%20 = icmp eq i8 %19, 97
br i1 %20, label %21, label %34
21: ; preds = %15
%22 = add nsw i32 %10, 1
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i8, i8* %0, i64 %23
%25 = load i8, i8* %24
%26 = icmp eq i8 %25, 122
br i1 %26, label %27, label %52
27: ; preds = %21
%28 = call i32 @strcat(i8* %1, i8* %7)
%29 = add nsw i32 %10, 2
%30 = add nsw i32 %11, 26
%31 = load i8, i8* %24
%32 = add nsw i32 %10, 1
%33 = sext i32 %32 to i64
br label %34
34: ; preds = %27, %15
%35 = phi i64 [ %33, %27 ], [ %17, %15 ]
%36 = phi i8 [ %31, %27 ], [ %19, %15 ]
%37 = phi i32 [ %29, %27 ], [ %10, %15 ]
%38 = phi i32 [ %30, %27 ], [ %11, %15 ]
%39 = icmp eq i8 %36, 65
br i1 %39, label %40, label %52
40: ; preds = %34
%41 = add nsw i32 %37, 1
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i8, i8* %0, i64 %42
%44 = load i8, i8* %43
%45 = icmp eq i8 %44, 90
br i1 %45, label %46, label %52
46: ; preds = %40
%47 = call i32 @strcat(i8* %1, i8* %6)
%48 = add nsw i32 %37, 2
%49 = add nsw i32 %38, 26
%50 = add nsw i32 %37, 1
%51 = sext i32 %50 to i64
br label %52
52: ; preds = %21, %46, %40, %34
%53 = phi i64 [ %51, %46 ], [ %35, %40 ], [ %35, %34 ], [ %17, %21 ]
%54 = phi i32 [ %48, %46 ], [ %37, %40 ], [ %37, %34 ], [ %10, %21 ]
%55 = phi i32 [ %49, %46 ], [ %38, %40 ], [ %38, %34 ], [ %11, %21 ]
%56 = getelementptr inbounds i8, i8* %0, i64 %53
%57 = load i8, i8* %56
%58 = icmp eq i8 %57, 48
br i1 %58, label %59, label %74
59: ; preds = %52
%60 = add nsw i32 %54, 1
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i8, i8* %0, i64 %61
%63 = load i8, i8* %62
%64 = icmp eq i8 %63, 57
br i1 %64, label %65, label %74
65: ; preds = %59
%66 = call i32 @strcat(i8* %1, i8* %8)
%67 = add nsw i32 %54, 2
%68 = add nsw i32 %55, 10
br label %74
69: ; preds = %9
%70 = add nsw i32 %10, 1
%71 = add nsw i32 %11, 1
%72 = sext i32 %11 to i64
%73 = getelementptr inbounds i8, i8* %1, i64 %72
store i8 %14, i8* %73
br label %74
74: ; preds = %52, %59, %65, %69
%75 = phi i32 [ %67, %65 ], [ %54, %59 ], [ %54, %52 ], [ %70, %69 ]
%76 = phi i32 [ %68, %65 ], [ %55, %59 ], [ %55, %52 ], [ %71, %69 ]
%77 = add nsw i32 %75, 1
%78 = sext i32 %75 to i64
%79 = getelementptr inbounds i8, i8* %0, i64 %78
%80 = load i8, i8* %79
%81 = add nsw i32 %76, 1
%82 = sext i32 %76 to i64
%83 = getelementptr inbounds i8, i8* %1, i64 %82
store i8 %80, i8* %83
br label %9
84: ; preds = %9
%85 = sext i32 %11 to i64
%86 = getelementptr inbounds i8, i8* %1, i64 %85
store i8 0, i8* %86
ret void
}