#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*/ fprintf(int /*<<< orphan*/, char *, char, char);
int /*<<< orphan*/ stderr;
char *strchr(char *, char);
void expand(char *s1, char *s2) {
  static char upper_alph[27] = "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
  static char lower_alph[27] = "abcdefghijklmnopqrstuvwxyz";
  static char digits[11] = "0123456789";
  char *start, *end, *p;
  int i = 0;
  int j = 0;
  while (s2[i]) {
    switch (s2[i]) {
    case '-':
      if (i == 0 || s2[i + 1] == '\0') {
        s1[j++] = '-';
        ++i;
        break;
      } else {
        if ((start = strchr(upper_alph, s2[i - 1])) &&
            (end = strchr(upper_alph, s2[i + 1])))
          ;
        else if ((start = strchr(lower_alph, s2[i - 1])) &&
                 (end = strchr(lower_alph, s2[i + 1])))
          ;
        else if ((start = strchr(digits, s2[i - 1])) &&
                 (end = strchr(digits, s2[i + 1])))
          ;
        else {
          fprintf(stderr, "EX3_3: Mismatched operands '%c-%c'\n", s2[i - 1],
                  s2[i + 1]);
          s1[j++] = s2[i - 1];
          s1[j++] = s2[i++];
          break;
        }
        p = start;
        while (p != end) {
          s1[j++] = *p;
          if (end > start)
            ++p;
          else
            --p;
        }
        s1[j++] = *p;
        i += 2;
      }
      break;
    default:
      if (s2[i + 1] == '-' && s2[i + 2] != '\0') {
        ++i;
      } else {
        s1[j++] = s2[i++];
      }
      break;
    }
  }
  s1[j] = s2[i];
}


x86 assembly (clang, -O0):
<expand>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     1458 <expand+0x338>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,1),%al
sub    $0x2d,%al
jne    13e2 <expand+0x2c2>
jmp    1168 <expand+0x48>
cmpl   $0x0,-0x2c(%rbp)
je     118c <expand+0x6c>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    11b0 <expand+0x90>
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
movslq %ecx,%rcx
movb   $0x2d,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1453 <expand+0x333>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
lea    0x2e7c(%rip),%rdi
movsbl (%rax,%rcx,1),%esi
call   1030 <strchr@plt>
mov    %rax,-0x18(%rbp)
cmp    $0x0,%rax
je     120b <expand+0xeb>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
lea    0x2e51(%rip),%rdi
movsbl (%rax,%rcx,1),%esi
call   1030 <strchr@plt>
mov    %rax,-0x20(%rbp)
cmp    $0x0,%rax
je     120b <expand+0xeb>
jmp    1358 <expand+0x238>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
lea    0x2e41(%rip),%rdi
movsbl (%rax,%rcx,1),%esi
call   1030 <strchr@plt>
mov    %rax,-0x18(%rbp)
cmp    $0x0,%rax
je     1266 <expand+0x146>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
lea    0x2e16(%rip),%rdi
movsbl (%rax,%rcx,1),%esi
call   1030 <strchr@plt>
mov    %rax,-0x20(%rbp)
cmp    $0x0,%rax
je     1266 <expand+0x146>
jmp    1353 <expand+0x233>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
lea    0x2e01(%rip),%rdi
movsbl (%rax,%rcx,1),%esi
call   1030 <strchr@plt>
mov    %rax,-0x18(%rbp)
cmp    $0x0,%rax
je     12c1 <expand+0x1a1>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
lea    0x2dd6(%rip),%rdi
movsbl (%rax,%rcx,1),%esi
call   1030 <strchr@plt>
mov    %rax,-0x20(%rbp)
cmp    $0x0,%rax
je     12c1 <expand+0x1a1>
jmp    134e <expand+0x22e>
mov    0x2d18(%rip),%rax
mov    (%rax),%edi
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
lea    0xd12(%rip),%rsi
movsbl %dl,%edx
movsbl (%rax,%rcx,1),%ecx
call   1040 <fprintf@plt>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x30(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x2c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x30(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1453 <expand+0x333>
jmp    1353 <expand+0x233>
jmp    1358 <expand+0x238>
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
je     13b9 <expand+0x299>
mov    -0x28(%rbp),%rax
mov    (%rax),%dl
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x30(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jbe    13a8 <expand+0x288>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    13b4 <expand+0x294>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
jmp    1360 <expand+0x240>
mov    -0x28(%rbp),%rax
mov    (%rax),%dl
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x30(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x2c(%rbp)
jmp    1453 <expand+0x333>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
jne    1424 <expand+0x304>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1424 <expand+0x304>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    144e <expand+0x32e>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x2c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x30(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1453 <expand+0x333>
jmp    113e <expand+0x1e>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<expand>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%rbx
xor    %r13d,%r13d
lea    0x2f05(%rip),%r8
xor    %r15d,%r15d
movslq %r13d,%r14
add    $0xffffffff,%r13d
add    %rbx,%r14
mov    %r13d,%r12d
nopl   0x0(%rax,%rax,1)
movzbl (%r14),%eax
test   %al,%al
je     130e <expand+0x1ee>
cmp    $0x2d,%al
je     1190 <expand+0x70>
lea    0x2(%r12),%r13d
movslq %r13d,%rcx
cmpb   $0x2d,(%rbx,%rcx,1)
jne    1184 <expand+0x64>
lea    0x3(%r12),%ecx
movslq %ecx,%rcx
add    $0x1,%r12d
add    $0x1,%r14
cmpb   $0x0,(%rbx,%rcx,1)
jne    1150 <expand+0x30>
movslq %r15d,%rcx
add    $0x1,%r15d
mov    %al,(%rdi,%rcx,1)
jmp    113e <expand+0x1e>
cmp    $0xffffffff,%r12d
je     12b2 <expand+0x192>
lea    0x2(%r12),%r13d
movslq %r13d,%rax
mov    (%rbx,%rax,1),%al
test   %al,%al
je     12b8 <expand+0x198>
mov    %rdi,0x8(%rsp)
mov    %al,(%rsp)
movslq %r12d,%rax
mov    %rax,0x10(%rsp)
movsbl (%rbx,%rax,1),%esi
mov    %r8,%rdi
mov    %esi,0x4(%rsp)
call   1030 <strchr@plt>
movsbl (%rsp),%ecx
test   %rax,%rax
mov    %ecx,(%rsp)
je     11f0 <expand+0xd0>
mov    %rax,%rbp
lea    0x2e5d(%rip),%rdi
mov    (%rsp),%esi
call   1030 <strchr@plt>
test   %rax,%rax
jne    124c <expand+0x12c>
lea    0x2e69(%rip),%rdi
mov    0x4(%rsp),%esi
call   1030 <strchr@plt>
test   %rax,%rax
je     121c <expand+0xfc>
mov    %rax,%rbp
lea    0x2e51(%rip),%rdi
mov    (%rsp),%esi
call   1030 <strchr@plt>
test   %rax,%rax
jne    124c <expand+0x12c>
lea    0x2e58(%rip),%rdi
mov    0x4(%rsp),%esi
call   1030 <strchr@plt>
test   %rax,%rax
je     12c8 <expand+0x1a8>
mov    %rax,%rbp
lea    0x2e3c(%rip),%rdi
mov    (%rsp),%esi
call   1030 <strchr@plt>
test   %rax,%rax
je     12c8 <expand+0x1a8>
mov    0x8(%rsp),%rdi
lea    0x2de8(%rip),%r8
cmp    %rax,%rbp
je     1299 <expand+0x179>
setb   %cl
movzbl %cl,%ecx
lea    (%rcx,%rcx,1),%rsi
add    $0xffffffffffffffff,%rsi
movslq %r15d,%rdx
add    %rdi,%rdx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl 0x0(%rbp),%ecx
mov    %cl,(%rdx)
add    %rsi,%rbp
add    $0x1,%rdx
add    $0x1,%r15d
cmp    %rax,%rbp
jne    1280 <expand+0x160>
mov    %rax,%rbp
mov    0x0(%rbp),%al
movslq %r15d,%rcx
add    $0x1,%r15d
mov    %al,(%rdi,%rcx,1)
add    $0x3,%r12d
mov    %r12d,%r13d
jmp    113e <expand+0x1e>
mov    $0x1,%r13d
movslq %r15d,%rax
add    $0x1,%r15d
movb   $0x2d,(%rdi,%rax,1)
jmp    113e <expand+0x1e>
mov    0x2d11(%rip),%rax
mov    (%rax),%edi
lea    0xd28(%rip),%rsi
mov    0x4(%rsp),%edx
mov    (%rsp),%ecx
call   1040 <fprintf@plt>
mov    0x10(%rsp),%rax
mov    (%rbx,%rax,1),%al
movslq %r15d,%rcx
mov    0x8(%rsp),%rdi
mov    %al,(%rdi,%rcx,1)
mov    (%r14),%al
add    $0x2,%r15d
mov    %al,0x1(%rdi,%rcx,1)
lea    0x2d37(%rip),%r8
jmp    113e <expand+0x1e>
movslq %r15d,%rax
movb   $0x0,(%rdi,%rax,1)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@expand.upper_alph = internal global [27 x i8] c"ABCDEFGHIJKLMNOPQRSTUVWXYZ\00"
@expand.lower_alph = internal global [27 x i8] c"abcdefghijklmnopqrstuvwxyz\00"
@expand.digits = internal global [11 x i8] c"0123456789\00"
@stderr = global i32 0
@.str = [36 x i8] c"EX3_3: Mismatched operands '%c-%c'\0A\00"
define void @expand(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
store i8* %0, i8** %3
store i8* %1, i8** %4
store i32 0, i32* %8
store i32 0, i32* %9
br label %10
10: ; preds = %209, %2
%11 = load i8*, i8** %4
%12 = load i32, i32* %8
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds i8, i8* %11, i64 %13
%15 = load i8, i8* %14
%16 = icmp ne i8 %15, 0
br i1 %16, label %17, label %210
17: ; preds = %10
%18 = load i8*, i8** %4
%19 = load i32, i32* %8
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i8, i8* %18, i64 %20
%22 = load i8, i8* %21
%23 = sext i8 %22 to i32
switch i32 %23, label %175 [
i32 45, label %24
]
24: ; preds = %17
%25 = load i32, i32* %8
%26 = icmp eq i32 %25, 0
br i1 %26, label %36, label %27
27: ; preds = %24
%28 = load i8*, i8** %4
%29 = load i32, i32* %8
%30 = add nsw i32 %29, 1
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i8, i8* %28, i64 %31
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
%35 = icmp eq i32 %34, 0
br i1 %35, label %36, label %44
36: ; preds = %27, %24
%37 = load i8*, i8** %3
%38 = load i32, i32* %9
%39 = add nsw i32 %38, 1
store i32 %39, i32* %9
%40 = sext i32 %38 to i64
%41 = getelementptr inbounds i8, i8* %37, i64 %40
store i8 45, i8* %41
%42 = load i32, i32* %8
%43 = add nsw i32 %42, 1
store i32 %43, i32* %8
br label %209
44: ; preds = %27
%45 = load i8*, i8** %4
%46 = load i32, i32* %8
%47 = sub nsw i32 %46, 1
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i8, i8* %45, i64 %48
%50 = load i8, i8* %49
%51 = call i8* @strchr(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @expand.upper_alph, i64 0, i64 0), i8 signext %50)
store i8* %51, i8** %5
%52 = icmp ne i8* %51, null
br i1 %52, label %53, label %63
53: ; preds = %44
%54 = load i8*, i8** %4
%55 = load i32, i32* %8
%56 = add nsw i32 %55, 1
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds i8, i8* %54, i64 %57
%59 = load i8, i8* %58
%60 = call i8* @strchr(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @expand.upper_alph, i64 0, i64 0), i8 signext %59)
store i8* %60, i8** %6
%61 = icmp ne i8* %60, null
br i1 %61, label %62, label %63
62: ; preds = %53
br label %140
63: ; preds = %53, %44
%64 = load i8*, i8** %4
%65 = load i32, i32* %8
%66 = sub nsw i32 %65, 1
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds i8, i8* %64, i64 %67
%69 = load i8, i8* %68
%70 = call i8* @strchr(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @expand.lower_alph, i64 0, i64 0), i8 signext %69)
store i8* %70, i8** %5
%71 = icmp ne i8* %70, null
br i1 %71, label %72, label %82
72: ; preds = %63
%73 = load i8*, i8** %4
%74 = load i32, i32* %8
%75 = add nsw i32 %74, 1
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i8, i8* %73, i64 %76
%78 = load i8, i8* %77
%79 = call i8* @strchr(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @expand.lower_alph, i64 0, i64 0), i8 signext %78)
store i8* %79, i8** %6
%80 = icmp ne i8* %79, null
br i1 %80, label %81, label %82
81: ; preds = %72
br label %139
82: ; preds = %72, %63
%83 = load i8*, i8** %4
%84 = load i32, i32* %8
%85 = sub nsw i32 %84, 1
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds i8, i8* %83, i64 %86
%88 = load i8, i8* %87
%89 = call i8* @strchr(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @expand.digits, i64 0, i64 0), i8 signext %88)
store i8* %89, i8** %5
%90 = icmp ne i8* %89, null
br i1 %90, label %91, label %101
91: ; preds = %82
%92 = load i8*, i8** %4
%93 = load i32, i32* %8
%94 = add nsw i32 %93, 1
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i8, i8* %92, i64 %95
%97 = load i8, i8* %96
%98 = call i8* @strchr(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @expand.digits, i64 0, i64 0), i8 signext %97)
store i8* %98, i8** %6
%99 = icmp ne i8* %98, null
br i1 %99, label %100, label %101
100: ; preds = %91
br label %138
101: ; preds = %91, %82
%102 = load i32, i32* @stderr
%103 = load i8*, i8** %4
%104 = load i32, i32* %8
%105 = sub nsw i32 %104, 1
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i8, i8* %103, i64 %106
%108 = load i8, i8* %107
%109 = load i8*, i8** %4
%110 = load i32, i32* %8
%111 = add nsw i32 %110, 1
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i8, i8* %109, i64 %112
%114 = load i8, i8* %113
%115 = call i32 @fprintf(i32 %102, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str, i64 0, i64 0), i8 signext %108, i8 signext %114)
%116 = load i8*, i8** %4
%117 = load i32, i32* %8
%118 = sub nsw i32 %117, 1
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i8, i8* %116, i64 %119
%121 = load i8, i8* %120
%122 = load i8*, i8** %3
%123 = load i32, i32* %9
%124 = add nsw i32 %123, 1
store i32 %124, i32* %9
%125 = sext i32 %123 to i64
%126 = getelementptr inbounds i8, i8* %122, i64 %125
store i8 %121, i8* %126
%127 = load i8*, i8** %4
%128 = load i32, i32* %8
%129 = add nsw i32 %128, 1
store i32 %129, i32* %8
%130 = sext i32 %128 to i64
%131 = getelementptr inbounds i8, i8* %127, i64 %130
%132 = load i8, i8* %131
%133 = load i8*, i8** %3
%134 = load i32, i32* %9
%135 = add nsw i32 %134, 1
store i32 %135, i32* %9
%136 = sext i32 %134 to i64
%137 = getelementptr inbounds i8, i8* %133, i64 %136
store i8 %132, i8* %137
br label %209
138: ; preds = %100
br label %139
139: ; preds = %138, %81
br label %140
140: ; preds = %139, %62
%141 = load i8*, i8** %5
store i8* %141, i8** %7
br label %142
142: ; preds = %163, %140
%143 = load i8*, i8** %7
%144 = load i8*, i8** %6
%145 = icmp ne i8* %143, %144
br i1 %145, label %146, label %164
146: ; preds = %142
%147 = load i8*, i8** %7
%148 = load i8, i8* %147
%149 = load i8*, i8** %3
%150 = load i32, i32* %9
%151 = add nsw i32 %150, 1
store i32 %151, i32* %9
%152 = sext i32 %150 to i64
%153 = getelementptr inbounds i8, i8* %149, i64 %152
store i8 %148, i8* %153
%154 = load i8*, i8** %6
%155 = load i8*, i8** %5
%156 = icmp ugt i8* %154, %155
br i1 %156, label %157, label %160
157: ; preds = %146
%158 = load i8*, i8** %7
%159 = getelementptr inbounds i8, i8* %158, i32 1
store i8* %159, i8** %7
br label %163
160: ; preds = %146
%161 = load i8*, i8** %7
%162 = getelementptr inbounds i8, i8* %161, i32 -1
store i8* %162, i8** %7
br label %163
163: ; preds = %160, %157
br label %142
164: ; preds = %142
%165 = load i8*, i8** %7
%166 = load i8, i8* %165
%167 = load i8*, i8** %3
%168 = load i32, i32* %9
%169 = add nsw i32 %168, 1
store i32 %169, i32* %9
%170 = sext i32 %168 to i64
%171 = getelementptr inbounds i8, i8* %167, i64 %170
store i8 %166, i8* %171
%172 = load i32, i32* %8
%173 = add nsw i32 %172, 2
store i32 %173, i32* %8
br label %174
174: ; preds = %164
br label %209
175: ; preds = %17
%176 = load i8*, i8** %4
%177 = load i32, i32* %8
%178 = add nsw i32 %177, 1
%179 = sext i32 %178 to i64
%180 = getelementptr inbounds i8, i8* %176, i64 %179
%181 = load i8, i8* %180
%182 = sext i8 %181 to i32
%183 = icmp eq i32 %182, 45
br i1 %183, label %184, label %196
184: ; preds = %175
%185 = load i8*, i8** %4
%186 = load i32, i32* %8
%187 = add nsw i32 %186, 2
%188 = sext i32 %187 to i64
%189 = getelementptr inbounds i8, i8* %185, i64 %188
%190 = load i8, i8* %189
%191 = sext i8 %190 to i32
%192 = icmp ne i32 %191, 0
br i1 %192, label %193, label %196
193: ; preds = %184
%194 = load i32, i32* %8
%195 = add nsw i32 %194, 1
store i32 %195, i32* %8
br label %208
196: ; preds = %184, %175
%197 = load i8*, i8** %4
%198 = load i32, i32* %8
%199 = add nsw i32 %198, 1
store i32 %199, i32* %8
%200 = sext i32 %198 to i64
%201 = getelementptr inbounds i8, i8* %197, i64 %200
%202 = load i8, i8* %201
%203 = load i8*, i8** %3
%204 = load i32, i32* %9
%205 = add nsw i32 %204, 1
store i32 %205, i32* %9
%206 = sext i32 %204 to i64
%207 = getelementptr inbounds i8, i8* %203, i64 %206
store i8 %202, i8* %207
br label %208
208: ; preds = %196, %193
br label %209
209: ; preds = %208, %174, %101, %36
br label %10
210: ; preds = %10
%211 = load i8*, i8** %4
%212 = load i32, i32* %8
%213 = sext i32 %212 to i64
%214 = getelementptr inbounds i8, i8* %211, i64 %213
%215 = load i8, i8* %214
%216 = load i8*, i8** %3
%217 = load i32, i32* %9
%218 = sext i32 %217 to i64
%219 = getelementptr inbounds i8, i8* %216, i64 %218
store i8 %215, i8* %219
ret void
}

LLVM IR (-O2):
@expand.upper_alph = internal global [27 x i8] c"ABCDEFGHIJKLMNOPQRSTUVWXYZ\00"
@expand.lower_alph = internal global [27 x i8] c"abcdefghijklmnopqrstuvwxyz\00"
@expand.digits = internal global [11 x i8] c"0123456789\00"
@stderr = global i32 0
@.str = [36 x i8] c"EX3_3: Mismatched operands '%c-%c'\0A\00"
define void @expand(i8* nocapture writeonly %0, i8* nocapture %1) {
br label %3
3: ; preds = %25, %2
%4 = phi i32 [ 0, %2 ], [ %26, %25 ]
%5 = phi i32 [ 0, %2 ], [ %27, %25 ]
br label %6
6: ; preds = %3, %93
%7 = phi i32 [ %88, %93 ], [ %4, %3 ]
%8 = sext i32 %7 to i64
%9 = getelementptr inbounds i8, i8* %1, i64 %8
%10 = load i8, i8* %9
switch i8 %10, label %87 [
i8 0, label %103
i8 45, label %11
]
11: ; preds = %6
%12 = getelementptr inbounds i8, i8* %1, i64 %8
%13 = icmp eq i32 %7, 0
br i1 %13, label %20, label %14
14: ; preds = %11
%15 = add nsw i32 %7, 1
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i8, i8* %1, i64 %16
%18 = load i8, i8* %17
%19 = icmp eq i8 %18, 0
br i1 %19, label %20, label %28
20: ; preds = %11, %14
%21 = phi i32 [ %15, %14 ], [ 1, %11 ]
%22 = add nsw i32 %5, 1
%23 = sext i32 %5 to i64
%24 = getelementptr inbounds i8, i8* %0, i64 %23
store i8 45, i8* %24
br label %25
25: ; preds = %20, %79, %50, %99
%26 = phi i32 [ %88, %99 ], [ %15, %50 ], [ %86, %79 ], [ %21, %20 ]
%27 = phi i32 [ %100, %99 ], [ %58, %50 ], [ %83, %79 ], [ %22, %20 ]
br label %3
28: ; preds = %14
%29 = add nsw i32 %7, -1
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i8, i8* %1, i64 %30
%32 = load i8, i8* %31
%33 = tail call i8* @strchr(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @expand.upper_alph, i64 0, i64 0), i8 signext %32)
%34 = icmp eq i8* %33, null
br i1 %34, label %38, label %35
35: ; preds = %28
%36 = tail call i8* @strchr(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @expand.upper_alph, i64 0, i64 0), i8 signext %18)
%37 = icmp eq i8* %36, null
br i1 %37, label %38, label %61
38: ; preds = %35, %28
%39 = tail call i8* @strchr(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @expand.lower_alph, i64 0, i64 0), i8 signext %32)
%40 = icmp eq i8* %39, null
br i1 %40, label %44, label %41
41: ; preds = %38
%42 = tail call i8* @strchr(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @expand.lower_alph, i64 0, i64 0), i8 signext %18)
%43 = icmp eq i8* %42, null
br i1 %43, label %44, label %61
44: ; preds = %41, %38
%45 = tail call i8* @strchr(i8* dereferenceable(1) getelementptr inbounds ([11 x i8], [11 x i8]* @expand.digits, i64 0, i64 0), i8 signext %32)
%46 = icmp eq i8* %45, null
br i1 %46, label %50, label %47
47: ; preds = %44
%48 = tail call i8* @strchr(i8* dereferenceable(1) getelementptr inbounds ([11 x i8], [11 x i8]* @expand.digits, i64 0, i64 0), i8 signext %18)
%49 = icmp eq i8* %48, null
br i1 %49, label %50, label %61
50: ; preds = %47, %44
%51 = load i32, i32* @stderr
%52 = tail call i32 @fprintf(i32 %51, i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str, i64 0, i64 0), i8 signext %32, i8 signext %18)
%53 = load i8, i8* %31
%54 = add nsw i32 %5, 1
%55 = sext i32 %5 to i64
%56 = getelementptr inbounds i8, i8* %0, i64 %55
store i8 %53, i8* %56
%57 = load i8, i8* %12
%58 = add nsw i32 %5, 2
%59 = sext i32 %54 to i64
%60 = getelementptr inbounds i8, i8* %0, i64 %59
store i8 %57, i8* %60
br label %25
61: ; preds = %41, %47, %35
%62 = phi i8* [ %33, %35 ], [ %39, %41 ], [ %45, %47 ]
%63 = phi i8* [ %36, %35 ], [ %42, %41 ], [ %48, %47 ]
%64 = icmp eq i8* %62, %63
br i1 %64, label %79, label %65
65: ; preds = %61
%66 = icmp ugt i8* %63, %62
%67 = select i1 %66, i64 1, i64 -1
%68 = sext i32 %5 to i64
br label %69
69: ; preds = %65, %69
%70 = phi i64 [ %68, %65 ], [ %73, %69 ]
%71 = phi i8* [ %62, %65 ], [ %75, %69 ]
%72 = load i8, i8* %71
%73 = add i64 %70, 1
%74 = getelementptr inbounds i8, i8* %0, i64 %70
store i8 %72, i8* %74
%75 = getelementptr inbounds i8, i8* %71, i64 %67
%76 = icmp eq i8* %75, %63
br i1 %76, label %77, label %69
77: ; preds = %69
%78 = trunc i64 %73 to i32
br label %79
79: ; preds = %77, %61
%80 = phi i8* [ %62, %61 ], [ %63, %77 ]
%81 = phi i32 [ %5, %61 ], [ %78, %77 ]
%82 = load i8, i8* %80
%83 = add nsw i32 %81, 1
%84 = sext i32 %81 to i64
%85 = getelementptr inbounds i8, i8* %0, i64 %84
store i8 %82, i8* %85
%86 = add nsw i32 %7, 2
br label %25
87: ; preds = %6
%88 = add nsw i32 %7, 1
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds i8, i8* %1, i64 %89
%91 = load i8, i8* %90
%92 = icmp eq i8 %91, 45
br i1 %92, label %93, label %99
93: ; preds = %87
%94 = add nsw i32 %7, 2
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i8, i8* %1, i64 %95
%97 = load i8, i8* %96
%98 = icmp eq i8 %97, 0
br i1 %98, label %99, label %6
99: ; preds = %93, %87
%100 = add nsw i32 %5, 1
%101 = sext i32 %5 to i64
%102 = getelementptr inbounds i8, i8* %0, i64 %101
store i8 %10, i8* %102
br label %25
103: ; preds = %6
%104 = sext i32 %5 to i64
%105 = getelementptr inbounds i8, i8* %0, i64 %104
store i8 0, i8* %105
ret void
}