void makecomat4D_2T(int *input1, int *mask1, int xi1, int yi1, int zi1, int ti1,
                    int *input2, int *mask2, int xi2, int yi2, int zi2, int ti2,
                    int *coords, int levels1, int levels2, int *output) {
  int x, y, z, t, xval, yval, zval, tval, i, j;
  for (x = 0; x < xi1; x++) {
    for (y = 0; y < yi1; y++) {
      for (z = 0; z < zi1; z++) {
        for (t = 0; t < ti1; t++) {
          if (mask1[((x * yi1 + y) * zi1 + z) * ti1 + t] == 1) {
            i = input1[((x * yi1 + y) * zi1 + z) * ti1 + t];
            xval = x + coords[0];
            yval = y + coords[1];
            zval = z + coords[2];
            tval = t + coords[3];
            if ((xval >= 0) && (xval < xi1) && (yval >= 0) && (yval < yi1) &&
                (zval >= 0) && (zval < zi1) && (tval >= 0) && (tval < ti1)) {
              if (mask2[((xval * yi2 + yval) * zi2 + zval) * ti2 + tval] == 1) {
                j = input2[((xval * yi2 + yval) * zi2 + zval) * ti2 + tval];
                if (i >= 0 && i < levels1 && j >= 0 && j < levels2) {
                  output[i * levels2 + j]++;
                }
              }
            }
          }
        }
      }
    }
  }
}


x86 assembly (clang, -O0):
<makecomat4D_2T>:
push   %rbp
mov    %rsp,%rbp
mov    0x58(%rbp),%rax
mov    0x50(%rbp),%eax
mov    0x48(%rbp),%eax
mov    0x40(%rbp),%rax
mov    0x38(%rbp),%eax
mov    0x30(%rbp),%eax
mov    0x28(%rbp),%eax
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    %r9d,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1350 <makecomat4D_2T+0x250>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    133d <makecomat4D_2T+0x23d>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    132a <makecomat4D_2T+0x22a>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1317 <makecomat4D_2T+0x217>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x28(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
add    -0x2c(%rbp),%ecx
imul   -0x20(%rbp),%ecx
add    -0x30(%rbp),%ecx
movslq %ecx,%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    1304 <makecomat4D_2T+0x204>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x28(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
add    -0x2c(%rbp),%ecx
imul   -0x20(%rbp),%ecx
add    -0x30(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x44(%rbp)
mov    -0x24(%rbp),%eax
mov    0x40(%rbp),%rcx
add    (%rcx),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%eax
mov    0x40(%rbp),%rcx
add    0x4(%rcx),%eax
mov    %eax,-0x38(%rbp)
mov    -0x2c(%rbp),%eax
mov    0x40(%rbp),%rcx
add    0x8(%rcx),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x30(%rbp),%eax
mov    0x40(%rbp),%rcx
add    0xc(%rcx),%eax
mov    %eax,-0x40(%rbp)
cmpl   $0x0,-0x34(%rbp)
jl     12ff <makecomat4D_2T+0x1ff>
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    12ff <makecomat4D_2T+0x1ff>
cmpl   $0x0,-0x38(%rbp)
jl     12ff <makecomat4D_2T+0x1ff>
mov    -0x38(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    12ff <makecomat4D_2T+0x1ff>
cmpl   $0x0,-0x3c(%rbp)
jl     12ff <makecomat4D_2T+0x1ff>
mov    -0x3c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    12ff <makecomat4D_2T+0x1ff>
cmpl   $0x0,-0x40(%rbp)
jl     12ff <makecomat4D_2T+0x1ff>
mov    -0x40(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    12ff <makecomat4D_2T+0x1ff>
mov    0x18(%rbp),%rax
mov    -0x34(%rbp),%ecx
imul   0x28(%rbp),%ecx
add    -0x38(%rbp),%ecx
imul   0x30(%rbp),%ecx
add    -0x3c(%rbp),%ecx
imul   0x38(%rbp),%ecx
add    -0x40(%rbp),%ecx
movslq %ecx,%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    12fa <makecomat4D_2T+0x1fa>
mov    0x10(%rbp),%rax
mov    -0x34(%rbp),%ecx
imul   0x28(%rbp),%ecx
add    -0x38(%rbp),%ecx
imul   0x30(%rbp),%ecx
add    -0x3c(%rbp),%ecx
imul   0x38(%rbp),%ecx
add    -0x40(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x48(%rbp)
cmpl   $0x0,-0x44(%rbp)
jl     12f5 <makecomat4D_2T+0x1f5>
mov    -0x44(%rbp),%eax
cmp    0x48(%rbp),%eax
jge    12f5 <makecomat4D_2T+0x1f5>
cmpl   $0x0,-0x48(%rbp)
jl     12f5 <makecomat4D_2T+0x1f5>
mov    -0x48(%rbp),%eax
cmp    0x50(%rbp),%eax
jge    12f5 <makecomat4D_2T+0x1f5>
mov    0x58(%rbp),%rax
mov    -0x44(%rbp),%ecx
imul   0x50(%rbp),%ecx
add    -0x48(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    %edx,(%rax,%rcx,4)
jmp    12fa <makecomat4D_2T+0x1fa>
jmp    12ff <makecomat4D_2T+0x1ff>
jmp    1304 <makecomat4D_2T+0x204>
jmp    1309 <makecomat4D_2T+0x209>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    117c <makecomat4D_2T+0x7c>
jmp    131c <makecomat4D_2T+0x21c>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1169 <makecomat4D_2T+0x69>
jmp    132f <makecomat4D_2T+0x22f>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1156 <makecomat4D_2T+0x56>
jmp    1342 <makecomat4D_2T+0x242>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1143 <makecomat4D_2T+0x43>
pop    %rbp
ret

x86 assembly (clang, -O2):
<makecomat4D_2T>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r9d,-0x54(%rsp)
mov    %r8d,-0x58(%rsp)
mov    %rsi,-0x48(%rsp)
mov    %rdi,-0x50(%rsp)
test   %edx,%edx
jle    12e9 <makecomat4D_2T+0x1e9>
mov    0x68(%rsp),%rbx
mov    -0x54(%rsp),%eax
mov    %eax,%r10d
cltq
movslq -0x58(%rsp),%rsi
movslq %ecx,%rdi
mov    %edi,%ebp
mov    %rbp,-0x20(%rsp)
mov    %esi,%ebp
mov    %rbp,-0x10(%rsp)
imul   %rax,%rsi
imul   %rsi,%rdi
shl    $0x2,%rdi
mov    %rdi,-0x28(%rsp)
shl    $0x2,%rsi
mov    %rsi,-0x18(%rsp)
shl    $0x2,%rax
mov    %rax,-0x8(%rsp)
mov    %edx,%eax
mov    %rax,-0x30(%rsp)
xor    %r13d,%r13d
jmp    119e <makecomat4D_2T+0x9e>
nopl   0x0(%rax)
add    $0x1,%r13
mov    -0x28(%rsp),%rax
add    %rax,-0x48(%rsp)
add    %rax,-0x50(%rsp)
cmp    -0x30(%rsp),%r13
je     12e9 <makecomat4D_2T+0x1e9>
test   %ecx,%ecx
jle    1180 <makecomat4D_2T+0x80>
mov    -0x50(%rsp),%rax
mov    %rax,-0x38(%rsp)
mov    -0x48(%rsp),%rax
mov    %rax,-0x40(%rsp)
xor    %r15d,%r15d
jmp    11da <makecomat4D_2T+0xda>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r15
mov    -0x18(%rsp),%rax
add    %rax,-0x40(%rsp)
add    %rax,-0x38(%rsp)
cmp    -0x20(%rsp),%r15
je     1180 <makecomat4D_2T+0x80>
cmpl   $0x0,-0x58(%rsp)
jle    11c0 <makecomat4D_2T+0xc0>
mov    -0x38(%rsp),%r11
mov    -0x40(%rsp),%r14
xor    %eax,%eax
jmp    1206 <makecomat4D_2T+0x106>
nop
add    $0x1,%rax
mov    -0x8(%rsp),%rsi
add    %rsi,%r14
add    %rsi,%r11
cmp    -0x10(%rsp),%rax
je     11c0 <makecomat4D_2T+0xc0>
cmpl   $0x0,-0x54(%rsp)
jle    11f0 <makecomat4D_2T+0xf0>
xor    %r12d,%r12d
jmp    1229 <makecomat4D_2T+0x129>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%r12
cmp    %r12,%r10
je     11f0 <makecomat4D_2T+0xf0>
cmpl   $0x1,(%r14,%r12,4)
jne    1220 <makecomat4D_2T+0x120>
mov    (%rbx),%ebp
mov    %ebp,%esi
add    %r13d,%esi
js     1220 <makecomat4D_2T+0x120>
cmp    %edx,%esi
jge    1220 <makecomat4D_2T+0x120>
mov    0x4(%rbx),%edi
mov    %edi,%esi
add    %r15d,%esi
js     1220 <makecomat4D_2T+0x120>
cmp    %ecx,%esi
jge    1220 <makecomat4D_2T+0x120>
mov    0x8(%rbx),%r9d
mov    %r9d,%esi
add    %eax,%esi
js     1220 <makecomat4D_2T+0x120>
cmp    -0x58(%rsp),%esi
jge    1220 <makecomat4D_2T+0x120>
mov    0xc(%rbx),%esi
lea    (%r12,%rsi,1),%r8
test   %r8d,%r8d
js     1220 <makecomat4D_2T+0x120>
cmp    %r10d,%r8d
jge    1220 <makecomat4D_2T+0x120>
add    %eax,%r9d
add    %r15d,%edi
add    %r13d,%ebp
imul   0x50(%rsp),%ebp
add    %edi,%ebp
imul   0x58(%rsp),%ebp
add    %r9d,%ebp
imul   0x60(%rsp),%ebp
add    %r12d,%esi
add    %ebp,%esi
movslq %esi,%rdi
mov    0x40(%rsp),%rsi
cmpl   $0x1,(%rsi,%rdi,4)
jne    1220 <makecomat4D_2T+0x120>
mov    (%r11,%r12,4),%esi
test   %esi,%esi
js     1220 <makecomat4D_2T+0x120>
cmp    0x70(%rsp),%esi
jge    1220 <makecomat4D_2T+0x120>
mov    0x38(%rsp),%rbp
mov    0x0(%rbp,%rdi,4),%edi
test   %edi,%edi
js     1220 <makecomat4D_2T+0x120>
cmp    0x78(%rsp),%edi
jge    1220 <makecomat4D_2T+0x120>
imul   0x78(%rsp),%esi
add    %esi,%edi
movslq %edi,%rsi
mov    0x80(%rsp),%rdi
addl   $0x1,(%rdi,%rsi,4)
jmp    1220 <makecomat4D_2T+0x120>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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