#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 bcd_gt(char *, char *);
int /*<<< orphan*/ stealNextDigit(char *, int);
int bcd_sub(char *s, char *t, int n, char *u) {
  if (bcd_gt(t, s) == 1) {
    return -1;
  }
  char sc[n], tc[n];
  int is;
  for (is = 0; is < n; is++) {
    sc[is] = s[is];
  }
  int it;
  for (it = 0; it < n; it++) {
    tc[it] = t[it];
  }
  int maxd;
  if (sc[0] > tc[0]) {
    maxd = sc[0] - 48;
  } else if (tc[0] > sc[0]) {
    maxd = tc[0] - 48;
  } else {
    maxd = sc[0] - 48;
  }
  int i;
  for (i = 1; i <= (maxd - (sc[0] - 48)); i++) {
    sc[(sc[0] - 48) + i] = '0';
  }
  int j;
  for (j = 1; j <= (maxd - (tc[0] - 48)); j++) {
    tc[(tc[0] - 48) + j] = '0';
  }
  int k;
  for (k = 0; k < n; k++) {
    u[k] = '0';
  }
  u[0] = '1';
  int l;
  for (l = 1; l < maxd; l++) {
    if (sc[l] < tc[l]) {
      stealNextDigit(sc, l);
    }
  }
  int m;
  for (m = 1; m <= maxd; m++) {
    u[m] = (sc[m] - 48) - (tc[m] - 48) + 48;
  }
  int z;
  for (z = maxd; z >= 1; z--) {
    if ((u[z] - 48) > 0) {
      break;
    }
  }
  u[0] = z + 48;
  return 0;
}


x86 assembly (clang, -O0):
<bcd_sub>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <bcd_gt@plt>
cmp    $0x1,%eax
jne    115c <bcd_sub+0x3c>
movl   $0xffffffff,-0x4(%rbp)
jmp    142a <bcd_sub+0x30a>
mov    -0x1c(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x30(%rbp)
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x78(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x38(%rbp)
mov    -0x1c(%rbp),%eax
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x70(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11d8 <bcd_sub+0xb8>
mov    -0x78(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x44(%rbp),%rdx
mov    (%rcx,%rdx,1),%dl
movslq -0x44(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    11a8 <bcd_sub+0x88>
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    120f <bcd_sub+0xef>
mov    -0x70(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq -0x48(%rbp),%rdx
mov    (%rcx,%rdx,1),%dl
movslq -0x48(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    11df <bcd_sub+0xbf>
mov    -0x70(%rbp),%rcx
mov    -0x78(%rbp),%rax
movsbl (%rax),%eax
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jle    1237 <bcd_sub+0x117>
mov    -0x78(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
mov    %eax,-0x4c(%rbp)
jmp    1271 <bcd_sub+0x151>
mov    -0x78(%rbp),%rcx
mov    -0x70(%rbp),%rax
movsbl (%rax),%eax
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jle    125f <bcd_sub+0x13f>
mov    -0x70(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
mov    %eax,-0x4c(%rbp)
jmp    126c <bcd_sub+0x14c>
mov    -0x78(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
mov    %eax,-0x4c(%rbp)
jmp    1271 <bcd_sub+0x151>
movl   $0x1,-0x50(%rbp)
mov    -0x78(%rbp),%rdx
mov    -0x50(%rbp),%eax
mov    -0x4c(%rbp),%ecx
movsbl (%rdx),%edx
sub    $0x30,%edx
sub    %edx,%ecx
cmp    %ecx,%eax
jg     12b4 <bcd_sub+0x194>
mov    -0x78(%rbp),%rax
movsbl (%rax),%ecx
sub    $0x30,%ecx
add    -0x50(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1278 <bcd_sub+0x158>
movl   $0x1,-0x54(%rbp)
mov    -0x70(%rbp),%rdx
mov    -0x54(%rbp),%eax
mov    -0x4c(%rbp),%ecx
movsbl (%rdx),%edx
sub    $0x30,%edx
sub    %edx,%ecx
cmp    %ecx,%eax
jg     12f7 <bcd_sub+0x1d7>
mov    -0x70(%rbp),%rax
movsbl (%rax),%ecx
sub    $0x30,%ecx
add    -0x54(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    12bb <bcd_sub+0x19b>
movl   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1324 <bcd_sub+0x204>
mov    -0x28(%rbp),%rax
movslq -0x58(%rbp),%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    12fe <bcd_sub+0x1de>
mov    -0x28(%rbp),%rax
movb   $0x31,(%rax)
movl   $0x1,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
cmp    -0x4c(%rbp),%eax
jge    137d <bcd_sub+0x25d>
mov    -0x70(%rbp),%rcx
mov    -0x78(%rbp),%rax
movslq -0x5c(%rbp),%rdx
movsbl (%rax,%rdx,1),%eax
movslq -0x5c(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jge    136a <bcd_sub+0x24a>
mov    -0x78(%rbp),%rdi
mov    -0x5c(%rbp),%esi
call   1040 <stealNextDigit@plt>
jmp    136f <bcd_sub+0x24f>
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    1332 <bcd_sub+0x212>
movl   $0x1,-0x60(%rbp)
mov    -0x60(%rbp),%eax
cmp    -0x4c(%rbp),%eax
jg     13ce <bcd_sub+0x2ae>
mov    -0x70(%rbp),%rcx
mov    -0x78(%rbp),%rax
movslq -0x60(%rbp),%rdx
movsbl (%rax,%rdx,1),%eax
sub    $0x30,%eax
movslq -0x60(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
sub    $0x30,%ecx
sub    %ecx,%eax
add    $0x30,%eax
mov    %al,%dl
mov    -0x28(%rbp),%rax
movslq -0x60(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x60(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x60(%rbp)
jmp    1384 <bcd_sub+0x264>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x64(%rbp)
cmpl   $0x1,-0x64(%rbp)
jl     140e <bcd_sub+0x2ee>
mov    -0x28(%rbp),%rax
movslq -0x64(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
cmp    $0x0,%eax
jle    13fb <bcd_sub+0x2db>
jmp    140e <bcd_sub+0x2ee>
jmp    1400 <bcd_sub+0x2e0>
mov    -0x64(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x64(%rbp)
jmp    13d4 <bcd_sub+0x2b4>
mov    -0x64(%rbp),%eax
add    $0x30,%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %cl,(%rax)
movl   $0x0,-0x4(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,%rsp
mov    -0x4(%rbp),%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bcd_sub>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rcx,-0x38(%rbp)
mov    %edx,%ebx
mov    %rsi,%r14
mov    %rdi,%r12
mov    %rsi,%rdi
mov    %r12,%rsi
call   1040 <bcd_gt@plt>
mov    %eax,%ecx
mov    $0xffffffff,%eax
cmp    $0x1,%ecx
je     1417 <bcd_sub+0x2d7>
mov    %rsp,-0x50(%rbp)
mov    %ebx,%ecx
mov    %rsp,%r13
lea    0xf(%rcx),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r13
mov    %r13,%rsp
mov    %rsp,%r15
sub    %rax,%r15
mov    %r15,%rsp
mov    %ebx,-0x2c(%rbp)
test   %ebx,%ebx
mov    %rcx,-0x48(%rbp)
jle    11c7 <bcd_sub+0x87>
mov    %r13,%rdi
mov    %r12,%rsi
mov    %rcx,%rbx
mov    %rcx,%rdx
call   1050 <memcpy@plt>
mov    %r15,%rdi
mov    %r14,%rsi
mov    %rbx,%rdx
call   1050 <memcpy@plt>
mov    (%r15),%al
jmp    11c7 <bcd_sub+0x87>
mov    -0x38(%rbp),%r14
movsbl 0x0(%r13),%ecx
cmp    %cl,%al
movzbl %al,%edx
mov    %ecx,%ebx
cmovg  %edx,%ebx
cmp    %dl,%cl
cmovg  %ecx,%ebx
movsbl %bl,%edx
lea    -0x30(%rdx),%r12d
mov    %rdx,-0x40(%rbp)
cmp    %cl,%dl
jle    1220 <bcd_sub+0xe0>
add    $0xffffffd0,%ecx
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movslq %ecx,%rcx
add    %r13,%rcx
movb   $0x30,0x1(%rdx,%rcx,1)
movsbl 0x0(%r13),%ecx
add    $0xffffffd0,%ecx
mov    %r12d,%esi
sub    %ecx,%esi
add    $0x1,%rdx
cmp    %esi,%edx
jl     1200 <bcd_sub+0xc0>
cmp    %al,%bl
jle    124f <bcd_sub+0x10f>
movsbl %al,%ecx
add    $0xffffffd0,%ecx
xor    %eax,%eax
nopl   0x0(%rax)
movslq %ecx,%rcx
add    %r15,%rcx
movb   $0x30,0x1(%rax,%rcx,1)
movsbl (%r15),%ecx
add    $0xffffffd0,%ecx
mov    %r12d,%edx
sub    %ecx,%edx
add    $0x1,%rax
cmp    %edx,%eax
jl     1230 <bcd_sub+0xf0>
cmpl   $0x0,-0x2c(%rbp)
jle    1266 <bcd_sub+0x126>
mov    %r14,%rdi
mov    $0x30,%esi
mov    -0x48(%rbp),%rdx
call   1030 <memset@plt>
movb   $0x31,(%r14)
mov    %ebx,-0x2c(%rbp)
cmp    $0x32,%bl
jl     12a1 <bcd_sub+0x161>
mov    %r12d,%r14d
mov    $0x1,%ebx
jmp    1289 <bcd_sub+0x149>
nopl   0x0(%rax)
add    $0x1,%rbx
cmp    %rbx,%r14
je     12a1 <bcd_sub+0x161>
movzbl 0x0(%r13,%rbx,1),%eax
cmp    (%r15,%rbx,1),%al
jge    1280 <bcd_sub+0x140>
mov    %r13,%rdi
mov    %ebx,%esi
call   1060 <stealNextDigit@plt>
jmp    1280 <bcd_sub+0x140>
cmpb   $0x31,-0x2c(%rbp)
jge    12b0 <bcd_sub+0x170>
mov    -0x38(%rbp),%rbx
jmp    140a <bcd_sub+0x2ca>
mov    -0x40(%rbp),%r8
add    $0xffffffd1,%r8d
lea    -0x1(%r8),%rax
mov    $0x1,%edx
cmp    $0x8,%rax
mov    -0x38(%rbp),%rbx
jb     13d0 <bcd_sub+0x290>
cmp    $0x10,%rax
jae    12dc <bcd_sub+0x19c>
xor    %ecx,%ecx
jmp    1385 <bcd_sub+0x245>
mov    %rax,%rcx
and    $0xfffffffffffffff0,%rcx
lea    -0x10(%rcx),%rsi
mov    %rsi,%rdx
shr    $0x4,%rdx
add    $0x1,%rdx
test   %rsi,%rsi
je     1426 <bcd_sub+0x2e6>
mov    %rdx,%rdi
and    $0xfffffffffffffffe,%rdi
mov    $0x1,%esi
movdqa 0xcf1(%rip),%xmm0
nop
movdqu 0x0(%r13,%rsi,1),%xmm1
movdqu (%r15,%rsi,1),%xmm2
psubb  %xmm2,%xmm1
paddb  %xmm0,%xmm1
movdqu %xmm1,(%rbx,%rsi,1)
movdqu 0x10(%r13,%rsi,1),%xmm1
movdqu 0x10(%r15,%rsi,1),%xmm2
psubb  %xmm2,%xmm1
paddb  %xmm0,%xmm1
movdqu %xmm1,0x10(%rbx,%rsi,1)
add    $0x20,%rsi
add    $0xfffffffffffffffe,%rdi
jne    1310 <bcd_sub+0x1d0>
test   $0x1,%dl
je     1373 <bcd_sub+0x233>
movdqu 0x0(%r13,%rsi,1),%xmm0
movdqu (%r15,%rsi,1),%xmm1
psubb  %xmm1,%xmm0
paddb  0xc92(%rip),%xmm0
movdqu %xmm0,(%rbx,%rsi,1)
cmp    %rcx,%rax
je     13e8 <bcd_sub+0x2a8>
test   $0x8,%al
jne    1385 <bcd_sub+0x245>
or     $0x1,%rcx
mov    %rcx,%rdx
jmp    13d0 <bcd_sub+0x290>
mov    %rax,%rsi
and    $0xfffffffffffffff8,%rsi
lea    0x1(%rsi),%rdx
movdqa 0xc78(%rip),%xmm0
nopl   0x0(%rax,%rax,1)
movq   0x1(%r13,%rcx,1),%xmm1
movq   0x1(%r15,%rcx,1),%xmm2
psubb  %xmm2,%xmm1
paddb  %xmm0,%xmm1
movq   %xmm1,0x1(%rbx,%rcx,1)
add    $0x8,%rcx
cmp    %rcx,%rsi
jne    13a0 <bcd_sub+0x260>
cmp    %rsi,%rax
je     13e8 <bcd_sub+0x2a8>
nopw   0x0(%rax,%rax,1)
movzbl 0x0(%r13,%rdx,1),%eax
sub    (%r15,%rdx,1),%al
add    $0x30,%al
mov    %al,(%rbx,%rdx,1)
add    $0x1,%rdx
cmp    %rdx,%r8
jne    13d0 <bcd_sub+0x290>
cmpb   $0x31,-0x2c(%rbp)
jl     140a <bcd_sub+0x2ca>
xchg   %ax,%ax
mov    %r12d,%eax
cmpb   $0x30,(%rbx,%rax,1)
jg     140a <bcd_sub+0x2ca>
lea    -0x1(%r12),%eax
cmp    $0x1,%r12d
mov    %eax,%r12d
jg     13f0 <bcd_sub+0x2b0>
xor    %r12d,%r12d
add    $0x30,%r12b
mov    %r12b,(%rbx)
xor    %eax,%eax
mov    -0x50(%rbp),%rsp
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x1,%esi
test   $0x1,%dl
jne    1355 <bcd_sub+0x215>
jmp    1373 <bcd_sub+0x233>

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

LLVM IR (-O2):
define i32 @bcd_sub(i8* %0, i8* %1, i32 %2, i8* nocapture %3) {
%5 = tail call i32 @bcd_gt(i8* %1, i8* %0)
%6 = icmp eq i32 %5, 1
br i1 %6, label %194, label %7
7: ; preds = %4
%8 = zext i32 %2 to i64
%9 = tail call i8* @llvm.stacksave()
%10 = alloca i8, i64 %8
%11 = alloca i8, i64 %8
%12 = icmp sgt i32 %2, 0
br i1 %12, label %13, label %15
13: ; preds = %7
%14 = load i8, i8* %11
br label %15
15: ; preds = %7, %13
%16 = phi i8 [ %14, %13 ], [ undef, %7 ]
%17 = load i8, i8* %10
%18 = icmp sgt i8 %17, %16
%19 = icmp sgt i8 %16, %17
%20 = select i1 %19, i8 %16, i8 %17
%21 = select i1 %18, i8 %17, i8 %20
%22 = sext i8 %21 to i32
%23 = add nsw i32 %22, -48
%24 = icmp sgt i8 %21, %17
br i1 %24, label %25, label %28
25: ; preds = %15
%26 = sext i8 %17 to i32
%27 = add nsw i32 %26, -48
br label %33
28: ; preds = %33, %15
%29 = icmp sgt i8 %21, %16
br i1 %29, label %30, label %45
30: ; preds = %28
%31 = sext i8 %16 to i32
%32 = add nsw i32 %31, -48
br label %47
33: ; preds = %25, %33
%34 = phi i32 [ %42, %33 ], [ %27, %25 ]
%35 = phi i32 [ %39, %33 ], [ 1, %25 ]
%36 = add nsw i32 %34, %35
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i8, i8* %10, i64 %37
store i8 48, i8* %38
%39 = add nuw nsw i32 %35, 1
%40 = load i8, i8* %10
%41 = sext i8 %40 to i32
%42 = add nsw i32 %41, -48
%43 = sub nsw i32 %23, %42
%44 = icmp slt i32 %35, %43
br i1 %44, label %33, label %28
45: ; preds = %47, %28
br i1 %12, label %46, label %59
46: ; preds = %45
br label %59
47: ; preds = %30, %47
%48 = phi i32 [ %56, %47 ], [ %32, %30 ]
%49 = phi i32 [ %53, %47 ], [ 1, %30 ]
%50 = add nsw i32 %48, %49
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i8, i8* %11, i64 %51
store i8 48, i8* %52
%53 = add nuw nsw i32 %49, 1
%54 = load i8, i8* %11
%55 = sext i8 %54 to i32
%56 = add nsw i32 %55, -48
%57 = sub nsw i32 %23, %56
%58 = icmp slt i32 %49, %57
br i1 %58, label %47, label %45
59: ; preds = %46, %45
store i8 49, i8* %3
%60 = icmp sgt i8 %21, 49
br i1 %60, label %61, label %63
61: ; preds = %59
%62 = zext i32 %23 to i64
br label %155
63: ; preds = %165, %59
%64 = icmp slt i8 %21, 49
br i1 %64, label %190, label %65
65: ; preds = %63
%66 = add nsw i32 %22, -47
%67 = zext i32 %66 to i64
%68 = add nsw i64 %67, -1
%69 = icmp ult i64 %68, 8
br i1 %69, label %153, label %70
70: ; preds = %65
%71 = icmp ult i64 %68, 16
br i1 %71, label %131, label %72
72: ; preds = %70
%73 = and i64 %68, -16
%74 = add nsw i64 %73, -16
%75 = lshr exact i64 %74, 4
%76 = add nuw nsw i64 %75, 1
%77 = and i64 %76, 1
%78 = icmp eq i64 %74, 0
br i1 %78, label %111, label %79
79: ; preds = %72
%80 = and i64 %76, 2305843009213693950
br label %81
81: ; preds = %81, %79
%82 = phi i64 [ 0, %79 ], [ %106, %81 ]
%83 = phi i64 [ 0, %79 ], [ %107, %81 ]
%84 = or i64 %82, 1
%85 = getelementptr inbounds i8, i8* %10, i64 %84
%86 = bitcast i8* %85 to <16 x i8>*
%87 = load <16 x i8>, <16 x i8>* %86
%88 = getelementptr inbounds i8, i8* %11, i64 %84
%89 = bitcast i8* %88 to <16 x i8>*
%90 = load <16 x i8>, <16 x i8>* %89
%91 = add <16 x i8> %87, <i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48>
%92 = sub <16 x i8> %91, %90
%93 = getelementptr inbounds i8, i8* %3, i64 %84
%94 = bitcast i8* %93 to <16 x i8>*
store <16 x i8> %92, <16 x i8>* %94
%95 = or i64 %82, 17
%96 = getelementptr inbounds i8, i8* %10, i64 %95
%97 = bitcast i8* %96 to <16 x i8>*
%98 = load <16 x i8>, <16 x i8>* %97
%99 = getelementptr inbounds i8, i8* %11, i64 %95
%100 = bitcast i8* %99 to <16 x i8>*
%101 = load <16 x i8>, <16 x i8>* %100
%102 = add <16 x i8> %98, <i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48>
%103 = sub <16 x i8> %102, %101
%104 = getelementptr inbounds i8, i8* %3, i64 %95
%105 = bitcast i8* %104 to <16 x i8>*
store <16 x i8> %103, <16 x i8>* %105
%106 = add nuw i64 %82, 32
%107 = add i64 %83, 2
%108 = icmp eq i64 %107, %80
br i1 %108, label %109, label %81
109: ; preds = %81
%110 = or i64 %106, 1
br label %111
111: ; preds = %109, %72
%112 = phi i64 [ 1, %72 ], [ %110, %109 ]
%113 = icmp eq i64 %77, 0
br i1 %113, label %125, label %114
114: ; preds = %111
%115 = getelementptr inbounds i8, i8* %10, i64 %112
%116 = bitcast i8* %115 to <16 x i8>*
%117 = load <16 x i8>, <16 x i8>* %116
%118 = getelementptr inbounds i8, i8* %11, i64 %112
%119 = bitcast i8* %118 to <16 x i8>*
%120 = load <16 x i8>, <16 x i8>* %119
%121 = add <16 x i8> %117, <i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48>
%122 = sub <16 x i8> %121, %120
%123 = getelementptr inbounds i8, i8* %3, i64 %112
%124 = bitcast i8* %123 to <16 x i8>*
store <16 x i8> %122, <16 x i8>* %124
br label %125
125: ; preds = %111, %114
%126 = icmp eq i64 %68, %73
br i1 %126, label %168, label %127
127: ; preds = %125
%128 = or i64 %73, 1
%129 = and i64 %68, 8
%130 = icmp eq i64 %129, 0
br i1 %130, label %153, label %131
131: ; preds = %70, %127
%132 = phi i64 [ %73, %127 ], [ 0, %70 ]
%133 = add nsw i64 %67, -1
%134 = and i64 %133, -8
%135 = or i64 %134, 1
br label %136
136: ; preds = %136, %131
%137 = phi i64 [ %132, %131 ], [ %149, %136 ]
%138 = or i64 %137, 1
%139 = getelementptr inbounds i8, i8* %10, i64 %138
%140 = bitcast i8* %139 to <8 x i8>*
%141 = load <8 x i8>, <8 x i8>* %140
%142 = getelementptr inbounds i8, i8* %11, i64 %138
%143 = bitcast i8* %142 to <8 x i8>*
%144 = load <8 x i8>, <8 x i8>* %143
%145 = add <8 x i8> %141, <i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48, i8 48>
%146 = sub <8 x i8> %145, %144
%147 = getelementptr inbounds i8, i8* %3, i64 %138
%148 = bitcast i8* %147 to <8 x i8>*
store <8 x i8> %146, <8 x i8>* %148
%149 = add nuw i64 %137, 8
%150 = icmp eq i64 %149, %134
br i1 %150, label %151, label %136
151: ; preds = %136
%152 = icmp eq i64 %133, %134
br i1 %152, label %168, label %153
153: ; preds = %65, %127, %151
%154 = phi i64 [ 1, %65 ], [ %128, %127 ], [ %135, %151 ]
br label %170
155: ; preds = %61, %165
%156 = phi i64 [ 1, %61 ], [ %166, %165 ]
%157 = getelementptr inbounds i8, i8* %10, i64 %156
%158 = load i8, i8* %157
%159 = getelementptr inbounds i8, i8* %11, i64 %156
%160 = load i8, i8* %159
%161 = icmp slt i8 %158, %160
br i1 %161, label %162, label %165
162: ; preds = %155
%163 = trunc i64 %156 to i32
%164 = call i32 @stealNextDigit(i8* %10, i32 %163)
br label %165
165: ; preds = %155, %162
%166 = add nuw nsw i64 %156, 1
%167 = icmp eq i64 %166, %62
br i1 %167, label %63, label %155
168: ; preds = %170, %151, %125
%169 = icmp sgt i8 %21, 48
br i1 %169, label %181, label %190
170: ; preds = %153, %170
%171 = phi i64 [ %179, %170 ], [ %154, %153 ]
%172 = getelementptr inbounds i8, i8* %10, i64 %171
%173 = load i8, i8* %172
%174 = getelementptr inbounds i8, i8* %11, i64 %171
%175 = load i8, i8* %174
%176 = add i8 %173, 48
%177 = sub i8 %176, %175
%178 = getelementptr inbounds i8, i8* %3, i64 %171
store i8 %177, i8* %178
%179 = add nuw nsw i64 %171, 1
%180 = icmp eq i64 %179, %67
br i1 %180, label %168, label %170
181: ; preds = %168, %187
%182 = phi i32 [ %188, %187 ], [ %23, %168 ]
%183 = zext i32 %182 to i64
%184 = getelementptr inbounds i8, i8* %3, i64 %183
%185 = load i8, i8* %184
%186 = icmp sgt i8 %185, 48
br i1 %186, label %190, label %187
187: ; preds = %181
%188 = add nsw i32 %182, -1
%189 = icmp sgt i32 %182, 1
br i1 %189, label %181, label %190
190: ; preds = %187, %181, %63, %168
%191 = phi i32 [ %23, %168 ], [ %23, %63 ], [ %182, %181 ], [ 0, %187 ]
%192 = trunc i32 %191 to i8
%193 = add i8 %192, 48
store i8 %193, i8* %3
br label %194
194: ; preds = %4, %190
%195 = phi i32 [ 0, %190 ], [ -1, %4 ]
ret i32 %195
}