#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 */
scalar_t__ checkblock(void *, int, int, int /*<<< orphan*/);
int /*<<< orphan*/ free(void *);
void *malloc(int);
int /*<<< orphan*/ markblock(void *, int, int, int /*<<< orphan*/);
int /*<<< orphan*/ printf(char *, ...);
int random();
int /*<<< orphan*/ srandom(unsigned long);
void test567(int testno, unsigned long seed) {
  static const int sizes[8] = {13, 17, 69, 176, 433, 871, 1150, 6060};
  void *ptrs[32];
  int psizes[32];
  int i, n, size, failed = 0;
  srandom(seed);
  printf("Seeded random number generator with %lu.\n", seed);
  for (i = 0; i < 32; i++) {
    ptrs[i] = NULL;
    psizes[i] = 0;
  }
  for (i = 0; i < 100000; i++) {
    n = random() % 32;
    if (ptrs[n] == NULL) {
      size = sizes[random() % 8];
      ptrs[n] = malloc(size);
      psizes[n] = size;
      if (ptrs[n] == NULL) {
        printf("\nmalloc %u failed\n", size);
        failed = 1;
        break;
      }
      markblock(ptrs[n], size, n, 0);
    } else {
      size = psizes[n];
      if (checkblock(ptrs[n], size, n, 0)) {
        failed = 1;
        break;
      }
      free(ptrs[n]);
      ptrs[n] = NULL;
      psizes[n] = 0;
    }
    if (i % 256 == 0) {
      printf(".");
    }
  }
  printf("\n");
  for (i = 0; i < 32; i++) {
    if (ptrs[i] != NULL) {
      free(ptrs[i]);
    }
  }
  if (failed) {
    printf("FAILED malloc test %d\n", testno);
  } else {
    printf("Passed malloc test %d\n", testno);
  }
}


x86 assembly (clang, -O0):
<test567>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1a0,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x1a0(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <srandom@plt>
mov    -0x10(%rbp),%rsi
lea    0xe80(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
movl   $0x0,-0x194(%rbp)
cmpl   $0x20,-0x194(%rbp)
jge    11f7 <test567+0x87>
movslq -0x194(%rbp),%rax
movq   $0x0,-0x110(%rbp,%rax,8)
movslq -0x194(%rbp),%rax
movl   $0x0,-0x190(%rbp,%rax,4)
mov    -0x194(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x194(%rbp)
jmp    11b1 <test567+0x41>
movl   $0x0,-0x194(%rbp)
cmpl   $0x186a0,-0x194(%rbp)
jge    13b5 <test567+0x245>
mov    $0x0,%al
call   1060 <random@plt>
mov    $0x20,%ecx
cltd
idiv   %ecx
mov    %edx,-0x198(%rbp)
movslq -0x198(%rbp),%rax
cmpq   $0x0,-0x110(%rbp,%rax,8)
jne    12ef <test567+0x17f>
mov    $0x0,%al
call   1060 <random@plt>
mov    $0x8,%ecx
cltd
idiv   %ecx
movslq %edx,%rcx
lea    0xdab(%rip),%rax
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x19c(%rbp)
mov    -0x19c(%rbp),%edi
call   1070 <malloc@plt>
mov    %rax,%rcx
movslq -0x198(%rbp),%rax
mov    %rcx,-0x110(%rbp,%rax,8)
ff
mov    -0x19c(%rbp),%ecx
movslq -0x198(%rbp),%rax
mov    %ecx,-0x190(%rbp,%rax,4)
movslq -0x198(%rbp),%rax
cmpq   $0x0,-0x110(%rbp,%rax,8)
jne    12c8 <test567+0x158>
mov    -0x19c(%rbp),%esi
lea    0xd98(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
movl   $0x1,-0x1a0(%rbp)
jmp    13b5 <test567+0x245>
movslq -0x198(%rbp),%rax
mov    -0x110(%rbp,%rax,8),%rdi
ff
mov    -0x19c(%rbp),%esi
mov    -0x198(%rbp),%edx
xor    %ecx,%ecx
call   1080 <markblock@plt>
jmp    1377 <test567+0x207>
movslq -0x198(%rbp),%rax
mov    -0x190(%rbp,%rax,4),%eax
mov    %eax,-0x19c(%rbp)
movslq -0x198(%rbp),%rax
mov    -0x110(%rbp,%rax,8),%rdi
ff
mov    -0x19c(%rbp),%esi
mov    -0x198(%rbp),%edx
xor    %ecx,%ecx
call   1090 <checkblock@plt>
cmp    $0x0,%rax
je     133e <test567+0x1ce>
movl   $0x1,-0x1a0(%rbp)
jmp    13b5 <test567+0x245>
movslq -0x198(%rbp),%rax
mov    -0x110(%rbp,%rax,8),%rdi
ff
call   1030 <free@plt>
movslq -0x198(%rbp),%rax
movq   $0x0,-0x110(%rbp,%rax,8)
movslq -0x198(%rbp),%rax
movl   $0x0,-0x190(%rbp,%rax,4)
mov    -0x194(%rbp),%eax
mov    $0x100,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    139c <test567+0x22c>
lea    0xcc8(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
jmp    13a1 <test567+0x231>
mov    -0x194(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x194(%rbp)
jmp    1201 <test567+0x91>
lea    0xc8c(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
movl   $0x0,-0x194(%rbp)
cmpl   $0x20,-0x194(%rbp)
jge    141d <test567+0x2ad>
movslq -0x194(%rbp),%rax
cmpq   $0x0,-0x110(%rbp,%rax,8)
je     1404 <test567+0x294>
movslq -0x194(%rbp),%rax
mov    -0x110(%rbp,%rax,8),%rdi
ff
call   1030 <free@plt>
jmp    1409 <test567+0x299>
mov    -0x194(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x194(%rbp)
jmp    13cd <test567+0x25d>
cmpl   $0x0,-0x1a0(%rbp)
je     1440 <test567+0x2d0>
mov    -0x4(%rbp),%esi
lea    0xc2b(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
jmp    1451 <test567+0x2e1>
mov    -0x4(%rbp),%esi
lea    0xc2c(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
add    $0x1a0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test567>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x198,%rsp
mov    %rsi,%rbx
mov    %edi,0xc(%rsp)
mov    %rsi,%rdi
call   1050 <srandom@plt>
lea    0xe79(%rip),%rdi
mov    %rbx,%rsi
xor    %eax,%eax
call   1060 <printf@plt>
xorps  %xmm0,%xmm0
movaps %xmm0,0x90(%rsp)
movaps %xmm0,0xa0(%rsp)
movaps %xmm0,0xb0(%rsp)
movaps %xmm0,0xc0(%rsp)
movaps %xmm0,0xd0(%rsp)
movaps %xmm0,0xe0(%rsp)
movaps %xmm0,0xf0(%rsp)
movaps %xmm0,0x100(%rsp)
movaps %xmm0,0x110(%rsp)
movaps %xmm0,0x120(%rsp)
movaps %xmm0,0x130(%rsp)
movaps %xmm0,0x140(%rsp)
movaps %xmm0,0x150(%rsp)
movaps %xmm0,0x160(%rsp)
movaps %xmm0,0x170(%rsp)
movaps %xmm0,0x180(%rsp)
movaps %xmm0,0x10(%rsp)
movaps %xmm0,0x20(%rsp)
movaps %xmm0,0x30(%rsp)
movaps %xmm0,0x40(%rsp)
movaps %xmm0,0x50(%rsp)
movaps %xmm0,0x60(%rsp)
movaps %xmm0,0x70(%rsp)
movaps %xmm0,0x80(%rsp)
lea    0xd9a(%rip),%r14
xor    %r15d,%r15d
jmp    1281 <test567+0x101>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r15d
cmp    $0x186a0,%r15d
je     134b <test567+0x1cb>
xor    %eax,%eax
call   1070 <random@plt>
mov    %eax,%ebx
lea    0x1f(%rbx),%eax
test   %ebx,%ebx
cmovns %ebx,%eax
and    $0xffffffe0,%eax
sub    %eax,%ebx
movslq %ebx,%r13
mov    0x90(%rsp,%r13,8),%rbp
test   %rbp,%rbp
je     12f0 <test567+0x170>
mov    0x10(%rsp,%r13,4),%esi
mov    %rbp,%rdi
mov    %r13d,%edx
xor    %ecx,%ecx
call   10a0 <checkblock@plt>
test   %rax,%rax
jne    136a <test567+0x1ea>
mov    %rbp,%rdi
call   1030 <free@plt>
movq   $0x0,0x90(%rsp,%r13,8)
movl   $0x0,0x10(%rsp,%r13,4)
test   %r15b,%r15b
jne    1270 <test567+0xf0>
jmp    133c <test567+0x1bc>
cs nopw 0x0(%rax,%rax,1)
xor    %eax,%eax
call   1070 <random@plt>
lea    0x7(%rax),%ecx
test   %eax,%eax
cmovns %eax,%ecx
and    $0xfffffff8,%ecx
sub    %ecx,%eax
cltq
mov    (%r14,%rax,4),%r12d
mov    %r12d,%edi
call   1080 <malloc@plt>
mov    %rax,0x90(%rsp,%r13,8)
mov    %r12d,0x10(%rsp,%r13,4)
test   %rax,%rax
je     1359 <test567+0x1d9>
mov    %rax,%rdi
mov    %r12d,%esi
mov    %ebx,%edx
xor    %ecx,%ecx
call   1090 <markblock@plt>
test   %r15b,%r15b
jne    1270 <test567+0xf0>
mov    $0x2e,%edi
call   1040 <putchar@plt>
jmp    1270 <test567+0xf0>
lea    0xd22(%rip),%rbp
mov    0xc(%rsp),%r14d
jmp    1376 <test567+0x1f6>
lea    0xcea(%rip),%rdi
mov    %r12d,%esi
xor    %eax,%eax
call   1060 <printf@plt>
mov    0xc(%rsp),%r14d
lea    0xce7(%rip),%rbp
mov    $0xa,%edi
call   1040 <putchar@plt>
xor    %ebx,%ebx
jmp    139a <test567+0x21a>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%rbx
cmp    $0x20,%rbx
je     13ae <test567+0x22e>
mov    0x90(%rsp,%rbx,8),%rdi
test   %rdi,%rdi
je     1390 <test567+0x210>
call   1030 <free@plt>
jmp    1390 <test567+0x210>
mov    %rbp,%rdi
mov    %r14d,%esi
xor    %eax,%eax
add    $0x198,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1060 <printf@plt>

LLVM IR (-O0):
@test567.sizes = internal constant [8 x i32] [i32 13, i32 17, i32 69, i32 176, i32 433, i32 871, i32 1150, i32 6060]
@.str = [42 x i8] c"Seeded random number generator with %lu.\0A\00"
@.str.1 = [19 x i8] c"\0Amalloc %u failed\0A\00"
@.str.2 = [2 x i8] c".\00"
@.str.3 = [2 x i8] c"\0A\00"
@.str.4 = [23 x i8] c"FAILED malloc test %d\0A\00"
@.str.5 = [23 x i8] c"Passed malloc test %d\0A\00"
define void @test567(i32 %0, i64 %1) {
%3 = alloca i32
%4 = alloca i64
%5 = alloca [32 x i8*]
%6 = alloca [32 x i32]
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32 %0, i32* %3
store i64 %1, i64* %4
store i32 0, i32* %10
%11 = load i64, i64* %4
%12 = call i32 @srandom(i64 %11)
%13 = load i64, i64* %4
%14 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str, i64 0, i64 0), i64 %13)
store i32 0, i32* %7
br label %15
15: ; preds = %25, %2
%16 = load i32, i32* %7
%17 = icmp slt i32 %16, 32
br i1 %17, label %18, label %28
18: ; preds = %15
%19 = load i32, i32* %7
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds [32 x i8*], [32 x i8*]* %5, i64 0, i64 %20
store i8* null, i8** %21
%22 = load i32, i32* %7
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds [32 x i32], [32 x i32]* %6, i64 0, i64 %23
store i32 0, i32* %24
br label %25
25: ; preds = %18
%26 = load i32, i32* %7
%27 = add nsw i32 %26, 1
store i32 %27, i32* %7
br label %15
28: ; preds = %15
store i32 0, i32* %7
br label %29
29: ; preds = %104, %28
%30 = load i32, i32* %7
%31 = icmp slt i32 %30, 100000
br i1 %31, label %32, label %107
32: ; preds = %29
%33 = call i32 (...) @random()
%34 = srem i32 %33, 32
store i32 %34, i32* %8
%35 = load i32, i32* %8
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds [32 x i8*], [32 x i8*]* %5, i64 0, i64 %36
%38 = load i8*, i8** %37
%39 = icmp eq i8* %38, null
br i1 %39, label %40, label %71
40: ; preds = %32
%41 = call i32 (...) @random()
%42 = srem i32 %41, 8
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds [8 x i32], [8 x i32]* @test567.sizes, i64 0, i64 %43
%45 = load i32, i32* %44
store i32 %45, i32* %9
%46 = load i32, i32* %9
%47 = call i8* @malloc(i32 %46)
%48 = load i32, i32* %8
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds [32 x i8*], [32 x i8*]* %5, i64 0, i64 %49
store i8* %47, i8** %50
%51 = load i32, i32* %9
%52 = load i32, i32* %8
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds [32 x i32], [32 x i32]* %6, i64 0, i64 %53
store i32 %51, i32* %54
%55 = load i32, i32* %8
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds [32 x i8*], [32 x i8*]* %5, i64 0, i64 %56
%58 = load i8*, i8** %57
%59 = icmp eq i8* %58, null
br i1 %59, label %60, label %63
60: ; preds = %40
%61 = load i32, i32* %9
%62 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.1, i64 0, i64 0), i32 %61)
store i32 1, i32* %10
br label %107
63: ; preds = %40
%64 = load i32, i32* %8
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds [32 x i8*], [32 x i8*]* %5, i64 0, i64 %65
%67 = load i8*, i8** %66
%68 = load i32, i32* %9
%69 = load i32, i32* %8
%70 = call i32 @markblock(i8* %67, i32 %68, i32 %69, i32 0)
br label %97
71: ; preds = %32
%72 = load i32, i32* %8
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds [32 x i32], [32 x i32]* %6, i64 0, i64 %73
%75 = load i32, i32* %74
store i32 %75, i32* %9
%76 = load i32, i32* %8
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds [32 x i8*], [32 x i8*]* %5, i64 0, i64 %77
%79 = load i8*, i8** %78
%80 = load i32, i32* %9
%81 = load i32, i32* %8
%82 = call i64 @checkblock(i8* %79, i32 %80, i32 %81, i32 0)
%83 = icmp ne i64 %82, 0
br i1 %83, label %84, label %85
84: ; preds = %71
store i32 1, i32* %10
br label %107
85: ; preds = %71
%86 = load i32, i32* %8
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds [32 x i8*], [32 x i8*]* %5, i64 0, i64 %87
%89 = load i8*, i8** %88
%90 = call i32 @free(i8* %89)
%91 = load i32, i32* %8
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds [32 x i8*], [32 x i8*]* %5, i64 0, i64 %92
store i8* null, i8** %93
%94 = load i32, i32* %8
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds [32 x i32], [32 x i32]* %6, i64 0, i64 %95
store i32 0, i32* %96
br label %97
97: ; preds = %85, %63
%98 = load i32, i32* %7
%99 = srem i32 %98, 256
%100 = icmp eq i32 %99, 0
br i1 %100, label %101, label %103
101: ; preds = %97
%102 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
br label %103
103: ; preds = %101, %97
br label %104
104: ; preds = %103
%105 = load i32, i32* %7
%106 = add nsw i32 %105, 1
store i32 %106, i32* %7
br label %29
107: ; preds = %84, %60, %29
%108 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
store i32 0, i32* %7
br label %109
109: ; preds = %125, %107
%110 = load i32, i32* %7
%111 = icmp slt i32 %110, 32
br i1 %111, label %112, label %128
112: ; preds = %109
%113 = load i32, i32* %7
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds [32 x i8*], [32 x i8*]* %5, i64 0, i64 %114
%116 = load i8*, i8** %115
%117 = icmp ne i8* %116, null
br i1 %117, label %118, label %124
118: ; preds = %112
%119 = load i32, i32* %7
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds [32 x i8*], [32 x i8*]* %5, i64 0, i64 %120
%122 = load i8*, i8** %121
%123 = call i32 @free(i8* %122)
br label %124
124: ; preds = %118, %112
br label %125
125: ; preds = %124
%126 = load i32, i32* %7
%127 = add nsw i32 %126, 1
store i32 %127, i32* %7
br label %109
128: ; preds = %109
%129 = load i32, i32* %10
%130 = icmp ne i32 %129, 0
br i1 %130, label %131, label %134
131: ; preds = %128
%132 = load i32, i32* %3
%133 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.4, i64 0, i64 0), i32 %132)
br label %137
134: ; preds = %128
%135 = load i32, i32* %3
%136 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.5, i64 0, i64 0), i32 %135)
br label %137
137: ; preds = %134, %131
ret void
}

LLVM IR (-O2):
@test567.sizes = internal unnamed_addr constant [8 x i32] [i32 13, i32 17, i32 69, i32 176, i32 433, i32 871, i32 1150, i32 6060]
@.str = [42 x i8] c"Seeded random number generator with %lu.\0A\00"
@.str.1 = [19 x i8] c"\0Amalloc %u failed\0A\00"
@.str.4 = [23 x i8] c"FAILED malloc test %d\0A\00"
@.str.5 = [23 x i8] c"Passed malloc test %d\0A\00"
define void @test567(i32 %0, i64 %1) {
%3 = alloca [32 x i8*]
%4 = bitcast [32 x i8*]* %3 to i8*
%5 = alloca [32 x i32]
%6 = bitcast [32 x i32]* %5 to i8*
%7 = tail call i32 @srandom(i64 %1)
%8 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([42 x i8], [42 x i8]* @.str, i64 0, i64 0), i64 %1)
br label %9
9: ; preds = %2, %42
%10 = phi i32 [ %43, %42 ], [ 0, %2 ]
%11 = tail call i32 (...) @random()
%12 = srem i32 %11, 32
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds [32 x i8*], [32 x i8*]* %3, i64 0, i64 %13
%15 = load i8*, i8** %14
%16 = icmp eq i8* %15, null
br i1 %16, label %17, label %30
17: ; preds = %9
%18 = tail call i32 (...) @random()
%19 = srem i32 %18, 8
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds [8 x i32], [8 x i32]* @test567.sizes, i64 0, i64 %20
%22 = load i32, i32* %21
%23 = tail call i8* @malloc(i32 %22)
store i8* %23, i8** %14
%24 = getelementptr inbounds [32 x i32], [32 x i32]* %5, i64 0, i64 %13
store i32 %22, i32* %24
%25 = icmp eq i8* %23, null
br i1 %25, label %26, label %28
26: ; preds = %17
%27 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @.str.1, i64 0, i64 0), i32 %22)
br label %45
28: ; preds = %17
%29 = tail call i32 @markblock(i8* %23, i32 %22, i32 %12, i32 0)
br label %37
30: ; preds = %9
%31 = getelementptr inbounds [32 x i32], [32 x i32]* %5, i64 0, i64 %13
%32 = load i32, i32* %31
%33 = tail call i64 @checkblock(i8* %15, i32 %32, i32 %12, i32 0)
%34 = icmp eq i64 %33, 0
br i1 %34, label %35, label %45
35: ; preds = %30
%36 = tail call i32 @free(i8* %15)
store i8* null, i8** %14
store i32 0, i32* %31
br label %37
37: ; preds = %35, %28
%38 = and i32 %10, 255
%39 = icmp eq i32 %38, 0
br i1 %39, label %40, label %42
40: ; preds = %37
%41 = tail call i32 @putchar(i32 46)
br label %42
42: ; preds = %37, %40
%43 = add nuw nsw i32 %10, 1
%44 = icmp eq i32 %43, 100000
br i1 %44, label %45, label %9
45: ; preds = %30, %42, %26
%46 = phi i8* [ getelementptr inbounds ([23 x i8], [23 x i8]* @.str.4, i64 0, i64 0), %26 ], [ getelementptr inbounds ([23 x i8], [23 x i8]* @.str.4, i64 0, i64 0), %30 ], [ getelementptr inbounds ([23 x i8], [23 x i8]* @.str.5, i64 0, i64 0), %42 ]
%47 = tail call i32 @putchar(i32 10)
br label %48
48: ; preds = %45, %55
%49 = phi i64 [ 0, %45 ], [ %56, %55 ]
%50 = getelementptr inbounds [32 x i8*], [32 x i8*]* %3, i64 0, i64 %49
%51 = load i8*, i8** %50
%52 = icmp eq i8* %51, null
br i1 %52, label %55, label %53
53: ; preds = %48
%54 = tail call i32 @free(i8* %51)
br label %55
55: ; preds = %48, %53
%56 = add nuw nsw i64 %49, 1
%57 = icmp eq i64 %56, 32
br i1 %57, label %58, label %48
58: ; preds = %55
%59 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) %46, i32 %0)
ret void
}