#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 */

/* Variables and functions */
int /*<<< orphan*/ free(int *);
int *malloc(int);
void counting_sort(int nums[], int len) {
  int *counts = malloc(10 * sizeof(int));
  int *sorted = malloc(len * sizeof(int));
  for (int i = 0; i < 10; i++) {
    counts[i] = 0;
  }
  for (int i = 0; i < len; i++) {
    counts[nums[i]]++;
  }
  for (int i = 1; i < 10; i++) {
    counts[i] += counts[i - 1];
  }
  for (int i = len - 1; i >= 0; i--) {
    sorted[counts[nums[i]] - 1] = nums[i];
    counts[nums[i]]--;
  }
  for (int i = 0; i < len; i++) {
    nums[i] = sorted[i];
  }
  free(counts);
  free(sorted);
}


x86 assembly (clang, -O0):
<counting_sort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    $0x28,%edi
call   1040 <malloc@plt>
mov    %rax,-0x18(%rbp)
movslq -0xc(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0xa,-0x24(%rbp)
jge    117e <counting_sort+0x5e>
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1157 <counting_sort+0x37>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11b8 <counting_sort+0x98>
mov    -0x18(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x28(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1185 <counting_sort+0x65>
movl   $0x1,-0x2c(%rbp)
cmpl   $0xa,-0x2c(%rbp)
jge    11f5 <counting_sort+0xd5>
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11bf <counting_sort+0x9f>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jl     125a <counting_sort+0x13a>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    -0x8(%rbp),%rsi
movslq -0x30(%rbp),%rdi
movslq (%rsi,%rdi,4),%rsi
mov    (%rcx,%rsi,4),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x30(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
mov    (%rax,%rcx,4),%edx
add    $0xffffffff,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    11fe <counting_sort+0xde>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1291 <counting_sort+0x171>
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1261 <counting_sort+0x141>
mov    -0x18(%rbp),%rdi
call   1030 <free@plt>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<counting_sort>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %esi,%r12d
mov    %rdi,%r14
mov    $0x28,%edi
call   1050 <malloc@plt>
mov    %rax,%rbx
lea    0x0(,%r12,4),%edi
call   1050 <malloc@plt>
mov    %rax,%r15
xorps  %xmm0,%xmm0
movups %xmm0,(%rbx)
movups %xmm0,0x10(%rbx)
movq   $0x0,0x20(%rbx)
mov    %r12d,%edx
test   %r12d,%r12d
jle    1188 <counting_sort+0x58>
lea    -0x1(%rdx),%rcx
mov    %edx,%eax
and    $0x3,%eax
cmp    $0x3,%rcx
jae    11a3 <counting_sort+0x73>
xor    %ecx,%ecx
jmp    11dc <counting_sort+0xac>
xor    %r8d,%r8d
xor    %r9d,%r9d
xor    %r10d,%r10d
xor    %r11d,%r11d
xor    %eax,%eax
xor    %ecx,%ecx
xor    %esi,%esi
xor    %edi,%edi
xor    %ebp,%ebp
jmp    1222 <counting_sort+0xf2>
mov    %edx,%esi
and    $0xfffffffc,%esi
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
movslq (%r14,%rcx,4),%rdi
addl   $0x1,(%rbx,%rdi,4)
movslq 0x4(%r14,%rcx,4),%rdi
addl   $0x1,(%rbx,%rdi,4)
movslq 0x8(%r14,%rcx,4),%rdi
addl   $0x1,(%rbx,%rdi,4)
movslq 0xc(%r14,%rcx,4),%rdi
addl   $0x1,(%rbx,%rdi,4)
add    $0x4,%rcx
cmp    %rcx,%rsi
jne    11b0 <counting_sort+0x80>
test   %rax,%rax
je     1201 <counting_sort+0xd1>
lea    (%r14,%rcx,4),%rcx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movslq (%rcx,%rsi,4),%rdi
addl   $0x1,(%rbx,%rdi,4)
add    $0x1,%rsi
cmp    %rsi,%rax
jne    11f0 <counting_sort+0xc0>
mov    0x4(%rbx),%ebp
mov    0x8(%rbx),%edi
mov    0xc(%rbx),%esi
mov    0x10(%rbx),%ecx
mov    0x14(%rbx),%eax
mov    0x18(%rbx),%r11d
mov    0x1c(%rbx),%r10d
mov    0x20(%rbx),%r9d
mov    0x24(%rbx),%r8d
add    (%rbx),%ebp
add    %ebp,%edi
add    %edi,%esi
add    %esi,%ecx
add    %ecx,%eax
add    %eax,%r11d
add    %r11d,%r10d
add    %r10d,%r9d
add    %r9d,%r8d
mov    %ebp,0x4(%rbx)
mov    %edi,0x8(%rbx)
mov    %esi,0xc(%rbx)
mov    %ecx,0x10(%rbx)
mov    %eax,0x14(%rbx)
mov    %r11d,0x18(%rbx)
mov    %r10d,0x1c(%rbx)
mov    %r9d,0x20(%rbx)
mov    %r8d,0x24(%rbx)
test   %r12d,%r12d
jle    12ee <counting_sort+0x1be>
test   $0x1,%dl
jne    126e <counting_sort+0x13e>
mov    %rdx,%rax
cmp    $0x1,%r12d
jne    128e <counting_sort+0x15e>
jmp    12da <counting_sort+0x1aa>
lea    -0x1(%rdx),%rax
mov    %eax,%ecx
movslq (%r14,%rcx,4),%rcx
movslq (%rbx,%rcx,4),%rsi
mov    %ecx,-0x4(%r15,%rsi,4)
add    $0xffffffffffffffff,%rsi
mov    %esi,(%rbx,%rcx,4)
cmp    $0x1,%r12d
je     12da <counting_sort+0x1aa>
add    $0xfffffffffffffffe,%rax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    0x1(%rax),%rcx
mov    %ecx,%esi
movslq (%r14,%rsi,4),%rsi
movslq (%rbx,%rsi,4),%rdi
mov    %esi,-0x4(%r15,%rdi,4)
add    $0xffffffffffffffff,%rdi
mov    %edi,(%rbx,%rsi,4)
mov    %eax,%esi
movslq (%r14,%rsi,4),%rsi
movslq (%rbx,%rsi,4),%rdi
mov    %esi,-0x4(%r15,%rdi,4)
add    $0xffffffffffffffff,%rdi
mov    %edi,(%rbx,%rsi,4)
add    $0xfffffffffffffffe,%rax
cmp    $0x1,%rcx
ja     12a0 <counting_sort+0x170>
test   %r12d,%r12d
jle    12ee <counting_sort+0x1be>
shl    $0x2,%rdx
mov    %r14,%rdi
mov    %r15,%rsi
call   1040 <memcpy@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
mov    %r15,%rdi
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <free@plt>

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

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