#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__ crypto_aead_decrypt(unsigned char *, unsigned long long *,
                               int /*<<< orphan*/, unsigned char const *,
                               unsigned long long, unsigned char const *,
                               unsigned long long, unsigned char const *,
                               unsigned char const *);
scalar_t__ crypto_aead_encrypt(unsigned char *, unsigned long long *,
                               unsigned char const *, unsigned long long,
                               unsigned char const *, unsigned long long,
                               int /*<<< orphan*/, unsigned char const *,
                               unsigned char const *);
scalar_t__ memcmp(unsigned char *, unsigned char const *, unsigned long long);
int /*<<< orphan*/ memcpy(unsigned char *, unsigned char const *,
                          unsigned long long);
int /*<<< orphan*/ printf(char *);
int do_test_crypto_aead(const unsigned char *key, unsigned long long keyLen,
                        const unsigned char *nonce, unsigned long long nonceLen,
                        const unsigned char *AD, unsigned long long ADlen,
                        const unsigned char *plaintext,
                        unsigned long long plaintextLen,
                        const unsigned char *ciphertext, unsigned int tagLen,
                        unsigned char *temp1, unsigned char *temp2) {
  unsigned long long clen, mlen, i;
  if (crypto_aead_encrypt(temp1, &clen, plaintext, plaintextLen, AD, ADlen, 0,
                          nonce, key) != 0) {
    printf("!!! crypto_aead_encrypt() did not return 0.\n");
    return 1;
  }
  if (clen != plaintextLen + tagLen) {
    printf("!!! clen does not have the expected value.\n");
    return 1;
  }
  if (memcmp(temp1, ciphertext, clen) != 0) {
    printf("!!! The output of crypto_aead_encrypt() is not as expected.\n");
    return 1;
  }
  if (crypto_aead_decrypt(temp1, &mlen, 0, ciphertext, plaintextLen + tagLen,
                          AD, ADlen, nonce, key) != 0) {
    printf("!!! crypto_aead_decrypt() did not return 0.\n");
    return 1;
  }
  if (mlen != plaintextLen) {
    printf("!!! mlen does not have the expected value.\n");
    return 1;
  }
  if (memcmp(temp1, plaintext, mlen) != 0) {
    printf("!!! The output of crypto_aead_decrypt() is not as expected.\n");
    return 1;
  }
  memcpy(temp2, ciphertext, plaintextLen + tagLen);
  temp2[0] ^= 0x01;
  if (crypto_aead_decrypt(temp1, &mlen, 0, temp2, plaintextLen + tagLen, AD,
                          ADlen, nonce, key) == 0) {
    printf("!!! Forgery found :-)\n");
    return 1;
  }
  for (i = 0; i < plaintextLen; i++)
    if (temp1[i] != 0) {
      printf("!!! The output buffer is not cleared.\n");
      return 1;
    }
  printf("Self-test OK\n");
  return 0;
}


x86 assembly (clang, -O0):
<do_test_crypto_aead>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    0x38(%rbp),%rax
mov    0x30(%rbp),%rax
mov    0x28(%rbp),%eax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
mov    0x30(%rbp),%rdi
mov    0x10(%rbp),%rdx
mov    0x18(%rbp),%rcx
mov    -0x30(%rbp),%r8
mov    -0x38(%rbp),%r9
mov    -0x20(%rbp),%r10
mov    -0x10(%rbp),%rax
lea    -0x40(%rbp),%rsi
xor    %r11d,%r11d
movl   $0x0,(%rsp)
mov    %r10,0x8(%rsp)
mov    %rax,0x10(%rsp)
call   1070 <crypto_aead_encrypt@plt>
cmp    $0x0,%rax
je     11e2 <do_test_crypto_aead+0x92>
lea    0xe2f(%rip),%rdi
call   1040 <printf@plt>
movl   $0x1,-0x4(%rbp)
jmp    13e6 <do_test_crypto_aead+0x296>
mov    -0x40(%rbp),%rax
mov    0x18(%rbp),%rcx
mov    0x28(%rbp),%edx
add    %rdx,%rcx
cmp    %rcx,%rax
je     1211 <do_test_crypto_aead+0xc1>
lea    0xe2d(%rip),%rdi
call   1040 <printf@plt>
movl   $0x1,-0x4(%rbp)
jmp    13e6 <do_test_crypto_aead+0x296>
mov    0x30(%rbp),%rdi
mov    0x20(%rbp),%rsi
mov    -0x40(%rbp),%rdx
call   1050 <memcmp@plt>
cmp    $0x0,%rax
je     1244 <do_test_crypto_aead+0xf4>
lea    0xe26(%rip),%rdi
call   1040 <printf@plt>
movl   $0x1,-0x4(%rbp)
jmp    13e6 <do_test_crypto_aead+0x296>
mov    0x30(%rbp),%rdi
mov    0x20(%rbp),%rcx
mov    0x18(%rbp),%r8
mov    0x28(%rbp),%eax
add    %rax,%r8
mov    -0x30(%rbp),%r9
mov    -0x38(%rbp),%r11
mov    -0x20(%rbp),%r10
mov    -0x10(%rbp),%rax
lea    -0x48(%rbp),%rsi
xor    %edx,%edx
mov    %r11,(%rsp)
mov    %r10,0x8(%rsp)
mov    %rax,0x10(%rsp)
call   1030 <crypto_aead_decrypt@plt>
cmp    $0x0,%rax
je     12a1 <do_test_crypto_aead+0x151>
lea    0xe06(%rip),%rdi
call   1040 <printf@plt>
movl   $0x1,-0x4(%rbp)
jmp    13e6 <do_test_crypto_aead+0x296>
mov    -0x48(%rbp),%rax
cmp    0x18(%rbp),%rax
je     12c7 <do_test_crypto_aead+0x177>
lea    0xe0d(%rip),%rdi
call   1040 <printf@plt>
movl   $0x1,-0x4(%rbp)
jmp    13e6 <do_test_crypto_aead+0x296>
mov    0x30(%rbp),%rdi
mov    0x10(%rbp),%rsi
mov    -0x48(%rbp),%rdx
call   1050 <memcmp@plt>
cmp    $0x0,%rax
je     12fa <do_test_crypto_aead+0x1aa>
lea    0xe06(%rip),%rdi
call   1040 <printf@plt>
movl   $0x1,-0x4(%rbp)
jmp    13e6 <do_test_crypto_aead+0x296>
mov    0x38(%rbp),%rdi
mov    0x20(%rbp),%rsi
mov    0x18(%rbp),%rdx
mov    0x28(%rbp),%eax
add    %rax,%rdx
call   1060 <memcpy@plt>
mov    0x38(%rbp),%rax
movzbl (%rax),%ecx
xor    $0x1,%ecx
mov    %cl,(%rax)
mov    0x30(%rbp),%rdi
mov    0x38(%rbp),%rcx
mov    0x18(%rbp),%r8
mov    0x28(%rbp),%eax
add    %rax,%r8
mov    -0x30(%rbp),%r9
mov    -0x38(%rbp),%r11
mov    -0x20(%rbp),%r10
mov    -0x10(%rbp),%rax
lea    -0x48(%rbp),%rsi
xor    %edx,%edx
mov    %r11,(%rsp)
mov    %r10,0x8(%rsp)
mov    %rax,0x10(%rsp)
call   1030 <crypto_aead_decrypt@plt>
cmp    $0x0,%rax
jne    137a <do_test_crypto_aead+0x22a>
lea    0xdc3(%rip),%rdi
call   1040 <printf@plt>
movl   $0x1,-0x4(%rbp)
jmp    13e6 <do_test_crypto_aead+0x296>
movq   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    0x18(%rbp),%rax
jae    13d3 <do_test_crypto_aead+0x283>
mov    0x30(%rbp),%rax
mov    -0x50(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     13bd <do_test_crypto_aead+0x26d>
lea    0xd97(%rip),%rdi
call   1040 <printf@plt>
movl   $0x1,-0x4(%rbp)
jmp    13e6 <do_test_crypto_aead+0x296>
jmp    13c2 <do_test_crypto_aead+0x272>
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    1382 <do_test_crypto_aead+0x232>
lea    0xd90(%rip),%rdi
call   1040 <printf@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<do_test_crypto_aead>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r9,%rbp
mov    %r8,%r13
mov    %rdx,%r12
mov    %rdi,%r14
mov    0x70(%rsp),%rdi
mov    0x58(%rsp),%r15
mov    0x50(%rsp),%rdx
sub    $0x8,%rsp
lea    0x18(%rsp),%rsi
mov    %r15,%rcx
push   %r14
push   %r12
push   $0x0
call   1070 <crypto_aead_encrypt@plt>
add    $0x20,%rsp
mov    $0x1,%ebx
test   %rax,%rax
je     11a7 <do_test_crypto_aead+0x57>
lea    0xf9e(%rip),%rdi
jmp    11f1 <do_test_crypto_aead+0xa1>
mov    0x10(%rsp),%rcx
mov    0x68(%rsp),%eax
add    %r15,%rax
cmp    %rax,%rcx
jne    11ea <do_test_crypto_aead+0x9a>
mov    %rbp,(%rsp)
mov    0x60(%rsp),%rbx
mov    0x70(%rsp),%r15
mov    %r15,%rdi
mov    %rbx,%rsi
mov    %rcx,%rbp
mov    %rcx,%rdx
call   1050 <memcmp@plt>
test   %rax,%rax
je     1207 <do_test_crypto_aead+0xb7>
lea    0xef9(%rip),%rdi
mov    $0x1,%ebx
jmp    11f1 <do_test_crypto_aead+0xa1>
lea    0xf27(%rip),%rdi
call   1040 <puts@plt>
mov    %ebx,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
sub    $0x8,%rsp
lea    0x10(%rsp),%rsi
mov    %r15,%rdi
xor    %edx,%edx
mov    %rbx,%rcx
mov    %rbp,%r8
mov    %r13,%r9
push   %r14
push   %r12
push   0x18(%rsp)
call   1030 <crypto_aead_decrypt@plt>
add    $0x20,%rsp
test   %rax,%rax
je     1242 <do_test_crypto_aead+0xf2>
lea    0xe75(%rip),%rdi
mov    $0x1,%ebx
jmp    11f1 <do_test_crypto_aead+0xa1>
mov    0x58(%rsp),%rdx
cmp    %rdx,0x8(%rsp)
jne    1276 <do_test_crypto_aead+0x126>
mov    0x70(%rsp),%r15
mov    %r15,%rdi
mov    0x50(%rsp),%rsi
call   1050 <memcmp@plt>
test   %rax,%rax
je     1287 <do_test_crypto_aead+0x137>
lea    0xddd(%rip),%rdi
mov    $0x1,%ebx
jmp    11f1 <do_test_crypto_aead+0xa1>
lea    0xe08(%rip),%rdi
mov    $0x1,%ebx
jmp    11f1 <do_test_crypto_aead+0xa1>
mov    0x78(%rsp),%rdi
mov    %rbx,%rsi
mov    %rbp,%rdx
call   1060 <memcpy@plt>
mov    0x78(%rsp),%rcx
xorb   $0x1,(%rcx)
sub    $0x8,%rsp
lea    0x10(%rsp),%rsi
mov    %r15,%rdi
xor    %edx,%edx
mov    %rbp,%r8
mov    %r13,%r9
push   %r14
push   %r12
push   0x18(%rsp)
call   1030 <crypto_aead_decrypt@plt>
add    $0x20,%rsp
test   %rax,%rax
je     1303 <do_test_crypto_aead+0x1b3>
lea    0xd30(%rip),%rdi
mov    0x58(%rsp),%rbp
test   %rbp,%rbp
mov    $0x1,%ebx
je     12fc <do_test_crypto_aead+0x1ac>
xor    %eax,%eax
lea    0xd25(%rip),%rcx
mov    0x70(%rsp),%rdx
cmpb   $0x0,(%rdx,%rax,1)
jne    1314 <do_test_crypto_aead+0x1c4>
add    $0x1,%rax
cmp    %rax,%rbp
jne    12ed <do_test_crypto_aead+0x19d>
xor    %ebx,%ebx
jmp    11f1 <do_test_crypto_aead+0xa1>
lea    0xd29(%rip),%rdi
mov    $0x1,%ebx
jmp    11f1 <do_test_crypto_aead+0xa1>
mov    %rcx,%rdi
jmp    11f1 <do_test_crypto_aead+0xa1>

LLVM IR (-O0):
@.str = [45 x i8] c"!!! crypto_aead_encrypt() did not return 0.\0A\00"
@.str.1 = [44 x i8] c"!!! clen does not have the expected value.\0A\00"
@.str.2 = [61 x i8] c"!!! The output of crypto_aead_encrypt() is not as expected.\0A\00"
@.str.3 = [45 x i8] c"!!! crypto_aead_decrypt() did not return 0.\0A\00"
@.str.4 = [44 x i8] c"!!! mlen does not have the expected value.\0A\00"
@.str.5 = [61 x i8] c"!!! The output of crypto_aead_decrypt() is not as expected.\0A\00"
@.str.6 = [23 x i8] c"!!! Forgery found :-)\0A\00"
@.str.7 = [39 x i8] c"!!! The output buffer is not cleared.\0A\00"
@.str.8 = [14 x i8] c"Self-test OK\0A\00"
define i32 @do_test_crypto_aead(i8* %0, i64 %1, i8* %2, i64 %3, i8* %4, i64 %5, i8* %6, i64 %7, i8* %8, i32 %9, i8* %10, i8* %11) {
%13 = alloca i32
%14 = alloca i8*
%15 = alloca i64
%16 = alloca i8*
%17 = alloca i64
%18 = alloca i8*
%19 = alloca i64
%20 = alloca i8*
%21 = alloca i64
%22 = alloca i8*
%23 = alloca i32
%24 = alloca i8*
%25 = alloca i8*
%26 = alloca i64
%27 = alloca i64
%28 = alloca i64
store i8* %0, i8** %14
store i64 %1, i64* %15
store i8* %2, i8** %16
store i64 %3, i64* %17
store i8* %4, i8** %18
store i64 %5, i64* %19
store i8* %6, i8** %20
store i64 %7, i64* %21
store i8* %8, i8** %22
store i32 %9, i32* %23
store i8* %10, i8** %24
store i8* %11, i8** %25
%29 = load i8*, i8** %24
%30 = load i8*, i8** %20
%31 = load i64, i64* %21
%32 = load i8*, i8** %18
%33 = load i64, i64* %19
%34 = load i8*, i8** %16
%35 = load i8*, i8** %14
%36 = call i64 @crypto_aead_encrypt(i8* %29, i64* %26, i8* %30, i64 %31, i8* %32, i64 %33, i32 0, i8* %34, i8* %35)
%37 = icmp ne i64 %36, 0
br i1 %37, label %38, label %40
38: ; preds = %12
%39 = call i32 @printf(i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str, i64 0, i64 0))
store i32 1, i32* %13
br label %134
40: ; preds = %12
%41 = load i64, i64* %26
%42 = load i64, i64* %21
%43 = load i32, i32* %23
%44 = zext i32 %43 to i64
%45 = add i64 %42, %44
%46 = icmp ne i64 %41, %45
br i1 %46, label %47, label %49
47: ; preds = %40
%48 = call i32 @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.1, i64 0, i64 0))
store i32 1, i32* %13
br label %134
49: ; preds = %40
%50 = load i8*, i8** %24
%51 = load i8*, i8** %22
%52 = load i64, i64* %26
%53 = call i64 @memcmp(i8* %50, i8* %51, i64 %52)
%54 = icmp ne i64 %53, 0
br i1 %54, label %55, label %57
55: ; preds = %49
%56 = call i32 @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.2, i64 0, i64 0))
store i32 1, i32* %13
br label %134
57: ; preds = %49
%58 = load i8*, i8** %24
%59 = load i8*, i8** %22
%60 = load i64, i64* %21
%61 = load i32, i32* %23
%62 = zext i32 %61 to i64
%63 = add i64 %60, %62
%64 = load i8*, i8** %18
%65 = load i64, i64* %19
%66 = load i8*, i8** %16
%67 = load i8*, i8** %14
%68 = call i64 @crypto_aead_decrypt(i8* %58, i64* %27, i32 0, i8* %59, i64 %63, i8* %64, i64 %65, i8* %66, i8* %67)
%69 = icmp ne i64 %68, 0
br i1 %69, label %70, label %72
70: ; preds = %57
%71 = call i32 @printf(i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.3, i64 0, i64 0))
store i32 1, i32* %13
br label %134
72: ; preds = %57
%73 = load i64, i64* %27
%74 = load i64, i64* %21
%75 = icmp ne i64 %73, %74
br i1 %75, label %76, label %78
76: ; preds = %72
%77 = call i32 @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.4, i64 0, i64 0))
store i32 1, i32* %13
br label %134
78: ; preds = %72
%79 = load i8*, i8** %24
%80 = load i8*, i8** %20
%81 = load i64, i64* %27
%82 = call i64 @memcmp(i8* %79, i8* %80, i64 %81)
%83 = icmp ne i64 %82, 0
br i1 %83, label %84, label %86
84: ; preds = %78
%85 = call i32 @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.5, i64 0, i64 0))
store i32 1, i32* %13
br label %134
86: ; preds = %78
%87 = load i8*, i8** %25
%88 = load i8*, i8** %22
%89 = load i64, i64* %21
%90 = load i32, i32* %23
%91 = zext i32 %90 to i64
%92 = add i64 %89, %91
%93 = call i32 @memcpy(i8* %87, i8* %88, i64 %92)
%94 = load i8*, i8** %25
%95 = getelementptr inbounds i8, i8* %94, i64 0
%96 = load i8, i8* %95
%97 = zext i8 %96 to i32
%98 = xor i32 %97, 1
%99 = trunc i32 %98 to i8
store i8 %99, i8* %95
%100 = load i8*, i8** %24
%101 = load i8*, i8** %25
%102 = load i64, i64* %21
%103 = load i32, i32* %23
%104 = zext i32 %103 to i64
%105 = add i64 %102, %104
%106 = load i8*, i8** %18
%107 = load i64, i64* %19
%108 = load i8*, i8** %16
%109 = load i8*, i8** %14
%110 = call i64 @crypto_aead_decrypt(i8* %100, i64* %27, i32 0, i8* %101, i64 %105, i8* %106, i64 %107, i8* %108, i8* %109)
%111 = icmp eq i64 %110, 0
br i1 %111, label %112, label %114
112: ; preds = %86
%113 = call i32 @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.6, i64 0, i64 0))
store i32 1, i32* %13
br label %134
114: ; preds = %86
store i64 0, i64* %28
br label %115
115: ; preds = %129, %114
%116 = load i64, i64* %28
%117 = load i64, i64* %21
%118 = icmp ult i64 %116, %117
br i1 %118, label %119, label %132
119: ; preds = %115
%120 = load i8*, i8** %24
%121 = load i64, i64* %28
%122 = getelementptr inbounds i8, i8* %120, i64 %121
%123 = load i8, i8* %122
%124 = zext i8 %123 to i32
%125 = icmp ne i32 %124, 0
br i1 %125, label %126, label %128
126: ; preds = %119
%127 = call i32 @printf(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.7, i64 0, i64 0))
store i32 1, i32* %13
br label %134
128: ; preds = %119
br label %129
129: ; preds = %128
%130 = load i64, i64* %28
%131 = add i64 %130, 1
store i64 %131, i64* %28
br label %115
132: ; preds = %115
%133 = call i32 @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.8, i64 0, i64 0))
store i32 0, i32* %13
br label %134
134: ; preds = %132, %126, %112, %84, %76, %70, %55, %47, %38
%135 = load i32, i32* %13
ret i32 %135
}

LLVM IR (-O2):
@str = [13 x i8] c"Self-test OK\00"
@str.9 = [38 x i8] c"!!! The output buffer is not cleared.\00"
@str.10 = [22 x i8] c"!!! Forgery found :-)\00"
@str.11 = [60 x i8] c"!!! The output of crypto_aead_decrypt() is not as expected.\00"
@str.12 = [43 x i8] c"!!! mlen does not have the expected value.\00"
@str.13 = [44 x i8] c"!!! crypto_aead_decrypt() did not return 0.\00"
@str.14 = [60 x i8] c"!!! The output of crypto_aead_encrypt() is not as expected.\00"
@str.15 = [43 x i8] c"!!! clen does not have the expected value.\00"
@str.16 = [44 x i8] c"!!! crypto_aead_encrypt() did not return 0.\00"
define i32 @do_test_crypto_aead(i8* %0, i64 %1, i8* %2, i64 %3, i8* %4, i64 %5, i8* %6, i64 %7, i8* %8, i32 %9, i8* %10, i8* %11) {
%13 = alloca i64
%14 = alloca i64
%15 = bitcast i64* %13 to i8*
%16 = bitcast i64* %14 to i8*
%17 = call i64 @crypto_aead_encrypt(i8* %10, i64* %13, i8* %6, i64 %7, i8* %4, i64 %5, i32 0, i8* %2, i8* %0)
%18 = icmp eq i64 %17, 0
br i1 %18, label %19, label %52
19: ; preds = %12
%20 = load i64, i64* %13
%21 = zext i32 %9 to i64
%22 = add i64 %21, %7
%23 = icmp eq i64 %20, %22
br i1 %23, label %24, label %52
24: ; preds = %19
%25 = call i64 @memcmp(i8* %10, i8* %8, i64 %20)
%26 = icmp eq i64 %25, 0
br i1 %26, label %27, label %52
27: ; preds = %24
%28 = call i64 @crypto_aead_decrypt(i8* %10, i64* %14, i32 0, i8* %8, i64 %20, i8* %4, i64 %5, i8* %2, i8* %0)
%29 = icmp eq i64 %28, 0
br i1 %29, label %30, label %52
30: ; preds = %27
%31 = load i64, i64* %14
%32 = icmp eq i64 %31, %7
br i1 %32, label %33, label %52
33: ; preds = %30
%34 = call i64 @memcmp(i8* %10, i8* %6, i64 %7)
%35 = icmp eq i64 %34, 0
br i1 %35, label %36, label %52
36: ; preds = %33
%37 = call i32 @memcpy(i8* %11, i8* %8, i64 %20)
%38 = load i8, i8* %11
%39 = xor i8 %38, 1
store i8 %39, i8* %11
%40 = call i64 @crypto_aead_decrypt(i8* %10, i64* %14, i32 0, i8* %11, i64 %20, i8* %4, i64 %5, i8* %2, i8* %0)
%41 = icmp eq i64 %40, 0
br i1 %41, label %52, label %42
42: ; preds = %36
%43 = icmp eq i64 %7, 0
br i1 %43, label %52, label %46
44: ; preds = %46
%45 = icmp eq i64 %51, %7
br i1 %45, label %52, label %46
46: ; preds = %42, %44
%47 = phi i64 [ %51, %44 ], [ 0, %42 ]
%48 = getelementptr inbounds i8, i8* %10, i64 %47
%49 = load i8, i8* %48
%50 = icmp eq i8 %49, 0
%51 = add nuw i64 %47, 1
br i1 %50, label %44, label %52
52: ; preds = %44, %46, %42, %36, %33, %30, %27, %24, %19, %12
%53 = phi i8* [ getelementptr inbounds ([44 x i8], [44 x i8]* @str.16, i64 0, i64 0), %12 ], [ getelementptr inbounds ([43 x i8], [43 x i8]* @str.15, i64 0, i64 0), %19 ], [ getelementptr inbounds ([60 x i8], [60 x i8]* @str.14, i64 0, i64 0), %24 ], [ getelementptr inbounds ([44 x i8], [44 x i8]* @str.13, i64 0, i64 0), %27 ], [ getelementptr inbounds ([43 x i8], [43 x i8]* @str.12, i64 0, i64 0), %30 ], [ getelementptr inbounds ([60 x i8], [60 x i8]* @str.11, i64 0, i64 0), %33 ], [ getelementptr inbounds ([22 x i8], [22 x i8]* @str.10, i64 0, i64 0), %36 ], [ getelementptr inbounds ([13 x i8], [13 x i8]* @str, i64 0, i64 0), %42 ], [ getelementptr inbounds ([38 x i8], [38 x i8]* @str.9, i64 0, i64 0), %46 ], [ getelementptr inbounds ([13 x i8], [13 x i8]* @str, i64 0, i64 0), %44 ]
%54 = phi i32 [ 1, %12 ], [ 1, %19 ], [ 1, %24 ], [ 1, %27 ], [ 1, %30 ], [ 1, %33 ], [ 1, %36 ], [ 0, %42 ], [ 1, %46 ], [ 0, %44 ]
%55 = call i32 @puts(i8* dereferenceable(1) %53)
ret i32 %54
}