int mp_unexp_add(int n, int radix, int expdif, int in1[], int in2[],
                 int out[]) {
  int j, x, carry;
  carry = 0;
  if (expdif == 0 && in1[0] + in2[0] >= radix) {
    x = in1[n - 1] + in2[n - 1];
    carry = x >= radix ? -1 : 0;
    for (j = n - 1; j > 0; j--) {
      x = in1[j - 1] + in2[j - 1] - carry;
      carry = x >= radix ? -1 : 0;
      out[j] = x - (radix & carry);
    }
    out[0] = -carry;
  } else {
    if (expdif > n) {
      expdif = n;
    }
    for (j = n - 1; j >= expdif; j--) {
      x = in1[j] + in2[j - expdif] - carry;
      carry = x >= radix ? -1 : 0;
      out[j] = x - (radix & carry);
    }
    for (j = expdif - 1; j >= 0; j--) {
      x = in1[j] - carry;
      carry = x >= radix ? -1 : 0;
      out[j] = x - (radix & carry);
    }
    if (carry != 0) {
      for (j = n - 1; j > 0; j--) {
        out[j] = out[j - 1];
      }
      out[0] = -carry;
    }
  }
  return -carry;
}


x86 assembly (clang, -O0):
<mp_unexp_add>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
movl   $0x0,-0x34(%rbp)
cmpl   $0x0,-0xc(%rbp)
jne    11f9 <mp_unexp_add+0xf9>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    -0x20(%rbp),%rcx
add    (%rcx),%eax
cmp    -0x8(%rbp),%eax
jl     11f9 <mp_unexp_add+0xf9>
mov    -0x18(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    -0x4(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
add    (%rcx,%rdx,4),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%edx
mov    -0x8(%rbp),%esi
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    %esi,%edx
cmovge %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jle    11e9 <mp_unexp_add+0xe9>
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    -0x2c(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
add    (%rcx,%rdx,4),%eax
sub    -0x34(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%edx
mov    -0x8(%rbp),%esi
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    %esi,%edx
cmovge %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%edx
mov    -0x8(%rbp),%eax
and    -0x34(%rbp),%eax
sub    %eax,%edx
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1180 <mp_unexp_add+0x80>
xor    %ecx,%ecx
sub    -0x34(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
jmp    132d <mp_unexp_add+0x22d>
mov    -0xc(%rbp),%eax
cmp    -0x4(%rbp),%eax
jle    120b <mp_unexp_add+0x10b>
mov    -0x4(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     127a <mp_unexp_add+0x17a>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    -0x2c(%rbp),%edx
sub    -0xc(%rbp),%edx
movslq %edx,%rdx
add    (%rcx,%rdx,4),%eax
sub    -0x34(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%edx
mov    -0x8(%rbp),%esi
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    %esi,%edx
cmovge %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%edx
mov    -0x8(%rbp),%eax
and    -0x34(%rbp),%eax
sub    %eax,%edx
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1214 <mp_unexp_add+0x114>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jl     12d7 <mp_unexp_add+0x1d7>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
sub    -0x34(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%edx
mov    -0x8(%rbp),%esi
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    %esi,%edx
cmovge %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%edx
mov    -0x8(%rbp),%eax
and    -0x34(%rbp),%eax
sub    %eax,%edx
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1283 <mp_unexp_add+0x183>
cmpl   $0x0,-0x34(%rbp)
je     1328 <mp_unexp_add+0x228>
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jle    131d <mp_unexp_add+0x21d>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    12ea <mp_unexp_add+0x1ea>
xor    %ecx,%ecx
sub    -0x34(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
jmp    132d <mp_unexp_add+0x22d>
xor    %eax,%eax
sub    -0x34(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<mp_unexp_add>:
push   %rbp
push   %r15
push   %r14
push   %rbx
test   %edx,%edx
jne    1117 <mp_unexp_add+0x17>
mov    (%r8),%eax
add    (%rcx),%eax
cmp    %esi,%eax
jge    1263 <mp_unexp_add+0x163>
xor    %r14d,%r14d
cmp    %edi,%edx
cmovg  %edi,%edx
jge    1170 <mp_unexp_add+0x70>
movslq %edi,%r11
movslq %edx,%r10
mov    %r10,%rax
not    %rax
lea    (%r8,%rax,4),%r8
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    -0x4(%rcx,%r11,4),%ebx
add    (%r8,%r11,4),%ebx
xor    %eax,%eax
cmp    %esi,%ebx
setge  %al
mov    %eax,%r14d
neg    %r14d
mov    %r14d,%ebp
and    %esi,%ebp
sub    %ebp,%ebx
mov    %ebx,-0x4(%r9,%r11,4)
lea    -0x1(%r11),%rbp
mov    %rbp,%r11
mov    %eax,%ebx
cmp    %r10,%rbp
jg     1140 <mp_unexp_add+0x40>
test   %edx,%edx
jle    11fb <mp_unexp_add+0xfb>
mov    %edx,%r8d
test   $0x1,%r8b
je     11a6 <mp_unexp_add+0xa6>
add    $0xffffffffffffffff,%r8
mov    %r8d,%r10d
mov    (%rcx,%r10,4),%ebx
sub    %r14d,%ebx
xor    %r14d,%r14d
cmp    %esi,%ebx
setge  %r14b
neg    %r14d
mov    %r14d,%eax
and    %esi,%eax
sub    %eax,%ebx
mov    %ebx,(%r9,%r10,4)
cmp    $0x1,%edx
je     11fb <mp_unexp_add+0xfb>
add    $0xfffffffffffffffe,%r8
nop
lea    0x1(%r8),%r10
mov    %r10d,%eax
mov    (%rcx,%rax,4),%ebp
sub    %r14d,%ebp
xor    %edx,%edx
cmp    %esi,%ebp
setge  %dl
mov    %edx,%ebx
neg    %ebx
and    %esi,%ebx
sub    %ebx,%ebp
mov    %ebp,(%r9,%rax,4)
mov    %r8d,%eax
shl    $0x2,%rax
add    (%rcx,%rax,1),%edx
xor    %r14d,%r14d
cmp    %esi,%edx
setge  %r14b
neg    %r14d
mov    %r14d,%ebp
and    %esi,%ebp
sub    %ebp,%edx
mov    %edx,(%r9,%rax,1)
add    $0xfffffffffffffffe,%r8
cmp    $0x1,%r10
ja     11b0 <mp_unexp_add+0xb0>
test   %r14d,%r14d
je     125b <mp_unexp_add+0x15b>
mov    $0x1,%r10d
cmp    $0x2,%edi
jl     13e3 <mp_unexp_add+0x2e3>
lea    -0x1(%rdi),%r11d
mov    %r11d,%esi
cmp    $0x1,%r11d
mov    %rsi,%r8
adc    $0xffffffffffffffff,%r8
add    $0x1,%r8
cmp    $0x8,%r8
jae    12c4 <mp_unexp_add+0x1c4>
add    $0x1,%rsi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    -0x2(%rsi),%eax
mov    (%r9,%rax,4),%eax
mov    %eax,-0x4(%r9,%rsi,4)
add    $0xffffffffffffffff,%rsi
cmp    $0x1,%rsi
ja     1240 <mp_unexp_add+0x140>
jmp    13e3 <mp_unexp_add+0x2e3>
xor    %r10d,%r10d
jmp    13e6 <mp_unexp_add+0x2e6>
movslq %edi,%rax
mov    -0x4(%r8,%rax,4),%edx
add    -0x4(%rcx,%rax,4),%edx
xor    %eax,%eax
cmp    %esi,%edx
setge  %al
cmp    $0x2,%edi
jl     13e0 <mp_unexp_add+0x2e0>
add    $0xffffffff,%edi
mov    %edi,%edx
add    $0x1,%rdx
nopl   0x0(%rax,%rax,1)
lea    -0x2(%rdx),%edi
add    (%rcx,%rdi,4),%eax
add    (%r8,%rdi,4),%eax
xor    %r10d,%r10d
cmp    %esi,%eax
setge  %r10b
mov    $0x0,%edi
cmovge %esi,%edi
sub    %edi,%eax
mov    %eax,-0x4(%r9,%rdx,4)
add    $0xffffffffffffffff,%rdx
mov    %r10d,%eax
cmp    $0x1,%rdx
ja     1290 <mp_unexp_add+0x190>
jmp    13e3 <mp_unexp_add+0x2e3>
cmp    $0x1,%r11d
mov    %rsi,%rcx
adc    $0xffffffffffffffff,%rcx
add    $0xfffffffe,%edi
mov    $0x4,%edx
mov    %rcx,%rax
mul    %rdx
seto   %dl
cmp    %ecx,%edi
jb     122f <mp_unexp_add+0x12f>
shr    $0x20,%rcx
jne    122f <mp_unexp_add+0x12f>
lea    (%r9,%rsi,4),%rcx
mov    %rcx,%rbx
sub    %rax,%rbx
cmp    %rcx,%rbx
ja     122f <mp_unexp_add+0x12f>
test   %dl,%dl
jne    122f <mp_unexp_add+0x12f>
lea    (%r9,%rdi,4),%rcx
mov    %rcx,%rbx
sub    %rax,%rbx
cmp    %rcx,%rbx
ja     122f <mp_unexp_add+0x12f>
test   %dl,%dl
jne    122f <mp_unexp_add+0x12f>
xor    %eax,%eax
test   %r11d,%r11d
setne  %al
lea    (%r9,%rax,4),%rcx
lea    (%r9,%rdi,4),%rdx
add    $0x4,%rdx
cmp    %rdx,%rcx
jae    135c <mp_unexp_add+0x25c>
lea    (%r9,%rsi,4),%rcx
add    $0x4,%rcx
add    %rdi,%rax
sub    %rsi,%rax
lea    (%r9,%rax,4),%rax
cmp    %rcx,%rax
jb     122f <mp_unexp_add+0x12f>
mov    $0xffffffff,%r11d
mov    %r8,%r14
and    $0xfffffffffffffff8,%r14
lea    -0x8(%r14),%rax
mov    %rax,%r15
shr    $0x3,%r15
add    $0x1,%r15
test   %rax,%rax
je     13f0 <mp_unexp_add+0x2f0>
mov    %r15,%rdx
and    $0xfffffffffffffffe,%rdx
lea    (%r9,%rsi,4),%rbx
add    $0xfffffffffffffff4,%rbx
lea    (%rsi,%r11,1),%rax
add    $0xfffffffffffffff8,%rax
lea    (%rsi,%r11,1),%rcx
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
lea    (%rcx,%rdi,1),%ebp
movups -0x1c(%r9,%rbp,4),%xmm0
movups -0xc(%r9,%rbp,4),%xmm1
movups %xmm1,(%rbx,%rdi,4)
movups %xmm0,-0x10(%rbx,%rdi,4)
lea    (%rax,%rdi,1),%ebp
movups -0x1c(%r9,%rbp,4),%xmm0
movups -0xc(%r9,%rbp,4),%xmm1
movups %xmm1,-0x20(%rbx,%rdi,4)
movups %xmm0,-0x30(%rbx,%rdi,4)
add    $0xfffffffffffffff0,%rdi
add    $0xfffffffffffffffe,%rdx
jne    13a0 <mp_unexp_add+0x2a0>
neg    %rdi
jmp    13f2 <mp_unexp_add+0x2f2>
mov    %eax,%r10d
mov    %r10d,(%r9)
mov    %r10d,%eax
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %edi,%edi
test   $0x1,%r15b
je     1419 <mp_unexp_add+0x319>
mov    %rsi,%rax
sub    %rdi,%rax
add    %eax,%r11d
movups -0x1c(%r9,%r11,4),%xmm0
movups -0xc(%r9,%r11,4),%xmm1
movups %xmm1,-0xc(%r9,%rax,4)
movups %xmm0,-0x1c(%r9,%rax,4)
cmp    %r14,%r8
je     13e3 <mp_unexp_add+0x2e3>
sub    %r14,%rsi
jmp    122f <mp_unexp_add+0x12f>

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

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