int poly_add(int **a, int n1, int **b, int n2, int **c) {
  int i = 0, j = 0, k = 0;
  while (i < n1 && j < n2) {
    if (a[i][1] == b[j][1]) {
      c[k][0] = a[i][0] + b[j++][0];
      c[k++][1] = a[i++][1];
    } else if (a[i][1] > b[j][1]) {
      c[k][0] = a[i][0];
      c[k++][1] = a[i++][1];
    } else {
      c[k][0] = b[j][0];
      c[k++][1] = b[j++][1];
    }
  }
  while (i < n1) {
    c[k][0] = a[i][0];
    c[k++][1] = a[i++][1];
  }
  while (j < n2) {
    c[k][0] = b[j][0];
    c[k++][1] = b[j++][1];
  }
  return k;
}


x86 assembly (clang, -O0):
<poly_add>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x2c(%rbp),%ecx
xor    %eax,%eax
cmp    -0xc(%rbp),%ecx
mov    %al,-0x35(%rbp)
jge    1148 <poly_add+0x48>
mov    -0x30(%rbp),%eax
cmp    -0x1c(%rbp),%eax
setl   %al
mov    %al,-0x35(%rbp)
mov    -0x35(%rbp),%al
test   $0x1,%al
jne    1158 <poly_add+0x58>
jmp    12b6 <poly_add+0x1b6>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%eax
mov    -0x18(%rbp),%rcx
movslq -0x30(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
cmp    0x4(%rcx),%eax
jne    11e7 <poly_add+0xe7>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%ecx
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%edx
mov    %edx,%esi
add    $0x1,%esi
mov    %esi,-0x30(%rbp)
movslq %edx,%rdx
mov    (%rax,%rdx,8),%rax
add    (%rax),%ecx
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x2c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%ecx
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%edx
mov    %edx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %edx,%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x4(%rax)
jmp    12b1 <poly_add+0x1b1>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%eax
mov    -0x18(%rbp),%rcx
movslq -0x30(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
cmp    0x4(%rcx),%eax
jle    125e <poly_add+0x15e>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%ecx
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x2c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%ecx
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%edx
mov    %edx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %edx,%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x4(%rax)
jmp    12ac <poly_add+0x1ac>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%ecx
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,(%rax)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%ecx
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%edx
mov    %edx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %edx,%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x4(%rax)
jmp    12b1 <poly_add+0x1b1>
jmp    112b <poly_add+0x2b>
jmp    12bb <poly_add+0x1bb>
mov    -0x2c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    131a <poly_add+0x21a>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%ecx
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x2c(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%ecx
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%edx
mov    %edx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %edx,%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x4(%rax)
jmp    12bb <poly_add+0x1bb>
jmp    131f <poly_add+0x21f>
mov    -0x30(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    137e <poly_add+0x27e>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%ecx
mov    -0x28(%rbp),%rax
movslq -0x34(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,(%rax)
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x30(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    0x4(%rax),%ecx
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%edx
mov    %edx,%esi
add    $0x1,%esi
mov    %esi,-0x34(%rbp)
movslq %edx,%rdx
mov    (%rax,%rdx,8),%rax
mov    %ecx,0x4(%rax)
jmp    131f <poly_add+0x21f>
mov    -0x34(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<poly_add>:
push   %rbp
push   %r15
push   %r14
push   %rbx
xor    %r10d,%r10d
test   %esi,%esi
jle    11ad <poly_add+0xad>
mov    $0x0,%r9d
mov    $0x0,%eax
test   %ecx,%ecx
jle    11a3 <poly_add+0xa3>
xor    %eax,%eax
xor    %r9d,%r9d
xor    %r10d,%r10d
nopl   0x0(%rax)
movslq %r10d,%rbx
mov    (%rdi,%rbx,8),%r15
lea    0x4(%r15),%r11
movslq %r9d,%rbx
mov    (%rdx,%rbx,8),%rbx
lea    0x4(%rbx),%r14
mov    0x4(%rbx),%ebp
cmp    %ebp,0x4(%r15)
jne    1160 <poly_add+0x60>
mov    (%rbx),%ebp
add    (%r15),%ebp
add    $0x1,%r9d
jmp    1165 <poly_add+0x65>
nopw   0x0(%rax,%rax,1)
jle    1180 <poly_add+0x80>
mov    (%r15),%ebp
mov    (%r8,%rax,8),%rbx
mov    %ebp,(%rbx)
add    $0x1,%r10d
jmp    118f <poly_add+0x8f>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rbx),%ebp
mov    (%r8,%rax,8),%rbx
mov    %ebp,(%rbx)
add    $0x1,%r9d
mov    %r14,%r11
mov    (%r11),%ebp
mov    %ebp,0x4(%rbx)
add    $0x1,%rax
cmp    %esi,%r10d
jge    11a3 <poly_add+0xa3>
cmp    %ecx,%r9d
jl     1130 <poly_add+0x30>
cmp    %esi,%r10d
jl     11bb <poly_add+0xbb>
jmp    1244 <poly_add+0x144>
xor    %r9d,%r9d
xor    %eax,%eax
cmp    %esi,%r10d
jge    1244 <poly_add+0x144>
mov    %eax,%eax
movslq %r10d,%r14
movslq %esi,%r11
sub    %r10d,%esi
mov    %r14,%rbx
not    %rbx
test   $0x1,%sil
je     11ef <poly_add+0xef>
mov    (%rdi,%r14,8),%rsi
mov    (%rsi),%r10d
mov    (%r8,%rax,8),%r15
mov    %r10d,(%r15)
add    $0x1,%r14
mov    0x4(%rsi),%esi
add    $0x1,%rax
mov    %esi,0x4(%r15)
add    %r11,%rbx
je     1244 <poly_add+0x144>
sub    %r14,%r11
lea    (%rdi,%r14,8),%r10
add    $0x8,%r10
lea    (%r8,%rax,8),%r14
add    $0x8,%r14
xor    %esi,%esi
nopl   0x0(%rax)
mov    -0x8(%r10,%rsi,8),%rbp
mov    0x0(%rbp),%edi
mov    -0x8(%r14,%rsi,8),%rbx
mov    %edi,(%rbx)
mov    0x4(%rbp),%edi
mov    %edi,0x4(%rbx)
mov    (%r10,%rsi,8),%rdi
mov    (%rdi),%ebx
mov    (%r14,%rsi,8),%rbp
mov    %ebx,0x0(%rbp)
mov    0x4(%rdi),%edi
mov    %edi,0x4(%rbp)
add    $0x2,%rsi
cmp    %rsi,%r11
jne    1210 <poly_add+0x110>
add    %rsi,%rax
cmp    %ecx,%r9d
jge    12d3 <poly_add+0x1d3>
mov    %eax,%eax
movslq %r9d,%rbx
movslq %ecx,%r10
sub    %r9d,%ecx
mov    %rbx,%rdi
not    %rdi
test   $0x1,%cl
je     1280 <poly_add+0x180>
mov    (%rdx,%rbx,8),%rcx
mov    (%rcx),%r9d
mov    (%r8,%rax,8),%rbp
mov    %r9d,0x0(%rbp)
add    $0x1,%rbx
mov    0x4(%rcx),%ecx
add    $0x1,%rax
mov    %ecx,0x4(%rbp)
add    %r10,%rdi
je     12d3 <poly_add+0x1d3>
sub    %rbx,%r10
lea    (%rdx,%rbx,8),%rdx
add    $0x8,%rdx
lea    (%r8,%rax,8),%rdi
add    $0x8,%rdi
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
mov    -0x8(%rdx,%rcx,8),%rbp
mov    0x0(%rbp),%ebx
mov    -0x8(%rdi,%rcx,8),%rsi
mov    %ebx,(%rsi)
mov    0x4(%rbp),%ebp
mov    %ebp,0x4(%rsi)
mov    (%rdx,%rcx,8),%rsi
mov    (%rsi),%ebp
mov    (%rdi,%rcx,8),%rbx
mov    %ebp,(%rbx)
mov    0x4(%rsi),%esi
mov    %esi,0x4(%rbx)
add    $0x2,%rcx
cmp    %rcx,%r10
jne    12a0 <poly_add+0x1a0>
add    %rcx,%rax
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

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