#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int uint8_t;
typedef unsigned int uint64_t;
typedef void *uint16_t;

/* Variables and functions */
void mpi_muluu(uint16_t *c, const uint16_t *a, const uint16_t *b) {
  uint64_t mcarry = 0;
  uint8_t count = 128;
  uint8_t niter2 = 1;
  uint8_t count2;
  const uint16_t *aa;
  const uint16_t *bb;
  do {
    count2 = niter2++;
    aa = a;
    bb = b++;
    do {
      mcarry += (unsigned)*aa++ * (unsigned)*bb--;
    } while (--count2);
    *c++ = (uint16_t)(mcarry & 0xFFFF);
    mcarry >>= 16;
  } while (--count);
  count = 128 - 1;
  b--;
  niter2--;
  do {
    count2 = --niter2;
    aa = ++a;
    bb = b;
    do {
      mcarry += (unsigned)*aa++ * (unsigned)*bb--;
    } while (--count2);
    *c++ = (uint16_t)(mcarry & 0xFFFF);
    mcarry >>= 16;
  } while (--count);
  *c = (uint16_t)(mcarry & 0xFFFF);
}


x86 assembly (clang, -O0):
<mpi_muluu>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x80,-0x20(%rbp)
movl   $0x1,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x24(%rbp)
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x18(%rbp)
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x30(%rbp)
mov    (%rax),%rax
mov    -0x38(%rbp),%rcx
mov    %rcx,%rdx
add    $0xfffffffffffffff8,%rdx
mov    %rdx,-0x38(%rbp)
mov    (%rcx),%rcx
imul   %ecx,%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
cmp    $0x0,%eax
jne    114e <mpi_muluu+0x4e>
mov    -0x1c(%rbp),%eax
and    $0xffff,%eax
mov    %eax,%eax
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x8,%rdx
mov    %rdx,-0x8(%rbp)
mov    %rcx,(%rax)
mov    -0x1c(%rbp),%eax
shr    $0x10,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
cmp    $0x0,%eax
jne    1125 <mpi_muluu+0x25>
movl   $0x7f,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    $0xfffffffffffffff8,%rax
mov    %rax,-0x18(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
mov    %eax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x10(%rbp)
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x30(%rbp)
mov    (%rax),%rax
mov    -0x38(%rbp),%rcx
mov    %rcx,%rdx
add    $0xfffffffffffffff8,%rdx
mov    %rdx,-0x38(%rbp)
mov    (%rcx),%rcx
imul   %ecx,%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
cmp    $0x0,%eax
jne    1206 <mpi_muluu+0x106>
mov    -0x1c(%rbp),%eax
and    $0xffff,%eax
mov    %eax,%eax
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x8,%rdx
mov    %rdx,-0x8(%rbp)
mov    %rcx,(%rax)
mov    -0x1c(%rbp),%eax
shr    $0x10,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
cmp    $0x0,%eax
jne    11e2 <mpi_muluu+0xe2>
mov    -0x1c(%rbp),%eax
and    $0xffff,%eax
mov    %eax,%eax
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<mpi_muluu>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    $0x1,%r11d
mov    $0x80,%r9d
xor    %r10d,%r10d
xor    %ecx,%ecx
jmp    1143 <mpi_muluu+0x43>
nopl   (%rax)
add    $0x1,%r11d
lea    0x8(%r8),%rdx
movzwl %cx,%eax
mov    %rax,(%rdi)
add    $0x8,%rdi
shr    $0x10,%ecx
add    $0x1,%r10d
add    $0xffffffff,%r9d
je     11ec <mpi_muluu+0xec>
mov    %rdx,%r8
mov    %r11d,%r14d
and    $0x3,%r14d
je     1190 <mpi_muluu+0x90>
xor    %ebp,%ebp
mov    %rsi,%r15
mov    %r8,%rbx
nopw   0x0(%rax,%rax,1)
mov    (%rbx),%eax
add    $0xfffffffffffffff8,%rbx
imul   (%r15),%eax
add    $0x8,%r15
add    %eax,%ecx
add    $0x1,%ebp
cmp    %ebp,%r14d
jne    1160 <mpi_muluu+0x60>
mov    %r11d,%eax
sub    %ebp,%eax
cmp    $0x3,%r10d
jb     1120 <mpi_muluu+0x20>
jmp    119f <mpi_muluu+0x9f>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r11d,%eax
mov    %rsi,%r15
mov    %r8,%rbx
cmp    $0x3,%r10d
jb     1120 <mpi_muluu+0x20>
mov    %eax,%r14d
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rbx),%ebp
imul   (%r15,%rax,8),%ebp
add    %ecx,%ebp
mov    -0x8(%rbx),%edx
imul   0x8(%r15,%rax,8),%edx
add    %ebp,%edx
mov    -0x10(%rbx),%ebp
imul   0x10(%r15,%rax,8),%ebp
mov    -0x18(%rbx),%ecx
add    %edx,%ebp
imul   0x18(%r15,%rax,8),%ecx
add    %ebp,%ecx
add    $0x4,%rax
add    $0xffffffffffffffe0,%rbx
cmp    %eax,%r14d
jne    11b0 <mpi_muluu+0xb0>
jmp    1120 <mpi_muluu+0x20>
mov    $0x80,%r9d
mov    $0x7f,%r15d
xor    %r10d,%r10d
mov    $0xffffff81,%r11d
jmp    1232 <mpi_muluu+0x132>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzwl %cx,%eax
mov    %rax,(%rdi)
add    $0x8,%rdi
shr    $0x10,%ecx
add    $0x1,%r10d
add    $0x1,%r11
mov    %r14,%rsi
add    $0xffffffff,%r15d
je     12dd <mpi_muluu+0x1dd>
add    $0xffffffff,%r9d
lea    0x8(%rsi),%r14
test   $0x3,%r15b
je     1280 <mpi_muluu+0x180>
mov    %r15d,%ebx
and    $0x3,%ebx
shl    $0x3,%rbx
xor    %eax,%eax
xor    %r12d,%r12d
nop
mov    -0x8(%rdx,%r12,8),%ebp
imul   0x8(%rsi,%rax,1),%ebp
add    %ebp,%ecx
add    $0xffffffffffffffff,%r12
add    $0x8,%rax
cmp    %eax,%ebx
jne    1250 <mpi_muluu+0x150>
sub    %r11d,%r12d
lea    (%rsi,%rax,1),%r13
add    $0x8,%r13
mov    %rdx,%rbx
sub    %rax,%rbx
add    $0xfffffffffffffff8,%rbx
jmp    1289 <mpi_muluu+0x189>
nop
mov    %r9d,%r12d
mov    %r14,%r13
mov    %r8,%rbx
lea    -0x7c(%r10),%eax
cmp    $0x3,%eax
jb     1210 <mpi_muluu+0x110>
mov    %r12d,%r12d
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
mov    (%rbx),%ebp
imul   0x0(%r13,%rax,8),%ebp
add    %ecx,%ebp
mov    -0x8(%rbx),%esi
imul   0x8(%r13,%rax,8),%esi
add    %ebp,%esi
mov    -0x10(%rbx),%ebp
imul   0x10(%r13,%rax,8),%ebp
mov    -0x18(%rbx),%ecx
add    %esi,%ebp
imul   0x18(%r13,%rax,8),%ecx
add    %ebp,%ecx
add    $0x4,%rax
add    $0xffffffffffffffe0,%rbx
cmp    %eax,%r12d
jne    12a0 <mpi_muluu+0x1a0>
jmp    1210 <mpi_muluu+0x110>
mov    %ecx,%eax
mov    %rax,(%rdi)
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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