#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*/ printf(char *);
void help(int op) {
  switch (op) {
  case 0:
    printf("-b,\t-buscar\t\t\tBusca um registro de uma tabela\n");
    printf("-c,\t-criar\t\t\tCria uma nova tabela no banco de dados\n");
    printf("-cmp,\t-compactar\t\tCompacta os registros de uma tabela\n");
    printf("-dcmp,\t-descompactar\t\tDescompacta os registros de uma tabela "
           "compactada\n");
    printf("-cpt,\t-criptografar\t\tCriptografa uma tabela\n");
    printf("-dcpt,\t-descriptografar\tDescriptografa uma tabela\n");
    printf("-h,\t-help\t\t\tExibe informaçãoes sobre um comando\n");
    printf("-i,\t-inserir\t\tInsere em uma Tabela um campo ou registro\n");
    printf("-o,\t-ordenar\t\tOrdena uma tabela\n");
    printf("-r,\t-remover\t\tRemove uma tabela, campo ou registro\n");
    break;
  case 1:
    printf(
        "-b, -buscar nome_arquivo -id x\t\t\t Busca o registro com o id x\n");
    printf("-b, -buscar nome_arquivo.nome_atributo -valor x\t Busca o(s) "
           "registros com o valor x no atributo nome.atributo\n");
    break;
  case 2:
    printf("-c, -criar nome_arquivo\t Cria um arquivo\n");
    break;
  case 3:
    printf("-cmp, -compactar nome_arquivo -tipo tipo_compactação\tCompacta um "
           "arquivo\n");
    break;
  case 4:
    printf("-dcmp, -descompactar nome_arquivo\t Descompacta um arquivo do "
           "banco\n");
    break;
  case 5:
    printf("-cpt, -criptografar nome_arquivo\t\tCriptografar um arquivo\n");
    printf("-cpt, -criptografar nome_arquivo.nome_atributo\tCriptografa os "
           "valores de atributos no arquivo\n");
    break;
  case 6:
    printf("-dcpt, -descriptografar nome_arquivo -tipo "
           "tipo\t\t\tDescriptografar um arquivo\n");
    printf("-dcpt, -descriptografar nome_arquivo.nome_atributo -tipo "
           "tipo\tDescriptografar os valores de atributos no arquivo\n");
    break;
  case 7:
    printf("-i, -inserir nome_arquivo.nome_atributo -valor x -id y\tInsere o "
           "valor y no campo nome.atributo onde id = x\n");
    printf("-i, -inserir nome_arquivo.nome_atributo -valor x -id y\tInsere o "
           "valor \"texto\" no campo nome.atributo onde id = x\n\n");
    break;
  case 8:
    printf("-o, -ordenar nome_arquivo.nome_atributo -ordem ordem\tOrdena os "
           "registros pelo Atributo\n");
    break;
  case 9:
    printf("-r, -remover nome_tabela\t\t\t\tRemove uma tabela\n");
    printf("-r, -remover nome_tabela.campo\t\t\t\tRemove um campo da tabela\n");
    printf("-r, -remover nome_tabela -chave valor_chave\tRemove um registro\n");
    printf("-r, -remover nome_tabela.nome_campo -valor val\tRemove todos os "
           "registros de mesmo valor no campo nome_campo\n");
    break;
  default:
    break;
  }
}


x86 assembly (clang, -O0):
<help>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%eax
mov    %rax,-0x10(%rbp)
sub    $0x9,%rax
ja     12aa <help+0x19a>
mov    -0x10(%rbp),%rax
lea    0xec9(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
lea    0xee1(%rip),%rdi
call   1030 <printf@plt>
lea    0xf04(%rip),%rdi
call   1030 <printf@plt>
lea    0xf2d(%rip),%rdi
call   1030 <printf@plt>
lea    0xf58(%rip),%rdi
call   1030 <printf@plt>
lea    0xf95(%rip),%rdi
call   1030 <printf@plt>
lea    0xfb6(%rip),%rdi
call   1030 <printf@plt>
lea    0xfdd(%rip),%rdi
call   1030 <printf@plt>
lea    0x1004(%rip),%rdi
call   1030 <printf@plt>
lea    0x1031(%rip),%rdi
call   1030 <printf@plt>
lea    0x1046(%rip),%rdi
call   1030 <printf@plt>
jmp    12af <help+0x19f>
lea    0x1069(%rip),%rdi
call   1030 <printf@plt>
lea    0x109c(%rip),%rdi
call   1030 <printf@plt>
jmp    12af <help+0x19f>
lea    0x10fa(%rip),%rdi
call   1030 <printf@plt>
jmp    12af <help+0x19f>
lea    0x1113(%rip),%rdi
call   1030 <printf@plt>
jmp    12af <help+0x19f>
lea    0x114e(%rip),%rdi
call   1030 <printf@plt>
jmp    12af <help+0x19f>
lea    0x1181(%rip),%rdi
call   1030 <printf@plt>
lea    0x11b0(%rip),%rdi
call   1030 <printf@plt>
jmp    12af <help+0x19f>
lea    0x11fe(%rip),%rdi
call   1030 <printf@plt>
lea    0x1240(%rip),%rdi
call   1030 <printf@plt>
jmp    12af <help+0x19f>
lea    0x12a1(%rip),%rdi
call   1030 <printf@plt>
lea    0x1301(%rip),%rdi
call   1030 <printf@plt>
jmp    12af <help+0x19f>
lea    0x1363(%rip),%rdi
call   1030 <printf@plt>
jmp    12af <help+0x19f>
lea    0x13aa(%rip),%rdi
call   1030 <printf@plt>
lea    0x13cd(%rip),%rdi
call   1030 <printf@plt>
lea    0x13fe(%rip),%rdi
call   1030 <printf@plt>
lea    0x1432(%rip),%rdi
call   1030 <printf@plt>
jmp    12af <help+0x19f>
jmp    12af <help+0x19f>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<help>:
cmp    $0x9,%edi
ja     11ae <help+0x9e>
push   %rax
mov    %edi,%eax
lea    0x1332(%rip),%rdi
mov    %eax,%eax
lea    0xed4(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
lea    0x13ee(%rip),%rdi
call   1030 <puts@plt>
lea    0x1410(%rip),%rdi
call   1030 <puts@plt>
lea    0x1438(%rip),%rdi
call   1030 <puts@plt>
lea    0x1462(%rip),%rdi
call   1030 <puts@plt>
lea    0x149e(%rip),%rdi
call   1030 <puts@plt>
lea    0x14be(%rip),%rdi
call   1030 <puts@plt>
lea    0x14e4(%rip),%rdi
call   1030 <puts@plt>
lea    0x150a(%rip),%rdi
call   1030 <puts@plt>
lea    0x1536(%rip),%rdi
call   1030 <puts@plt>
lea    0x154a(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>
ret
lea    0x12c8(%rip),%rdi
call   1030 <puts@plt>
lea    0x12fa(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>
lea    0x123b(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>
lea    0x11eb(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>
lea    0x1146(%rip),%rdi
call   1030 <puts@plt>
lea    0x1174(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>
lea    0x106f(%rip),%rdi
call   1030 <puts@plt>
lea    0x10b0(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>
lea    0xf79(%rip),%rdi
call   1030 <puts@plt>
lea    0xfd8(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>
lea    0xdf4(%rip),%rdi
call   1030 <puts@plt>
lea    0xe16(%rip),%rdi
call   1030 <puts@plt>
lea    0xe46(%rip),%rdi
call   1030 <puts@plt>
lea    0xe79(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>
lea    0xed8(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>

LLVM IR (-O0):
@.str = [47 x i8] c"-b,\09-buscar\09\09\09Busca um registro de uma tabela\0A\00"
@.str.1 = [53 x i8] c"-c,\09-criar\09\09\09Cria uma nova tabela no banco de dados\0A\00"
@.str.2 = [55 x i8] c"-cmp,\09-compactar\09\09Compacta os registros de uma tabela\0A\00"
@.str.3 = [73 x i8] c"-dcmp,\09-descompactar\09\09Descompacta os registros de uma tabela compactada\0A\00"
@.str.4 = [45 x i8] c"-cpt,\09-criptografar\09\09Criptografa uma tabela\0A\00"
@.str.5 = [51 x i8] c"-dcpt,\09-descriptografar\09Descriptografa uma tabela\0A\00"
@.str.6 = [51 x i8] c"-h,\09-help\09\09\09Exibe informa\C3\A7\C3\A3oes sobre um comando\0A\00"
@.str.7 = [57 x i8] c"-i,\09-inserir\09\09Insere em uma Tabela um campo ou registro\0A\00"
@.str.8 = [33 x i8] c"-o,\09-ordenar\09\09Ordena uma tabela\0A\00"
@.str.9 = [52 x i8] c"-r,\09-remover\09\09Remove uma tabela, campo ou registro\0A\00"
@.str.10 = [63 x i8] c"-b, -buscar nome_arquivo -id x\09\09\09 Busca o registro com o id x\0A\00"
@.str.11 = [111 x i8] c"-b, -buscar nome_arquivo.nome_atributo -valor x\09 Busca o(s) registros com o valor x no atributo nome.atributo\0A\00"
@.str.12 = [42 x i8] c"-c, -criar nome_arquivo\09 Cria um arquivo\0A\00"
@.str.13 = [76 x i8] c"-cmp, -compactar nome_arquivo -tipo tipo_compacta\C3\A7\C3\A3o\09Compacta um arquivo\0A\00"
@.str.14 = [68 x i8] c"-dcmp, -descompactar nome_arquivo\09 Descompacta um arquivo do banco\0A\00"
@.str.15 = [59 x i8] c"-cpt, -criptografar nome_arquivo\09\09Criptografar um arquivo\0A\00"
@.str.16 = [95 x i8] c"-cpt, -criptografar nome_arquivo.nome_atributo\09Criptografa os valores de atributos no arquivo\0A\00"
@.str.17 = [78 x i8] c"-dcpt, -descriptografar nome_arquivo -tipo tipo\09\09\09Descriptografar um arquivo\0A\00"
@.str.18 = [114 x i8] c"-dcpt, -descriptografar nome_arquivo.nome_atributo -tipo tipo\09Descriptografar os valores de atributos no arquivo\0A\00"
@.str.19 = [108 x i8] c"-i, -inserir nome_arquivo.nome_atributo -valor x -id y\09Insere o valor y no campo nome.atributo onde id = x\0A\00"
@.str.20 = [115 x i8] c"-i, -inserir nome_arquivo.nome_atributo -valor x -id y\09Insere o valor \22texto\22 no campo nome.atributo onde id = x\0A\0A\00"
@.str.21 = [88 x i8] c"-o, -ordenar nome_arquivo.nome_atributo -ordem ordem\09Ordena os registros pelo Atributo\0A\00"
@.str.22 = [47 x i8] c"-r, -remover nome_tabela\09\09\09\09Remove uma tabela\0A\00"
@.str.23 = [61 x i8] c"-r, -remover nome_tabela.campo\09\09\09\09Remove um campo da tabela\0A\00"
@.str.24 = [64 x i8] c"-r, -remover nome_tabela -chave valor_chave\09Remove um registro\0A\00"
@.str.25 = [109 x i8] c"-r, -remover nome_tabela.nome_campo -valor val\09Remove todos os registros de mesmo valor no campo nome_campo\0A\00"
define void @help(i32 %0) {
%2 = alloca i32
store i32 %0, i32* %2
%3 = load i32, i32* %2
switch i32 %3, label %40 [
i32 0, label %4
i32 1, label %15
i32 2, label %18
i32 3, label %20
i32 4, label %22
i32 5, label %24
i32 6, label %27
i32 7, label %30
i32 8, label %33
i32 9, label %35
]
4: ; preds = %1
%5 = call i32 @printf(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str, i64 0, i64 0))
%6 = call i32 @printf(i8* getelementptr inbounds ([53 x i8], [53 x i8]* @.str.1, i64 0, i64 0))
%7 = call i32 @printf(i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.2, i64 0, i64 0))
%8 = call i32 @printf(i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.3, i64 0, i64 0))
%9 = call i32 @printf(i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.4, i64 0, i64 0))
%10 = call i32 @printf(i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.5, i64 0, i64 0))
%11 = call i32 @printf(i8* getelementptr inbounds ([51 x i8], [51 x i8]* @.str.6, i64 0, i64 0))
%12 = call i32 @printf(i8* getelementptr inbounds ([57 x i8], [57 x i8]* @.str.7, i64 0, i64 0))
%13 = call i32 @printf(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.8, i64 0, i64 0))
%14 = call i32 @printf(i8* getelementptr inbounds ([52 x i8], [52 x i8]* @.str.9, i64 0, i64 0))
br label %41
15: ; preds = %1
%16 = call i32 @printf(i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.10, i64 0, i64 0))
%17 = call i32 @printf(i8* getelementptr inbounds ([111 x i8], [111 x i8]* @.str.11, i64 0, i64 0))
br label %41
18: ; preds = %1
%19 = call i32 @printf(i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.12, i64 0, i64 0))
br label %41
20: ; preds = %1
%21 = call i32 @printf(i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.13, i64 0, i64 0))
br label %41
22: ; preds = %1
%23 = call i32 @printf(i8* getelementptr inbounds ([68 x i8], [68 x i8]* @.str.14, i64 0, i64 0))
br label %41
24: ; preds = %1
%25 = call i32 @printf(i8* getelementptr inbounds ([59 x i8], [59 x i8]* @.str.15, i64 0, i64 0))
%26 = call i32 @printf(i8* getelementptr inbounds ([95 x i8], [95 x i8]* @.str.16, i64 0, i64 0))
br label %41
27: ; preds = %1
%28 = call i32 @printf(i8* getelementptr inbounds ([78 x i8], [78 x i8]* @.str.17, i64 0, i64 0))
%29 = call i32 @printf(i8* getelementptr inbounds ([114 x i8], [114 x i8]* @.str.18, i64 0, i64 0))
br label %41
30: ; preds = %1
%31 = call i32 @printf(i8* getelementptr inbounds ([108 x i8], [108 x i8]* @.str.19, i64 0, i64 0))
%32 = call i32 @printf(i8* getelementptr inbounds ([115 x i8], [115 x i8]* @.str.20, i64 0, i64 0))
br label %41
33: ; preds = %1
%34 = call i32 @printf(i8* getelementptr inbounds ([88 x i8], [88 x i8]* @.str.21, i64 0, i64 0))
br label %41
35: ; preds = %1
%36 = call i32 @printf(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.22, i64 0, i64 0))
%37 = call i32 @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.23, i64 0, i64 0))
%38 = call i32 @printf(i8* getelementptr inbounds ([64 x i8], [64 x i8]* @.str.24, i64 0, i64 0))
%39 = call i32 @printf(i8* getelementptr inbounds ([109 x i8], [109 x i8]* @.str.25, i64 0, i64 0))
br label %41
40: ; preds = %1
br label %41
41: ; preds = %40, %35, %33, %30, %27, %24, %22, %20, %18, %15, %4
ret void
}

LLVM IR (-O2):
@str = [46 x i8] c"-r, -remover nome_tabela\09\09\09\09Remove uma tabela\00"
@str.26 = [60 x i8] c"-r, -remover nome_tabela.campo\09\09\09\09Remove um campo da tabela\00"
@str.27 = [63 x i8] c"-r, -remover nome_tabela -chave valor_chave\09Remove um registro\00"
@str.28 = [108 x i8] c"-r, -remover nome_tabela.nome_campo -valor val\09Remove todos os registros de mesmo valor no campo nome_campo\00"
@str.29 = [87 x i8] c"-o, -ordenar nome_arquivo.nome_atributo -ordem ordem\09Ordena os registros pelo Atributo\00"
@str.30 = [107 x i8] c"-i, -inserir nome_arquivo.nome_atributo -valor x -id y\09Insere o valor y no campo nome.atributo onde id = x\00"
@str.31 = [114 x i8] c"-i, -inserir nome_arquivo.nome_atributo -valor x -id y\09Insere o valor \22texto\22 no campo nome.atributo onde id = x\0A\00"
@str.32 = [77 x i8] c"-dcpt, -descriptografar nome_arquivo -tipo tipo\09\09\09Descriptografar um arquivo\00"
@str.33 = [113 x i8] c"-dcpt, -descriptografar nome_arquivo.nome_atributo -tipo tipo\09Descriptografar os valores de atributos no arquivo\00"
@str.34 = [58 x i8] c"-cpt, -criptografar nome_arquivo\09\09Criptografar um arquivo\00"
@str.35 = [94 x i8] c"-cpt, -criptografar nome_arquivo.nome_atributo\09Criptografa os valores de atributos no arquivo\00"
@str.36 = [67 x i8] c"-dcmp, -descompactar nome_arquivo\09 Descompacta um arquivo do banco\00"
@str.37 = [75 x i8] c"-cmp, -compactar nome_arquivo -tipo tipo_compacta\C3\A7\C3\A3o\09Compacta um arquivo\00"
@str.38 = [41 x i8] c"-c, -criar nome_arquivo\09 Cria um arquivo\00"
@str.39 = [62 x i8] c"-b, -buscar nome_arquivo -id x\09\09\09 Busca o registro com o id x\00"
@str.40 = [110 x i8] c"-b, -buscar nome_arquivo.nome_atributo -valor x\09 Busca o(s) registros com o valor x no atributo nome.atributo\00"
@str.41 = [46 x i8] c"-b,\09-buscar\09\09\09Busca um registro de uma tabela\00"
@str.42 = [52 x i8] c"-c,\09-criar\09\09\09Cria uma nova tabela no banco de dados\00"
@str.43 = [54 x i8] c"-cmp,\09-compactar\09\09Compacta os registros de uma tabela\00"
@str.44 = [72 x i8] c"-dcmp,\09-descompactar\09\09Descompacta os registros de uma tabela compactada\00"
@str.45 = [44 x i8] c"-cpt,\09-criptografar\09\09Criptografa uma tabela\00"
@str.46 = [50 x i8] c"-dcpt,\09-descriptografar\09Descriptografa uma tabela\00"
@str.47 = [50 x i8] c"-h,\09-help\09\09\09Exibe informa\C3\A7\C3\A3oes sobre um comando\00"
@str.48 = [56 x i8] c"-i,\09-inserir\09\09Insere em uma Tabela um campo ou registro\00"
@str.49 = [32 x i8] c"-o,\09-ordenar\09\09Ordena uma tabela\00"
@str.50 = [51 x i8] c"-r,\09-remover\09\09Remove uma tabela, campo ou registro\00"
define void @help(i32 %0) {
switch i32 %0, label %30 [
i32 0, label %2
i32 1, label %12
i32 2, label %27
i32 3, label %14
i32 4, label %15
i32 5, label %16
i32 6, label %18
i32 7, label %20
i32 8, label %22
i32 9, label %23
]
2: ; preds = %1
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([46 x i8], [46 x i8]* @str.41, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([52 x i8], [52 x i8]* @str.42, i64 0, i64 0))
%5 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([54 x i8], [54 x i8]* @str.43, i64 0, i64 0))
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([72 x i8], [72 x i8]* @str.44, i64 0, i64 0))
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @str.45, i64 0, i64 0))
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([50 x i8], [50 x i8]* @str.46, i64 0, i64 0))
%9 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([50 x i8], [50 x i8]* @str.47, i64 0, i64 0))
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([56 x i8], [56 x i8]* @str.48, i64 0, i64 0))
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @str.49, i64 0, i64 0))
br label %27
12: ; preds = %1
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([62 x i8], [62 x i8]* @str.39, i64 0, i64 0))
br label %27
14: ; preds = %1
br label %27
15: ; preds = %1
br label %27
16: ; preds = %1
%17 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([58 x i8], [58 x i8]* @str.34, i64 0, i64 0))
br label %27
18: ; preds = %1
%19 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([77 x i8], [77 x i8]* @str.32, i64 0, i64 0))
br label %27
20: ; preds = %1
%21 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([107 x i8], [107 x i8]* @str.30, i64 0, i64 0))
br label %27
22: ; preds = %1
br label %27
23: ; preds = %1
%24 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([46 x i8], [46 x i8]* @str, i64 0, i64 0))
%25 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([60 x i8], [60 x i8]* @str.26, i64 0, i64 0))
%26 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([63 x i8], [63 x i8]* @str.27, i64 0, i64 0))
br label %27
27: ; preds = %1, %2, %12, %14, %15, %16, %18, %20, %22, %23
%28 = phi i8* [ getelementptr inbounds ([108 x i8], [108 x i8]* @str.28, i64 0, i64 0), %23 ], [ getelementptr inbounds ([87 x i8], [87 x i8]* @str.29, i64 0, i64 0), %22 ], [ getelementptr inbounds ([114 x i8], [114 x i8]* @str.31, i64 0, i64 0), %20 ], [ getelementptr inbounds ([113 x i8], [113 x i8]* @str.33, i64 0, i64 0), %18 ], [ getelementptr inbounds ([94 x i8], [94 x i8]* @str.35, i64 0, i64 0), %16 ], [ getelementptr inbounds ([67 x i8], [67 x i8]* @str.36, i64 0, i64 0), %15 ], [ getelementptr inbounds ([75 x i8], [75 x i8]* @str.37, i64 0, i64 0), %14 ], [ getelementptr inbounds ([110 x i8], [110 x i8]* @str.40, i64 0, i64 0), %12 ], [ getelementptr inbounds ([51 x i8], [51 x i8]* @str.50, i64 0, i64 0), %2 ], [ getelementptr inbounds ([41 x i8], [41 x i8]* @str.38, i64 0, i64 0), %1 ]
%29 = tail call i32 @puts(i8* dereferenceable(1) %28)
br label %30
30: ; preds = %27, %1
ret void
}