#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*/ assert(int);
int atoi(char *);
scalar_t__ isalpha(char);
int /*<<< orphan*/ isdigit(char);
int /*<<< orphan*/ strcmp(char *, char *);
int regValue(char *c) {
  if (isalpha(c[0])) {
    int regIndex = c[1] - '0';
    switch (c[0]) {
    case 'a':
      if (regIndex >= 0 && regIndex <= 3) {
        return 4 + regIndex;
      } else if (c[1] == 't') {
        return 1;
      }
      break;
    case 'g':
      if (c[1] == 'p') {
        return 28;
      }
      break;
    case 'k':
      if (regIndex >= 0 && regIndex <= 1) {
        return 26 + regIndex;
      }
      break;
    case 'r':
      if (c[1] == 'a') {
        return 31;
      }
      break;
    case 's':
      if (regIndex >= 0 && regIndex <= 7) {
        return 16 + regIndex;
      } else if (regIndex == 8) {
        return 30;
      } else if (c[1] == 'p') {
        return 29;
      }
      break;
    case 't':
      if (regIndex >= 0 && regIndex <= 7) {
        return 8 + regIndex;
      } else if (regIndex >= 8 && regIndex <= 9) {
        return 16 + regIndex;
      }
      break;
    case 'v':
      if (regIndex >= 0 && regIndex <= 1) {
        return 2 + regIndex;
      }
      break;
    case 'z':
      if (strcmp(c, "zero") == 0) {
        return 0;
      }
      break;
    }
  } else {
    int i = 0;
    char currentChar = c[i];
    while (currentChar != '\0') {
      if (!isdigit(currentChar)) {
        return -1;
      }
      currentChar = c[++i];
    }
    int regIndex = atoi(c);
    if (regIndex >= 0 && regIndex <= 31) {
      return regIndex;
    } else {
      assert(!"Register number out of bounds");
    }
  }
  return -1;
}


x86 assembly (clang, -O0):
<regValue>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1060 <isalpha@plt>
cmp    $0x0,%rax
je     1369 <regValue+0x219>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
add    $0xffffffd0,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
add    $0xffffff9f,%eax
mov    %eax,%ecx
mov    %rcx,-0x28(%rbp)
sub    $0x19,%eax
ja     1364 <regValue+0x214>
mov    -0x28(%rbp),%rax
lea    0xe5c(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
cmpl   $0x0,-0x14(%rbp)
jl     11cf <regValue+0x7f>
cmpl   $0x3,-0x14(%rbp)
jg     11cf <regValue+0x7f>
mov    -0x14(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x4(%rbp)
jmp    1402 <regValue+0x2b2>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x74,%eax
jne    11ec <regValue+0x9c>
movl   $0x1,-0x4(%rbp)
jmp    1402 <regValue+0x2b2>
jmp    11f1 <regValue+0xa1>
jmp    1364 <regValue+0x214>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x70,%eax
jne    1213 <regValue+0xc3>
movl   $0x1c,-0x4(%rbp)
jmp    1402 <regValue+0x2b2>
jmp    1364 <regValue+0x214>
cmpl   $0x0,-0x14(%rbp)
jl     123a <regValue+0xea>
cmpl   $0x1,-0x14(%rbp)
jg     123a <regValue+0xea>
mov    -0x14(%rbp),%eax
add    $0x1a,%eax
mov    %eax,-0x4(%rbp)
jmp    1402 <regValue+0x2b2>
jmp    1364 <regValue+0x214>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x61,%eax
jne    125c <regValue+0x10c>
movl   $0x1f,-0x4(%rbp)
jmp    1402 <regValue+0x2b2>
jmp    1364 <regValue+0x214>
cmpl   $0x0,-0x14(%rbp)
jl     1283 <regValue+0x133>
cmpl   $0x7,-0x14(%rbp)
jg     1283 <regValue+0x133>
mov    -0x14(%rbp),%eax
add    $0x10,%eax
mov    %eax,-0x4(%rbp)
jmp    1402 <regValue+0x2b2>
cmpl   $0x8,-0x14(%rbp)
jne    1299 <regValue+0x149>
movl   $0x1e,-0x4(%rbp)
jmp    1402 <regValue+0x2b2>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x70,%eax
jne    12b6 <regValue+0x166>
movl   $0x1d,-0x4(%rbp)
jmp    1402 <regValue+0x2b2>
jmp    12bb <regValue+0x16b>
jmp    12c0 <regValue+0x170>
jmp    1364 <regValue+0x214>
cmpl   $0x0,-0x14(%rbp)
jl     12e7 <regValue+0x197>
cmpl   $0x7,-0x14(%rbp)
jg     12e7 <regValue+0x197>
mov    -0x14(%rbp),%eax
add    $0x8,%eax
mov    %eax,-0x4(%rbp)
jmp    1402 <regValue+0x2b2>
cmpl   $0x8,-0x14(%rbp)
jl     1309 <regValue+0x1b9>
cmpl   $0x9,-0x14(%rbp)
jg     1309 <regValue+0x1b9>
mov    -0x14(%rbp),%eax
add    $0x10,%eax
mov    %eax,-0x4(%rbp)
jmp    1402 <regValue+0x2b2>
jmp    130e <regValue+0x1be>
jmp    1364 <regValue+0x214>
cmpl   $0x0,-0x14(%rbp)
jl     1335 <regValue+0x1e5>
cmpl   $0x1,-0x14(%rbp)
jg     1335 <regValue+0x1e5>
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x4(%rbp)
jmp    1402 <regValue+0x2b2>
jmp    1364 <regValue+0x214>
mov    -0x10(%rbp),%rdi
lea    0xd23(%rip),%rsi
call   1040 <strcmp@plt>
cmp    $0x0,%eax
jne    135f <regValue+0x20f>
movl   $0x0,-0x4(%rbp)
jmp    1402 <regValue+0x2b2>
jmp    1364 <regValue+0x214>
jmp    13fb <regValue+0x2ab>
movl   $0x0,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
cmp    $0x0,%eax
je     13c4 <regValue+0x274>
movsbl -0x19(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
jne    13a9 <regValue+0x259>
movl   $0xffffffff,-0x4(%rbp)
jmp    1402 <regValue+0x2b2>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x18(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x19(%rbp)
jmp    137e <regValue+0x22e>
mov    -0x10(%rbp),%rdi
call   1070 <atoi@plt>
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
jl     13ef <regValue+0x29f>
cmpl   $0x1f,-0x20(%rbp)
jg     13ef <regValue+0x29f>
mov    -0x20(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1402 <regValue+0x2b2>
xor    %edi,%edi
call   1050 <assert@plt>
jmp    13fb <regValue+0x2ab>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<regValue>:
push   %rbp
push   %rbx
push   %rax
mov    %rdi,%rbx
movsbl (%rdi),%edi
call   1060 <isalpha@plt>
test   %rax,%rax
je     11a3 <regValue+0x53>
movsbl (%rbx),%ecx
mov    $0xffffffff,%ebp
add    $0xffffff9f,%ecx
cmp    $0x19,%ecx
ja     1293 <regValue+0x143>
movsbl 0x1(%rbx),%eax
lea    0xe7e(%rip),%rdx
movslq (%rdx,%rcx,4),%rcx
add    %rdx,%rcx
jmp    *%rcx
mov    %eax,%ecx
and    $0xfc,%cl
cmp    $0x30,%cl
jne    1281 <regValue+0x131>
add    $0xffffffd4,%eax
mov    %eax,%ecx
jmp    1291 <regValue+0x141>
mov    (%rbx),%al
test   %al,%al
je     11c8 <regValue+0x78>
lea    0x1(%rbx),%rbp
nopl   (%rax)
movsbl %al,%edi
call   1030 <isdigit@plt>
test   %eax,%eax
je     11e2 <regValue+0x92>
movzbl 0x0(%rbp),%eax
add    $0x1,%rbp
test   %al,%al
jne    11b0 <regValue+0x60>
mov    %rbx,%rdi
call   1070 <atoi@plt>
mov    %eax,%ebp
cmp    $0x20,%eax
jb     1293 <regValue+0x143>
xor    %edi,%edi
call   1050 <assert@plt>
mov    $0xffffffff,%ebp
jmp    1293 <regValue+0x143>
mov    $0x1c,%ecx
cmp    $0x70,%al
je     1291 <regValue+0x141>
jmp    1293 <regValue+0x143>
mov    %eax,%ecx
and    $0xfe,%cl
cmp    $0x30,%cl
jne    1293 <regValue+0x143>
add    $0xffffffea,%eax
mov    %eax,%ecx
jmp    1291 <regValue+0x141>
mov    %eax,%ecx
and    $0xf8,%cl
cmp    $0x30,%cl
jne    1270 <regValue+0x120>
add    $0xffffffd8,%eax
mov    %eax,%ecx
jmp    1291 <regValue+0x141>
mov    %eax,%ecx
and    $0xfe,%cl
cmp    $0x30,%cl
jne    1293 <regValue+0x143>
add    $0xffffffd2,%eax
mov    %eax,%ecx
jmp    1291 <regValue+0x141>
lea    0xe2c(%rip),%rsi
mov    %rbx,%rdi
call   1040 <strcmp@plt>
test   %eax,%eax
jne    1293 <regValue+0x143>
xor    %ecx,%ecx
jmp    1291 <regValue+0x141>
mov    $0x1f,%ecx
cmp    $0x61,%al
je     1291 <regValue+0x141>
jmp    1293 <regValue+0x143>
mov    %eax,%ecx
and    $0xf8,%cl
cmp    $0x30,%cl
je     127a <regValue+0x12a>
cmp    $0x38,%al
je     128c <regValue+0x13c>
cmp    $0x70,%al
jne    1293 <regValue+0x143>
mov    $0x1d,%ecx
jmp    1291 <regValue+0x141>
mov    %eax,%ecx
and    $0xfe,%cl
cmp    $0x38,%cl
jne    1293 <regValue+0x143>
add    $0xffffffe0,%eax
mov    %eax,%ecx
jmp    1291 <regValue+0x141>
mov    $0x1,%ecx
cmp    $0x74,%al
je     1291 <regValue+0x141>
jmp    1293 <regValue+0x143>
mov    $0x1e,%ecx
mov    %ecx,%ebp
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [5 x i8] c"zero\00"
define i32 @regValue(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = tail call i64 @isalpha(i8 signext %2)
%4 = icmp eq i64 %3, 0
br i1 %4, label %5, label %8
5: ; preds = %1
%6 = load i8, i8* %0
%7 = icmp eq i8 %6, 0
br i1 %7, label %67, label %57
8: ; preds = %1
%9 = getelementptr inbounds i8, i8* %0, i64 1
%10 = load i8, i8* %9
%11 = sext i8 %10 to i32
%12 = load i8, i8* %0
%13 = sext i8 %12 to i32
switch i32 %13, label %72 [
i32 97, label %14
i32 103, label %21
i32 107, label %23
i32 114, label %28
i32 115, label %30
i32 116, label %37
i32 118, label %47
i32 122, label %52
]
14: ; preds = %8
%15 = and i8 %10, -4
%16 = icmp eq i8 %15, 48
br i1 %16, label %17, label %19
17: ; preds = %14
%18 = add nsw i32 %11, -44
br label %55
19: ; preds = %14
%20 = icmp eq i8 %10, 116
br i1 %20, label %55, label %72
21: ; preds = %8
%22 = icmp eq i8 %10, 112
br i1 %22, label %55, label %72
23: ; preds = %8
%24 = and i8 %10, -2
%25 = icmp eq i8 %24, 48
br i1 %25, label %26, label %72
26: ; preds = %23
%27 = add nsw i32 %11, -22
br label %55
28: ; preds = %8
%29 = icmp eq i8 %10, 97
br i1 %29, label %55, label %72
30: ; preds = %8
%31 = and i8 %10, -8
%32 = icmp eq i8 %31, 48
br i1 %32, label %33, label %35
33: ; preds = %30
%34 = add nsw i32 %11, -32
br label %55
35: ; preds = %30
switch i8 %10, label %72 [
i8 56, label %55
i8 112, label %36
]
36: ; preds = %35
br label %55
37: ; preds = %8
%38 = and i8 %10, -8
%39 = icmp eq i8 %38, 48
br i1 %39, label %40, label %42
40: ; preds = %37
%41 = add nsw i32 %11, -40
br label %55
42: ; preds = %37
%43 = and i8 %10, -2
%44 = icmp eq i8 %43, 56
br i1 %44, label %45, label %72
45: ; preds = %42
%46 = add nsw i32 %11, -32
br label %55
47: ; preds = %8
%48 = and i8 %10, -2
%49 = icmp eq i8 %48, 48
br i1 %49, label %50, label %72
50: ; preds = %47
%51 = add nsw i32 %11, -46
br label %55
52: ; preds = %8
%53 = tail call i32 @strcmp(i8* %0, i8* dereferenceable(5) getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0))
%54 = icmp eq i32 %53, 0
br i1 %54, label %55, label %72
55: ; preds = %50, %40, %45, %33, %36, %26, %17, %19, %21, %28, %35, %52
%56 = phi i32 [ 0, %52 ], [ 30, %35 ], [ 31, %28 ], [ 28, %21 ], [ 1, %19 ], [ %18, %17 ], [ %27, %26 ], [ 29, %36 ], [ %34, %33 ], [ %46, %45 ], [ %41, %40 ], [ %51, %50 ]
br label %72
57: ; preds = %5, %62
%58 = phi i64 [ %63, %62 ], [ 0, %5 ]
%59 = phi i8 [ %65, %62 ], [ %6, %5 ]
%60 = tail call i32 @isdigit(i8 signext %59)
%61 = icmp eq i32 %60, 0
br i1 %61, label %72, label %62
62: ; preds = %57
%63 = add nuw i64 %58, 1
%64 = getelementptr inbounds i8, i8* %0, i64 %63
%65 = load i8, i8* %64
%66 = icmp eq i8 %65, 0
br i1 %66, label %67, label %57
67: ; preds = %62, %5
%68 = tail call i32 @atoi(i8* %0)
%69 = icmp ult i32 %68, 32
br i1 %69, label %72, label %70
70: ; preds = %67
%71 = tail call i32 @assert(i32 0)
br label %72
72: ; preds = %57, %67, %8, %19, %21, %23, %28, %42, %47, %52, %35, %70, %55
%73 = phi i32 [ %56, %55 ], [ -1, %70 ], [ -1, %35 ], [ -1, %52 ], [ -1, %47 ], [ -1, %42 ], [ -1, %28 ], [ -1, %23 ], [ -1, %21 ], [ -1, %19 ], [ -1, %8 ], [ %68, %67 ], [ -1, %57 ]
ret i32 %73
}