int mp_unexp_sub(int n, int radix, int expdif, short int in1[], short int in2[],
                 short int out[]) {
  int j, x, borrow, ncancel;
  if (expdif > n) {
    expdif = n;
  }
  borrow = 0;
  for (j = n - 1; j >= expdif; j--) {
    x = in1[j] - in2[j - expdif] + borrow;
    borrow = x < 0 ? -1 : 0;
    out[j] = (short int)(x + (radix & borrow));
  }
  for (j = expdif - 1; j >= 0; j--) {
    x = in1[j] + borrow;
    borrow = x < 0 ? -1 : 0;
    out[j] = (short int)(x + (radix & borrow));
  }
  ncancel = 0;
  for (j = 0; j < n && out[j] == 0; j++) {
    ncancel = j + 1;
  }
  if (ncancel > 0 && ncancel < n) {
    for (j = 0; j < n - ncancel; j++) {
      out[j] = out[j + ncancel];
    }
    for (j = n - ncancel; j < n; j++) {
      out[j] = 0;
    }
  }
  return ncancel;
}


x86 assembly (clang, -O0):
<mp_unexp_sub>:
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)
mov    -0xc(%rbp),%eax
cmp    -0x4(%rbp),%eax
jle    112b <mp_unexp_sub+0x2b>
mov    -0x4(%rbp),%eax
mov    %eax,-0xc(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     11a7 <mp_unexp_sub+0xa7>
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
sub    %ecx,%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%edx
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    $0x0,%edx
cmovl  %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x8(%rbp),%ecx
and    -0x34(%rbp),%ecx
add    %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    113b <mp_unexp_sub+0x3b>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jl     1207 <mp_unexp_sub+0x107>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%edx
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    $0x0,%edx
cmovl  %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x8(%rbp),%ecx
and    -0x34(%rbp),%ecx
add    %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    11b0 <mp_unexp_sub+0xb0>
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%ecx
xor    %eax,%eax
cmp    -0x4(%rbp),%ecx
mov    %al,-0x39(%rbp)
jge    123b <mp_unexp_sub+0x13b>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
cmp    $0x0,%eax
sete   %al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    124b <mp_unexp_sub+0x14b>
jmp    1262 <mp_unexp_sub+0x162>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1215 <mp_unexp_sub+0x115>
cmpl   $0x0,-0x38(%rbp)
jle    12f1 <mp_unexp_sub+0x1f1>
mov    -0x38(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    12f1 <mp_unexp_sub+0x1f1>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    -0x38(%rbp),%ecx
cmp    %ecx,%eax
jge    12bb <mp_unexp_sub+0x1bb>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    -0x38(%rbp),%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    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    127f <mp_unexp_sub+0x17f>
mov    -0x4(%rbp),%eax
sub    -0x38(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    12ec <mp_unexp_sub+0x1ec>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movw   $0x0,(%rax,%rcx,2)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12c4 <mp_unexp_sub+0x1c4>
jmp    12f1 <mp_unexp_sub+0x1f1>
mov    -0x38(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<mp_unexp_sub>:
push   %rbp
push   %rbx
push   %rax
xor    %ebp,%ebp
cmp    %edi,%edx
cmovg  %edi,%edx
jge    115c <mp_unexp_sub+0x4c>
movslq %edi,%r11
movslq %edx,%r10
mov    %r10,%rax
not    %rax
lea    (%r8,%rax,2),%r8
xor    %ebp,%ebp
xchg   %ax,%ax
movswl -0x2(%rcx,%r11,2),%eax
movswl (%r8,%r11,2),%ebx
sub    %ebx,%eax
add    %ebp,%eax
mov    %eax,%ebp
sar    $0x1f,%ebp
mov    %ebp,%ebx
and    %esi,%ebx
add    %eax,%ebx
mov    %bx,-0x2(%r9,%r11,2)
lea    -0x1(%r11),%rax
mov    %rax,%r11
cmp    %r10,%rax
jg     1130 <mp_unexp_sub+0x20>
test   %edx,%edx
jle    11e3 <mp_unexp_sub+0xd3>
mov    %edx,%r10d
test   $0x1,%r10b
je     1191 <mp_unexp_sub+0x81>
add    $0xffffffffffffffff,%r10
mov    %r10d,%r8d
movswl (%rcx,%r8,2),%ebx
add    %ebx,%ebp
mov    %ebp,%r11d
sar    $0x1f,%r11d
mov    %r11d,%ebx
and    %esi,%ebx
add    %ebp,%ebx
mov    %bx,(%r9,%r8,2)
mov    %r11d,%ebp
cmp    $0x1,%edx
je     11e3 <mp_unexp_sub+0xd3>
add    $0xfffffffffffffffe,%r10
nopw   0x0(%rax,%rax,1)
lea    0x1(%r10),%r8
mov    %r8d,%eax
movswl (%rcx,%rax,2),%ebx
add    %ebp,%ebx
mov    %ebx,%edx
sar    $0x1f,%edx
mov    %edx,%ebp
and    %esi,%ebp
add    %ebx,%ebp
mov    %bp,(%r9,%rax,2)
mov    %r10d,%eax
add    %rax,%rax
movswl (%rcx,%rax,1),%ebx
add    %edx,%ebx
mov    %ebx,%ebp
sar    $0x1f,%ebp
mov    %ebp,%edx
and    %esi,%edx
add    %ebx,%edx
mov    %dx,(%r9,%rax,1)
add    $0xfffffffffffffffe,%r10
cmp    $0x1,%r8
ja     11a0 <mp_unexp_sub+0x90>
test   %edi,%edi
jle    11fb <mp_unexp_sub+0xeb>
cmpw   $0x0,(%r9)
je     1202 <mp_unexp_sub+0xf2>
mov    $0x1,%al
xor    %ebx,%ebx
test   %ebx,%ebx
jne    1237 <mp_unexp_sub+0x127>
jmp    1410 <mp_unexp_sub+0x300>
xor    %ebx,%ebx
jmp    1410 <mp_unexp_sub+0x300>
mov    %edi,%eax
lea    -0x1(%rax),%rcx
xor    %edx,%edx
nopw   0x0(%rax,%rax,1)
cmp    %rdx,%rcx
je     1304 <mp_unexp_sub+0x1f4>
lea    0x1(%rdx),%rbx
cmpw   $0x0,0x2(%r9,%rdx,2)
mov    %rbx,%rdx
je     1210 <mp_unexp_sub+0x100>
cmp    %rax,%rbx
setb   %al
test   %ebx,%ebx
je     1410 <mp_unexp_sub+0x300>
test   %al,%al
je     1410 <mp_unexp_sub+0x300>
mov    %edi,%r11d
sub    %ebx,%r11d
test   %r11d,%r11d
jle    13e4 <mp_unexp_sub+0x2d4>
mov    %r11d,%r10d
cmp    $0x10,%r11d
jb     1279 <mp_unexp_sub+0x169>
lea    (%rbx,%r10,1),%rax
lea    (%r9,%rax,2),%rax
cmp    %r9,%rax
jbe    130b <mp_unexp_sub+0x1fb>
lea    (%r9,%r10,2),%rax
lea    (%r9,%rbx,2),%rcx
cmp    %rax,%rcx
jae    130b <mp_unexp_sub+0x1fb>
xor    %edx,%edx
mov    %rdx,%rax
not    %rax
add    %r10,%rax
mov    %r10,%rcx
and    $0x3,%rcx
je     12b3 <mp_unexp_sub+0x1a3>
lea    (%r9,%rbx,2),%rsi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzwl (%rsi,%rdx,2),%ebp
mov    %bp,(%r9,%rdx,2)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rcx
jne    12a0 <mp_unexp_sub+0x190>
cmp    $0x3,%rax
jb     13e4 <mp_unexp_sub+0x2d4>
lea    0x6(%r9),%rax
lea    (%r9,%rbx,2),%rcx
add    $0x6,%rcx
nopl   0x0(%rax)
movzwl -0x6(%rcx,%rdx,2),%esi
mov    %si,-0x6(%rax,%rdx,2)
movzwl -0x4(%rcx,%rdx,2),%esi
mov    %si,-0x4(%rax,%rdx,2)
movzwl -0x2(%rcx,%rdx,2),%esi
mov    %si,-0x2(%rax,%rdx,2)
movzwl (%rcx,%rdx,2),%esi
mov    %si,(%rax,%rdx,2)
add    $0x4,%rdx
cmp    %rdx,%r10
jne    12d0 <mp_unexp_sub+0x1c0>
jmp    13e4 <mp_unexp_sub+0x2d4>
mov    %edi,%ebx
jmp    1410 <mp_unexp_sub+0x300>
mov    %r10d,%edx
and    $0xfffffff0,%edx
lea    -0x10(%rdx),%rax
mov    %rax,%rsi
shr    $0x4,%rsi
add    $0x1,%rsi
mov    %esi,%r8d
and    $0x3,%r8d
cmp    $0x30,%rax
jae    1331 <mp_unexp_sub+0x221>
xor    %eax,%eax
jmp    13a0 <mp_unexp_sub+0x290>
and    $0xfffffffffffffffc,%rsi
lea    (%r9,%rbx,2),%rcx
add    $0x70,%rcx
xor    %eax,%eax
nop
movups -0x70(%rcx,%rax,2),%xmm0
movups -0x60(%rcx,%rax,2),%xmm1
movups %xmm0,(%r9,%rax,2)
movups %xmm1,0x10(%r9,%rax,2)
movups -0x50(%rcx,%rax,2),%xmm0
movups -0x40(%rcx,%rax,2),%xmm1
movups %xmm0,0x20(%r9,%rax,2)
movups %xmm1,0x30(%r9,%rax,2)
movups -0x30(%rcx,%rax,2),%xmm0
movups -0x20(%rcx,%rax,2),%xmm1
movups %xmm0,0x40(%r9,%rax,2)
movups %xmm1,0x50(%r9,%rax,2)
movups -0x10(%rcx,%rax,2),%xmm0
movups (%rcx,%rax,2),%xmm1
movups %xmm0,0x60(%r9,%rax,2)
movups %xmm1,0x70(%r9,%rax,2)
add    $0x40,%rax
add    $0xfffffffffffffffc,%rsi
jne    1340 <mp_unexp_sub+0x230>
test   %r8,%r8
je     13db <mp_unexp_sub+0x2cb>
lea    (%r9,%rax,2),%rax
add    $0x10,%rax
lea    (%rax,%rbx,2),%rcx
shl    $0x5,%r8
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movups -0x10(%rcx,%rsi,1),%xmm0
movups (%rcx,%rsi,1),%xmm1
movups %xmm0,-0x10(%rax,%rsi,1)
movups %xmm1,(%rax,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%r8
jne    13c0 <mp_unexp_sub+0x2b0>
cmp    %r10,%rdx
jne    127b <mp_unexp_sub+0x16b>
movslq %r11d,%rax
lea    (%r9,%rax,2),%rax
add    $0x1,%r11d
cmp    %r11d,%edi
cmovg  %edi,%r11d
add    %ebx,%r11d
not    %edi
add    %r11d,%edi
lea    (%rdi,%rdi,1),%rdx
add    $0x2,%rdx
mov    %rax,%rdi
xor    %esi,%esi
call   1030 <memset@plt>
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

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

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