int mp_unexp_add(int n, int radix, int expdif, short int in1[], short int in2[],
                 short 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] = (short int)(x - (radix & carry));
    }
    out[0] = (short int)-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] = (short int)(x - (radix & carry));
    }
    for (j = expdif - 1; j >= 0; j--) {
      x = in1[j] - carry;
      carry = x >= radix ? -1 : 0;
      out[j] = (short int)(x - (radix & carry));
    }
    if (carry != 0) {
      for (j = n - 1; j > 0; j--) {
        out[j] = out[j - 1];
      }
      out[0] = (short int)-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    120d <mp_unexp_add+0x10d>
mov    -0x18(%rbp),%rax
movswl (%rax),%eax
mov    -0x20(%rbp),%rcx
movswl (%rcx),%ecx
add    %ecx,%eax
cmp    -0x8(%rbp),%eax
jl     120d <mp_unexp_add+0x10d>
mov    -0x18(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
mov    -0x20(%rbp),%rcx
mov    -0x4(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
movswl (%rcx,%rdx,2),%ecx
add    %ecx,%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    11f9 <mp_unexp_add+0xf9>
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movswl (%rax,%rcx,2),%eax
mov    -0x20(%rbp),%rcx
mov    -0x2c(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
movswl (%rcx,%rdx,2),%ecx
add    %ecx,%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),%eax
mov    -0x8(%rbp),%ecx
and    -0x34(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,%dx
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1188 <mp_unexp_add+0x88>
xor    %eax,%eax
sub    -0x34(%rbp),%eax
mov    %ax,%cx
mov    -0x28(%rbp),%rax
mov    %cx,(%rax)
jmp    1354 <mp_unexp_add+0x254>
mov    -0xc(%rbp),%eax
cmp    -0x4(%rbp),%eax
jle    121f <mp_unexp_add+0x11f>
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     1296 <mp_unexp_add+0x196>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
mov    -0x20(%rbp),%rcx
mov    -0x2c(%rbp),%edx
sub    -0xc(%rbp),%edx
movslq %edx,%rdx
movswl (%rcx,%rdx,2),%ecx
add    %ecx,%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),%eax
mov    -0x8(%rbp),%ecx
and    -0x34(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,%dx
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1228 <mp_unexp_add+0x128>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jl     12f8 <mp_unexp_add+0x1f8>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movswl (%rax,%rcx,2),%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),%eax
mov    -0x8(%rbp),%ecx
and    -0x34(%rbp),%ecx
sub    %ecx,%eax
mov    %ax,%dx
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    129f <mp_unexp_add+0x19f>
cmpl   $0x0,-0x34(%rbp)
je     134f <mp_unexp_add+0x24f>
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jle    1340 <mp_unexp_add+0x240>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,2),%dx
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    130b <mp_unexp_add+0x20b>
xor    %eax,%eax
sub    -0x34(%rbp),%eax
mov    %ax,%cx
mov    -0x28(%rbp),%rax
mov    %cx,(%rax)
jmp    1354 <mp_unexp_add+0x254>
xor    %eax,%eax
sub    -0x34(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<mp_unexp_add>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
test   %edx,%edx
jne    111d <mp_unexp_add+0x1d>
movswl (%rcx),%eax
movswl (%r8),%ebp
add    %eax,%ebp
cmp    %esi,%ebp
jge    1274 <mp_unexp_add+0x174>
xor    %r14d,%r14d
cmp    %edi,%edx
cmovg  %edi,%edx
jge    1175 <mp_unexp_add+0x75>
movslq %edi,%r11
movslq %edx,%r10
mov    %r10,%rax
not    %rax
lea    (%r8,%rax,2),%r8
xor    %eax,%eax
nopl   0x0(%rax)
movswl -0x2(%rcx,%r11,2),%ebp
add    %eax,%ebp
movswl (%r8,%r11,2),%ebx
add    %ebp,%ebx
xor    %eax,%eax
cmp    %esi,%ebx
setge  %al
mov    %eax,%r14d
neg    %r14d
mov    %r14d,%ebp
and    %esi,%ebp
sub    %ebp,%ebx
mov    %bx,-0x2(%r9,%r11,2)
lea    -0x1(%r11),%rbx
mov    %rbx,%r11
cmp    %r10,%rbx
jg     1140 <mp_unexp_add+0x40>
test   %edx,%edx
jle    1210 <mp_unexp_add+0x110>
mov    %edx,%r8d
test   $0x1,%r8b
je     11ad <mp_unexp_add+0xad>
add    $0xffffffffffffffff,%r8
mov    %r8d,%r10d
movswl (%rcx,%r10,2),%eax
sub    %r14d,%eax
xor    %r14d,%r14d
cmp    %esi,%eax
setge  %r14b
neg    %r14d
mov    %r14d,%ebx
and    %esi,%ebx
sub    %ebx,%eax
mov    %ax,(%r9,%r10,2)
cmp    $0x1,%edx
je     1210 <mp_unexp_add+0x110>
add    $0xfffffffffffffffe,%r8
cs nopw 0x0(%rax,%rax,1)
lea    0x1(%r8),%r10
mov    %r10d,%eax
movswl (%rcx,%rax,2),%ebp
sub    %r14d,%ebp
xor    %edx,%edx
cmp    %esi,%ebp
setge  %dl
mov    %edx,%ebx
neg    %ebx
and    %esi,%ebx
sub    %ebx,%ebp
mov    %bp,(%r9,%rax,2)
mov    %r8d,%eax
add    %rax,%rax
movswl (%rcx,%rax,1),%ebp
add    %edx,%ebp
xor    %r14d,%r14d
cmp    %esi,%ebp
setge  %r14b
neg    %r14d
mov    %r14d,%edx
and    %esi,%edx
sub    %edx,%ebp
mov    %bp,(%r9,%rax,1)
add    $0xfffffffffffffffe,%r8
cmp    $0x1,%r10
ja     11c0 <mp_unexp_add+0xc0>
test   %r14d,%r14d
je     126d <mp_unexp_add+0x16d>
mov    $0xffffffff,%eax
mov    $0x1,%r14w
cmp    $0x2,%edi
jl     141b <mp_unexp_add+0x31b>
lea    -0x1(%rdi),%ecx
mov    %ecx,%edx
cmp    $0x1,%ecx
mov    %rdx,%r15
adc    $0xffffffffffffffff,%r15
add    $0x1,%r15
cmp    $0x10,%r15
jae    12ee <mp_unexp_add+0x1ee>
add    $0x1,%rdx
nopl   0x0(%rax)
lea    -0x2(%rdx),%ecx
movzwl (%r9,%rcx,2),%ecx
mov    %cx,-0x2(%r9,%rdx,2)
add    $0xffffffffffffffff,%rdx
cmp    $0x1,%rdx
ja     1250 <mp_unexp_add+0x150>
jmp    141b <mp_unexp_add+0x31b>
xor    %eax,%eax
jmp    141f <mp_unexp_add+0x31f>
movslq %edi,%rax
movswl -0x2(%rcx,%rax,2),%edx
movswl -0x2(%r8,%rax,2),%ebp
add    %edx,%ebp
xor    %eax,%eax
cmp    %esi,%ebp
setge  %bl
cmp    $0x2,%edi
jl     1411 <mp_unexp_add+0x311>
lea    -0x1(%rdi),%eax
mov    %eax,%r10d
add    $0x1,%r10
add    $0xfffffffe,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl %bl,%eax
and    $0x1,%eax
mov    %edi,%ebp
movswl (%rcx,%rbp,2),%ebx
add    %eax,%ebx
movswl (%r8,%rbp,2),%ebp
add    %ebx,%ebp
xor    %ebx,%ebx
cmp    %esi,%ebp
setge  %bl
mov    %ebx,%eax
neg    %eax
mov    %eax,%edx
and    %esi,%edx
sub    %edx,%ebp
mov    %bp,-0x2(%r9,%r10,2)
add    $0xffffffffffffffff,%r10
add    $0xffffffff,%edi
cmp    $0x1,%r10
ja     12b0 <mp_unexp_add+0x1b0>
jmp    1415 <mp_unexp_add+0x315>
cmp    $0x1,%ecx
mov    %rdx,%rsi
adc    $0xffffffffffffffff,%rsi
add    $0xfffffffe,%edi
mov    %rsi,%rbp
add    %rsi,%rbp
setb   %r8b
cmp    %esi,%edi
jb     1245 <mp_unexp_add+0x145>
shr    $0x20,%rsi
jne    1245 <mp_unexp_add+0x145>
lea    (%r9,%rdx,2),%rbx
mov    %rbx,%rsi
sub    %rbp,%rsi
cmp    %rbx,%rsi
ja     1245 <mp_unexp_add+0x145>
test   %r8b,%r8b
jne    1245 <mp_unexp_add+0x145>
lea    (%r9,%rdi,2),%rbx
mov    %rbx,%rsi
sub    %rbp,%rsi
cmp    %rbx,%rsi
ja     1245 <mp_unexp_add+0x145>
test   %r8b,%r8b
jne    1245 <mp_unexp_add+0x145>
xor    %esi,%esi
test   %ecx,%ecx
setne  %sil
lea    (%r9,%rsi,2),%rcx
lea    (%r9,%rdi,2),%rbp
add    $0x2,%rbp
cmp    %rbp,%rcx
jae    1383 <mp_unexp_add+0x283>
lea    (%r9,%rdx,2),%rcx
add    $0x2,%rcx
add    %rdi,%rsi
sub    %rdx,%rsi
lea    (%r9,%rsi,2),%rsi
cmp    %rcx,%rsi
jb     1245 <mp_unexp_add+0x145>
mov    $0xffffffff,%r8d
mov    %r15,%r10
and    $0xfffffffffffffff0,%r10
lea    -0x10(%r10),%rcx
mov    %rcx,%r11
shr    $0x4,%r11
add    $0x1,%r11
test   %rcx,%rcx
je     142a <mp_unexp_add+0x32a>
mov    %r11,%rcx
and    $0xfffffffffffffffe,%rcx
lea    (%r9,%rdx,2),%rbx
add    $0xfffffffffffffff2,%rbx
lea    (%rdx,%r8,1),%r12
add    $0xfffffffffffffff0,%r12
lea    (%rdx,%r8,1),%rsi
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nop
lea    (%rsi,%rdi,1),%ebp
movups -0x1e(%r9,%rbp,2),%xmm0
movups -0xe(%r9,%rbp,2),%xmm1
movups %xmm1,(%rbx,%rdi,2)
movups %xmm0,-0x10(%rbx,%rdi,2)
lea    (%r12,%rdi,1),%ebp
movups -0x1e(%r9,%rbp,2),%xmm0
movups -0xe(%r9,%rbp,2),%xmm1
movups %xmm1,-0x20(%rbx,%rdi,2)
movups %xmm0,-0x30(%rbx,%rdi,2)
add    $0xffffffffffffffe0,%rdi
add    $0xfffffffffffffffe,%rcx
jne    13d0 <mp_unexp_add+0x2d0>
neg    %rdi
jmp    142c <mp_unexp_add+0x32c>
mov    %bl,%al
neg    %eax
mov    %eax,%r14d
neg    %r14d
mov    %r14w,(%r9)
neg    %eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %edi,%edi
test   $0x1,%r11b
je     1453 <mp_unexp_add+0x353>
mov    %rdx,%rcx
sub    %rdi,%rcx
add    %ecx,%r8d
movups -0x1e(%r9,%r8,2),%xmm0
movups -0xe(%r9,%r8,2),%xmm1
movups %xmm1,-0xe(%r9,%rcx,2)
movups %xmm0,-0x1e(%r9,%rcx,2)
cmp    %r10,%r15
je     141b <mp_unexp_add+0x31b>
sub    %r10,%rdx
jmp    1245 <mp_unexp_add+0x145>

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

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