int bi_multiply_limbs(unsigned long int *product, unsigned long int *carry,
                      unsigned long int lhs, unsigned long int rhs) {
  unsigned long int lchar, rchar;
  int i, j, k;
  unsigned long int lhs_uchars[sizeof(unsigned long int)],
      rhs_uchars[sizeof(unsigned long int)];
  unsigned long int prod_ulongs[2 * sizeof(unsigned long int) + 1];
  for (i = 0; i < sizeof(unsigned long int); ++i) {
    lhs_uchars[i] = (lhs >> (i * 8)) & 255;
    rhs_uchars[i] = (rhs >> (i * 8)) & 255;
  }
  prod_ulongs[0] = 0;
  for (i = 0; i < 2 * sizeof(unsigned long int); ++i) {
    for (j = 0; j < sizeof(unsigned long int); ++j) {
      k = i - j;
      if (k < 0 || k >= sizeof(unsigned long int)) {
        continue;
      }
      prod_ulongs[i] = prod_ulongs[i] + lhs_uchars[j] * rhs_uchars[k];
    }
    prod_ulongs[i + 1] = prod_ulongs[i] >> 8;
  }
  *product = (unsigned long int)(lhs * rhs);
  *carry = 0;
  for (i = 0; i < sizeof(unsigned long int); ++i) {
    *carry = *carry |
             ((prod_ulongs[sizeof(unsigned long int) + i] & 255) << (8 * i));
  }
  return 1;
}


x86 assembly (clang, -O0):
<bi_multiply_limbs>:
push   %rbp
mov    %rsp,%rbp
sub    $0xe0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x0,-0x34(%rbp)
movslq -0x34(%rbp),%rax
cmp    $0x8,%rax
jae    1185 <bi_multiply_limbs+0x85>
mov    -0x18(%rbp),%rax
mov    -0x34(%rbp),%ecx
shl    $0x3,%ecx
mov    %ecx,%ecx
shr    %cl,%rax
mov    %rax,%rcx
and    $0xff,%rcx
movslq -0x34(%rbp),%rax
mov    %rcx,-0x80(%rbp,%rax,8)
mov    -0x20(%rbp),%rax
mov    -0x34(%rbp),%ecx
shl    $0x3,%ecx
mov    %ecx,%ecx
shr    %cl,%rax
mov    %rax,%rcx
and    $0xff,%rcx
movslq -0x34(%rbp),%rax
mov    %rcx,-0xc0(%rbp,%rax,8)
ff
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1122 <bi_multiply_limbs+0x22>
movq   $0x0,-0x150(%rbp)
movl   $0x0,-0x34(%rbp)
movslq -0x34(%rbp),%rax
cmp    $0x10,%rax
jae    124d <bi_multiply_limbs+0x14d>
movl   $0x0,-0x38(%rbp)
movslq -0x38(%rbp),%rax
cmp    $0x8,%rax
jae    121f <bi_multiply_limbs+0x11f>
mov    -0x34(%rbp),%eax
sub    -0x38(%rbp),%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x3c(%rbp)
jl     11db <bi_multiply_limbs+0xdb>
movslq -0x3c(%rbp),%rax
cmp    $0x8,%rax
jb     11e0 <bi_multiply_limbs+0xe0>
jmp    1211 <bi_multiply_limbs+0x111>
movslq -0x34(%rbp),%rax
mov    -0x150(%rbp,%rax,8),%rcx
ff
movslq -0x38(%rbp),%rax
mov    -0x80(%rbp,%rax,8),%rax
movslq -0x3c(%rbp),%rdx
imul   -0xc0(%rbp,%rdx,8),%rax
add    %rax,%rcx
movslq -0x34(%rbp),%rax
mov    %rcx,-0x150(%rbp,%rax,8)
ff
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    11ac <bi_multiply_limbs+0xac>
movslq -0x34(%rbp),%rax
mov    -0x150(%rbp,%rax,8),%rcx
ff
shr    $0x8,%rcx
mov    -0x34(%rbp),%eax
add    $0x1,%eax
cltq
mov    %rcx,-0x150(%rbp,%rax,8)
ff
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1197 <bi_multiply_limbs+0x97>
mov    -0x18(%rbp),%rcx
imul   -0x20(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x10(%rbp),%rax
movq   $0x0,(%rax)
movl   $0x0,-0x34(%rbp)
movslq -0x34(%rbp),%rax
cmp    $0x8,%rax
jae    12cb <bi_multiply_limbs+0x1cb>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x158(%rbp)
movslq -0x34(%rbp),%rax
add    $0x8,%rax
mov    -0x150(%rbp,%rax,8),%rax
ff
and    $0xff,%rax
mov    -0x34(%rbp),%ecx
shl    $0x3,%ecx
mov    %ecx,%ecx
shl    %cl,%rax
mov    -0x158(%rbp),%rcx
or     %rax,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    126f <bi_multiply_limbs+0x16f>
mov    $0x1,%eax
add    $0xe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bi_multiply_limbs>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %rsi,-0x38(%rsp)
mov    %rdi,%r10
movzbl %dl,%r8d
movzbl %cl,%eax
mov    %rax,-0x80(%rsp)
movzbl %dh,%eax
mov    %rax,%r9
movzbl %ch,%eax
mov    %rax,-0x78(%rsp)
mov    %edx,%eax
shr    $0x10,%eax
movzbl %al,%r11d
mov    %ecx,%eax
shr    $0x10,%eax
movzbl %al,%eax
mov    %rax,-0x70(%rsp)
mov    %edx,%ebx
shr    $0x18,%ebx
mov    %ecx,%eax
shr    $0x18,%eax
mov    %rax,-0x68(%rsp)
mov    %rdx,%rax
shr    $0x20,%rax
movzbl %al,%r14d
mov    %rcx,%rax
shr    $0x20,%rax
movzbl %al,%eax
mov    %rax,-0x60(%rsp)
mov    %rdx,%rax
shr    $0x28,%rax
movzbl %al,%esi
mov    %rcx,%rax
shr    $0x28,%rax
movzbl %al,%eax
mov    %rax,-0x58(%rsp)
mov    %rdx,%rax
shr    $0x30,%rax
movzbl %al,%edi
mov    %rcx,%rax
shr    $0x30,%rax
movzbl %al,%eax
mov    %rax,-0x50(%rsp)
mov    %rdx,%r12
shr    $0x38,%rdx
mov    %rcx,%r15
mov    %rcx,%rax
shr    $0x38,%rax
mov    %rax,-0x48(%rsp)
movq   $0x0,-0x30(%rsp)
xor    %ecx,%ecx
xor    %eax,%eax
jmp    11e7 <bi_multiply_limbs+0xe7>
cs nopw 0x0(%rax,%rax,1)
shr    $0x8,%rcx
mov    %rcx,-0x28(%rsp,%rax,8)
add    $0x1,%rax
cmp    $0x10,%rax
je     12ce <bi_multiply_limbs+0x1ce>
cmp    $0x7,%rax
ja     11fe <bi_multiply_limbs+0xfe>
mov    -0x80(%rsp,%rax,8),%rbp
imul   %r8,%rbp
add    %rbp,%rcx
mov    %rcx,-0x30(%rsp,%rax,8)
lea    -0x1(%rax),%rbp
cmp    $0x7,%ebp
ja     121d <bi_multiply_limbs+0x11d>
mov    %ebp,%ebp
mov    -0x80(%rsp,%rbp,8),%rbp
mov    %r9,%r13
imul   %r9,%rbp
add    %rbp,%rcx
mov    %rcx,-0x30(%rsp,%rax,8)
lea    -0x2(%rax),%rbp
cmp    $0x7,%ebp
ja     1239 <bi_multiply_limbs+0x139>
mov    %ebp,%ebp
mov    -0x80(%rsp,%rbp,8),%rbp
imul   %r11,%rbp
add    %rbp,%rcx
mov    %rcx,-0x30(%rsp,%rax,8)
lea    -0x3(%rax),%rbp
cmp    $0x7,%ebp
ja     1255 <bi_multiply_limbs+0x155>
mov    %ebp,%ebp
mov    -0x80(%rsp,%rbp,8),%rbp
imul   %rbx,%rbp
add    %rbp,%rcx
mov    %rcx,-0x30(%rsp,%rax,8)
lea    -0x4(%rax),%rbp
cmp    $0x7,%ebp
ja     1271 <bi_multiply_limbs+0x171>
mov    %ebp,%ebp
mov    -0x80(%rsp,%rbp,8),%rbp
imul   %r14,%rbp
add    %rbp,%rcx
mov    %rcx,-0x30(%rsp,%rax,8)
lea    -0x5(%rax),%rbp
cmp    $0x7,%ebp
ja     128d <bi_multiply_limbs+0x18d>
mov    %ebp,%ebp
mov    -0x80(%rsp,%rbp,8),%rbp
imul   %rsi,%rbp
add    %rbp,%rcx
mov    %rcx,-0x30(%rsp,%rax,8)
lea    -0x6(%rax),%rbp
cmp    $0x7,%ebp
ja     12a9 <bi_multiply_limbs+0x1a9>
mov    %ebp,%ebp
mov    -0x80(%rsp,%rbp,8),%rbp
imul   %rdi,%rbp
add    %rbp,%rcx
mov    %rcx,-0x30(%rsp,%rax,8)
lea    -0x7(%rax),%rbp
cmp    $0x7,%ebp
ja     11d0 <bi_multiply_limbs+0xd0>
mov    %ebp,%ebp
mov    -0x80(%rsp,%rbp,8),%rbp
imul   %rdx,%rbp
add    %rbp,%rcx
mov    %rcx,-0x30(%rsp,%rax,8)
jmp    11d0 <bi_multiply_limbs+0xd0>
imul   %r12,%r15
mov    %r15,(%r10)
movzbl 0x10(%rsp),%eax
mov    0x18(%rsp),%ecx
mov    0x20(%rsp),%edx
shl    $0x8,%ecx
movzwl %cx,%ecx
or     %rax,%rcx
movzbl %dl,%eax
shl    $0x10,%rax
or     %rcx,%rax
mov    0x28(%rsp),%ecx
shl    $0x18,%ecx
or     %rax,%rcx
mov    0x30(%rsp),%rax
movzbl %al,%eax
shl    $0x20,%rax
or     %rcx,%rax
mov    0x38(%rsp),%rcx
movzbl %cl,%ecx
shl    $0x28,%rcx
or     %rax,%rcx
mov    0x40(%rsp),%rax
movzbl %al,%eax
shl    $0x30,%rax
or     %rcx,%rax
mov    0x48(%rsp),%rcx
shl    $0x38,%rcx
or     %rax,%rcx
mov    -0x38(%rsp),%rax
mov    %rcx,(%rax)
mov    $0x1,%eax
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @bi_multiply_limbs(i64* %0, i64* %1, i64 %2, i64 %3) {
%5 = alloca i64*
%6 = alloca i64*
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca [8 x i64]
%15 = alloca [8 x i64]
%16 = alloca [17 x i64]
store i64* %0, i64** %5
store i64* %1, i64** %6
store i64 %2, i64* %7
store i64 %3, i64* %8
store i32 0, i32* %11
br label %17
17: ; preds = %40, %4
%18 = load i32, i32* %11
%19 = sext i32 %18 to i64
%20 = icmp ult i64 %19, 8
br i1 %20, label %21, label %43
21: ; preds = %17
%22 = load i64, i64* %7
%23 = load i32, i32* %11
%24 = mul nsw i32 %23, 8
%25 = zext i32 %24 to i64
%26 = lshr i64 %22, %25
%27 = and i64 %26, 255
%28 = load i32, i32* %11
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds [8 x i64], [8 x i64]* %14, i64 0, i64 %29
store i64 %27, i64* %30
%31 = load i64, i64* %8
%32 = load i32, i32* %11
%33 = mul nsw i32 %32, 8
%34 = zext i32 %33 to i64
%35 = lshr i64 %31, %34
%36 = and i64 %35, 255
%37 = load i32, i32* %11
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds [8 x i64], [8 x i64]* %15, i64 0, i64 %38
store i64 %36, i64* %39
br label %40
40: ; preds = %21
%41 = load i32, i32* %11
%42 = add nsw i32 %41, 1
store i32 %42, i32* %11
br label %17
43: ; preds = %17
%44 = getelementptr inbounds [17 x i64], [17 x i64]* %16, i64 0, i64 0
store i64 0, i64* %44
store i32 0, i32* %11
br label %45
45: ; preds = %96, %43
%46 = load i32, i32* %11
%47 = sext i32 %46 to i64
%48 = icmp ult i64 %47, 16
br i1 %48, label %49, label %99
49: ; preds = %45
store i32 0, i32* %12
br label %50
50: ; preds = %83, %49
%51 = load i32, i32* %12
%52 = sext i32 %51 to i64
%53 = icmp ult i64 %52, 8
br i1 %53, label %54, label %86
54: ; preds = %50
%55 = load i32, i32* %11
%56 = load i32, i32* %12
%57 = sub nsw i32 %55, %56
store i32 %57, i32* %13
%58 = load i32, i32* %13
%59 = icmp slt i32 %58, 0
br i1 %59, label %64, label %60
60: ; preds = %54
%61 = load i32, i32* %13
%62 = sext i32 %61 to i64
%63 = icmp uge i64 %62, 8
br i1 %63, label %64, label %65
64: ; preds = %60, %54
br label %83
65: ; preds = %60
%66 = load i32, i32* %11
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds [17 x i64], [17 x i64]* %16, i64 0, i64 %67
%69 = load i64, i64* %68
%70 = load i32, i32* %12
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds [8 x i64], [8 x i64]* %14, i64 0, i64 %71
%73 = load i64, i64* %72
%74 = load i32, i32* %13
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds [8 x i64], [8 x i64]* %15, i64 0, i64 %75
%77 = load i64, i64* %76
%78 = mul i64 %73, %77
%79 = add i64 %69, %78
%80 = load i32, i32* %11
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds [17 x i64], [17 x i64]* %16, i64 0, i64 %81
store i64 %79, i64* %82
br label %83
83: ; preds = %65, %64
%84 = load i32, i32* %12
%85 = add nsw i32 %84, 1
store i32 %85, i32* %12
br label %50
86: ; preds = %50
%87 = load i32, i32* %11
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds [17 x i64], [17 x i64]* %16, i64 0, i64 %88
%90 = load i64, i64* %89
%91 = lshr i64 %90, 8
%92 = load i32, i32* %11
%93 = add nsw i32 %92, 1
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds [17 x i64], [17 x i64]* %16, i64 0, i64 %94
store i64 %91, i64* %95
br label %96
96: ; preds = %86
%97 = load i32, i32* %11
%98 = add nsw i32 %97, 1
store i32 %98, i32* %11
br label %45
99: ; preds = %45
%100 = load i64, i64* %7
%101 = load i64, i64* %8
%102 = mul i64 %100, %101
%103 = load i64*, i64** %5
store i64 %102, i64* %103
%104 = load i64*, i64** %6
store i64 0, i64* %104
store i32 0, i32* %11
br label %105
105: ; preds = %124, %99
%106 = load i32, i32* %11
%107 = sext i32 %106 to i64
%108 = icmp ult i64 %107, 8
br i1 %108, label %109, label %127
109: ; preds = %105
%110 = load i64*, i64** %6
%111 = load i64, i64* %110
%112 = load i32, i32* %11
%113 = sext i32 %112 to i64
%114 = add i64 8, %113
%115 = getelementptr inbounds [17 x i64], [17 x i64]* %16, i64 0, i64 %114
%116 = load i64, i64* %115
%117 = and i64 %116, 255
%118 = load i32, i32* %11
%119 = mul nsw i32 8, %118
%120 = zext i32 %119 to i64
%121 = shl i64 %117, %120
%122 = or i64 %111, %121
%123 = load i64*, i64** %6
store i64 %122, i64* %123
br label %124
124: ; preds = %109
%125 = load i32, i32* %11
%126 = add nsw i32 %125, 1
store i32 %126, i32* %11
br label %105
127: ; preds = %105
ret i32 1
}

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