#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 */
scalar_t__ isdigit(char const);
int order(char const);
int verrevcmp(const char *s1, size_t s1_len, const char *s2, size_t s2_len) {
  size_t s1_pos = 0;
  size_t s2_pos = 0;
  while (s1_pos < s1_len || s2_pos < s2_len) {
    int first_diff = 0;
    while ((s1_pos < s1_len && !isdigit(s1[s1_pos])) ||
           (s2_pos < s2_len && !isdigit(s2[s2_pos]))) {
      int s1_c = (s1_pos == s1_len) ? 0 : order(s1[s1_pos]);
      int s2_c = (s2_pos == s2_len) ? 0 : order(s2[s2_pos]);
      if (s1_c != s2_c)
        return s1_c - s2_c;
      s1_pos++;
      s2_pos++;
    }
    while (s1[s1_pos] == '0')
      s1_pos++;
    while (s2[s2_pos] == '0')
      s2_pos++;
    while (isdigit(s1[s1_pos]) && isdigit(s2[s2_pos])) {
      if (!first_diff)
        first_diff = s1[s1_pos] - s2[s2_pos];
      s1_pos++;
      s2_pos++;
    }
    if (isdigit(s1[s1_pos]))
      return 1;
    if (isdigit(s2[s2_pos]))
      return -1;
    if (first_diff)
      return first_diff;
  }
  return 0;
}


x86 assembly (clang, -O0):
<verrevcmp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
movq   $0x0,-0x38(%rbp)
mov    -0x30(%rbp),%rcx
mov    $0x1,%al
cmp    -0x18(%rbp),%rcx
mov    %al,-0x45(%rbp)
jb     1169 <verrevcmp+0x49>
mov    -0x38(%rbp),%rax
cmp    -0x28(%rbp),%rax
setb   %al
mov    %al,-0x45(%rbp)
mov    -0x45(%rbp),%al
test   $0x1,%al
jne    1179 <verrevcmp+0x59>
jmp    13e7 <verrevcmp+0x2c7>
movl   $0x0,-0x3c(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    11b1 <verrevcmp+0x91>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <isdigit@plt>
mov    %rax,%rcx
mov    $0x1,%al
cmp    $0x0,%rcx
mov    %al,-0x46(%rbp)
je     11e7 <verrevcmp+0xc7>
mov    -0x38(%rbp),%rcx
xor    %eax,%eax
cmp    -0x28(%rbp),%rcx
mov    %al,-0x47(%rbp)
jae    11e1 <verrevcmp+0xc1>
mov    -0x20(%rbp),%rax
mov    -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
setne  %al
xor    $0xff,%al
mov    %al,-0x47(%rbp)
mov    -0x47(%rbp),%al
mov    %al,-0x46(%rbp)
mov    -0x46(%rbp),%al
test   $0x1,%al
jne    11f7 <verrevcmp+0xd7>
jmp    1292 <verrevcmp+0x172>
mov    -0x30(%rbp),%rax
cmp    -0x18(%rbp),%rax
jne    120f <verrevcmp+0xef>
xor    %eax,%eax
mov    %eax,-0x4c(%rbp)
jmp    1223 <verrevcmp+0x103>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <order@plt>
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x28(%rbp),%rax
jne    1241 <verrevcmp+0x121>
xor    %eax,%eax
mov    %eax,-0x50(%rbp)
jmp    1255 <verrevcmp+0x135>
mov    -0x20(%rbp),%rax
mov    -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <order@plt>
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x44(%rbp),%eax
je     1275 <verrevcmp+0x155>
mov    -0x40(%rbp),%eax
sub    -0x44(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13ee <verrevcmp+0x2ce>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1180 <verrevcmp+0x60>
jmp    1297 <verrevcmp+0x177>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    12bd <verrevcmp+0x19d>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1297 <verrevcmp+0x177>
jmp    12c2 <verrevcmp+0x1a2>
mov    -0x20(%rbp),%rax
mov    -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jne    12e8 <verrevcmp+0x1c8>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    12c2 <verrevcmp+0x1a2>
jmp    12ed <verrevcmp+0x1cd>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <isdigit@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    $0x0,%rcx
mov    %al,-0x51(%rbp)
je     132b <verrevcmp+0x20b>
mov    -0x20(%rbp),%rax
mov    -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x51(%rbp)
mov    -0x51(%rbp),%al
test   $0x1,%al
jne    133b <verrevcmp+0x21b>
jmp    137f <verrevcmp+0x25f>
cmpl   $0x0,-0x3c(%rbp)
jne    1362 <verrevcmp+0x242>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x20(%rbp),%rcx
mov    -0x38(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    %ecx,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    12ed <verrevcmp+0x1cd>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     13a6 <verrevcmp+0x286>
movl   $0x1,-0x4(%rbp)
jmp    13ee <verrevcmp+0x2ce>
mov    -0x20(%rbp),%rax
mov    -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     13cd <verrevcmp+0x2ad>
movl   $0xffffffff,-0x4(%rbp)
jmp    13ee <verrevcmp+0x2ce>
cmpl   $0x0,-0x3c(%rbp)
je     13e2 <verrevcmp+0x2c2>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    13ee <verrevcmp+0x2ce>
jmp    1148 <verrevcmp+0x28>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<verrevcmp>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rcx,0x18(%rsp)
mov    %rdx,0x8(%rsp)
mov    %rdi,(%rsp)
xor    %r12d,%r12d
xor    %r14d,%r14d
mov    %rsi,0x20(%rsp)
cmp    %rsi,%r14
jb     1157 <verrevcmp+0x37>
cmp    0x18(%rsp),%r12
jae    12fe <verrevcmp+0x1de>
lea    -0x1(%r14),%rbx
lea    -0x1(%r12),%r15
mov    (%rsp),%rax
lea    (%rax,%r14,1),%rbp
mov    0x8(%rsp),%rax
lea    (%rax,%r12,1),%r13
jmp    11a0 <verrevcmp+0x80>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%r14
add    $0x1,%r12
add    $0x1,%rbx
add    $0x1,%r15
add    $0x1,%rbp
add    $0x1,%r13
sub    %eax,%ecx
jne    130e <verrevcmp+0x1ee>
cmp    0x20(%rsp),%r14
jae    11ba <verrevcmp+0x9a>
mov    (%rsp),%rax
movsbl (%rax,%r14,1),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     11d5 <verrevcmp+0xb5>
cmp    0x18(%rsp),%r12
jae    1220 <verrevcmp+0x100>
mov    0x8(%rsp),%rax
movsbl (%rax,%r12,1),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    1220 <verrevcmp+0x100>
xor    %eax,%eax
mov    $0x0,%ecx
cmp    %r14,0x20(%rsp)
je     11f5 <verrevcmp+0xd5>
mov    (%rsp),%rax
movsbl (%rax,%r14,1),%edi
call   1040 <order@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    %r12,0x18(%rsp)
je     1180 <verrevcmp+0x60>
mov    0x8(%rsp),%rax
movsbl (%rax,%r12,1),%edi
mov    %ecx,0x10(%rsp)
call   1040 <order@plt>
mov    0x10(%rsp),%ecx
jmp    1180 <verrevcmp+0x60>
nopl   0x0(%rax,%rax,1)
mov    %rbx,%r14
mov    (%rsp),%rcx
nopw   0x0(%rax,%rax,1)
mov    %rbp,%rbx
movzbl 0x1(%rcx,%r14,1),%eax
add    $0x1,%r14
add    $0x1,%rbp
cmp    $0x30,%al
je     1230 <verrevcmp+0x110>
add    %r14,%rcx
mov    %rcx,0x10(%rsp)
mov    0x8(%rsp),%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r13,%rbp
cmpb   $0x30,0x1(%rcx,%r15,1)
lea    0x1(%r15),%r15
lea    0x1(%r13),%r13
je     1260 <verrevcmp+0x140>
movsbl %al,%edi
call   1030 <isdigit@plt>
xor    %r13d,%r13d
mov    %r15,%r12
test   %rax,%rax
jne    12de <verrevcmp+0x1be>
mov    0x10(%rsp),%rbx
movsbl (%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    1302 <verrevcmp+0x1e2>
mov    0x8(%rsp),%rax
movsbl (%rax,%r12,1),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    1309 <verrevcmp+0x1e9>
mov    %r13d,%ecx
test   %r13d,%r13d
mov    0x20(%rsp),%rsi
je     1147 <verrevcmp+0x27>
jmp    130e <verrevcmp+0x1ee>
nop
add    $0x1,%r14
add    $0x1,%r12
movsbl 0x1(%rbx),%edi
add    $0x1,%rbx
call   1030 <isdigit@plt>
add    $0x1,%rbp
test   %rax,%rax
je     128b <verrevcmp+0x16b>
movsbl 0x0(%rbp),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     128b <verrevcmp+0x16b>
test   %r13d,%r13d
jne    12c0 <verrevcmp+0x1a0>
movsbl (%rbx),%r13d
movsbl 0x0(%rbp),%eax
sub    %eax,%r13d
jmp    12c0 <verrevcmp+0x1a0>
xor    %ecx,%ecx
jmp    130e <verrevcmp+0x1ee>
mov    $0x1,%ecx
jmp    130e <verrevcmp+0x1ee>
mov    $0xffffffff,%ecx
mov    %ecx,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @verrevcmp(i8* nocapture %0, i64 %1, i8* nocapture %2, i64 %3) {
br label %5
5: ; preds = %101, %4
%6 = phi i64 [ 0, %4 ], [ %89, %101 ]
%7 = phi i64 [ 0, %4 ], [ %91, %101 ]
%8 = icmp ult i64 %7, %1
%9 = icmp ult i64 %6, %3
%10 = select i1 %8, i1 true, i1 %9
br i1 %10, label %11, label %105
11: ; preds = %5, %41
%12 = phi i64 [ %45, %41 ], [ %6, %5 ]
%13 = phi i64 [ %44, %41 ], [ %7, %5 ]
%14 = icmp ult i64 %13, %1
br i1 %14, label %15, label %20
15: ; preds = %11
%16 = getelementptr inbounds i8, i8* %0, i64 %13
%17 = load i8, i8* %16
%18 = tail call i64 @isdigit(i8 signext %17)
%19 = icmp eq i64 %18, 0
br i1 %19, label %28, label %20
20: ; preds = %15, %11
%21 = icmp ult i64 %12, %3
br i1 %21, label %22, label %27
22: ; preds = %20
%23 = getelementptr inbounds i8, i8* %2, i64 %12
%24 = load i8, i8* %23
%25 = tail call i64 @isdigit(i8 signext %24)
%26 = icmp eq i64 %25, 0
br i1 %26, label %28, label %27
27: ; preds = %20, %22
br label %46
28: ; preds = %15, %22
%29 = icmp eq i64 %13, %1
br i1 %29, label %34, label %30
30: ; preds = %28
%31 = getelementptr inbounds i8, i8* %0, i64 %13
%32 = load i8, i8* %31
%33 = tail call i32 @order(i8 signext %32)
br label %34
34: ; preds = %28, %30
%35 = phi i32 [ %33, %30 ], [ 0, %28 ]
%36 = icmp eq i64 %12, %3
br i1 %36, label %41, label %37
37: ; preds = %34
%38 = getelementptr inbounds i8, i8* %2, i64 %12
%39 = load i8, i8* %38
%40 = tail call i32 @order(i8 signext %39)
br label %41
41: ; preds = %34, %37
%42 = phi i32 [ %40, %37 ], [ 0, %34 ]
%43 = icmp eq i32 %35, %42
%44 = add i64 %13, 1
%45 = add i64 %12, 1
br i1 %43, label %11, label %103
46: ; preds = %27, %46
%47 = phi i64 [ %51, %46 ], [ %13, %27 ]
%48 = getelementptr inbounds i8, i8* %0, i64 %47
%49 = load i8, i8* %48
%50 = icmp eq i8 %49, 48
%51 = add i64 %47, 1
br i1 %50, label %46, label %52
52: ; preds = %46
%53 = getelementptr inbounds i8, i8* %0, i64 %47
br label %54
54: ; preds = %54, %52
%55 = phi i64 [ %59, %54 ], [ %12, %52 ]
%56 = getelementptr inbounds i8, i8* %2, i64 %55
%57 = load i8, i8* %56
%58 = icmp eq i8 %57, 48
%59 = add i64 %55, 1
br i1 %58, label %54, label %60
60: ; preds = %54
%61 = tail call i64 @isdigit(i8 signext %49)
%62 = icmp eq i64 %61, 0
br i1 %62, label %88, label %63
63: ; preds = %60, %80
%64 = phi i8* [ %84, %80 ], [ %53, %60 ]
%65 = phi i64 [ %82, %80 ], [ %47, %60 ]
%66 = phi i32 [ %81, %80 ], [ 0, %60 ]
%67 = phi i64 [ %83, %80 ], [ %55, %60 ]
%68 = getelementptr inbounds i8, i8* %2, i64 %67
%69 = load i8, i8* %68
%70 = tail call i64 @isdigit(i8 signext %69)
%71 = icmp eq i64 %70, 0
br i1 %71, label %88, label %72
72: ; preds = %63
%73 = icmp eq i32 %66, 0
br i1 %73, label %74, label %80
74: ; preds = %72
%75 = load i8, i8* %64
%76 = sext i8 %75 to i32
%77 = load i8, i8* %68
%78 = sext i8 %77 to i32
%79 = sub nsw i32 %76, %78
br label %80
80: ; preds = %74, %72
%81 = phi i32 [ %66, %72 ], [ %79, %74 ]
%82 = add i64 %65, 1
%83 = add i64 %67, 1
%84 = getelementptr inbounds i8, i8* %0, i64 %82
%85 = load i8, i8* %84
%86 = tail call i64 @isdigit(i8 signext %85)
%87 = icmp eq i64 %86, 0
br i1 %87, label %88, label %63
88: ; preds = %63, %80, %60
%89 = phi i64 [ %55, %60 ], [ %83, %80 ], [ %67, %63 ]
%90 = phi i32 [ 0, %60 ], [ %81, %80 ], [ %66, %63 ]
%91 = phi i64 [ %47, %60 ], [ %82, %80 ], [ %65, %63 ]
%92 = phi i8* [ %53, %60 ], [ %84, %80 ], [ %64, %63 ]
%93 = load i8, i8* %92
%94 = tail call i64 @isdigit(i8 signext %93)
%95 = icmp eq i64 %94, 0
br i1 %95, label %96, label %105
96: ; preds = %88
%97 = getelementptr inbounds i8, i8* %2, i64 %89
%98 = load i8, i8* %97
%99 = tail call i64 @isdigit(i8 signext %98)
%100 = icmp eq i64 %99, 0
br i1 %100, label %101, label %105
101: ; preds = %96
%102 = icmp eq i32 %90, 0
br i1 %102, label %5, label %105
103: ; preds = %41
%104 = sub nsw i32 %35, %42
br label %105
105: ; preds = %96, %88, %5, %101, %103
%106 = phi i32 [ %104, %103 ], [ 1, %88 ], [ -1, %96 ], [ 0, %5 ], [ %90, %101 ]
ret i32 %106
}