#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 */
typedef int uint32_t;

/* Variables and functions */
int /*<<< orphan*/ printf(char *, ...);
void print_format(int format_tp, uint32_t num_blks, uint32_t param,
                  int dscr_type, int verbose, int *supported) {
  char const *format_str, *nblks_str, *param_str, *user_spec;
  format_str = nblks_str = param_str = "reserved";
  user_spec = "";
  *supported = 1;
  switch (format_tp) {
  case 0x00:
    format_str = "full format capacity";
    nblks_str = "sectors";
    param_str = "block length in bytes";
    user_spec = "'-F [-b blockingnr]'";
    break;
  case 0x01:
    format_str = "spare area expansion";
    nblks_str = "extension in blocks";
    param_str = "block length in bytes";
    user_spec = "'-S'";
    break;
  case 0x04:
    format_str = "variable length zone'd format";
    nblks_str = "zone length";
    param_str = "zone number";
    *supported = 0;
    break;
  case 0x05:
    format_str = "fixed length zone'd format";
    nblks_str = "zone lenght";
    param_str = "last zone number";
    *supported = 0;
    break;
  case 0x10:
    format_str = "CD-RW/DVD-RW full packet format";
    nblks_str = "adressable blocks";
    param_str = "fixed packet size/ECC blocksize in sectors";
    user_spec = "'-F -p [-b blockingnr]'";
    break;
  case 0x11:
    format_str = "CD-RW/DVD-RW grow session";
    nblks_str = "adressable blocks";
    param_str = "fixed packet size/ECC blocksize in sectors";
    user_spec = "'-G'";
    break;
  case 0x12:
    format_str = "CD-RW/DVD-RW add session";
    nblks_str = "adressable blocks";
    param_str = "maximum fixed packet size/ECC blocksize "
                "in sectors";
    *supported = 0;
    break;
  case 0x13:
    format_str = "DVD-RW max growth of last complete session";
    nblks_str = "adressable blocks";
    param_str = "ECC blocksize in sectors";
    user_spec = "'-G'";
    break;
  case 0x14:
    format_str = "DVD-RW quick grow last session";
    nblks_str = "adressable blocks";
    param_str = "ECC blocksize in sectors";
    *supported = 0;
    break;
  case 0x15:
    format_str = "DVD-RW quick full format";
    nblks_str = "adressable blocks";
    param_str = "ECC blocksize in sectors";
    *supported = 0;
    break;
  case 0x24:
    format_str = "background MRW format";
    nblks_str = "Defect Management Area blocks";
    param_str = "not used";
    user_spec = "'[-R] [-s] [-w] -F -M [-b blockingnr]'";
    break;
  case 0x26:
    format_str = "background DVD+RW full format";
    nblks_str = "sectors";
    param_str = "not used";
    user_spec = "'[-R] [-w] -F'";
    break;
  case 0x30:
    format_str = "BD-RE full format with spare area";
    nblks_str = "blocks";
    param_str = "total spare area size in clusters";
    user_spec = "'[-s] -F'";
    break;
  case 0x31:
    format_str = "BD-RE full format without spare area";
    nblks_str = "blocks";
    param_str = "block length in bytes";
    user_spec = "'-F'";
    break;
  default:
    break;
  }
  if (verbose) {
    printf("\n\tFormat type 0x%02x : %s\n", format_tp, format_str);
    switch (dscr_type) {
    case 1:
      printf("\t\tUnformatted media,"
             "maximum formatted capacity\n");
      break;
    case 2:
      printf("\t\tFormatted media,"
             "current formatted capacity\n");
      break;
    case 3:
      printf("\t\tNo media present or incomplete session, "
             "maximum formatted capacity\n");
      break;
    default:
      printf("\t\tUnspecified descriptor type\n");
      break;
    }
    printf("\t\tNumber of blocks : %12d\t(%s)\n", num_blks, nblks_str);
    printf("\t\tParameter        : %12d\t(%s)\n", param, param_str);
    if (format_tp == 0x24) {
      printf("\t\tExpert select    : "
             "'-X 0x%02x:0xffffff:0' or "
             "'-X 0x%02x:0xffff0000:0'\n",
             format_tp, format_tp);
    } else {
      printf("\t\tExpert select    : "
             "'-X 0x%02x:%d:%d'\n",
             format_tp, num_blks, param);
    }
    if (*supported) {
      printf("\t\tmmc_format arg   : %s\n", user_spec);
    } else {
      printf("\t\t** not supported **\n");
    }
  }
}


x86 assembly (clang, -O0):
<print_format>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8d,-0x14(%rbp)
mov    %r9,-0x20(%rbp)
lea    0xf95(%rip),%rax
mov    %rax,-0x38(%rbp)
mov    %rax,-0x30(%rbp)
mov    %rax,-0x28(%rbp)
lea    0x13e2(%rip),%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
movl   $0x1,(%rax)
mov    -0x4(%rbp),%eax
mov    %rax,-0x48(%rbp)
sub    $0x31,%rax
ja     1422 <print_format+0x312>
mov    -0x48(%rbp),%rax
lea    0xe90(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
lea    0xf51(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0x10c3(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xf50(%rip),%rax
mov    %rax,-0x38(%rbp)
lea    0xf5b(%rip),%rax
mov    %rax,-0x40(%rbp)
jmp    1427 <print_format+0x317>
lea    0xf60(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xf6a(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xf1f(%rip),%rax
mov    %rax,-0x38(%rbp)
lea    0xf68(%rip),%rax
mov    %rax,-0x40(%rbp)
jmp    1427 <print_format+0x317>
lea    0xf5d(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xf70(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xf9d(%rip),%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
jmp    1427 <print_format+0x317>
lea    0xf57(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xf67(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xf68(%rip),%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
jmp    1427 <print_format+0x317>
lea    0xf5f(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xf74(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xfd3(%rip),%rax
mov    %rax,-0x38(%rbp)
lea    0xf70(%rip),%rax
mov    %rax,-0x40(%rbp)
jmp    1427 <print_format+0x317>
lea    0xf78(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xf43(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xfa2(%rip),%rax
mov    %rax,-0x38(%rbp)
lea    0xf71(%rip),%rax
mov    %rax,-0x40(%rbp)
jmp    1427 <print_format+0x317>
lea    0xf66(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xf12(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xf69(%rip),%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
jmp    1427 <print_format+0x317>
lea    0xf82(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xee2(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xf53(%rip),%rax
mov    %rax,-0x38(%rbp)
lea    0xf10(%rip),%rax
mov    %rax,-0x40(%rbp)
jmp    1427 <print_format+0x317>
lea    0xf7c(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xeb1(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xf22(%rip),%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
jmp    1427 <print_format+0x317>
lea    0xf6b(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xe81(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xef2(%rip),%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
jmp    1427 <print_format+0x317>
lea    0xf54(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xf5f(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xf72(%rip),%rax
mov    %rax,-0x38(%rbp)
lea    0xf70(%rip),%rax
mov    %rax,-0x40(%rbp)
jmp    1427 <print_format+0x317>
lea    0xf87(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xead(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xf41(%rip),%rax
mov    %rax,-0x38(%rbp)
lea    0xf84(%rip),%rax
mov    %rax,-0x40(%rbp)
jmp    1427 <print_format+0x317>
lea    0xf83(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xf14(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xf8f(%rip),%rax
mov    %rax,-0x38(%rbp)
lea    0xfa6(%rip),%rax
mov    %rax,-0x40(%rbp)
jmp    1427 <print_format+0x317>
lea    0xfa0(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xee3(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xcd8(%rip),%rax
mov    %rax,-0x38(%rbp)
lea    0xfa4(%rip),%rax
mov    %rax,-0x40(%rbp)
jmp    1427 <print_format+0x317>
jmp    1427 <print_format+0x317>
cmpl   $0x0,-0x14(%rbp)
je     155e <print_format+0x44e>
mov    -0x4(%rbp),%esi
mov    -0x28(%rbp),%rdx
lea    0xf83(%rip),%rdi
xor    %eax,%eax
call   1030 <printf@plt>
mov    -0x10(%rbp),%eax
mov    %eax,-0x4c(%rbp)
sub    $0x1,%eax
je     147c <print_format+0x36c>
jmp    145a <print_format+0x34a>
mov    -0x4c(%rbp),%eax
sub    $0x2,%eax
je     148f <print_format+0x37f>
jmp    146b <print_format+0x35b>
mov    -0x4c(%rbp),%eax
sub    $0x3,%eax
je     14a2 <print_format+0x392>
jmp    14b5 <print_format+0x3a5>
lea    0xf5a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    14c3 <print_format+0x3b3>
lea    0xf77(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    14c3 <print_format+0x3b3>
lea    0xf92(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    14c3 <print_format+0x3b3>
lea    0xfc5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x8(%rbp),%esi
mov    -0x30(%rbp),%rdx
lea    0xfcf(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0xc(%rbp),%esi
mov    -0x38(%rbp),%rdx
lea    0xfda(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
cmpl   $0x24,-0x4(%rbp)
jne    1510 <print_format+0x400>
mov    -0x4(%rbp),%esi
mov    -0x4(%rbp),%edx
lea    0xfdc(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1527 <print_format+0x417>
mov    -0x4(%rbp),%esi
mov    -0x8(%rbp),%edx
mov    -0xc(%rbp),%ecx
lea    0x1009(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x20(%rbp),%rax
cmpl   $0x0,(%rax)
je     154b <print_format+0x43b>
mov    -0x40(%rbp),%rsi
lea    0x1012(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1559 <print_format+0x449>
lea    0x1018(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    155e <print_format+0x44e>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_format>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r9,%r13
mov    %ecx,%ebx
mov    %edx,0xc(%rsp)
mov    %edi,%ebp
movl   $0x1,(%r9)
lea    0x132a(%rip),%rdi
lea    0xf86(%rip),%rdx
cmp    $0x31,%ebp
ja     1494 <print_format+0x374>
mov    %ebp,%eax
lea    0xea0(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
mov    %rdx,%r15
mov    %rdx,%r14
jmp    *%rax
lea    0xf92(%rip),%rdi
lea    0xf75(%rip),%r14
lea    0x10d6(%rip),%r15
lea    0xf52(%rip),%rdx
test   %r8d,%r8d
jne    13af <print_format+0x28f>
jmp    14a3 <print_format+0x383>
lea    0xfa6(%rip),%rdi
lea    0xf4b(%rip),%r14
lea    0xf84(%rip),%r15
lea    0xf68(%rip),%rdx
test   %r8d,%r8d
jne    13af <print_format+0x28f>
jmp    14a3 <print_format+0x383>
movl   $0x0,0x0(%r13)
lea    0xfcf(%rip),%r14
lea    0xf90(%rip),%r15
lea    0xf6b(%rip),%rdx
test   %r8d,%r8d
jne    13af <print_format+0x28f>
jmp    14a3 <print_format+0x383>
movl   $0x0,0x0(%r13)
lea    0xf9f(%rip),%r14
lea    0xf8c(%rip),%r15
lea    0xf6a(%rip),%rdx
test   %r8d,%r8d
jne    13af <print_format+0x28f>
jmp    14a3 <print_format+0x383>
lea    0xfbf(%rip),%rdi
lea    0x1010(%rip),%r14
lea    0xf9f(%rip),%r15
lea    0xf78(%rip),%rdx
test   %r8d,%r8d
jne    13af <print_format+0x28f>
jmp    14a3 <print_format+0x383>
lea    0xfc7(%rip),%rdi
lea    0xfe6(%rip),%r14
lea    0xf75(%rip),%r15
lea    0xf98(%rip),%rdx
test   %r8d,%r8d
jne    13af <print_format+0x28f>
jmp    14a3 <print_format+0x383>
movl   $0x0,0x0(%r13)
lea    0xfb3(%rip),%r14
lea    0xf4a(%rip),%r15
lea    0xf8c(%rip),%rdx
test   %r8d,%r8d
jne    13af <print_format+0x28f>
jmp    14a3 <print_format+0x383>
lea    0xf72(%rip),%rdi
lea    0xfa3(%rip),%r14
lea    0xf20(%rip),%r15
lea    0xfae(%rip),%rdx
test   %r8d,%r8d
jne    13af <print_format+0x28f>
jmp    14a3 <print_format+0x383>
movl   $0x0,0x0(%r13)
lea    0xf78(%rip),%r14
lea    0xef5(%rip),%r15
lea    0xfae(%rip),%rdx
test   %r8d,%r8d
jne    13af <print_format+0x28f>
jmp    14a3 <print_format+0x383>
movl   $0x0,0x0(%r13)
lea    0xf4d(%rip),%r14
lea    0xeca(%rip),%r15
lea    0xfa2(%rip),%rdx
test   %r8d,%r8d
jne    13af <print_format+0x28f>
jmp    14a3 <print_format+0x383>
lea    0xfe3(%rip),%rdi
lea    0xfd3(%rip),%r14
lea    0xfae(%rip),%r15
lea    0xf91(%rip),%rdx
test   %r8d,%r8d
jne    13af <print_format+0x28f>
jmp    14a3 <print_format+0x383>
lea    0x1002(%rip),%rdi
lea    0xfad(%rip),%r14
lea    0xf07(%rip),%r15
lea    0xfcf(%rip),%rdx
test   %r8d,%r8d
jne    13af <print_format+0x28f>
jmp    14a3 <print_format+0x383>
lea    0x102f(%rip),%rdi
lea    0x1006(%rip),%r14
lea    0xf79(%rip),%r15
lea    0xfd6(%rip),%rdx
test   %r8d,%r8d
jne    13af <print_format+0x28f>
jmp    14a3 <print_format+0x383>
lea    0x1038(%rip),%rdi
lea    0xd5a(%rip),%r14
lea    0xf53(%rip),%r15
lea    0xffe(%rip),%rdx
test   %r8d,%r8d
je     14a3 <print_format+0x383>
mov    %esi,%r12d
mov    %rdi,0x10(%rsp)
lea    0x1010(%rip),%rdi
mov    %ebp,%esi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0xffffffff,%ebx
cmp    $0x2,%ebx
ja     13e2 <print_format+0x2c2>
movslq %ebx,%rax
lea    0xcef(%rip),%rcx
movslq (%rcx,%rax,4),%rdi
add    %rcx,%rdi
jmp    13e9 <print_format+0x2c9>
lea    0x1181(%rip),%rdi
call   1030 <puts@plt>
lea    0xff4(%rip),%rdi
mov    %r12d,%esi
mov    %r15,%rdx
xor    %eax,%eax
call   1040 <printf@plt>
lea    0x1000(%rip),%rdi
mov    0xc(%rsp),%ebx
mov    %ebx,%esi
mov    %r14,%rdx
xor    %eax,%eax
call   1040 <printf@plt>
cmp    $0x24,%ebp
jne    145e <print_format+0x33e>
lea    0x1004(%rip),%rdi
mov    $0x24,%esi
mov    $0x24,%edx
xor    %eax,%eax
call   1040 <printf@plt>
cmpl   $0x0,0x0(%r13)
je     147a <print_format+0x35a>
lea    0x1056(%rip),%rdi
mov    0x10(%rsp),%rsi
xor    %eax,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <printf@plt>
lea    0x100d(%rip),%rdi
mov    %ebp,%esi
mov    %r12d,%edx
mov    %ebx,%ecx
xor    %eax,%eax
call   1040 <printf@plt>
cmpl   $0x0,0x0(%r13)
jne    143d <print_format+0x31d>
lea    0x1077(%rip),%rdi
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <puts@plt>
mov    %rdx,%r15
mov    %rdx,%r14
test   %r8d,%r8d
jne    13af <print_format+0x28f>
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [9 x i8] c"reserved\00"
@.str.1 = [1 x i8] zeroinitializer
@.str.2 = [21 x i8] c"full format capacity\00"
@.str.3 = [8 x i8] c"sectors\00"
@.str.4 = [22 x i8] c"block length in bytes\00"
@.str.5 = [21 x i8] c"'-F [-b blockingnr]'\00"
@.str.6 = [21 x i8] c"spare area expansion\00"
@.str.7 = [20 x i8] c"extension in blocks\00"
@.str.8 = [5 x i8] c"'-S'\00"
@.str.9 = [30 x i8] c"variable length zone'd format\00"
@.str.10 = [12 x i8] c"zone length\00"
@.str.11 = [12 x i8] c"zone number\00"
@.str.12 = [27 x i8] c"fixed length zone'd format\00"
@.str.13 = [12 x i8] c"zone lenght\00"
@.str.14 = [17 x i8] c"last zone number\00"
@.str.15 = [32 x i8] c"CD-RW/DVD-RW full packet format\00"
@.str.16 = [18 x i8] c"adressable blocks\00"
@.str.17 = [43 x i8] c"fixed packet size/ECC blocksize in sectors\00"
@.str.18 = [24 x i8] c"'-F -p [-b blockingnr]'\00"
@.str.19 = [26 x i8] c"CD-RW/DVD-RW grow session\00"
@.str.20 = [5 x i8] c"'-G'\00"
@.str.21 = [25 x i8] c"CD-RW/DVD-RW add session\00"
@.str.22 = [51 x i8] c"maximum fixed packet size/ECC blocksize in sectors\00"
@.str.23 = [43 x i8] c"DVD-RW max growth of last complete session\00"
@.str.24 = [25 x i8] c"ECC blocksize in sectors\00"
@.str.25 = [31 x i8] c"DVD-RW quick grow last session\00"
@.str.26 = [25 x i8] c"DVD-RW quick full format\00"
@.str.27 = [22 x i8] c"background MRW format\00"
@.str.28 = [30 x i8] c"Defect Management Area blocks\00"
@.str.29 = [9 x i8] c"not used\00"
@.str.30 = [39 x i8] c"'[-R] [-s] [-w] -F -M [-b blockingnr]'\00"
@.str.31 = [30 x i8] c"background DVD+RW full format\00"
@.str.32 = [15 x i8] c"'[-R] [-w] -F'\00"
@.str.33 = [34 x i8] c"BD-RE full format with spare area\00"
@.str.34 = [7 x i8] c"blocks\00"
@.str.35 = [34 x i8] c"total spare area size in clusters\00"
@.str.36 = [10 x i8] c"'[-s] -F'\00"
@.str.37 = [37 x i8] c"BD-RE full format without spare area\00"
@.str.38 = [5 x i8] c"'-F'\00"
@.str.39 = [27 x i8] c"\0A\09Format type 0x%02x : %s\0A\00"
@.str.40 = [48 x i8] c"\09\09Unformatted media,maximum formatted capacity\0A\00"
@.str.41 = [46 x i8] c"\09\09Formatted media,current formatted capacity\0A\00"
@.str.42 = [70 x i8] c"\09\09No media present or incomplete session, maximum formatted capacity\0A\00"
@.str.43 = [31 x i8] c"\09\09Unspecified descriptor type\0A\00"
@.str.44 = [32 x i8] c"\09\09Number of blocks : %12d\09(%s)\0A\00"
@.str.45 = [32 x i8] c"\09\09Parameter : %12d\09(%s)\0A\00"
@.str.46 = [73 x i8] c"\09\09Expert select : '-X 0x%02x:0xffffff:0' or '-X 0x%02x:0xffff0000:0'\0A\00"
@.str.47 = [40 x i8] c"\09\09Expert select : '-X 0x%02x:%d:%d'\0A\00"
@.str.48 = [25 x i8] c"\09\09mmc_format arg : %s\0A\00"
@.str.49 = [23 x i8] c"\09\09** not supported **\0A\00"
define void @print_format(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32* %5) {
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32*
%13 = alloca i8*
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i8*
store i32 %0, i32* %7
store i32 %1, i32* %8
store i32 %2, i32* %9
store i32 %3, i32* %10
store i32 %4, i32* %11
store i32* %5, i32** %12
store i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i8** %15
store i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0), i8** %16
%17 = load i32*, i32** %12
store i32 1, i32* %17
%18 = load i32, i32* %7
switch i32 %18, label %38 [
i32 0, label %19
i32 1, label %20
i32 4, label %21
i32 5, label %23
i32 16, label %25
i32 17, label %26
i32 18, label %27
i32 19, label %29
i32 20, label %30
i32 21, label %32
i32 36, label %34
i32 38, label %35
i32 48, label %36
i32 49, label %37
]
19: ; preds = %6
store i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.2, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.3, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.4, i64 0, i64 0), i8** %15
store i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.5, i64 0, i64 0), i8** %16
br label %39
20: ; preds = %6
store i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.6, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.7, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.4, i64 0, i64 0), i8** %15
store i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.8, i64 0, i64 0), i8** %16
br label %39
21: ; preds = %6
store i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.9, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.10, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.11, i64 0, i64 0), i8** %15
%22 = load i32*, i32** %12
store i32 0, i32* %22
br label %39
23: ; preds = %6
store i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.12, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.13, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.14, i64 0, i64 0), i8** %15
%24 = load i32*, i32** %12
store i32 0, i32* %24
br label %39
25: ; preds = %6
store i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.15, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.16, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.17, i64 0, i64 0), i8** %15
store i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.18, i64 0, i64 0), i8** %16
br label %39
26: ; preds = %6
store i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.19, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.16, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.17, i64 0, i64 0), i8** %15
store i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.20, i64 0, i64 0), i8** %16
br label %39
27: ; preds = %6
store i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.21, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.16, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.22, i64 0, i64 0), i8** %15
%28 = load i32*, i32** %12
store i32 0, i32* %28
br label %39
29: ; preds = %6
store i8* getelementptr inbounds ([43 x i8], [43 x i8]* @.str.23, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.16, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.24, i64 0, i64 0), i8** %15
store i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.20, i64 0, i64 0), i8** %16
br label %39
30: ; preds = %6
store i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.25, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.16, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.24, i64 0, i64 0), i8** %15
%31 = load i32*, i32** %12
store i32 0, i32* %31
br label %39
32: ; preds = %6
store i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.26, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.16, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.24, i64 0, i64 0), i8** %15
%33 = load i32*, i32** %12
store i32 0, i32* %33
br label %39
34: ; preds = %6
store i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.27, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.28, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.29, i64 0, i64 0), i8** %15
store i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.30, i64 0, i64 0), i8** %16
br label %39
35: ; preds = %6
store i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.31, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.3, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.29, i64 0, i64 0), i8** %15
store i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.32, i64 0, i64 0), i8** %16
br label %39
36: ; preds = %6
store i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.33, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.34, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.35, i64 0, i64 0), i8** %15
store i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.36, i64 0, i64 0), i8** %16
br label %39
37: ; preds = %6
store i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.37, i64 0, i64 0), i8** %13
store i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.34, i64 0, i64 0), i8** %14
store i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.4, i64 0, i64 0), i8** %15
store i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.38, i64 0, i64 0), i8** %16
br label %39
38: ; preds = %6
br label %39
39: ; preds = %38, %37, %36, %35, %34, %32, %30, %29, %27, %26, %25, %23, %21, %20, %19
%40 = load i32, i32* %11
%41 = icmp ne i32 %40, 0
br i1 %41, label %42, label %83
42: ; preds = %39
%43 = load i32, i32* %7
%44 = load i8*, i8** %13
%45 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.39, i64 0, i64 0), i32 %43, i8* %44)
%46 = load i32, i32* %10
switch i32 %46, label %53 [
i32 1, label %47
i32 2, label %49
i32 3, label %51
]
47: ; preds = %42
%48 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.40, i64 0, i64 0))
br label %55
49: ; preds = %42
%50 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.41, i64 0, i64 0))
br label %55
51: ; preds = %42
%52 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([70 x i8], [70 x i8]* @.str.42, i64 0, i64 0))
br label %55
53: ; preds = %42
%54 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.43, i64 0, i64 0))
br label %55
55: ; preds = %53, %51, %49, %47
%56 = load i32, i32* %8
%57 = load i8*, i8** %14
%58 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.44, i64 0, i64 0), i32 %56, i8* %57)
%59 = load i32, i32* %9
%60 = load i8*, i8** %15
%61 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.45, i64 0, i64 0), i32 %59, i8* %60)
%62 = load i32, i32* %7
%63 = icmp eq i32 %62, 36
br i1 %63, label %64, label %68
64: ; preds = %55
%65 = load i32, i32* %7
%66 = load i32, i32* %7
%67 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.46, i64 0, i64 0), i32 %65, i32 %66)
br label %73
68: ; preds = %55
%69 = load i32, i32* %7
%70 = load i32, i32* %8
%71 = load i32, i32* %9
%72 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.47, i64 0, i64 0), i32 %69, i32 %70, i32 %71)
br label %73
73: ; preds = %68, %64
%74 = load i32*, i32** %12
%75 = load i32, i32* %74
%76 = icmp ne i32 %75, 0
br i1 %76, label %77, label %80
77: ; preds = %73
%78 = load i8*, i8** %16
%79 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.48, i64 0, i64 0), i8* %78)
br label %82
80: ; preds = %73
%81 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.49, i64 0, i64 0))
br label %82
82: ; preds = %80, %77
br label %83
83: ; preds = %82, %39
ret void
}

LLVM IR (-O2):
@.str = [9 x i8] c"reserved\00"
@.str.1 = [1 x i8] zeroinitializer
@.str.2 = [21 x i8] c"full format capacity\00"
@.str.3 = [8 x i8] c"sectors\00"
@.str.4 = [22 x i8] c"block length in bytes\00"
@.str.5 = [21 x i8] c"'-F [-b blockingnr]'\00"
@.str.6 = [21 x i8] c"spare area expansion\00"
@.str.7 = [20 x i8] c"extension in blocks\00"
@.str.8 = [5 x i8] c"'-S'\00"
@.str.9 = [30 x i8] c"variable length zone'd format\00"
@.str.10 = [12 x i8] c"zone length\00"
@.str.11 = [12 x i8] c"zone number\00"
@.str.12 = [27 x i8] c"fixed length zone'd format\00"
@.str.13 = [12 x i8] c"zone lenght\00"
@.str.14 = [17 x i8] c"last zone number\00"
@.str.15 = [32 x i8] c"CD-RW/DVD-RW full packet format\00"
@.str.16 = [18 x i8] c"adressable blocks\00"
@.str.17 = [43 x i8] c"fixed packet size/ECC blocksize in sectors\00"
@.str.18 = [24 x i8] c"'-F -p [-b blockingnr]'\00"
@.str.19 = [26 x i8] c"CD-RW/DVD-RW grow session\00"
@.str.20 = [5 x i8] c"'-G'\00"
@.str.21 = [25 x i8] c"CD-RW/DVD-RW add session\00"
@.str.22 = [51 x i8] c"maximum fixed packet size/ECC blocksize in sectors\00"
@.str.23 = [43 x i8] c"DVD-RW max growth of last complete session\00"
@.str.24 = [25 x i8] c"ECC blocksize in sectors\00"
@.str.25 = [31 x i8] c"DVD-RW quick grow last session\00"
@.str.26 = [25 x i8] c"DVD-RW quick full format\00"
@.str.27 = [22 x i8] c"background MRW format\00"
@.str.28 = [30 x i8] c"Defect Management Area blocks\00"
@.str.29 = [9 x i8] c"not used\00"
@.str.30 = [39 x i8] c"'[-R] [-s] [-w] -F -M [-b blockingnr]'\00"
@.str.31 = [30 x i8] c"background DVD+RW full format\00"
@.str.32 = [15 x i8] c"'[-R] [-w] -F'\00"
@.str.33 = [34 x i8] c"BD-RE full format with spare area\00"
@.str.34 = [7 x i8] c"blocks\00"
@.str.35 = [34 x i8] c"total spare area size in clusters\00"
@.str.36 = [10 x i8] c"'[-s] -F'\00"
@.str.37 = [37 x i8] c"BD-RE full format without spare area\00"
@.str.38 = [5 x i8] c"'-F'\00"
@.str.39 = [27 x i8] c"\0A\09Format type 0x%02x : %s\0A\00"
@.str.44 = [32 x i8] c"\09\09Number of blocks : %12d\09(%s)\0A\00"
@.str.45 = [32 x i8] c"\09\09Parameter : %12d\09(%s)\0A\00"
@.str.46 = [73 x i8] c"\09\09Expert select : '-X 0x%02x:0xffffff:0' or '-X 0x%02x:0xffff0000:0'\0A\00"
@.str.47 = [40 x i8] c"\09\09Expert select : '-X 0x%02x:%d:%d'\0A\00"
@.str.48 = [25 x i8] c"\09\09mmc_format arg : %s\0A\00"
@str = [69 x i8] c"\09\09No media present or incomplete session, maximum formatted capacity\00"
@str.50 = [22 x i8] c"\09\09** not supported **\00"
@str.51 = [45 x i8] c"\09\09Formatted media,current formatted capacity\00"
@str.52 = [47 x i8] c"\09\09Unformatted media,maximum formatted capacity\00"
@str.53 = [30 x i8] c"\09\09Unspecified descriptor type\00"
@reltable.print_format = [3 x i32] [i32 trunc (i64 sub (i64 ptrtoint ([47 x i8]* @str.52 to i64), i64 ptrtoint ([3 x i32]* @reltable.print_format to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([45 x i8]* @str.51 to i64), i64 ptrtoint ([3 x i32]* @reltable.print_format to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([69 x i8]* @str to i64), i64 ptrtoint ([3 x i32]* @reltable.print_format to i64)) to i32)]
define void @print_format(i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32* nocapture %5) {
store i32 1, i32* %5
switch i32 %0, label %21 [
i32 0, label %7
i32 1, label %8
i32 4, label %9
i32 5, label %10
i32 16, label %11
i32 17, label %12
i32 18, label %13
i32 19, label %14
i32 20, label %15
i32 21, label %16
i32 36, label %17
i32 38, label %18
i32 48, label %19
i32 49, label %20
]
7: ; preds = %6
br label %21
8: ; preds = %6
br label %21
9: ; preds = %6
store i32 0, i32* %5
br label %21
10: ; preds = %6
store i32 0, i32* %5
br label %21
11: ; preds = %6
br label %21
12: ; preds = %6
br label %21
13: ; preds = %6
store i32 0, i32* %5
br label %21
14: ; preds = %6
br label %21
15: ; preds = %6
store i32 0, i32* %5
br label %21
16: ; preds = %6
store i32 0, i32* %5
br label %21
17: ; preds = %6
br label %21
18: ; preds = %6
br label %21
19: ; preds = %6
br label %21
20: ; preds = %6
br label %21
21: ; preds = %6, %20, %19, %18, %17, %16, %15, %14, %13, %12, %11, %10, %9, %8, %7
%22 = phi i8* [ getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), %6 ], [ getelementptr inbounds ([37 x i8], [37 x i8]* @.str.37, i64 0, i64 0), %20 ], [ getelementptr inbounds ([34 x i8], [34 x i8]* @.str.33, i64 0, i64 0), %19 ], [ getelementptr inbounds ([30 x i8], [30 x i8]* @.str.31, i64 0, i64 0), %18 ], [ getelementptr inbounds ([22 x i8], [22 x i8]* @.str.27, i64 0, i64 0), %17 ], [ getelementptr inbounds ([25 x i8], [25 x i8]* @.str.26, i64 0, i64 0), %16 ], [ getelementptr inbounds ([31 x i8], [31 x i8]* @.str.25, i64 0, i64 0), %15 ], [ getelementptr inbounds ([43 x i8], [43 x i8]* @.str.23, i64 0, i64 0), %14 ], [ getelementptr inbounds ([25 x i8], [25 x i8]* @.str.21, i64 0, i64 0), %13 ], [ getelementptr inbounds ([26 x i8], [26 x i8]* @.str.19, i64 0, i64 0), %12 ], [ getelementptr inbounds ([32 x i8], [32 x i8]* @.str.15, i64 0, i64 0), %11 ], [ getelementptr inbounds ([27 x i8], [27 x i8]* @.str.12, i64 0, i64 0), %10 ], [ getelementptr inbounds ([30 x i8], [30 x i8]* @.str.9, i64 0, i64 0), %9 ], [ getelementptr inbounds ([21 x i8], [21 x i8]* @.str.6, i64 0, i64 0), %8 ], [ getelementptr inbounds ([21 x i8], [21 x i8]* @.str.2, i64 0, i64 0), %7 ]
%23 = phi i8* [ getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), %6 ], [ getelementptr inbounds ([7 x i8], [7 x i8]* @.str.34, i64 0, i64 0), %20 ], [ getelementptr inbounds ([7 x i8], [7 x i8]* @.str.34, i64 0, i64 0), %19 ], [ getelementptr inbounds ([8 x i8], [8 x i8]* @.str.3, i64 0, i64 0), %18 ], [ getelementptr inbounds ([30 x i8], [30 x i8]* @.str.28, i64 0, i64 0), %17 ], [ getelementptr inbounds ([18 x i8], [18 x i8]* @.str.16, i64 0, i64 0), %16 ], [ getelementptr inbounds ([18 x i8], [18 x i8]* @.str.16, i64 0, i64 0), %15 ], [ getelementptr inbounds ([18 x i8], [18 x i8]* @.str.16, i64 0, i64 0), %14 ], [ getelementptr inbounds ([18 x i8], [18 x i8]* @.str.16, i64 0, i64 0), %13 ], [ getelementptr inbounds ([18 x i8], [18 x i8]* @.str.16, i64 0, i64 0), %12 ], [ getelementptr inbounds ([18 x i8], [18 x i8]* @.str.16, i64 0, i64 0), %11 ], [ getelementptr inbounds ([12 x i8], [12 x i8]* @.str.13, i64 0, i64 0), %10 ], [ getelementptr inbounds ([12 x i8], [12 x i8]* @.str.10, i64 0, i64 0), %9 ], [ getelementptr inbounds ([20 x i8], [20 x i8]* @.str.7, i64 0, i64 0), %8 ], [ getelementptr inbounds ([8 x i8], [8 x i8]* @.str.3, i64 0, i64 0), %7 ]
%24 = phi i8* [ getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), %6 ], [ getelementptr inbounds ([22 x i8], [22 x i8]* @.str.4, i64 0, i64 0), %20 ], [ getelementptr inbounds ([34 x i8], [34 x i8]* @.str.35, i64 0, i64 0), %19 ], [ getelementptr inbounds ([9 x i8], [9 x i8]* @.str.29, i64 0, i64 0), %18 ], [ getelementptr inbounds ([9 x i8], [9 x i8]* @.str.29, i64 0, i64 0), %17 ], [ getelementptr inbounds ([25 x i8], [25 x i8]* @.str.24, i64 0, i64 0), %16 ], [ getelementptr inbounds ([25 x i8], [25 x i8]* @.str.24, i64 0, i64 0), %15 ], [ getelementptr inbounds ([25 x i8], [25 x i8]* @.str.24, i64 0, i64 0), %14 ], [ getelementptr inbounds ([51 x i8], [51 x i8]* @.str.22, i64 0, i64 0), %13 ], [ getelementptr inbounds ([43 x i8], [43 x i8]* @.str.17, i64 0, i64 0), %12 ], [ getelementptr inbounds ([43 x i8], [43 x i8]* @.str.17, i64 0, i64 0), %11 ], [ getelementptr inbounds ([17 x i8], [17 x i8]* @.str.14, i64 0, i64 0), %10 ], [ getelementptr inbounds ([12 x i8], [12 x i8]* @.str.11, i64 0, i64 0), %9 ], [ getelementptr inbounds ([22 x i8], [22 x i8]* @.str.4, i64 0, i64 0), %8 ], [ getelementptr inbounds ([22 x i8], [22 x i8]* @.str.4, i64 0, i64 0), %7 ]
%25 = phi i8* [ getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0), %6 ], [ getelementptr inbounds ([5 x i8], [5 x i8]* @.str.38, i64 0, i64 0), %20 ], [ getelementptr inbounds ([10 x i8], [10 x i8]* @.str.36, i64 0, i64 0), %19 ], [ getelementptr inbounds ([15 x i8], [15 x i8]* @.str.32, i64 0, i64 0), %18 ], [ getelementptr inbounds ([39 x i8], [39 x i8]* @.str.30, i64 0, i64 0), %17 ], [ getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0), %16 ], [ getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0), %15 ], [ getelementptr inbounds ([5 x i8], [5 x i8]* @.str.20, i64 0, i64 0), %14 ], [ getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0), %13 ], [ getelementptr inbounds ([5 x i8], [5 x i8]* @.str.20, i64 0, i64 0), %12 ], [ getelementptr inbounds ([24 x i8], [24 x i8]* @.str.18, i64 0, i64 0), %11 ], [ getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0), %10 ], [ getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0), %9 ], [ getelementptr inbounds ([5 x i8], [5 x i8]* @.str.8, i64 0, i64 0), %8 ], [ getelementptr inbounds ([21 x i8], [21 x i8]* @.str.5, i64 0, i64 0), %7 ]
%26 = icmp eq i32 %4, 0
br i1 %26, label %52, label %27
27: ; preds = %21
%28 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @.str.39, i64 0, i64 0), i32 %0, i8* %22)
%29 = add i32 %3, -1
%30 = icmp ult i32 %29, 3
br i1 %30, label %31, label %35
31: ; preds = %27
%32 = sext i32 %29 to i64
%33 = shl i64 %32, 2
%34 = call i8* @llvm.load.relative.i64(i8* bitcast ([3 x i32]* @reltable.print_format to i8*), i64 %33)
br label %35
35: ; preds = %27, %31
%36 = phi i8* [ %34, %31 ], [ getelementptr inbounds ([30 x i8], [30 x i8]* @str.53, i64 0, i64 0), %27 ]
%37 = tail call i32 @puts(i8* dereferenceable(1) %36)
%38 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @.str.44, i64 0, i64 0), i32 %1, i8* %23)
%39 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @.str.45, i64 0, i64 0), i32 %2, i8* %24)
%40 = icmp eq i32 %0, 36
br i1 %40, label %41, label %43
41: ; preds = %35
%42 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([73 x i8], [73 x i8]* @.str.46, i64 0, i64 0), i32 36, i32 36)
br label %45
43: ; preds = %35
%44 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @.str.47, i64 0, i64 0), i32 %0, i32 %1, i32 %2)
br label %45
45: ; preds = %43, %41
%46 = load i32, i32* %5
%47 = icmp eq i32 %46, 0
br i1 %47, label %50, label %48
48: ; preds = %45
%49 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @.str.48, i64 0, i64 0), i8* %25)
br label %52
50: ; preds = %45
%51 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @str.50, i64 0, i64 0))
br label %52
52: ; preds = %48, %50, %21
ret void
}