#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*/ mem_free(char *);
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ putchar(char);
int strlen(char *);
void print_example(char *example, char *name, int no_free_vars,
                   char **free_variables, unsigned *offsets, char *types,
                   int treestyle) {
  int i, j;
  int length;
  length = strlen(example) / (no_free_vars + 1);
  if (treestyle) {
    printf("Free variables are: ");
    for (i = 0; i < no_free_vars; i++)
      printf("%s%s", free_variables[i], i == no_free_vars - 1 ? "" : ", ");
    printf("\n\nA %s of least length (%d) is:\n"
           "Booleans:\n",
           name, length - 1);
    for (i = 0; i < no_free_vars; i++)
      putchar(example[i * length]);
    printf("\nUniverse:\n");
    for (i = 1; i < length; i++) {
      putchar('(');
      for (j = 0; j < no_free_vars; j++)
        putchar(example[j * length + i]);
      putchar(',');
    }
    printf("()");
    for (i = 1; i < length; i++)
      printf(",())");
    printf("\n");
  } else {
    printf("A %s of least length (%d) is:\n", name, length - 1);
    for (i = 0; i < no_free_vars; i++) {
      printf("%-15s %c ", free_variables[i], example[i * length]);
      for (j = 0; j < length - 1; j++)
        putchar(example[i * length + 1 + j]);
      printf("\n");
    }
    printf("\n");
    for (i = 0; i < no_free_vars; i++)
      switch (types[i]) {
      case 0:
        printf("%s = %s\n", free_variables[i],
               example[i * length] == '1' ? "true" : "false");
        break;
      case 1: {
        int j = 0;
        while (example[i * length + j + 1] == '0' && j < length)
          j++;
        printf("%s = %i\n", free_variables[i], j);
      } break;
      case 2: {
        int j, t = 0;
        printf("%s = {", free_variables[i]);
        for (j = 0; j < length; j++)
          if (example[i * length + j + 1] == '1') {
            if (t++ != 0)
              printf(",");
            printf("%i", j);
          }
        printf("}\n");
      } break;
      }
  }
  mem_free(example);
}


x86 assembly (clang, -O0):
<print_example>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x8(%rbp),%rdi
call   1050 <strlen@plt>
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
cltd
idiv   %ecx
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,0x10(%rbp)
je     1305 <print_example+0x1c5>
lea    0xe78(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11e7 <print_example+0xa7>
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
mov    -0x34(%rbp),%ecx
mov    -0x14(%rbp),%edi
sub    $0x1,%edi
lea    0xe5c(%rip),%rdx
lea    0xe8e(%rip),%rax
cmp    %edi,%ecx
cmove  %rax,%rdx
lea    0xe43(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1196 <print_example+0x56>
mov    -0x10(%rbp),%rsi
mov    -0x3c(%rbp),%edx
sub    $0x1,%edx
lea    0xe25(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1237 <print_example+0xf7>
mov    -0x8(%rbp),%rax
mov    -0x34(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <putchar@plt>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1206 <print_example+0xc6>
lea    0xe0a(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
movl   $0x1,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    12b5 <print_example+0x175>
mov    $0x28,%edi
call   1030 <putchar@plt>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    129d <print_example+0x15d>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
add    -0x34(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <putchar@plt>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1269 <print_example+0x129>
mov    $0x2c,%edi
call   1030 <putchar@plt>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    124c <print_example+0x10c>
lea    0xd98(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
movl   $0x1,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    12f2 <print_example+0x1b2>
lea    0xd7a(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12ca <print_example+0x18a>
lea    0xd59(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
jmp    159a <print_example+0x45a>
mov    -0x10(%rbp),%rsi
mov    -0x3c(%rbp),%edx
sub    $0x1,%edx
lea    0xd46(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    13bb <print_example+0x27b>
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
mov    -0x8(%rbp),%rax
mov    -0x34(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edx
lea    0xd26(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x3c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    139f <print_example+0x25f>
mov    -0x8(%rbp),%rax
mov    -0x34(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
add    $0x1,%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <putchar@plt>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1363 <print_example+0x223>
lea    0xcac(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1324 <print_example+0x1e4>
lea    0xc90(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1595 <print_example+0x455>
mov    -0x30(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x4c(%rbp)
test   %eax,%eax
je     141a <print_example+0x2da>
jmp    13f8 <print_example+0x2b8>
mov    -0x4c(%rbp),%eax
sub    $0x1,%eax
je     1460 <print_example+0x320>
jmp    1409 <print_example+0x2c9>
mov    -0x4c(%rbp),%eax
sub    $0x2,%eax
je     14d9 <print_example+0x399>
jmp    1582 <print_example+0x442>
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
mov    -0x8(%rbp),%rax
mov    -0x34(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%ecx
lea    0xc54(%rip),%rdx
lea    0xc48(%rip),%rax
cmp    $0x31,%ecx
cmove  %rax,%rdx
lea    0xc31(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
jmp    1582 <print_example+0x442>
movl   $0x0,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x34(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
add    -0x40(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x30,%ecx
mov    %al,-0x4d(%rbp)
jne    1499 <print_example+0x359>
mov    -0x40(%rbp),%eax
cmp    -0x3c(%rbp),%eax
setl   %al
mov    %al,-0x4d(%rbp)
mov    -0x4d(%rbp),%al
test   $0x1,%al
jne    14a9 <print_example+0x369>
jmp    14b7 <print_example+0x377>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1467 <print_example+0x327>
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
mov    -0x40(%rbp),%edx
lea    0xbcc(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
jmp    1582 <print_example+0x442>
movl   $0x0,-0x48(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
lea    0xbaf(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    1574 <print_example+0x434>
mov    -0x8(%rbp),%rax
mov    -0x34(%rbp),%ecx
imul   -0x3c(%rbp),%ecx
add    -0x44(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jne    1561 <print_example+0x421>
mov    -0x48(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x48(%rbp)
cmp    $0x0,%eax
je     1550 <print_example+0x410>
lea    0xb60(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
mov    -0x44(%rbp),%esi
lea    0xb51(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
jmp    1566 <print_example+0x426>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1501 <print_example+0x3c1>
lea    0xb33(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
jmp    1587 <print_example+0x447>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    13d0 <print_example+0x290>
jmp    159a <print_example+0x45a>
mov    -0x8(%rbp),%rdi
call   1040 <mem_free@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_example>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %r9,%rbx
mov    %rcx,%r14
mov    %edx,%r15d
mov    %rsi,%rbp
mov    %rdi,%r12
call   1060 <strlen@plt>
lea    0x1(%r15),%ecx
cltd
idiv   %ecx
mov    %eax,%r13d
cmpl   $0x0,0x80(%rsp)
mov    %r13,0x18(%rsp)
je     1256 <print_example+0x106>
lea    0xe6a(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
mov    %r15d,%eax
test   %r15d,%r15d
mov    %r15,0x8(%rsp)
mov    %rax,0x20(%rsp)
jle    133c <print_example+0x1ec>
mov    %rbp,0x10(%rsp)
mov    %rax,%r13
lea    -0x1(%r15),%ebx
mov    %r14,%rbp
lea    0xe4c(%rip),%r14
xor    %r15d,%r15d
nopl   0x0(%rax)
mov    0x0(%rbp,%r15,8),%rsi
cmp    %r15,%rbx
lea    0xe3b(%rip),%rdx
lea    0xe88(%rip),%rax
cmove  %rax,%rdx
mov    %r14,%rdi
xor    %eax,%eax
call   1070 <printf@plt>
add    $0x1,%r15
cmp    %r15,%r13
jne    11d0 <print_example+0x80>
mov    0x18(%rsp),%r13
lea    -0x1(%r13),%edx
lea    0xe10(%rip),%rdi
mov    0x10(%rsp),%rsi
xor    %eax,%eax
call   1070 <printf@plt>
mov    0x8(%rsp),%r15
test   %r15d,%r15d
jle    1351 <print_example+0x201>
movslq %r13d,%r14
mov    0x20(%rsp),%rbp
mov    %r12,%rbx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movsbl (%rbx),%edi
call   1030 <putchar@plt>
add    %r14,%rbx
add    $0xffffffffffffffff,%rbp
jne    1240 <print_example+0xf0>
jmp    1351 <print_example+0x201>
mov    %r14,0x28(%rsp)
lea    -0x1(%r13),%r14d
lea    0xdea(%rip),%rdi
mov    %rbp,%rsi
mov    %r14d,%edx
xor    %eax,%eax
call   1070 <printf@plt>
test   %r15d,%r15d
jle    140f <print_example+0x2bf>
mov    %rbx,0x30(%rsp)
movabs $0x100000000,%rbp
movslq %r13d,%rax
mov    %r15,0x8(%rsp)
mov    %r15d,%ecx
mov    %rcx,0x20(%rsp)
mov    %r14d,%ecx
mov    %rcx,0x38(%rsp)
mov    %rax,0x10(%rsp)
shl    $0x20,%rax
mov    %rax,0x40(%rsp)
mov    %rbp,%r15
xor    %r13d,%r13d
jmp    12de <print_example+0x18e>
nopl   0x0(%rax)
mov    $0xa,%edi
call   1030 <putchar@plt>
add    $0x1,%r13
add    0x40(%rsp),%r15
cmp    0x20(%rsp),%r13
je     142f <print_example+0x2df>
mov    0x28(%rsp),%rax
mov    (%rax,%r13,8),%rsi
mov    %r13,%rax
imul   0x10(%rsp),%rax
movsbl (%r12,%rax,1),%edx
lea    0xd73(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
cmpl   $0x2,0x18(%rsp)
jl     12c0 <print_example+0x170>
mov    0x38(%rsp),%rbx
mov    %r15,%r14
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r14,%rax
sar    $0x20,%rax
movsbl (%r12,%rax,1),%edi
call   1030 <putchar@plt>
add    %rbp,%r14
add    $0xffffffffffffffff,%rbx
jne    1320 <print_example+0x1d0>
jmp    12c0 <print_example+0x170>
lea    -0x1(%r13),%edx
lea    0xcd6(%rip),%rdi
mov    %rbp,%rsi
xor    %eax,%eax
call   1070 <printf@plt>
lea    0xd4a(%rip),%rdi
call   1040 <puts@plt>
cmp    $0x1,%r13d
jle    13c4 <print_example+0x274>
mov    %r13d,%r13d
lea    0x1(%r12),%r14
mov    $0x1,%r15d
jmp    1397 <print_example+0x247>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    $0x2c,%edi
call   1030 <putchar@plt>
add    $0x1,%r15
add    $0x1,%r14
cmp    %r13,%r15
je     13d4 <print_example+0x284>
mov    $0x28,%edi
call   1030 <putchar@plt>
cmpl   $0x0,0x8(%rsp)
jle    1380 <print_example+0x230>
mov    0x20(%rsp),%rbx
mov    %r14,%rbp
movsbl 0x0(%rbp),%edi
call   1030 <putchar@plt>
add    %r13,%rbp
add    $0xffffffffffffffff,%rbx
jne    13b0 <print_example+0x260>
jmp    1380 <print_example+0x230>
lea    0xc7d(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
jmp    140f <print_example+0x2bf>
lea    0xc6d(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
mov    0x18(%rsp),%rbx
cmp    $0x2,%ebx
jl     140f <print_example+0x2bf>
add    $0xffffffff,%ebx
lea    0xc55(%rip),%rbp
cs nopw 0x0(%rax,%rax,1)
mov    %rbp,%rdi
xor    %eax,%eax
call   1070 <printf@plt>
add    $0xffffffff,%ebx
jne    1400 <print_example+0x2b0>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    %r12,%rdi
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <mem_free@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
cmpl   $0x0,0x8(%rsp)
mov    0x18(%rsp),%r13
mov    0x28(%rsp),%rbp
mov    0x30(%rsp),%rbx
jle    1419 <print_example+0x2c9>
mov    %r13d,%eax
mov    %rax,0x8(%rsp)
mov    $0x1,%r15d
xor    %r14d,%r14d
jmp    149f <print_example+0x34f>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    0xc29(%rip),%rdi
call   1040 <puts@plt>
mov    0x18(%rsp),%r13
mov    0x28(%rsp),%rbp
mov    0x30(%rsp),%rbx
add    $0x1,%r14
add    0x8(%rsp),%r15
cmp    0x20(%rsp),%r14
je     1419 <print_example+0x2c9>
movsbl (%rbx,%r14,1),%eax
test   %eax,%eax
je     1580 <print_example+0x430>
cmp    $0x2,%eax
je     1500 <print_example+0x3b0>
cmp    $0x1,%eax
jne    148b <print_example+0x33b>
xor    %eax,%eax
mov    0x10(%rsp),%rsi
nopl   (%rax)
lea    0x1(%rax),%rdx
lea    (%r15,%rax,1),%ecx
movslq %ecx,%rcx
cmpb   $0x30,(%r12,%rcx,1)
jne    14da <print_example+0x38a>
cmp    %rsi,%rax
mov    %rdx,%rax
jl     14c0 <print_example+0x370>
add    $0xffffffff,%edx
mov    0x0(%rbp,%r14,8),%rsi
lea    0xba4(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
jmp    148b <print_example+0x33b>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    0x0(%rbp,%r14,8),%rsi
lea    0xb8a(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
test   %r13d,%r13d
jle    1470 <print_example+0x320>
xor    %ebp,%ebp
xor    %r13d,%r13d
jmp    1552 <print_example+0x402>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%r13d
lea    0xb62(%rip),%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1070 <printf@plt>
mov    %rbx,%rbp
cmp    %rbx,0x8(%rsp)
je     1470 <print_example+0x320>
lea    0x1(%rbp),%rbx
lea    (%r15,%rbp,1),%eax
cltq
cmpb   $0x31,(%r12,%rax,1)
jne    1544 <print_example+0x3f4>
test   %r13d,%r13d
je     1530 <print_example+0x3e0>
mov    $0x2c,%edi
call   1030 <putchar@plt>
jmp    1530 <print_example+0x3e0>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x0(%rbp,%r14,8),%rsi
mov    %r14,%rax
imul   0x10(%rsp),%rax
cmpb   $0x31,(%r12,%rax,1)
lea    0xaed(%rip),%rdx
lea    0xae1(%rip),%rax
cmove  %rax,%rdx
lea    0xacd(%rip),%rdi
xor    %eax,%eax
call   1070 <printf@plt>
jmp    148b <print_example+0x33b>

LLVM IR (-O0):
@.str = [21 x i8] c"Free variables are: \00"
@.str.1 = [5 x i8] c"%s%s\00"
@.str.2 = [1 x i8] zeroinitializer
@.str.3 = [3 x i8] c", \00"
@.str.4 = [43 x i8] c"\0A\0AA %s of least length (%d) is:\0ABooleans:\0A\00"
@.str.5 = [12 x i8] c"\0AUniverse:\0A\00"
@.str.6 = [3 x i8] c"()\00"
@.str.7 = [5 x i8] c",())\00"
@.str.8 = [2 x i8] c"\0A\00"
@.str.9 = [31 x i8] c"A %s of least length (%d) is:\0A\00"
@.str.10 = [10 x i8] c"%-15s %c \00"
@.str.11 = [9 x i8] c"%s = %s\0A\00"
@.str.12 = [5 x i8] c"true\00"
@.str.13 = [6 x i8] c"false\00"
@.str.14 = [9 x i8] c"%s = %i\0A\00"
@.str.15 = [7 x i8] c"%s = {\00"
@.str.16 = [2 x i8] c",\00"
@.str.17 = [3 x i8] c"%i\00"
@.str.18 = [3 x i8] c"}\0A\00"
define void @print_example(i8* %0, i8* %1, i32 %2, i8** %3, i32* %4, i8* %5, i32 %6) {
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i32
%11 = alloca i8**
%12 = alloca i32*
%13 = alloca i8*
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
store i8* %0, i8** %8
store i8* %1, i8** %9
store i32 %2, i32* %10
store i8** %3, i8*** %11
store i32* %4, i32** %12
store i8* %5, i8** %13
store i32 %6, i32* %14
%21 = load i8*, i8** %8
%22 = call i32 @strlen(i8* %21)
%23 = load i32, i32* %10
%24 = add nsw i32 %23, 1
%25 = sdiv i32 %22, %24
store i32 %25, i32* %17
%26 = load i32, i32* %14
%27 = icmp ne i32 %26, 0
br i1 %27, label %28, label %115
28: ; preds = %7
%29 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %15
br label %30
30: ; preds = %47, %28
%31 = load i32, i32* %15
%32 = load i32, i32* %10
%33 = icmp slt i32 %31, %32
br i1 %33, label %34, label %50
34: ; preds = %30
%35 = load i8**, i8*** %11
%36 = load i32, i32* %15
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i8*, i8** %35, i64 %37
%39 = load i8*, i8** %38
%40 = load i32, i32* %15
%41 = load i32, i32* %10
%42 = sub nsw i32 %41, 1
%43 = icmp eq i32 %40, %42
%44 = zext i1 %43 to i64
%45 = select i1 %43, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i64 0, i64 0)
%46 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i8* %39, i8* %45)
br label %47
47: ; preds = %34
%48 = load i32, i32* %15
%49 = add nsw i32 %48, 1
store i32 %49, i32* %15
br label %30
50: ; preds = %30
%51 = load i8*, i8** %9
%52 = load i32, i32* %17
%53 = sub nsw i32 %52, 1
%54 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.4, i64 0, i64 0), i8* %51, i32 %53)
store i32 0, i32* %15
br label %55
55: ; preds = %68, %50
%56 = load i32, i32* %15
%57 = load i32, i32* %10
%58 = icmp slt i32 %56, %57
br i1 %58, label %59, label %71
59: ; preds = %55
%60 = load i8*, i8** %8
%61 = load i32, i32* %15
%62 = load i32, i32* %17
%63 = mul nsw i32 %61, %62
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i8, i8* %60, i64 %64
%66 = load i8, i8* %65
%67 = call i32 @putchar(i8 signext %66)
br label %68
68: ; preds = %59
%69 = load i32, i32* %15
%70 = add nsw i32 %69, 1
store i32 %70, i32* %15
br label %55
71: ; preds = %55
%72 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.5, i64 0, i64 0))
store i32 1, i32* %15
br label %73
73: ; preds = %99, %71
%74 = load i32, i32* %15
%75 = load i32, i32* %17
%76 = icmp slt i32 %74, %75
br i1 %76, label %77, label %102
77: ; preds = %73
%78 = call i32 @putchar(i8 signext 40)
store i32 0, i32* %16
br label %79
79: ; preds = %94, %77
%80 = load i32, i32* %16
%81 = load i32, i32* %10
%82 = icmp slt i32 %80, %81
br i1 %82, label %83, label %97
83: ; preds = %79
%84 = load i8*, i8** %8
%85 = load i32, i32* %16
%86 = load i32, i32* %17
%87 = mul nsw i32 %85, %86
%88 = load i32, i32* %15
%89 = add nsw i32 %87, %88
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds i8, i8* %84, i64 %90
%92 = load i8, i8* %91
%93 = call i32 @putchar(i8 signext %92)
br label %94
94: ; preds = %83
%95 = load i32, i32* %16
%96 = add nsw i32 %95, 1
store i32 %96, i32* %16
br label %79
97: ; preds = %79
%98 = call i32 @putchar(i8 signext 44)
br label %99
99: ; preds = %97
%100 = load i32, i32* %15
%101 = add nsw i32 %100, 1
store i32 %101, i32* %15
br label %73
102: ; preds = %73
%103 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i64 0, i64 0))
store i32 1, i32* %15
br label %104
104: ; preds = %110, %102
%105 = load i32, i32* %15
%106 = load i32, i32* %17
%107 = icmp slt i32 %105, %106
br i1 %107, label %108, label %113
108: ; preds = %104
%109 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.7, i64 0, i64 0))
br label %110
110: ; preds = %108
%111 = load i32, i32* %15
%112 = add nsw i32 %111, 1
store i32 %112, i32* %15
br label %104
113: ; preds = %104
%114 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.8, i64 0, i64 0))
br label %270
115: ; preds = %7
%116 = load i8*, i8** %9
%117 = load i32, i32* %17
%118 = sub nsw i32 %117, 1
%119 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.9, i64 0, i64 0), i8* %116, i32 %118)
store i32 0, i32* %15
br label %120
120: ; preds = %161, %115
%121 = load i32, i32* %15
%122 = load i32, i32* %10
%123 = icmp slt i32 %121, %122
br i1 %123, label %124, label %164
124: ; preds = %120
%125 = load i8**, i8*** %11
%126 = load i32, i32* %15
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds i8*, i8** %125, i64 %127
%129 = load i8*, i8** %128
%130 = load i8*, i8** %8
%131 = load i32, i32* %15
%132 = load i32, i32* %17
%133 = mul nsw i32 %131, %132
%134 = sext i32 %133 to i64
%135 = getelementptr inbounds i8, i8* %130, i64 %134
%136 = load i8, i8* %135
%137 = sext i8 %136 to i32
%138 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.10, i64 0, i64 0), i8* %129, i32 %137)
store i32 0, i32* %16
br label %139
139: ; preds = %156, %124
%140 = load i32, i32* %16
%141 = load i32, i32* %17
%142 = sub nsw i32 %141, 1
%143 = icmp slt i32 %140, %142
br i1 %143, label %144, label %159
144: ; preds = %139
%145 = load i8*, i8** %8
%146 = load i32, i32* %15
%147 = load i32, i32* %17
%148 = mul nsw i32 %146, %147
%149 = add nsw i32 %148, 1
%150 = load i32, i32* %16
%151 = add nsw i32 %149, %150
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i8, i8* %145, i64 %152
%154 = load i8, i8* %153
%155 = call i32 @putchar(i8 signext %154)
br label %156
156: ; preds = %144
%157 = load i32, i32* %16
%158 = add nsw i32 %157, 1
store i32 %158, i32* %16
br label %139
159: ; preds = %139
%160 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.8, i64 0, i64 0))
br label %161
161: ; preds = %159
%162 = load i32, i32* %15
%163 = add nsw i32 %162, 1
store i32 %163, i32* %15
br label %120
164: ; preds = %120
%165 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.8, i64 0, i64 0))
store i32 0, i32* %15
br label %166
166: ; preds = %266, %164
%167 = load i32, i32* %15
%168 = load i32, i32* %10
%169 = icmp slt i32 %167, %168
br i1 %169, label %170, label %269
170: ; preds = %166
%171 = load i8*, i8** %13
%172 = load i32, i32* %15
%173 = sext i32 %172 to i64
%174 = getelementptr inbounds i8, i8* %171, i64 %173
%175 = load i8, i8* %174
%176 = sext i8 %175 to i32
switch i32 %176, label %265 [
i32 0, label %177
i32 1, label %195
i32 2, label %226
]
177: ; preds = %170
%178 = load i8**, i8*** %11
%179 = load i32, i32* %15
%180 = sext i32 %179 to i64
%181 = getelementptr inbounds i8*, i8** %178, i64 %180
%182 = load i8*, i8** %181
%183 = load i8*, i8** %8
%184 = load i32, i32* %15
%185 = load i32, i32* %17
%186 = mul nsw i32 %184, %185
%187 = sext i32 %186 to i64
%188 = getelementptr inbounds i8, i8* %183, i64 %187
%189 = load i8, i8* %188
%190 = sext i8 %189 to i32
%191 = icmp eq i32 %190, 49
%192 = zext i1 %191 to i64
%193 = select i1 %191, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.13, i64 0, i64 0)
%194 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.11, i64 0, i64 0), i8* %182, i8* %193)
br label %265
195: ; preds = %170
store i32 0, i32* %18
br label %196
196: ; preds = %215, %195
%197 = load i8*, i8** %8
%198 = load i32, i32* %15
%199 = load i32, i32* %17
%200 = mul nsw i32 %198, %199
%201 = load i32, i32* %18
%202 = add nsw i32 %200, %201
%203 = add nsw i32 %202, 1
%204 = sext i32 %203 to i64
%205 = getelementptr inbounds i8, i8* %197, i64 %204
%206 = load i8, i8* %205
%207 = sext i8 %206 to i32
%208 = icmp eq i32 %207, 48
br i1 %208, label %209, label %213
209: ; preds = %196
%210 = load i32, i32* %18
%211 = load i32, i32* %17
%212 = icmp slt i32 %210, %211
br label %213
213: ; preds = %209, %196
%214 = phi i1 [ false, %196 ], [ %212, %209 ]
br i1 %214, label %215, label %218
215: ; preds = %213
%216 = load i32, i32* %18
%217 = add nsw i32 %216, 1
store i32 %217, i32* %18
br label %196
218: ; preds = %213
%219 = load i8**, i8*** %11
%220 = load i32, i32* %15
%221 = sext i32 %220 to i64
%222 = getelementptr inbounds i8*, i8** %219, i64 %221
%223 = load i8*, i8** %222
%224 = load i32, i32* %18
%225 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.14, i64 0, i64 0), i8* %223, i32 %224)
br label %265
226: ; preds = %170
store i32 0, i32* %20
%227 = load i8**, i8*** %11
%228 = load i32, i32* %15
%229 = sext i32 %228 to i64
%230 = getelementptr inbounds i8*, i8** %227, i64 %229
%231 = load i8*, i8** %230
%232 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.15, i64 0, i64 0), i8* %231)
store i32 0, i32* %19
br label %233
233: ; preds = %260, %226
%234 = load i32, i32* %19
%235 = load i32, i32* %17
%236 = icmp slt i32 %234, %235
br i1 %236, label %237, label %263
237: ; preds = %233
%238 = load i8*, i8** %8
%239 = load i32, i32* %15
%240 = load i32, i32* %17
%241 = mul nsw i32 %239, %240
%242 = load i32, i32* %19
%243 = add nsw i32 %241, %242
%244 = add nsw i32 %243, 1
%245 = sext i32 %244 to i64
%246 = getelementptr inbounds i8, i8* %238, i64 %245
%247 = load i8, i8* %246
%248 = sext i8 %247 to i32
%249 = icmp eq i32 %248, 49
br i1 %249, label %250, label %259
250: ; preds = %237
%251 = load i32, i32* %20
%252 = add nsw i32 %251, 1
store i32 %252, i32* %20
%253 = icmp ne i32 %251, 0
br i1 %253, label %254, label %256
254: ; preds = %250
%255 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.16, i64 0, i64 0))
br label %256
256: ; preds = %254, %250
%257 = load i32, i32* %19
%258 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.17, i64 0, i64 0), i32 %257)
br label %259
259: ; preds = %256, %237
br label %260
260: ; preds = %259
%261 = load i32, i32* %19
%262 = add nsw i32 %261, 1
store i32 %262, i32* %19
br label %233
263: ; preds = %233
%264 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.18, i64 0, i64 0))
br label %265
265: ; preds = %170, %263, %218, %177
br label %266
266: ; preds = %265
%267 = load i32, i32* %15
%268 = add nsw i32 %267, 1
store i32 %268, i32* %15
br label %166
269: ; preds = %166
br label %270
270: ; preds = %269, %113
%271 = load i8*, i8** %8
%272 = call i32 @mem_free(i8* %271)
ret void
}

LLVM IR (-O2):
@.str = [21 x i8] c"Free variables are: \00"
@.str.1 = [5 x i8] c"%s%s\00"
@.str.2 = [1 x i8] zeroinitializer
@.str.3 = [3 x i8] c", \00"
@.str.4 = [43 x i8] c"\0A\0AA %s of least length (%d) is:\0ABooleans:\0A\00"
@.str.6 = [3 x i8] c"()\00"
@.str.7 = [5 x i8] c",())\00"
@.str.9 = [31 x i8] c"A %s of least length (%d) is:\0A\00"
@.str.10 = [10 x i8] c"%-15s %c \00"
@.str.11 = [9 x i8] c"%s = %s\0A\00"
@.str.12 = [5 x i8] c"true\00"
@.str.13 = [6 x i8] c"false\00"
@.str.14 = [9 x i8] c"%s = %i\0A\00"
@.str.15 = [7 x i8] c"%s = {\00"
@.str.17 = [3 x i8] c"%i\00"
@str = [2 x i8] c"}\00"
@str.19 = [11 x i8] c"\0AUniverse:\00"
define void @print_example(i8* %0, i8* %1, i32 %2, i8** nocapture %3, i32* nocapture readnone %4, i8* nocapture %5, i32 %6) {
%8 = tail call i32 @strlen(i8* %0)
%9 = add nsw i32 %2, 1
%10 = sdiv i32 %8, %9
%11 = icmp eq i32 %6, 0
br i1 %11, label %77, label %12
12: ; preds = %7
%13 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str, i64 0, i64 0))
%14 = icmp sgt i32 %2, 0
br i1 %14, label %18, label %15
15: ; preds = %12
%16 = add nsw i32 %10, -1
%17 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @.str.4, i64 0, i64 0), i8* %1, i32 %16)
br label %45
18: ; preds = %12
%19 = add nsw i32 %2, -1
%20 = zext i32 %19 to i64
%21 = zext i32 %2 to i64
br label %22
22: ; preds = %18, %22
%23 = phi i64 [ 0, %18 ], [ %29, %22 ]
%24 = getelementptr inbounds i8*, i8** %3, i64 %23
%25 = load i8*, i8** %24
%26 = icmp eq i64 %23, %20
%27 = select i1 %26, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i64 0, i64 0)
%28 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i8* %25, i8* %27)
%29 = add nuw nsw i64 %23, 1
%30 = icmp eq i64 %29, %21
br i1 %30, label %31, label %22
31: ; preds = %22
%32 = add nsw i32 %10, -1
%33 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @.str.4, i64 0, i64 0), i8* %1, i32 %32)
br i1 %14, label %34, label %45
34: ; preds = %31
%35 = sext i32 %10 to i64
%36 = zext i32 %2 to i64
br label %37
37: ; preds = %34, %37
%38 = phi i64 [ 0, %34 ], [ %43, %37 ]
%39 = mul nsw i64 %38, %35
%40 = getelementptr inbounds i8, i8* %0, i64 %39
%41 = load i8, i8* %40
%42 = tail call i32 @putchar(i8 signext %41)
%43 = add nuw nsw i64 %38, 1
%44 = icmp eq i64 %43, %36
br i1 %44, label %45, label %37
45: ; preds = %37, %15, %31
%46 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([11 x i8], [11 x i8]* @str.19, i64 0, i64 0))
%47 = icmp sgt i32 %10, 1
br i1 %47, label %50, label %48
48: ; preds = %45
%49 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i64 0, i64 0))
br label %182
50: ; preds = %45
%51 = zext i32 %10 to i64
%52 = zext i32 %10 to i64
%53 = zext i32 %2 to i64
br label %54
54: ; preds = %50, %66
%55 = phi i64 [ 1, %50 ], [ %68, %66 ]
%56 = tail call i32 @putchar(i8 signext 40)
br i1 %14, label %57, label %66
57: ; preds = %54, %57
%58 = phi i64 [ %64, %57 ], [ 0, %54 ]
%59 = mul nsw i64 %58, %51
%60 = add nuw nsw i64 %59, %55
%61 = getelementptr inbounds i8, i8* %0, i64 %60
%62 = load i8, i8* %61
%63 = tail call i32 @putchar(i8 signext %62)
%64 = add nuw nsw i64 %58, 1
%65 = icmp eq i64 %64, %53
br i1 %65, label %66, label %57
66: ; preds = %57, %54
%67 = tail call i32 @putchar(i8 signext 44)
%68 = add nuw nsw i64 %55, 1
%69 = icmp eq i64 %68, %52
br i1 %69, label %70, label %54
70: ; preds = %66
%71 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i64 0, i64 0))
br i1 %47, label %72, label %182
72: ; preds = %70, %72
%73 = phi i32 [ %75, %72 ], [ 1, %70 ]
%74 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.7, i64 0, i64 0))
%75 = add nuw nsw i32 %73, 1
%76 = icmp eq i32 %75, %10
br i1 %76, label %182, label %72
77: ; preds = %7
%78 = add nsw i32 %10, -1
%79 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @.str.9, i64 0, i64 0), i8* %1, i32 %78)
%80 = icmp sgt i32 %2, 0
br i1 %80, label %81, label %182
81: ; preds = %77
%82 = icmp sgt i32 %10, 1
%83 = sext i32 %10 to i64
%84 = zext i32 %2 to i64
%85 = zext i32 %78 to i64
br label %86
86: ; preds = %81, %105
%87 = phi i64 [ 0, %81 ], [ %107, %105 ]
%88 = getelementptr inbounds i8*, i8** %3, i64 %87
%89 = load i8*, i8** %88
%90 = mul nsw i64 %87, %83
%91 = getelementptr inbounds i8, i8* %0, i64 %90
%92 = load i8, i8* %91
%93 = sext i8 %92 to i32
%94 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @.str.10, i64 0, i64 0), i8* %89, i32 %93)
br i1 %82, label %95, label %105
95: ; preds = %86, %95
%96 = phi i64 [ %97, %95 ], [ 0, %86 ]
%97 = add nuw nsw i64 %96, 1
%98 = add i64 %97, %90
%99 = shl i64 %98, 32
%100 = ashr exact i64 %99, 32
%101 = getelementptr inbounds i8, i8* %0, i64 %100
%102 = load i8, i8* %101
%103 = tail call i32 @putchar(i8 signext %102)
%104 = icmp eq i64 %97, %85
br i1 %104, label %105, label %95
105: ; preds = %95, %86
%106 = tail call i32 bitcast (i32 (i8)* @putchar to i32 (i32)*)(i32 10)
%107 = add nuw nsw i64 %87, 1
%108 = icmp eq i64 %107, %84
br i1 %108, label %109, label %86
109: ; preds = %105
%110 = tail call i32 bitcast (i32 (i8)* @putchar to i32 (i32)*)(i32 10)
br i1 %80, label %111, label %184
111: ; preds = %109
%112 = icmp sgt i32 %10, 0
%113 = sext i32 %10 to i64
%114 = zext i32 %2 to i64
%115 = zext i32 %10 to i64
br label %116
116: ; preds = %111, %179
%117 = phi i64 [ 0, %111 ], [ %180, %179 ]
%118 = getelementptr inbounds i8, i8* %5, i64 %117
%119 = load i8, i8* %118
%120 = sext i8 %119 to i32
switch i32 %120, label %179 [
i32 0, label %124
i32 1, label %121
i32 2, label %149
]
121: ; preds = %116
%122 = trunc i64 %117 to i32
%123 = mul i32 %10, %122
br label %133
124: ; preds = %116
%125 = getelementptr inbounds i8*, i8** %3, i64 %117
%126 = load i8*, i8** %125
%127 = mul nsw i64 %117, %113
%128 = getelementptr inbounds i8, i8* %0, i64 %127
%129 = load i8, i8* %128
%130 = icmp eq i8 %129, 49
%131 = select i1 %130, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.13, i64 0, i64 0)
%132 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @.str.11, i64 0, i64 0), i8* %126, i8* %131)
br label %179
133: ; preds = %133, %121
%134 = phi i64 [ %135, %133 ], [ 0, %121 ]
%135 = add nuw nsw i64 %134, 1
%136 = trunc i64 %135 to i32
%137 = add i32 %123, %136
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds i8, i8* %0, i64 %138
%140 = load i8, i8* %139
%141 = icmp eq i8 %140, 48
%142 = icmp slt i64 %134, %113
%143 = select i1 %141, i1 %142, i1 false
br i1 %143, label %133, label %144
144: ; preds = %133
%145 = trunc i64 %134 to i32
%146 = getelementptr inbounds i8*, i8** %3, i64 %117
%147 = load i8*, i8** %146
%148 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([9 x i8], [9 x i8]* @.str.14, i64 0, i64 0), i8* %147, i32 %145)
br label %179
149: ; preds = %116
%150 = getelementptr inbounds i8*, i8** %3, i64 %117
%151 = load i8*, i8** %150
%152 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @.str.15, i64 0, i64 0), i8* %151)
br i1 %112, label %153, label %177
153: ; preds = %149
%154 = trunc i64 %117 to i32
%155 = mul i32 %10, %154
br label %156
156: ; preds = %153, %174
%157 = phi i64 [ 0, %153 ], [ %159, %174 ]
%158 = phi i32 [ 0, %153 ], [ %175, %174 ]
%159 = add nuw nsw i64 %157, 1
%160 = trunc i64 %159 to i32
%161 = add i32 %155, %160
%162 = sext i32 %161 to i64
%163 = getelementptr inbounds i8, i8* %0, i64 %162
%164 = load i8, i8* %163
%165 = icmp eq i8 %164, 49
br i1 %165, label %166, label %174
166: ; preds = %156
%167 = add nsw i32 %158, 1
%168 = icmp eq i32 %158, 0
br i1 %168, label %171, label %169
169: ; preds = %166
%170 = tail call i32 bitcast (i32 (i8)* @putchar to i32 (i32)*)(i32 44)
br label %171
171: ; preds = %169, %166
%172 = trunc i64 %157 to i32
%173 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.17, i64 0, i64 0), i32 %172)
br label %174
174: ; preds = %156, %171
%175 = phi i32 [ %167, %171 ], [ %158, %156 ]
%176 = icmp eq i64 %159, %115
br i1 %176, label %177, label %156
177: ; preds = %174, %149
%178 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str, i64 0, i64 0))
br label %179
179: ; preds = %124, %144, %177, %116
%180 = add nuw nsw i64 %117, 1
%181 = icmp eq i64 %180, %114
br i1 %181, label %184, label %116
182: ; preds = %72, %77, %70, %48
%183 = tail call i32 bitcast (i32 (i8)* @putchar to i32 (i32)*)(i32 10)
br label %184
184: ; preds = %179, %182, %109
%185 = tail call i32 @mem_free(i8* %0)
ret void
}