void merge_array(int *elements, int *aux_elements, int low, int mid, int high) {
  int i = 0;
  int l1 = low;
  int l2 = mid + 1;
  for (i = low; i <= high; i++) {
    aux_elements[i] = elements[i];
  }
  for (i = low; i <= high; i++) {
    if (l1 > mid) {
      elements[i] = aux_elements[l2++];
    } else if (l2 > high) {
      elements[i] = aux_elements[l1++];
    } else if (aux_elements[l1] < aux_elements[l2]) {
      elements[i] = aux_elements[l1++];
    } else {
      elements[i] = aux_elements[l2++];
    }
  }
}


x86 assembly (clang, -O0):
<merge_array>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     1162 <merge_array+0x62>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1132 <merge_array+0x32>
mov    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     1254 <merge_array+0x154>
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    11a5 <merge_array+0xa5>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1241 <merge_array+0x141>
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jle    11d6 <merge_array+0xd6>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x24(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    123c <merge_array+0x13c>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x28(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1217 <merge_array+0x117>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x24(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1237 <merge_array+0x137>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    123c <merge_array+0x13c>
jmp    1241 <merge_array+0x141>
jmp    1246 <merge_array+0x146>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1168 <merge_array+0x68>
pop    %rbp
ret

x86 assembly (clang, -O2):
<merge_array>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r8d,%r9d
sub    %edx,%r9d
jl     12c7 <merge_array+0x1c7>
movslq %edx,%r13
cmp    $0x7,%r9d
jb     1257 <merge_array+0x157>
lea    (%rsi,%r13,4),%r10
lea    (%r9,%r13,1),%r11
lea    (%rdi,%r11,4),%rbx
add    $0x4,%rbx
cmp    %rbx,%r10
jae    114d <merge_array+0x4d>
lea    (%rsi,%r11,4),%r10
add    $0x4,%r10
lea    (%rdi,%r13,4),%rbx
cmp    %r10,%rbx
jb     1257 <merge_array+0x157>
add    $0x1,%r9
mov    %r9,%r10
and    $0xfffffffffffffff8,%r10
lea    -0x8(%r10),%rbx
mov    %rbx,%r14
shr    $0x3,%r14
add    $0x1,%r14
mov    %r14d,%r11d
and    $0x3,%r11d
cmp    $0x18,%rbx
jae    117b <merge_array+0x7b>
xor    %ebx,%ebx
jmp    1208 <merge_array+0x108>
and    $0xfffffffffffffffc,%r14
lea    (%rsi,%r13,4),%r15
add    $0x70,%r15
lea    (%rdi,%r13,4),%r12
add    $0x70,%r12
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movups -0x70(%r12,%rbx,4),%xmm0
movups -0x60(%r12,%rbx,4),%xmm1
movups %xmm0,-0x70(%r15,%rbx,4)
movups %xmm1,-0x60(%r15,%rbx,4)
movups -0x50(%r12,%rbx,4),%xmm0
movups -0x40(%r12,%rbx,4),%xmm1
movups %xmm0,-0x50(%r15,%rbx,4)
movups %xmm1,-0x40(%r15,%rbx,4)
movups -0x30(%r12,%rbx,4),%xmm0
movups -0x20(%r12,%rbx,4),%xmm1
movups %xmm0,-0x30(%r15,%rbx,4)
movups %xmm1,-0x20(%r15,%rbx,4)
movups -0x10(%r12,%rbx,4),%xmm0
movups (%r12,%rbx,4),%xmm1
movups %xmm0,-0x10(%r15,%rbx,4)
movups %xmm1,(%r15,%rbx,4)
add    $0x20,%rbx
add    $0xfffffffffffffffc,%r14
jne    11a0 <merge_array+0xa0>
test   %r11,%r11
je     124f <merge_array+0x14f>
add    %r13,%rbx
lea    (%rsi,%rbx,4),%r14
add    $0x10,%r14
lea    (%rdi,%rbx,4),%r15
add    $0x10,%r15
shl    $0x5,%r11
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
movups -0x10(%r15,%rbx,1),%xmm0
movups (%r15,%rbx,1),%xmm1
movups %xmm0,-0x10(%r14,%rbx,1)
movups %xmm1,(%r14,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r11
jne    1230 <merge_array+0x130>
cmp    %r10,%r9
je     12bf <merge_array+0x1bf>
add    %r10,%r13
lea    0x1(%r8),%r9d
mov    %r9d,%ebx
sub    %r13d,%ebx
mov    %r8d,%r10d
sub    %r13d,%r10d
and    $0x3,%ebx
je     1281 <merge_array+0x181>
nopl   0x0(%rax)
mov    (%rdi,%r13,4),%eax
mov    %eax,(%rsi,%r13,4)
add    $0x1,%r13
add    $0xffffffff,%ebx
jne    1270 <merge_array+0x170>
cmp    $0x3,%r10d
jb     12bf <merge_array+0x1bf>
mov    %r9d,%ebx
nopw   0x0(%rax,%rax,1)
mov    (%rdi,%r13,4),%eax
mov    %eax,(%rsi,%r13,4)
mov    0x4(%rdi,%r13,4),%eax
mov    %eax,0x4(%rsi,%r13,4)
mov    0x8(%rdi,%r13,4),%eax
mov    %eax,0x8(%rsi,%r13,4)
mov    0xc(%rdi,%r13,4),%eax
mov    %eax,0xc(%rsi,%r13,4)
add    $0x4,%r13
cmp    %r13d,%ebx
jne    1290 <merge_array+0x190>
mov    %r8d,%r9d
sub    %edx,%r9d
jge    12d2 <merge_array+0x1d2>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    0x1(%rcx),%ebp
movslq %edx,%rbx
lea    (%rdi,%rbx,4),%r10
add    $0x1,%r9d
xor    %edi,%edi
jmp    1306 <merge_array+0x206>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movslq %ebp,%rbx
add    $0x1,%ebp
mov    (%rsi,%rbx,4),%ebx
mov    %ebx,(%r10,%rdi,4)
add    $0x1,%rdi
cmp    %edi,%r9d
je     12c7 <merge_array+0x1c7>
cmp    %ecx,%edx
jg     12f0 <merge_array+0x1f0>
movslq %edx,%rbx
cmp    %r8d,%ebp
jle    1320 <merge_array+0x220>
add    $0x1,%edx
jmp    12f6 <merge_array+0x1f6>
nopw   0x0(%rax,%rax,1)
mov    (%rsi,%rbx,4),%ebx
movslq %ebp,%rax
mov    (%rsi,%rax,4),%r11d
cmp    %r11d,%ebx
jge    1334 <merge_array+0x234>
add    $0x1,%edx
jmp    12f9 <merge_array+0x1f9>
add    $0x1,%ebp
mov    %r11d,%ebx
jmp    12f9 <merge_array+0x1f9>

LLVM IR (-O0):
define void @merge_array(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
%14 = load i32, i32* %8
store i32 %14, i32* %12
%15 = load i32, i32* %9
%16 = add nsw i32 %15, 1
store i32 %16, i32* %13
%17 = load i32, i32* %8
store i32 %17, i32* %11
br label %18
18: ; preds = %32, %5
%19 = load i32, i32* %11
%20 = load i32, i32* %10
%21 = icmp sle i32 %19, %20
br i1 %21, label %22, label %35
22: ; preds = %18
%23 = load i32*, i32** %6
%24 = load i32, i32* %11
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i32, i32* %23, i64 %25
%27 = load i32, i32* %26
%28 = load i32*, i32** %7
%29 = load i32, i32* %11
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i32, i32* %28, i64 %30
store i32 %27, i32* %31
br label %32
32: ; preds = %22
%33 = load i32, i32* %11
%34 = add nsw i32 %33, 1
store i32 %34, i32* %11
br label %18
35: ; preds = %18
%36 = load i32, i32* %8
store i32 %36, i32* %11
br label %37
37: ; preds = %108, %35
%38 = load i32, i32* %11
%39 = load i32, i32* %10
%40 = icmp sle i32 %38, %39
br i1 %40, label %41, label %111
41: ; preds = %37
%42 = load i32, i32* %12
%43 = load i32, i32* %9
%44 = icmp sgt i32 %42, %43
br i1 %44, label %45, label %56
45: ; preds = %41
%46 = load i32*, i32** %7
%47 = load i32, i32* %13
%48 = add nsw i32 %47, 1
store i32 %48, i32* %13
%49 = sext i32 %47 to i64
%50 = getelementptr inbounds i32, i32* %46, i64 %49
%51 = load i32, i32* %50
%52 = load i32*, i32** %6
%53 = load i32, i32* %11
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %52, i64 %54
store i32 %51, i32* %55
br label %107
56: ; preds = %41
%57 = load i32, i32* %13
%58 = load i32, i32* %10
%59 = icmp sgt i32 %57, %58
br i1 %59, label %60, label %71
60: ; preds = %56
%61 = load i32*, i32** %7
%62 = load i32, i32* %12
%63 = add nsw i32 %62, 1
store i32 %63, i32* %12
%64 = sext i32 %62 to i64
%65 = getelementptr inbounds i32, i32* %61, i64 %64
%66 = load i32, i32* %65
%67 = load i32*, i32** %6
%68 = load i32, i32* %11
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %67, i64 %69
store i32 %66, i32* %70
br label %106
71: ; preds = %56
%72 = load i32*, i32** %7
%73 = load i32, i32* %12
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds i32, i32* %72, i64 %74
%76 = load i32, i32* %75
%77 = load i32*, i32** %7
%78 = load i32, i32* %13
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds i32, i32* %77, i64 %79
%81 = load i32, i32* %80
%82 = icmp slt i32 %76, %81
br i1 %82, label %83, label %94
83: ; preds = %71
%84 = load i32*, i32** %7
%85 = load i32, i32* %12
%86 = add nsw i32 %85, 1
store i32 %86, i32* %12
%87 = sext i32 %85 to i64
%88 = getelementptr inbounds i32, i32* %84, i64 %87
%89 = load i32, i32* %88
%90 = load i32*, i32** %6
%91 = load i32, i32* %11
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i32, i32* %90, i64 %92
store i32 %89, i32* %93
br label %105
94: ; preds = %71
%95 = load i32*, i32** %7
%96 = load i32, i32* %13
%97 = add nsw i32 %96, 1
store i32 %97, i32* %13
%98 = sext i32 %96 to i64
%99 = getelementptr inbounds i32, i32* %95, i64 %98
%100 = load i32, i32* %99
%101 = load i32*, i32** %6
%102 = load i32, i32* %11
%103 = sext i32 %102 to i64
%104 = getelementptr inbounds i32, i32* %101, i64 %103
store i32 %100, i32* %104
br label %105
105: ; preds = %94, %83
br label %106
106: ; preds = %105, %60
br label %107
107: ; preds = %106, %45
br label %108
108: ; preds = %107
%109 = load i32, i32* %11
%110 = add nsw i32 %109, 1
store i32 %110, i32* %11
br label %37
111: ; preds = %37
ret void
}

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