int deduct(unsigned char *a, int a_len, unsigned char *b, int b_len) {
  int i, j, k;
  if (a_len != b_len) {
    for (i = a_len, j = b_len; j >= 0; i--, j--) {
      b[i] = b[j];
      b[j] = 0;
    }
  }
  for (i = a_len; i >= 0; i--) {
    if (a[i] >= b[i])
      a[i] -= b[i];
    else {
      j = i - 1;
      while (1) {
        if (a[j] > 0) {
          a[j]--;
          a[i] += 256 - b[i];
          break;
        } else
          a[j] = 255;
        j--;
      }
    }
  }
  if (a_len != b_len) {
    b_len = a_len;
    for (i = 0; i <= b_len; i++) {
      if (b[i] > 0)
        break;
      else {
        for (j = 0, k = 1; k <= b_len; j++, k++)
          b[j] = b[k];
        b[b_len] = 0;
        b_len--;
      }
    }
  }
  for (i = 0; i <= a_len; i++) {
    if (a[i] > 0)
      break;
    else {
      for (j = 0, k = 1; k <= a_len; j++, k++)
        a[j] = a[k];
      a[a_len] = 0;
      a_len--;
    }
  }
  return a_len;
}


x86 assembly (clang, -O0):
<deduct>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     1172 <deduct+0x72>
mov    -0xc(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jl     116d <deduct+0x6d>
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    112a <deduct+0x2a>
jmp    1172 <deduct+0x72>
mov    -0xc(%rbp),%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
jl     124e <deduct+0x14e>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x20(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jl     11c4 <deduct+0xc4>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movzbl (%rax,%rcx,1),%esi
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
movzbl (%rax,%rcx,1),%edx
sub    %esi,%edx
mov    %dl,(%rax,%rcx,1)
jmp    123b <deduct+0x13b>
mov    -0x20(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jle    121c <deduct+0x11c>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
add    $0xff,%dl
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    $0x100,%esi
sub    %eax,%esi
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
movzbl (%rax,%rcx,1),%edx
add    %esi,%edx
mov    %dl,(%rax,%rcx,1)
jmp    1236 <deduct+0x136>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0xff,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    11cd <deduct+0xcd>
jmp    123b <deduct+0x13b>
jmp    1240 <deduct+0x140>
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    1178 <deduct+0x78>
mov    -0xc(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     1301 <deduct+0x201>
mov    -0xc(%rbp),%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     12fc <deduct+0x1fc>
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jle    128d <deduct+0x18d>
jmp    12fc <deduct+0x1fc>
movl   $0x0,-0x24(%rbp)
movl   $0x1,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     12d4 <deduct+0x1d4>
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    129b <deduct+0x19b>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    12ee <deduct+0x1ee>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1267 <deduct+0x167>
jmp    1301 <deduct+0x201>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     139d <deduct+0x29d>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jle    132e <deduct+0x22e>
jmp    139d <deduct+0x29d>
movl   $0x0,-0x24(%rbp)
movl   $0x1,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     1375 <deduct+0x275>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    133c <deduct+0x23c>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    138f <deduct+0x28f>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1308 <deduct+0x208>
mov    -0xc(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<deduct>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdx,%r15
mov    %esi,%r14d
mov    %rdi,%r13
cmp    %ecx,%esi
je     1202 <deduct+0xf2>
test   %ecx,%ecx
js     1202 <deduct+0xf2>
mov    %ecx,%r11d
movslq %r14d,%rax
cmp    $0x3,%ecx
jae    1164 <deduct+0x54>
test   $0x1,%r11b
jne    11bd <deduct+0xad>
mov    (%r15,%r11,1),%dl
mov    %dl,(%r15,%rax,1)
movb   $0x0,(%r15,%r11,1)
add    $0xffffffffffffffff,%rax
lea    -0x1(%r11),%rsi
test   %r11,%r11
jne    11c5 <deduct+0xb5>
jmp    1202 <deduct+0xf2>
lea    (%r15,%rax,1),%rdx
mov    %rdx,%rsi
sub    %r11,%rsi
cmp    %rdx,%rsi
ja     113f <deduct+0x2f>
lea    (%r15,%r11,1),%rdx
cmp    %r15,%rdx
jb     113f <deduct+0x2f>
mov    %rax,%rdx
sub    %r11,%rdx
add    %r15,%rdx
lea    (%r11,%r15,1),%rsi
add    $0x1,%rsi
cmp    %rsi,%rdx
jae    119f <deduct+0x8f>
lea    (%rax,%r15,1),%rdx
add    $0x1,%rdx
cmp    %r15,%rdx
ja     113f <deduct+0x2f>
lea    0x1(%r11),%r8
movabs $0x1fffffff0,%r9
cmp    $0xf,%ecx
jae    1345 <deduct+0x235>
xor    %esi,%esi
jmp    1427 <deduct+0x317>
mov    %r11,%rsi
test   %r11,%r11
je     1202 <deduct+0xf2>
add    %r15,%rax
lea    (%r15,%rsi,1),%rdx
not    %rsi
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl (%rdx,%rdi,1),%ebx
mov    %bl,(%rax,%rdi,1)
movb   $0x0,(%rdx,%rdi,1)
movzbl -0x1(%rdx,%rdi,1),%ebx
mov    %bl,-0x1(%rax,%rdi,1)
movb   $0x0,-0x1(%rdx,%rdi,1)
add    $0xfffffffffffffffe,%rdi
cmp    %rdi,%rsi
jne    11e0 <deduct+0xd0>
test   %r14d,%r14d
js     1333 <deduct+0x223>
mov    %r14d,%edx
lea    (%rdx,%r13,1),%rax
add    $0xfffffffffffffffe,%rax
mov    %rdx,(%rsp)
jmp    1235 <deduct+0x125>
nopl   0x0(%rax)
lea    -0x1(%rdx),%rdi
mov    %bl,0x0(%r13,%rdx,1)
add    $0xffffffffffffffff,%rax
test   %rdx,%rdx
mov    %rdi,%rdx
jle    128c <deduct+0x17c>
mov    0x0(%r13,%rdx,1),%bl
sub    (%r15,%rdx,1),%bl
jae    1220 <deduct+0x110>
lea    (%rdx,%r13,1),%rsi
add    $0xffffffffffffffff,%rsi
mov    -0x1(%r13,%rdx,1),%bl
mov    %rax,%rdi
test   %bl,%bl
jne    1278 <deduct+0x168>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movb   $0xff,(%rsi)
movzbl (%rdi),%ebx
mov    %rdi,%rsi
add    $0xffffffffffffffff,%rdi
test   %bl,%bl
je     1260 <deduct+0x150>
add    $0x1,%rdi
mov    %rdi,%rsi
lea    -0x1(%rdx),%rdi
add    $0xff,%bl
mov    %bl,(%rsi)
mov    0x0(%r13,%rdx,1),%bl
sub    (%r15,%rdx,1),%bl
jmp    1224 <deduct+0x114>
cmp    %ecx,%r14d
je     12e1 <deduct+0x1d1>
test   %r14d,%r14d
js     12e1 <deduct+0x1d1>
lea    0x1(%r15),%r12
xor    %ebp,%ebp
mov    (%rsp),%rbx
jmp    12c5 <deduct+0x1b5>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movb   $0x0,(%r15,%rbx,1)
add    $0xffffffffffffffff,%rbx
lea    0x1(%rbp),%rax
cmp    %rbx,%rbp
mov    %rax,%rbp
jge    12e1 <deduct+0x1d1>
cmpb   $0x0,(%r15,%rbp,1)
jne    12e1 <deduct+0x1d1>
test   %rbx,%rbx
jle    12b0 <deduct+0x1a0>
mov    %r15,%rdi
mov    %r12,%rsi
mov    %rbx,%rdx
call   1030 <memmove@plt>
jmp    12b0 <deduct+0x1a0>
test   %r14d,%r14d
js     1333 <deduct+0x223>
lea    0x1(%r13),%r15
xor    %ebx,%ebx
mov    (%rsp),%r14
jmp    1316 <deduct+0x206>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movb   $0x0,0x0(%r13,%r14,1)
add    $0xffffffffffffffff,%r14
lea    0x1(%rbx),%rax
cmp    %r14,%rbx
mov    %rax,%rbx
jge    1333 <deduct+0x223>
cmpb   $0x0,0x0(%r13,%rbx,1)
jne    1333 <deduct+0x223>
test   %r14,%r14
jle    1300 <deduct+0x1f0>
mov    %r13,%rdi
mov    %r15,%rsi
mov    %r14,%rdx
call   1030 <memmove@plt>
jmp    1300 <deduct+0x1f0>
mov    %r14d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r8,%rsi
and    %r9,%rsi
lea    -0x10(%rsi),%rdx
mov    %rdx,%rbp
shr    $0x4,%rbp
add    $0x1,%rbp
mov    %ebp,%r10d
and    $0x3,%r10d
cmp    $0x30,%rdx
jae    136b <deduct+0x25b>
xor    %ebx,%ebx
jmp    13d6 <deduct+0x2c6>
and    $0xfffffffffffffffc,%rbp
lea    (%rax,%r15,1),%rdi
add    $0xfffffffffffffff1,%rdi
lea    (%r11,%r15,1),%rdx
add    $0xfffffffffffffff1,%rdx
xor    %ebx,%ebx
xorps  %xmm0,%xmm0
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movups (%rdx,%rbx,1),%xmm1
movups %xmm1,(%rdi,%rbx,1)
movups %xmm0,(%rdx,%rbx,1)
movups -0x10(%rdx,%rbx,1),%xmm1
movups %xmm1,-0x10(%rdi,%rbx,1)
movups %xmm0,-0x10(%rdx,%rbx,1)
movups -0x20(%rdx,%rbx,1),%xmm1
movups %xmm1,-0x20(%rdi,%rbx,1)
movups %xmm0,-0x20(%rdx,%rbx,1)
movups -0x30(%rdx,%rbx,1),%xmm1
movups %xmm1,-0x30(%rdi,%rbx,1)
movups %xmm0,-0x30(%rdx,%rbx,1)
add    $0xffffffffffffffc0,%rbx
add    $0xfffffffffffffffc,%rbp
jne    1390 <deduct+0x280>
neg    %rbx
test   %r10,%r10
je     1418 <deduct+0x308>
mov    %r11,%rdx
sub    %rbx,%rdx
add    %r15,%rdx
add    $0xfffffffffffffff1,%rdx
mov    %rax,%rdi
sub    %rbx,%rdi
add    %r15,%rdi
add    $0xfffffffffffffff1,%rdi
shl    $0x4,%r10
xor    %ebx,%ebx
xorps  %xmm0,%xmm0
xchg   %ax,%ax
movups (%rdx,%rbx,1),%xmm1
movups %xmm1,(%rdi,%rbx,1)
movups %xmm0,(%rdx,%rbx,1)
add    $0xfffffffffffffff0,%rbx
mov    %r10,%rbp
add    %rbx,%rbp
jne    1400 <deduct+0x2f0>
cmp    %rsi,%r8
je     1202 <deduct+0xf2>
test   $0xc,%r8b
je     1485 <deduct+0x375>
add    $0xc,%r9
and    %r8,%r9
mov    %r8,%rdx
and    $0xfffffffffffffffc,%rdx
neg    %rdx
neg    %rsi
lea    (%r11,%r15,1),%rdi
add    $0xfffffffffffffffd,%rdi
sub    %r9,%r11
lea    (%rax,%r15,1),%rbp
add    $0xfffffffffffffffd,%rbp
sub    %r9,%rax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%rsi,1),%ebx
mov    %ebx,0x0(%rbp,%rsi,1)
movl   $0x0,(%rdi,%rsi,1)
add    $0xfffffffffffffffc,%rsi
cmp    %rsi,%rdx
jne    1460 <deduct+0x350>
cmp    %r9,%r8
jne    113f <deduct+0x2f>
jmp    1202 <deduct+0xf2>
sub    %rsi,%r11
sub    %rsi,%rax
jmp    113f <deduct+0x2f>

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

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