#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 *);
scalar_t__ malloc(int);
void counting_sort(int *A, int *B, int k, int size) {
  int i, j;
  int *C;
  C = (int *)malloc(k * sizeof(int));
  for (i = 0; i < k; i++)
    C[i] = 0;
  for (j = 0; j < size; j++)
    C[A[j]] = C[A[j]] + 1;
  for (i = 0; i < k; i++)
    C[i] = C[i] + C[i - 1];
  for (j = size - 1; j >= 0; j--) {
    B[C[A[j]] - 1] = A[j];
    C[A[j]] = C[A[j]] - 1;
  }
  free(C);
}


x86 assembly (clang, -O0):
<counting_sort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1179 <counting_sort+0x59>
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1150 <counting_sort+0x30>
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    11c3 <counting_sort+0xa3>
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x20(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x20(%rbp),%rsi
movslq (%rcx,%rsi,4),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1180 <counting_sort+0x60>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    120a <counting_sort+0xea>
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
add    (%rax,%rcx,4),%edx
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11ca <counting_sort+0xaa>
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
jl     127f <counting_sort+0x15f>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    -0x8(%rbp),%rsi
movslq -0x20(%rbp),%rdi
movslq (%rsi,%rdi,4),%rsi
mov    (%rcx,%rsi,4),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x20(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
mov    (%rax,%rcx,4),%edx
sub    $0x1,%edx
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x20(%rbp),%rsi
movslq (%rcx,%rsi,4),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    1213 <counting_sort+0xf3>
mov    -0x28(%rbp),%rdi
call   1030 <free@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<counting_sort>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %ecx,%r12d
mov    %edx,%r13d
mov    %rsi,%r14
mov    %rdi,%r15
lea    0x0(,%r13,4),%edi
call   1050 <malloc@plt>
mov    %rax,%rbx
mov    %r13d,%ebp
test   %r13d,%r13d
jle    1171 <counting_sort+0x41>
lea    0x0(,%rbp,4),%rdx
mov    %rbx,%rdi
xor    %esi,%esi
call   1040 <memset@plt>
mov    %r12d,%eax
test   %r12d,%r12d
jle    11f1 <counting_sort+0xc1>
lea    -0x1(%rax),%rdx
mov    %eax,%ecx
and    $0x3,%ecx
cmp    $0x3,%rdx
jae    118c <counting_sort+0x5c>
xor    %edx,%edx
jmp    11cc <counting_sort+0x9c>
mov    %eax,%esi
and    $0xfffffffc,%esi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movslq (%r15,%rdx,4),%rdi
addl   $0x1,(%rbx,%rdi,4)
movslq 0x4(%r15,%rdx,4),%rdi
addl   $0x1,(%rbx,%rdi,4)
movslq 0x8(%r15,%rdx,4),%rdi
addl   $0x1,(%rbx,%rdi,4)
movslq 0xc(%r15,%rdx,4),%rdi
addl   $0x1,(%rbx,%rdi,4)
add    $0x4,%rdx
cmp    %rdx,%rsi
jne    11a0 <counting_sort+0x70>
test   %rcx,%rcx
je     11f1 <counting_sort+0xc1>
lea    (%r15,%rdx,4),%rdx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movslq (%rdx,%rsi,4),%rdi
addl   $0x1,(%rbx,%rdi,4)
add    $0x1,%rsi
cmp    %rsi,%rcx
jne    11e0 <counting_sort+0xb0>
test   %r13d,%r13d
jle    126f <counting_sort+0x13f>
mov    -0x4(%rbx),%ecx
lea    -0x1(%rbp),%rsi
mov    %ebp,%edx
and    $0x3,%edx
cmp    $0x3,%rsi
jae    120c <counting_sort+0xdc>
xor    %esi,%esi
jmp    1247 <counting_sort+0x117>
and    $0xfffffffc,%ebp
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    (%rbx,%rsi,4),%ecx
mov    %ecx,(%rbx,%rsi,4)
add    0x4(%rbx,%rsi,4),%ecx
mov    %ecx,0x4(%rbx,%rsi,4)
add    0x8(%rbx,%rsi,4),%ecx
mov    %ecx,0x8(%rbx,%rsi,4)
add    0xc(%rbx,%rsi,4),%ecx
mov    %ecx,0xc(%rbx,%rsi,4)
add    $0x4,%rsi
cmp    %rsi,%rbp
jne    1220 <counting_sort+0xf0>
test   %rdx,%rdx
je     126f <counting_sort+0x13f>
lea    (%rbx,%rsi,4),%rsi
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    (%rsi,%rdi,4),%ecx
mov    %ecx,(%rsi,%rdi,4)
add    $0x1,%rdi
cmp    %rdi,%rdx
jne    1260 <counting_sort+0x130>
test   %r12d,%r12d
jle    12dc <counting_sort+0x1ac>
test   $0x1,%al
je     1293 <counting_sort+0x163>
add    $0xffffffffffffffff,%rax
mov    %eax,%ecx
movslq (%r15,%rcx,4),%rdx
movslq (%rbx,%rdx,4),%rsi
mov    %edx,-0x4(%r14,%rsi,4)
movslq (%r15,%rcx,4),%rcx
addl   $0xffffffff,(%rbx,%rcx,4)
cmp    $0x1,%r12d
je     12dc <counting_sort+0x1ac>
add    $0xfffffffffffffffe,%rax
nopl   (%rax)
lea    0x1(%rax),%rcx
mov    %ecx,%edx
movslq (%r15,%rdx,4),%rsi
movslq (%rbx,%rsi,4),%rdi
mov    %esi,-0x4(%r14,%rdi,4)
movslq (%r15,%rdx,4),%rdx
addl   $0xffffffff,(%rbx,%rdx,4)
mov    %eax,%edx
movslq (%r15,%rdx,4),%rsi
movslq (%rbx,%rsi,4),%rdi
mov    %esi,-0x4(%r14,%rdi,4)
movslq (%r15,%rdx,4),%rdx
addl   $0xffffffff,(%rbx,%rdx,4)
add    $0xfffffffffffffffe,%rax
cmp    $0x1,%rcx
ja     12a0 <counting_sort+0x170>
mov    %rbx,%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <free@plt>

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

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