#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 *,
                               unsigned long long, unsigned char *,
                               unsigned long long, unsigned char *,
                               unsigned char *);
int /*<<< orphan*/ crypto_aead_encrypt(unsigned char *, unsigned long long *,
                                       unsigned char *, unsigned long long,
                                       unsigned char *, unsigned long long,
                                       int /*<<< orphan*/ *, unsigned char *,
                                       unsigned char *);
scalar_t__ memcmp(unsigned char const *, unsigned char *, unsigned long long);
int /*<<< orphan*/ memcpy(unsigned char *, unsigned char *, unsigned int);
int /*<<< orphan*/ memset(unsigned char *, int /*<<< orphan*/, int);
int /*<<< orphan*/ printf(char *, ...);
int check(const unsigned char *kat) {
  unsigned char w[256];
  unsigned char h[256];
  unsigned char k[32];
  unsigned char n[32];
  unsigned i;
  int place = 0;
  for (i = 0; i < sizeof w; ++i)
    w[i] = 255 & (i * 197 + 123);
  for (i = 0; i < sizeof h; ++i)
    h[i] = 255 & (i * 193 + 123);
  for (i = 0; i < sizeof k; ++i)
    k[i] = 255 & (i * 191 + 123);
  for (i = 0; i < sizeof n; ++i)
    n[i] = 255 & (i * 181 + 123);
  for (i = 0; i < sizeof w; ++i) {
    unsigned char m[256];
    unsigned char c[256 + 32];
    unsigned long long mlen;
    unsigned long long clen;
    unsigned long long hlen;
    memset(m, 0, sizeof m);
    memcpy(m, w, i);
    clen = 0;
    mlen = hlen = i;
    crypto_aead_encrypt(c, &clen, m, mlen, h, hlen, NULL, n, k);
    if (0 != memcmp(kat, c, clen)) {
      place = 1;
      goto fail;
    }
    memset(m, 0, sizeof m);
    mlen = 0;
    if (0 != crypto_aead_decrypt(m, &mlen, NULL, c, clen, h, hlen, n, k)) {
      place = 2;
      goto fail;
    }
    if (0 != memcmp(m, w, mlen)) {
      place = 3;
      goto fail;
    }
    kat += clen;
  }
  printf("ok\n");
  return 0;
fail:
  printf("fail at %u:%d\n", i, place);
  return -1;
}


x86 assembly (clang, -O0):
<check>:
push   %rbp
mov    %rsp,%rbp
sub    $0x4b0,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x258(%rbp)
movl   $0x0,-0x254(%rbp)
mov    -0x254(%rbp),%eax
cmp    $0x100,%rax
jae    11ca <check+0x6a>
imul   $0xc5,-0x254(%rbp),%eax
add    $0x7b,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x254(%rbp),%eax
mov    %cl,-0x110(%rbp,%rax,1)
mov    -0x254(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x254(%rbp)
jmp    1183 <check+0x23>
movl   $0x0,-0x254(%rbp)
mov    -0x254(%rbp),%eax
cmp    $0x100,%rax
jae    121b <check+0xbb>
imul   $0xc1,-0x254(%rbp),%eax
add    $0x7b,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x254(%rbp),%eax
mov    %cl,-0x210(%rbp,%rax,1)
mov    -0x254(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x254(%rbp)
jmp    11d4 <check+0x74>
movl   $0x0,-0x254(%rbp)
mov    -0x254(%rbp),%eax
cmp    $0x20,%rax
jae    126a <check+0x10a>
imul   $0xbf,-0x254(%rbp),%eax
add    $0x7b,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x254(%rbp),%eax
mov    %cl,-0x230(%rbp,%rax,1)
mov    -0x254(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x254(%rbp)
jmp    1225 <check+0xc5>
movl   $0x0,-0x254(%rbp)
mov    -0x254(%rbp),%eax
cmp    $0x20,%rax
jae    12b9 <check+0x159>
imul   $0xb5,-0x254(%rbp),%eax
add    $0x7b,%eax
and    $0xff,%eax
mov    %al,%cl
mov    -0x254(%rbp),%eax
mov    %cl,-0x250(%rbp,%rax,1)
mov    -0x254(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x254(%rbp)
jmp    1274 <check+0x114>
movl   $0x0,-0x254(%rbp)
mov    -0x254(%rbp),%eax
cmp    $0x100,%rax
jae    1488 <check+0x328>
lea    -0x360(%rbp),%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1050 <memset@plt>
lea    -0x360(%rbp),%rdi
lea    -0x110(%rbp),%rsi
mov    -0x254(%rbp),%edx
call   1070 <memcpy@plt>
movq   $0x0,-0x490(%rbp)
mov    -0x254(%rbp),%eax
mov    %rax,-0x498(%rbp)
mov    %rax,-0x488(%rbp)
lea    -0x480(%rbp),%rdi
lea    -0x360(%rbp),%rdx
mov    -0x488(%rbp),%rcx
lea    -0x210(%rbp),%r8
mov    -0x498(%rbp),%r9
lea    -0x250(%rbp),%r10
lea    -0x230(%rbp),%rax
lea    -0x490(%rbp),%rsi
xor    %r11d,%r11d
movq   $0x0,(%rsp)
mov    %r10,0x8(%rsp)
mov    %rax,0x10(%rsp)
call   1080 <crypto_aead_encrypt@plt>
mov    -0x10(%rbp),%rdi
lea    -0x480(%rbp),%rsi
mov    -0x490(%rbp),%rdx
call   1060 <memcmp@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    %rcx,%rax
je     13a6 <check+0x246>
movl   $0x1,-0x258(%rbp)
jmp    14a2 <check+0x342>
lea    -0x360(%rbp),%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1050 <memset@plt>
movq   $0x0,-0x488(%rbp)
lea    -0x360(%rbp),%rdi
lea    -0x480(%rbp),%rcx
mov    -0x490(%rbp),%r8
lea    -0x210(%rbp),%r9
mov    -0x498(%rbp),%r11
lea    -0x250(%rbp),%r10
lea    -0x230(%rbp),%rax
lea    -0x488(%rbp),%rsi
xor    %edx,%edx
mov    %r11,(%rsp)
mov    %r10,0x8(%rsp)
mov    %rax,0x10(%rsp)
call   1030 <crypto_aead_decrypt@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    %rcx,%rax
je     142e <check+0x2ce>
movl   $0x2,-0x258(%rbp)
jmp    14a2 <check+0x342>
lea    -0x360(%rbp),%rdi
lea    -0x110(%rbp),%rsi
mov    -0x488(%rbp),%rdx
call   1060 <memcmp@plt>
mov    %rax,%rcx
xor    %eax,%eax
cmp    %rcx,%rax
je     1465 <check+0x305>
movl   $0x3,-0x258(%rbp)
jmp    14a2 <check+0x342>
mov    -0x490(%rbp),%rax
add    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x254(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x254(%rbp)
jmp    12c3 <check+0x163>
lea    0xb71(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    14c3 <check+0x363>
mov    -0x254(%rbp),%esi
mov    -0x258(%rbp),%edx
lea    0xb4f(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x4b0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x488,%rsp
mov    %rdi,0x10(%rsp)
movaps 0xe73(%rip),%xmm0
movaps %xmm0,0x60(%rsp)
movaps 0xe77(%rip),%xmm0
movaps %xmm0,0x70(%rsp)
movaps 0xe7b(%rip),%xmm0
movaps %xmm0,0x80(%rsp)
movaps 0xe7c(%rip),%xmm0
movaps %xmm0,0x90(%rsp)
movaps 0xe7d(%rip),%xmm0
movaps %xmm0,0xa0(%rsp)
movaps 0xe7e(%rip),%xmm0
movaps %xmm0,0xb0(%rsp)
movaps 0xe7f(%rip),%xmm0
movaps %xmm0,0xc0(%rsp)
movaps 0xe80(%rip),%xmm0
movaps %xmm0,0xd0(%rsp)
movaps 0xe81(%rip),%xmm0
movaps %xmm0,0xe0(%rsp)
movaps 0xe82(%rip),%xmm0
movaps %xmm0,0xf0(%rsp)
movaps 0xe83(%rip),%xmm0
movaps %xmm0,0x100(%rsp)
movaps 0xe84(%rip),%xmm0
movaps %xmm0,0x110(%rsp)
movaps 0xe85(%rip),%xmm0
movaps %xmm0,0x120(%rsp)
movaps 0xe86(%rip),%xmm0
movaps %xmm0,0x130(%rsp)
movaps 0xe87(%rip),%xmm0
movaps %xmm0,0x140(%rsp)
movaps 0xe88(%rip),%xmm0
movaps %xmm0,0x150(%rsp)
movaps 0xe89(%rip),%xmm0
movaps %xmm0,0x160(%rsp)
movaps 0xe8a(%rip),%xmm0
movaps %xmm0,0x170(%rsp)
movaps 0xe8b(%rip),%xmm0
movaps %xmm0,0x180(%rsp)
movaps 0xe8c(%rip),%xmm0
movaps %xmm0,0x190(%rsp)
movaps 0xe8d(%rip),%xmm0
movaps %xmm0,0x1a0(%rsp)
movaps 0xe8e(%rip),%xmm0
movaps %xmm0,0x1b0(%rsp)
movaps 0xe8f(%rip),%xmm0
movaps %xmm0,0x1c0(%rsp)
movaps 0xe90(%rip),%xmm0
movaps %xmm0,0x1d0(%rsp)
movaps 0xe91(%rip),%xmm0
movaps %xmm0,0x1e0(%rsp)
movaps 0xe92(%rip),%xmm0
movaps %xmm0,0x1f0(%rsp)
movaps 0xe93(%rip),%xmm0
movaps %xmm0,0x200(%rsp)
movaps 0xe94(%rip),%xmm0
movaps %xmm0,0x210(%rsp)
movaps 0xe95(%rip),%xmm0
movaps %xmm0,0x220(%rsp)
movaps 0xe96(%rip),%xmm0
movaps %xmm0,0x230(%rsp)
movaps 0xe97(%rip),%xmm0
movaps %xmm0,0x240(%rsp)
movaps 0xe98(%rip),%xmm0
movaps %xmm0,0x250(%rsp)
movaps 0xe99(%rip),%xmm0
movaps %xmm0,0x40(%rsp)
movaps 0xe9d(%rip),%xmm0
movaps %xmm0,0x50(%rsp)
movaps 0xea1(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
movaps 0xea5(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
xor    %r14d,%r14d
lea    0x380(%rsp),%r15
lea    0x20(%rsp),%rbp
lea    0x260(%rsp),%rbx
lea    0x160(%rsp),%r13
mov    %r15,%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1060 <memset@plt>
mov    %r15,%rdi
lea    0x60(%rsp),%rsi
mov    %r14d,%edx
call   1080 <memcpy@plt>
movq   $0x0,0x8(%rsp)
mov    %r14,0x18(%rsp)
sub    $0x8,%rsp
mov    %rbx,%rdi
lea    0x10(%rsp),%rsi
mov    %r15,%rdx
mov    %r14,%rcx
mov    %r13,%r8
mov    %r14,%r9
lea    0x48(%rsp),%r12
push   %r12
push   %rbp
push   $0x0
call   1090 <crypto_aead_encrypt@plt>
add    $0x20,%rsp
mov    0x8(%rsp),%rdx
mov    0x10(%rsp),%rdi
mov    %rbx,%rsi
call   1070 <memcmp@plt>
test   %rax,%rax
jne    14c5 <check+0x355>
mov    %r15,%rdi
xor    %esi,%esi
mov    $0x100,%edx
call   1060 <memset@plt>
movq   $0x0,0x18(%rsp)
mov    0x8(%rsp),%r8
sub    $0x8,%rsp
mov    %r15,%rdi
lea    0x20(%rsp),%rsi
xor    %edx,%edx
mov    %rbx,%rcx
mov    %r15,%rbx
mov    %r13,%r15
mov    %r13,%r9
push   %r12
push   %rbp
push   %r14
call   1030 <crypto_aead_decrypt@plt>
add    $0x20,%rsp
test   %rax,%rax
jne    14cc <check+0x35c>
mov    0x18(%rsp),%rdx
mov    %rbx,%r12
mov    %rbx,%rdi
lea    0x60(%rsp),%rsi
call   1070 <memcmp@plt>
test   %rax,%rax
jne    14d3 <check+0x363>
mov    0x10(%rsp),%rax
add    0x8(%rsp),%rax
mov    %rax,0x10(%rsp)
add    $0x1,%r14
cmp    $0x100,%r14
mov    %r15,%r13
mov    %r12,%r15
lea    0x260(%rsp),%rbx
jne    13b0 <check+0x240>
lea    0xd93(%rip),%rdi
call   1040 <puts@plt>
xor    %eax,%eax
jmp    14ee <check+0x37e>
mov    $0x1,%edx
jmp    14d8 <check+0x368>
mov    $0x2,%edx
jmp    14d8 <check+0x368>
mov    $0x3,%edx
lea    0xd61(%rip),%rdi
mov    %r14d,%esi
xor    %eax,%eax
call   1050 <printf@plt>
mov    $0xffffffff,%eax
add    $0x488,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [4 x i8] c"ok\0A\00"
@.str.1 = [15 x i8] c"fail at %u:%d\0A\00"
define i32 @check(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca [256 x i8]
%5 = alloca [256 x i8]
%6 = alloca [32 x i8]
%7 = alloca [32 x i8]
%8 = alloca i32
%9 = alloca i32
%10 = alloca [256 x i8]
%11 = alloca [288 x i8]
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
store i8* %0, i8** %3
store i32 0, i32* %9
store i32 0, i32* %8
br label %15
15: ; preds = %28, %1
%16 = load i32, i32* %8
%17 = zext i32 %16 to i64
%18 = icmp ult i64 %17, 256
br i1 %18, label %19, label %31
19: ; preds = %15
%20 = load i32, i32* %8
%21 = mul i32 %20, 197
%22 = add i32 %21, 123
%23 = and i32 255, %22
%24 = trunc i32 %23 to i8
%25 = load i32, i32* %8
%26 = zext i32 %25 to i64
%27 = getelementptr inbounds [256 x i8], [256 x i8]* %4, i64 0, i64 %26
store i8 %24, i8* %27
br label %28
28: ; preds = %19
%29 = load i32, i32* %8
%30 = add i32 %29, 1
store i32 %30, i32* %8
br label %15
31: ; preds = %15
store i32 0, i32* %8
br label %32
32: ; preds = %45, %31
%33 = load i32, i32* %8
%34 = zext i32 %33 to i64
%35 = icmp ult i64 %34, 256
br i1 %35, label %36, label %48
36: ; preds = %32
%37 = load i32, i32* %8
%38 = mul i32 %37, 193
%39 = add i32 %38, 123
%40 = and i32 255, %39
%41 = trunc i32 %40 to i8
%42 = load i32, i32* %8
%43 = zext i32 %42 to i64
%44 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 %43
store i8 %41, i8* %44
br label %45
45: ; preds = %36
%46 = load i32, i32* %8
%47 = add i32 %46, 1
store i32 %47, i32* %8
br label %32
48: ; preds = %32
store i32 0, i32* %8
br label %49
49: ; preds = %62, %48
%50 = load i32, i32* %8
%51 = zext i32 %50 to i64
%52 = icmp ult i64 %51, 32
br i1 %52, label %53, label %65
53: ; preds = %49
%54 = load i32, i32* %8
%55 = mul i32 %54, 191
%56 = add i32 %55, 123
%57 = and i32 255, %56
%58 = trunc i32 %57 to i8
%59 = load i32, i32* %8
%60 = zext i32 %59 to i64
%61 = getelementptr inbounds [32 x i8], [32 x i8]* %6, i64 0, i64 %60
store i8 %58, i8* %61
br label %62
62: ; preds = %53
%63 = load i32, i32* %8
%64 = add i32 %63, 1
store i32 %64, i32* %8
br label %49
65: ; preds = %49
store i32 0, i32* %8
br label %66
66: ; preds = %79, %65
%67 = load i32, i32* %8
%68 = zext i32 %67 to i64
%69 = icmp ult i64 %68, 32
br i1 %69, label %70, label %82
70: ; preds = %66
%71 = load i32, i32* %8
%72 = mul i32 %71, 181
%73 = add i32 %72, 123
%74 = and i32 255, %73
%75 = trunc i32 %74 to i8
%76 = load i32, i32* %8
%77 = zext i32 %76 to i64
%78 = getelementptr inbounds [32 x i8], [32 x i8]* %7, i64 0, i64 %77
store i8 %75, i8* %78
br label %79
79: ; preds = %70
%80 = load i32, i32* %8
%81 = add i32 %80, 1
store i32 %81, i32* %8
br label %66
82: ; preds = %66
store i32 0, i32* %8
br label %83
83: ; preds = %134, %82
%84 = load i32, i32* %8
%85 = zext i32 %84 to i64
%86 = icmp ult i64 %85, 256
br i1 %86, label %87, label %137
87: ; preds = %83
%88 = getelementptr inbounds [256 x i8], [256 x i8]* %10, i64 0, i64 0
%89 = call i32 @memset(i8* %88, i32 0, i32 256)
%90 = getelementptr inbounds [256 x i8], [256 x i8]* %10, i64 0, i64 0
%91 = getelementptr inbounds [256 x i8], [256 x i8]* %4, i64 0, i64 0
%92 = load i32, i32* %8
%93 = call i32 @memcpy(i8* %90, i8* %91, i32 %92)
store i64 0, i64* %13
%94 = load i32, i32* %8
%95 = zext i32 %94 to i64
store i64 %95, i64* %14
store i64 %95, i64* %12
%96 = getelementptr inbounds [288 x i8], [288 x i8]* %11, i64 0, i64 0
%97 = getelementptr inbounds [256 x i8], [256 x i8]* %10, i64 0, i64 0
%98 = load i64, i64* %12
%99 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 0
%100 = load i64, i64* %14
%101 = getelementptr inbounds [32 x i8], [32 x i8]* %7, i64 0, i64 0
%102 = getelementptr inbounds [32 x i8], [32 x i8]* %6, i64 0, i64 0
%103 = call i32 @crypto_aead_encrypt(i8* %96, i64* %13, i8* %97, i64 %98, i8* %99, i64 %100, i32* null, i8* %101, i8* %102)
%104 = load i8*, i8** %3
%105 = getelementptr inbounds [288 x i8], [288 x i8]* %11, i64 0, i64 0
%106 = load i64, i64* %13
%107 = call i64 @memcmp(i8* %104, i8* %105, i64 %106)
%108 = icmp ne i64 0, %107
br i1 %108, label %109, label %110
109: ; preds = %87
store i32 1, i32* %9
br label %139
110: ; preds = %87
%111 = getelementptr inbounds [256 x i8], [256 x i8]* %10, i64 0, i64 0
%112 = call i32 @memset(i8* %111, i32 0, i32 256)
store i64 0, i64* %12
%113 = getelementptr inbounds [256 x i8], [256 x i8]* %10, i64 0, i64 0
%114 = getelementptr inbounds [288 x i8], [288 x i8]* %11, i64 0, i64 0
%115 = load i64, i64* %13
%116 = getelementptr inbounds [256 x i8], [256 x i8]* %5, i64 0, i64 0
%117 = load i64, i64* %14
%118 = getelementptr inbounds [32 x i8], [32 x i8]* %7, i64 0, i64 0
%119 = getelementptr inbounds [32 x i8], [32 x i8]* %6, i64 0, i64 0
%120 = call i64 @crypto_aead_decrypt(i8* %113, i64* %12, i32* null, i8* %114, i64 %115, i8* %116, i64 %117, i8* %118, i8* %119)
%121 = icmp ne i64 0, %120
br i1 %121, label %122, label %123
122: ; preds = %110
store i32 2, i32* %9
br label %139
123: ; preds = %110
%124 = getelementptr inbounds [256 x i8], [256 x i8]* %10, i64 0, i64 0
%125 = getelementptr inbounds [256 x i8], [256 x i8]* %4, i64 0, i64 0
%126 = load i64, i64* %12
%127 = call i64 @memcmp(i8* %124, i8* %125, i64 %126)
%128 = icmp ne i64 0, %127
br i1 %128, label %129, label %130
129: ; preds = %123
store i32 3, i32* %9
br label %139
130: ; preds = %123
%131 = load i64, i64* %13
%132 = load i8*, i8** %3
%133 = getelementptr inbounds i8, i8* %132, i64 %131
store i8* %133, i8** %3
br label %134
134: ; preds = %130
%135 = load i32, i32* %8
%136 = add i32 %135, 1
store i32 %136, i32* %8
br label %83
137: ; preds = %83
%138 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %2
br label %143
139: ; preds = %129, %122, %109
%140 = load i32, i32* %8
%141 = load i32, i32* %9
%142 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.1, i64 0, i64 0), i32 %140, i32 %141)
store i32 -1, i32* %2
br label %143
143: ; preds = %139, %137
%144 = load i32, i32* %2
ret i32 %144
}

LLVM IR (-O2):
@.str.1 = [15 x i8] c"fail at %u:%d\0A\00"
@str = [3 x i8] c"ok\00"
define i32 @check(i8* %0) {
%2 = alloca [256 x i8]
%3 = alloca [256 x i8]
%4 = alloca [32 x i8]
%5 = alloca [32 x i8]
%6 = alloca [256 x i8]
%7 = alloca [288 x i8]
%8 = alloca i64
%9 = alloca i64
%10 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 0
%11 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 0
%12 = getelementptr inbounds [32 x i8], [32 x i8]* %4, i64 0, i64 0
%13 = getelementptr inbounds [32 x i8], [32 x i8]* %5, i64 0, i64 0
%14 = bitcast [256 x i8]* %2 to <16 x i8>*
store <16 x i8> <i8 123, i8 64, i8 5, i8 -54, i8 -113, i8 84, i8 25, i8 -34, i8 -93, i8 104, i8 45, i8 -14, i8 -73, i8 124, i8 65, i8 6>, <16 x i8>* %14
%15 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 16
%16 = bitcast i8* %15 to <16 x i8>*
store <16 x i8> <i8 -53, i8 -112, i8 85, i8 26, i8 -33, i8 -92, i8 105, i8 46, i8 -13, i8 -72, i8 125, i8 66, i8 7, i8 -52, i8 -111, i8 86>, <16 x i8>* %16
%17 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 32
%18 = bitcast i8* %17 to <16 x i8>*
store <16 x i8> <i8 27, i8 -32, i8 -91, i8 106, i8 47, i8 -12, i8 -71, i8 126, i8 67, i8 8, i8 -51, i8 -110, i8 87, i8 28, i8 -31, i8 -90>, <16 x i8>* %18
%19 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 48
%20 = bitcast i8* %19 to <16 x i8>*
store <16 x i8> <i8 107, i8 48, i8 -11, i8 -70, i8 127, i8 68, i8 9, i8 -50, i8 -109, i8 88, i8 29, i8 -30, i8 -89, i8 108, i8 49, i8 -10>, <16 x i8>* %20
%21 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 64
%22 = bitcast i8* %21 to <16 x i8>*
store <16 x i8> <i8 -69, i8 -128, i8 69, i8 10, i8 -49, i8 -108, i8 89, i8 30, i8 -29, i8 -88, i8 109, i8 50, i8 -9, i8 -68, i8 -127, i8 70>, <16 x i8>* %22
%23 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 80
%24 = bitcast i8* %23 to <16 x i8>*
store <16 x i8> <i8 11, i8 -48, i8 -107, i8 90, i8 31, i8 -28, i8 -87, i8 110, i8 51, i8 -8, i8 -67, i8 -126, i8 71, i8 12, i8 -47, i8 -106>, <16 x i8>* %24
%25 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 96
%26 = bitcast i8* %25 to <16 x i8>*
store <16 x i8> <i8 91, i8 32, i8 -27, i8 -86, i8 111, i8 52, i8 -7, i8 -66, i8 -125, i8 72, i8 13, i8 -46, i8 -105, i8 92, i8 33, i8 -26>, <16 x i8>* %26
%27 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 112
%28 = bitcast i8* %27 to <16 x i8>*
store <16 x i8> <i8 -85, i8 112, i8 53, i8 -6, i8 -65, i8 -124, i8 73, i8 14, i8 -45, i8 -104, i8 93, i8 34, i8 -25, i8 -84, i8 113, i8 54>, <16 x i8>* %28
%29 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 128
%30 = bitcast i8* %29 to <16 x i8>*
store <16 x i8> <i8 -5, i8 -64, i8 -123, i8 74, i8 15, i8 -44, i8 -103, i8 94, i8 35, i8 -24, i8 -83, i8 114, i8 55, i8 -4, i8 -63, i8 -122>, <16 x i8>* %30
%31 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 144
%32 = bitcast i8* %31 to <16 x i8>*
store <16 x i8> <i8 75, i8 16, i8 -43, i8 -102, i8 95, i8 36, i8 -23, i8 -82, i8 115, i8 56, i8 -3, i8 -62, i8 -121, i8 76, i8 17, i8 -42>, <16 x i8>* %32
%33 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 160
%34 = bitcast i8* %33 to <16 x i8>*
store <16 x i8> <i8 -101, i8 96, i8 37, i8 -22, i8 -81, i8 116, i8 57, i8 -2, i8 -61, i8 -120, i8 77, i8 18, i8 -41, i8 -100, i8 97, i8 38>, <16 x i8>* %34
%35 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 176
%36 = bitcast i8* %35 to <16 x i8>*
store <16 x i8> <i8 -21, i8 -80, i8 117, i8 58, i8 -1, i8 -60, i8 -119, i8 78, i8 19, i8 -40, i8 -99, i8 98, i8 39, i8 -20, i8 -79, i8 118>, <16 x i8>* %36
%37 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 192
%38 = bitcast i8* %37 to <16 x i8>*
store <16 x i8> <i8 59, i8 0, i8 -59, i8 -118, i8 79, i8 20, i8 -39, i8 -98, i8 99, i8 40, i8 -19, i8 -78, i8 119, i8 60, i8 1, i8 -58>, <16 x i8>* %38
%39 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 208
%40 = bitcast i8* %39 to <16 x i8>*
store <16 x i8> <i8 -117, i8 80, i8 21, i8 -38, i8 -97, i8 100, i8 41, i8 -18, i8 -77, i8 120, i8 61, i8 2, i8 -57, i8 -116, i8 81, i8 22>, <16 x i8>* %40
%41 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 224
%42 = bitcast i8* %41 to <16 x i8>*
store <16 x i8> <i8 -37, i8 -96, i8 101, i8 42, i8 -17, i8 -76, i8 121, i8 62, i8 3, i8 -56, i8 -115, i8 82, i8 23, i8 -36, i8 -95, i8 102>, <16 x i8>* %42
%43 = getelementptr inbounds [256 x i8], [256 x i8]* %2, i64 0, i64 240
%44 = bitcast i8* %43 to <16 x i8>*
store <16 x i8> <i8 43, i8 -16, i8 -75, i8 122, i8 63, i8 4, i8 -55, i8 -114, i8 83, i8 24, i8 -35, i8 -94, i8 103, i8 44, i8 -15, i8 -74>, <16 x i8>* %44
%45 = bitcast [256 x i8]* %3 to <16 x i8>*
store <16 x i8> <i8 123, i8 60, i8 -3, i8 -66, i8 127, i8 64, i8 1, i8 -62, i8 -125, i8 68, i8 5, i8 -58, i8 -121, i8 72, i8 9, i8 -54>, <16 x i8>* %45
%46 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 16
%47 = bitcast i8* %46 to <16 x i8>*
store <16 x i8> <i8 -117, i8 76, i8 13, i8 -50, i8 -113, i8 80, i8 17, i8 -46, i8 -109, i8 84, i8 21, i8 -42, i8 -105, i8 88, i8 25, i8 -38>, <16 x i8>* %47
%48 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 32
%49 = bitcast i8* %48 to <16 x i8>*
store <16 x i8> <i8 -101, i8 92, i8 29, i8 -34, i8 -97, i8 96, i8 33, i8 -30, i8 -93, i8 100, i8 37, i8 -26, i8 -89, i8 104, i8 41, i8 -22>, <16 x i8>* %49
%50 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 48
%51 = bitcast i8* %50 to <16 x i8>*
store <16 x i8> <i8 -85, i8 108, i8 45, i8 -18, i8 -81, i8 112, i8 49, i8 -14, i8 -77, i8 116, i8 53, i8 -10, i8 -73, i8 120, i8 57, i8 -6>, <16 x i8>* %51
%52 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 64
%53 = bitcast i8* %52 to <16 x i8>*
store <16 x i8> <i8 -69, i8 124, i8 61, i8 -2, i8 -65, i8 -128, i8 65, i8 2, i8 -61, i8 -124, i8 69, i8 6, i8 -57, i8 -120, i8 73, i8 10>, <16 x i8>* %53
%54 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 80
%55 = bitcast i8* %54 to <16 x i8>*
store <16 x i8> <i8 -53, i8 -116, i8 77, i8 14, i8 -49, i8 -112, i8 81, i8 18, i8 -45, i8 -108, i8 85, i8 22, i8 -41, i8 -104, i8 89, i8 26>, <16 x i8>* %55
%56 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 96
%57 = bitcast i8* %56 to <16 x i8>*
store <16 x i8> <i8 -37, i8 -100, i8 93, i8 30, i8 -33, i8 -96, i8 97, i8 34, i8 -29, i8 -92, i8 101, i8 38, i8 -25, i8 -88, i8 105, i8 42>, <16 x i8>* %57
%58 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 112
%59 = bitcast i8* %58 to <16 x i8>*
store <16 x i8> <i8 -21, i8 -84, i8 109, i8 46, i8 -17, i8 -80, i8 113, i8 50, i8 -13, i8 -76, i8 117, i8 54, i8 -9, i8 -72, i8 121, i8 58>, <16 x i8>* %59
%60 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 128
%61 = bitcast i8* %60 to <16 x i8>*
store <16 x i8> <i8 -5, i8 -68, i8 125, i8 62, i8 -1, i8 -64, i8 -127, i8 66, i8 3, i8 -60, i8 -123, i8 70, i8 7, i8 -56, i8 -119, i8 74>, <16 x i8>* %61
%62 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 144
%63 = bitcast i8* %62 to <16 x i8>*
store <16 x i8> <i8 11, i8 -52, i8 -115, i8 78, i8 15, i8 -48, i8 -111, i8 82, i8 19, i8 -44, i8 -107, i8 86, i8 23, i8 -40, i8 -103, i8 90>, <16 x i8>* %63
%64 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 160
%65 = bitcast i8* %64 to <16 x i8>*
store <16 x i8> <i8 27, i8 -36, i8 -99, i8 94, i8 31, i8 -32, i8 -95, i8 98, i8 35, i8 -28, i8 -91, i8 102, i8 39, i8 -24, i8 -87, i8 106>, <16 x i8>* %65
%66 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 176
%67 = bitcast i8* %66 to <16 x i8>*
store <16 x i8> <i8 43, i8 -20, i8 -83, i8 110, i8 47, i8 -16, i8 -79, i8 114, i8 51, i8 -12, i8 -75, i8 118, i8 55, i8 -8, i8 -71, i8 122>, <16 x i8>* %67
%68 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 192
%69 = bitcast i8* %68 to <16 x i8>*
store <16 x i8> <i8 59, i8 -4, i8 -67, i8 126, i8 63, i8 0, i8 -63, i8 -126, i8 67, i8 4, i8 -59, i8 -122, i8 71, i8 8, i8 -55, i8 -118>, <16 x i8>* %69
%70 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 208
%71 = bitcast i8* %70 to <16 x i8>*
store <16 x i8> <i8 75, i8 12, i8 -51, i8 -114, i8 79, i8 16, i8 -47, i8 -110, i8 83, i8 20, i8 -43, i8 -106, i8 87, i8 24, i8 -39, i8 -102>, <16 x i8>* %71
%72 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 224
%73 = bitcast i8* %72 to <16 x i8>*
store <16 x i8> <i8 91, i8 28, i8 -35, i8 -98, i8 95, i8 32, i8 -31, i8 -94, i8 99, i8 36, i8 -27, i8 -90, i8 103, i8 40, i8 -23, i8 -86>, <16 x i8>* %73
%74 = getelementptr inbounds [256 x i8], [256 x i8]* %3, i64 0, i64 240
%75 = bitcast i8* %74 to <16 x i8>*
store <16 x i8> <i8 107, i8 44, i8 -19, i8 -82, i8 111, i8 48, i8 -15, i8 -78, i8 115, i8 52, i8 -11, i8 -74, i8 119, i8 56, i8 -7, i8 -70>, <16 x i8>* %75
%76 = bitcast [32 x i8]* %4 to <16 x i8>*
store <16 x i8> <i8 123, i8 58, i8 -7, i8 -72, i8 119, i8 54, i8 -11, i8 -76, i8 115, i8 50, i8 -15, i8 -80, i8 111, i8 46, i8 -19, i8 -84>, <16 x i8>* %76
%77 = getelementptr inbounds [32 x i8], [32 x i8]* %4, i64 0, i64 16
%78 = bitcast i8* %77 to <16 x i8>*
store <16 x i8> <i8 107, i8 42, i8 -23, i8 -88, i8 103, i8 38, i8 -27, i8 -92, i8 99, i8 34, i8 -31, i8 -96, i8 95, i8 30, i8 -35, i8 -100>, <16 x i8>* %78
%79 = bitcast [32 x i8]* %5 to <16 x i8>*
store <16 x i8> <i8 123, i8 48, i8 -27, i8 -102, i8 79, i8 4, i8 -71, i8 110, i8 35, i8 -40, i8 -115, i8 66, i8 -9, i8 -84, i8 97, i8 22>, <16 x i8>* %79
%80 = getelementptr inbounds [32 x i8], [32 x i8]* %5, i64 0, i64 16
%81 = bitcast i8* %80 to <16 x i8>*
store <16 x i8> <i8 -53, i8 -128, i8 53, i8 -22, i8 -97, i8 84, i8 9, i8 -66, i8 115, i8 40, i8 -35, i8 -110, i8 71, i8 -4, i8 -79, i8 102>, <16 x i8>* %81
%82 = getelementptr inbounds [256 x i8], [256 x i8]* %6, i64 0, i64 0
%83 = getelementptr inbounds [288 x i8], [288 x i8]* %7, i64 0, i64 0
%84 = bitcast i64* %8 to i8*
%85 = bitcast i64* %9 to i8*
br label %86
86: ; preds = %1, %105
%87 = phi i64 [ 0, %1 ], [ %108, %105 ]
%88 = phi i8* [ %0, %1 ], [ %107, %105 ]
%89 = call i32 @memset(i8* %82, i32 0, i32 256)
%90 = trunc i64 %87 to i32
%91 = call i32 @memcpy(i8* %82, i8* %10, i32 %90)
store i64 0, i64* %9
store i64 %87, i64* %8
%92 = call i32 @crypto_aead_encrypt(i8* %83, i64* %9, i8* %82, i64 %87, i8* %11, i64 %87, i32* null, i8* %13, i8* %12)
%93 = load i64, i64* %9
%94 = call i64 @memcmp(i8* %88, i8* %83, i64 %93)
%95 = icmp eq i64 %94, 0
br i1 %95, label %96, label %112
96: ; preds = %86
%97 = call i32 @memset(i8* %82, i32 0, i32 256)
store i64 0, i64* %8
%98 = load i64, i64* %9
%99 = call i64 @crypto_aead_decrypt(i8* %82, i64* %8, i32* null, i8* %83, i64 %98, i8* %11, i64 %87, i8* %13, i8* %12)
%100 = icmp eq i64 %99, 0
br i1 %100, label %101, label %112
101: ; preds = %96
%102 = load i64, i64* %8
%103 = call i64 @memcmp(i8* %82, i8* %10, i64 %102)
%104 = icmp eq i64 %103, 0
br i1 %104, label %105, label %112
105: ; preds = %101
%106 = load i64, i64* %9
%107 = getelementptr inbounds i8, i8* %88, i64 %106
%108 = add nuw nsw i64 %87, 1
%109 = icmp eq i64 %108, 256
br i1 %109, label %110, label %86
110: ; preds = %105
%111 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @str, i64 0, i64 0))
br label %116
112: ; preds = %86, %96, %101
%113 = phi i32 [ 3, %101 ], [ 2, %96 ], [ 1, %86 ]
%114 = trunc i64 %87 to i32
%115 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @.str.1, i64 0, i64 0), i32 %114, i32 %113)
br label %116
116: ; preds = %112, %110
%117 = phi i32 [ -1, %112 ], [ 0, %110 ]
ret i32 %117
}