int score_dxt(unsigned long *px, int nstep, unsigned long col1,
              unsigned long col2, unsigned long *pack) {
  unsigned char *p1, *p2, *p;
  int vec[3], vdir[3], v2, xa2, xav;
  int i, score, choice;
  p1 = (unsigned char *)&col1;
  p2 = (unsigned char *)&col2;
  vdir[0] = (int)p2[0] - (int)p1[0];
  vdir[1] = (int)p2[1] - (int)p1[1];
  vdir[2] = (int)p2[2] - (int)p1[2];
  v2 = vdir[0] * vdir[0] + vdir[1] * vdir[1] + vdir[2] * vdir[2];
  score = 0;
  *pack = 0;
  p = (unsigned char *)(px + 15);
  for (i = 15; i >= 0; i--, p -= 4) {
    vec[0] = (int)p[0] - (int)p1[0];
    vec[1] = (int)p[1] - (int)p1[1];
    vec[2] = (int)p[2] - (int)p1[2];
    xa2 = vec[0] * vec[0] + vec[1] * vec[1] + vec[2] * vec[2];
    xav = vec[0] * vdir[0] + vec[1] * vdir[1] + vec[2] * vdir[2];
    if (v2)
      choice = (nstep * xav + (v2 >> 1)) / v2;
    else
      choice = 0;
    if (choice < 0)
      choice = 0;
    if (choice > nstep)
      choice = nstep;
    score += xa2 - (2 * choice * xav) / nstep +
             (choice * choice * v2) / (nstep * nstep);
    *pack = (*pack) << 2;
    if (choice == nstep)
      (*pack)++;
    else if (choice)
      *pack += (choice + 1);
  }
  return score;
}


x86 assembly (clang, -O0):
<score_dxt>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
lea    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
lea    -0x20(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
movzbl (%rax),%eax
mov    -0x30(%rbp),%rcx
movzbl (%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x58(%rbp)
mov    -0x38(%rbp),%rax
movzbl 0x1(%rax),%eax
mov    -0x30(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x54(%rbp)
mov    -0x38(%rbp),%rax
movzbl 0x2(%rax),%eax
mov    -0x30(%rbp),%rcx
movzbl 0x2(%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x58(%rbp),%eax
imul   -0x58(%rbp),%eax
mov    -0x54(%rbp),%ecx
imul   -0x54(%rbp),%ecx
add    %ecx,%eax
mov    -0x50(%rbp),%ecx
imul   -0x50(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x5c(%rbp)
movl   $0x0,-0x6c(%rbp)
mov    -0x28(%rbp),%rax
movq   $0x0,(%rax)
mov    -0x8(%rbp),%rax
add    $0x78,%rax
mov    %rax,-0x40(%rbp)
movl   $0xf,-0x68(%rbp)
cmpl   $0x0,-0x68(%rbp)
jl     1325 <score_dxt+0x225>
mov    -0x40(%rbp),%rax
movzbl (%rax),%eax
mov    -0x30(%rbp),%rcx
movzbl (%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x40(%rbp),%rax
movzbl 0x1(%rax),%eax
mov    -0x30(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x40(%rbp),%rax
movzbl 0x2(%rax),%eax
mov    -0x30(%rbp),%rcx
movzbl 0x2(%rcx),%ecx
sub    %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x4c(%rbp),%eax
imul   -0x4c(%rbp),%eax
mov    -0x48(%rbp),%ecx
imul   -0x48(%rbp),%ecx
add    %ecx,%eax
mov    -0x44(%rbp),%ecx
imul   -0x44(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x60(%rbp)
mov    -0x4c(%rbp),%eax
imul   -0x58(%rbp),%eax
mov    -0x48(%rbp),%ecx
imul   -0x54(%rbp),%ecx
add    %ecx,%eax
mov    -0x44(%rbp),%ecx
imul   -0x50(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x64(%rbp)
cmpl   $0x0,-0x5c(%rbp)
je     1249 <score_dxt+0x149>
mov    -0xc(%rbp),%eax
imul   -0x64(%rbp),%eax
mov    -0x5c(%rbp),%ecx
sar    $0x1,%ecx
add    %ecx,%eax
cltd
idivl  -0x5c(%rbp)
mov    %eax,-0x70(%rbp)
jmp    1250 <score_dxt+0x150>
movl   $0x0,-0x70(%rbp)
cmpl   $0x0,-0x70(%rbp)
jge    1261 <score_dxt+0x161>
movl   $0x0,-0x70(%rbp)
mov    -0x70(%rbp),%eax
cmp    -0xc(%rbp),%eax
jle    1273 <score_dxt+0x173>
mov    -0xc(%rbp),%eax
mov    %eax,-0x70(%rbp)
mov    -0x60(%rbp),%eax
mov    %eax,-0x78(%rbp)
mov    -0x70(%rbp),%eax
shl    $0x1,%eax
imul   -0x64(%rbp),%eax
cltd
idivl  -0xc(%rbp)
mov    %eax,%ecx
mov    -0x78(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x74(%rbp)
mov    -0x70(%rbp),%eax
imul   -0x70(%rbp),%eax
imul   -0x5c(%rbp),%eax
mov    -0xc(%rbp),%ecx
imul   -0xc(%rbp),%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x74(%rbp),%eax
add    %ecx,%eax
add    -0x6c(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x28(%rbp),%rax
mov    (%rax),%rcx
shl    $0x2,%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x70(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    12e4 <score_dxt+0x1e4>
mov    -0x28(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
jmp    1306 <score_dxt+0x206>
cmpl   $0x0,-0x70(%rbp)
je     1301 <score_dxt+0x201>
mov    -0x70(%rbp),%eax
add    $0x1,%eax
movslq %eax,%rcx
mov    -0x28(%rbp),%rax
add    (%rax),%rcx
mov    %rcx,(%rax)
jmp    1306 <score_dxt+0x206>
jmp    130b <score_dxt+0x20b>
mov    -0x68(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x68(%rbp)
mov    -0x40(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x40(%rbp)
jmp    11a5 <score_dxt+0xa5>
mov    -0x6c(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<score_dxt>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %esi,%ebx
movzbl %dl,%r9d
movzbl %dh,%ebp
mov    %edx,%eax
shr    $0x10,%eax
movzbl %cl,%edx
mov    %rcx,%rsi
movzbl %ch,%ecx
shr    $0x10,%esi
mov    %r9d,-0x4(%rsp)
sub    %r9d,%edx
mov    %ebp,-0x8(%rsp)
sub    %ebp,%ecx
movzbl %sil,%ebp
movzbl %al,%eax
mov    %eax,-0x18(%rsp)
sub    %eax,%ebp
mov    %edx,-0xc(%rsp)
mov    %edx,%eax
imul   %edx,%eax
mov    %ecx,-0x10(%rsp)
imul   %ecx,%ecx
add    %eax,%ecx
mov    %ebp,-0x14(%rsp)
imul   %ebp,%ebp
add    %ecx,%ebp
movq   $0x0,(%r8)
mov    %ebx,%eax
imul   %ebx,%eax
mov    %eax,-0x1c(%rsp)
mov    %ebp,%eax
shr    %eax
mov    %eax,-0x20(%rsp)
xor    %r13d,%r13d
mov    $0x1e,%r11d
xor    %r15d,%r15d
jmp    1198 <score_dxt+0x98>
or     $0x1,%r13
mov    %r13,(%r8)
add    %eax,%r15d
add    $0xffffffffffffffff,%r11
cmp    $0xe,%r11d
je     125a <score_dxt+0x15a>
movzbl (%rdi,%r11,4),%r10d
sub    -0x4(%rsp),%r10d
movzbl 0x1(%rdi,%r11,4),%r14d
sub    -0x8(%rsp),%r14d
movzbl 0x2(%rdi,%r11,4),%r12d
sub    -0x18(%rsp),%r12d
mov    %r10d,%eax
imul   -0xc(%rsp),%eax
mov    %r14d,%edx
imul   -0x10(%rsp),%edx
add    %eax,%edx
mov    %r12d,%ecx
imul   -0x14(%rsp),%ecx
add    %edx,%ecx
mov    $0x0,%r9d
test   %ebp,%ebp
je     11f4 <score_dxt+0xf4>
mov    %ecx,%eax
imul   %ebx,%eax
add    -0x20(%rsp),%eax
cltd
idiv   %ebp
mov    %eax,%r9d
test   %eax,%eax
jns    11f4 <score_dxt+0xf4>
xor    %r9d,%r9d
imul   %r10d,%r10d
imul   %r14d,%r14d
imul   %r12d,%r12d
mov    %ebx,%esi
cmp    %ebx,%r9d
jg     120a <score_dxt+0x10a>
mov    %r9d,%esi
imul   %esi,%ecx
add    %ecx,%ecx
mov    %ecx,%eax
cltd
idiv   %ebx
mov    %eax,%ecx
mov    %esi,%eax
imul   %ebp,%eax
imul   %esi,%eax
xor    %edx,%edx
divl   -0x1c(%rsp)
add    %r15d,%r10d
add    %r14d,%r10d
add    %r12d,%r10d
mov    %r10d,%r15d
sub    %ecx,%r15d
shl    $0x2,%r13
mov    %r13,(%r8)
cmp    %ebx,%r9d
jge    1180 <score_dxt+0x80>
test   %esi,%esi
je     1187 <score_dxt+0x87>
movslq %esi,%rcx
add    %rcx,%r13
add    $0x1,%r13
jmp    1184 <score_dxt+0x84>
mov    %r15d,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @score_dxt(i64* nocapture %0, i32 %1, i64 %2, i64 %3, i64* nocapture %4) {
%6 = trunc i64 %2 to i32
%7 = lshr i32 %6, 8
%8 = lshr i32 %6, 16
%9 = trunc i64 %3 to i32
%10 = lshr i32 %9, 8
%11 = lshr i32 %9, 16
%12 = and i32 %9, 255
%13 = and i32 %6, 255
%14 = sub nsw i32 %12, %13
%15 = and i32 %10, 255
%16 = and i32 %7, 255
%17 = sub nsw i32 %15, %16
%18 = and i32 %11, 255
%19 = and i32 %8, 255
%20 = sub nsw i32 %18, %19
%21 = mul nsw i32 %14, %14
%22 = mul nsw i32 %17, %17
%23 = add nuw nsw i32 %22, %21
%24 = mul nsw i32 %20, %20
%25 = add nuw nsw i32 %23, %24
store i64 0, i64* %4
%26 = getelementptr inbounds i64, i64* %0, i64 15
%27 = bitcast i64* %26 to i8*
%28 = icmp eq i32 %25, 0
%29 = mul nsw i32 %1, %1
%30 = lshr i32 %25, 1
br label %31
31: ; preds = %5, %88
%32 = phi i64 [ 0, %5 ], [ %89, %88 ]
%33 = phi i32 [ 0, %5 ], [ %75, %88 ]
%34 = phi i32 [ 15, %5 ], [ %90, %88 ]
%35 = phi i8* [ %27, %5 ], [ %91, %88 ]
%36 = load i8, i8* %35
%37 = zext i8 %36 to i32
%38 = sub nsw i32 %37, %13
%39 = getelementptr inbounds i8, i8* %35, i64 1
%40 = load i8, i8* %39
%41 = zext i8 %40 to i32
%42 = sub nsw i32 %41, %16
%43 = getelementptr inbounds i8, i8* %35, i64 2
%44 = load i8, i8* %43
%45 = zext i8 %44 to i32
%46 = sub nsw i32 %45, %19
%47 = mul nsw i32 %38, %38
%48 = mul nsw i32 %42, %42
%49 = mul nsw i32 %46, %46
%50 = mul nsw i32 %38, %14
%51 = mul nsw i32 %42, %17
%52 = add nsw i32 %51, %50
%53 = mul nsw i32 %46, %20
%54 = add nsw i32 %52, %53
br i1 %28, label %61, label %55
55: ; preds = %31
%56 = mul nsw i32 %54, %1
%57 = add nsw i32 %56, %30
%58 = sdiv i32 %57, %25
%59 = icmp sgt i32 %58, 0
%60 = select i1 %59, i32 %58, i32 0
br label %61
61: ; preds = %55, %31
%62 = phi i32 [ 0, %31 ], [ %60, %55 ]
%63 = icmp sgt i32 %62, %1
%64 = select i1 %63, i32 %1, i32 %62
%65 = shl nsw i32 %54, 1
%66 = mul i32 %65, %64
%67 = sdiv i32 %66, %1
%68 = mul i32 %64, %25
%69 = mul i32 %68, %64
%70 = udiv i32 %69, %29
%71 = add i32 %47, %33
%72 = add i32 %71, %48
%73 = add i32 %72, %49
%74 = sub i32 %73, %67
%75 = add i32 %74, %70
%76 = shl i64 %32, 2
store i64 %76, i64* %4
%77 = icmp slt i32 %62, %1
br i1 %77, label %80, label %78
78: ; preds = %61
%79 = or i64 %76, 1
br label %86
80: ; preds = %61
%81 = icmp eq i32 %64, 0
br i1 %81, label %88, label %82
82: ; preds = %80
%83 = add nsw i32 %64, 1
%84 = sext i32 %83 to i64
%85 = add i64 %76, %84
br label %86
86: ; preds = %82, %78
%87 = phi i64 [ %79, %78 ], [ %85, %82 ]
store i64 %87, i64* %4
br label %88
88: ; preds = %86, %80
%89 = phi i64 [ %76, %80 ], [ %87, %86 ]
%90 = add nsw i32 %34, -1
%91 = getelementptr inbounds i8, i8* %35, i64 -4
%92 = icmp eq i32 %34, 0
br i1 %92, label %93, label %31
93: ; preds = %88
ret i32 %75
}