#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 uint64_t;
typedef int uint16_t;
typedef int /*<<< orphan*/ ind;

/* Variables and functions */
int /*<<< orphan*/ pqrandombytes_impl(unsigned char *, int);
int /*<<< orphan*/ store8(unsigned char *, int);
void gen_e(unsigned char *e) {
  int i, j, eq;
  uint16_t ind[128];
  uint64_t e_int[8192 / 64];
  uint64_t one = 1;
  uint64_t mask;
  uint64_t val[128];
  while (1) {
    pqrandombytes_impl((unsigned char *)ind, sizeof(ind));
    for (i = 0; i < 128; i++)
      ind[i] &= ((1 << 13) - 1);
    eq = 0;
    for (i = 1; i < 128; i++)
      for (j = 0; j < i; j++)
        if (ind[i] == ind[j])
          eq = 1;
    if (eq == 0)
      break;
  }
  for (j = 0; j < 128; j++)
    val[j] = one << (ind[j] & 63);
  for (i = 0; i < 8192 / 64; i++) {
    e_int[i] = 0;
    for (j = 0; j < 128; j++) {
      mask = i ^ (ind[j] >> 6);
      mask -= 1;
      mask >>= 63;
      mask = -mask;
      e_int[i] |= val[j] & mask;
    }
  }
  for (i = 0; i < 8192 / 64; i++)
    store8(e + i * 8, e_int[i]);
}


x86 assembly (clang, -O0):
<gen_e>:
push   %rbp
mov    %rsp,%rbp
sub    $0x630,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x1,-0x424(%rbp)
lea    -0x220(%rbp),%rdi
mov    $0x200,%esi
call   1030 <pqrandombytes_impl@plt>
movl   $0x0,-0xc(%rbp)
cmpl   $0x80,-0xc(%rbp)
jge    1184 <gen_e+0x64>
movslq -0xc(%rbp),%rax
mov    -0x220(%rbp,%rax,4),%ecx
and    $0x1fff,%ecx
mov    %ecx,-0x220(%rbp,%rax,4)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1151 <gen_e+0x31>
movl   $0x0,-0x14(%rbp)
movl   $0x1,-0xc(%rbp)
cmpl   $0x80,-0xc(%rbp)
jge    11fb <gen_e+0xdb>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11e8 <gen_e+0xc8>
movslq -0xc(%rbp),%rax
mov    -0x220(%rbp,%rax,4),%eax
movslq -0x10(%rbp),%rcx
cmp    -0x220(%rbp,%rcx,4),%eax
jne    11d5 <gen_e+0xb5>
movl   $0x1,-0x14(%rbp)
jmp    11da <gen_e+0xba>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11a6 <gen_e+0x86>
jmp    11ed <gen_e+0xcd>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1192 <gen_e+0x72>
cmpl   $0x0,-0x14(%rbp)
jne    120a <gen_e+0xea>
jmp    120f <gen_e+0xef>
jmp    1139 <gen_e+0x19>
movl   $0x0,-0x10(%rbp)
cmpl   $0x80,-0x10(%rbp)
jge    1254 <gen_e+0x134>
mov    -0x424(%rbp),%eax
movslq -0x10(%rbp),%rcx
mov    -0x220(%rbp,%rcx,4),%ecx
and    $0x3f,%ecx
shl    %cl,%eax
mov    %eax,%ecx
movslq -0x10(%rbp),%rax
mov    %ecx,-0x630(%rbp,%rax,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1216 <gen_e+0xf6>
movl   $0x0,-0xc(%rbp)
cmpl   $0x80,-0xc(%rbp)
jge    1318 <gen_e+0x1f8>
movslq -0xc(%rbp),%rax
movl   $0x0,-0x420(%rbp,%rax,4)
movl   $0x0,-0x10(%rbp)
cmpl   $0x80,-0x10(%rbp)
jge    1305 <gen_e+0x1e5>
mov    -0xc(%rbp),%eax
movslq -0x10(%rbp),%rcx
mov    -0x220(%rbp,%rcx,4),%ecx
sar    $0x6,%ecx
xor    %ecx,%eax
mov    %eax,-0x428(%rbp)
mov    -0x428(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x428(%rbp)
mov    -0x428(%rbp),%eax
mov    $0x3f,%ecx
sar    %cl,%eax
mov    %eax,-0x428(%rbp)
xor    %eax,%eax
sub    -0x428(%rbp),%eax
mov    %eax,-0x428(%rbp)
movslq -0x10(%rbp),%rax
mov    -0x630(%rbp,%rax,4),%ecx
and    -0x428(%rbp),%ecx
movslq -0xc(%rbp),%rax
or     -0x420(%rbp,%rax,4),%ecx
mov    %ecx,-0x420(%rbp,%rax,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    127e <gen_e+0x15e>
jmp    130a <gen_e+0x1ea>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    125b <gen_e+0x13b>
movl   $0x0,-0xc(%rbp)
cmpl   $0x80,-0xc(%rbp)
jge    1359 <gen_e+0x239>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%eax
shl    $0x3,%eax
cltq
add    %rax,%rdi
movslq -0xc(%rbp),%rax
mov    -0x420(%rbp,%rax,4),%esi
call   1040 <store8@plt>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    131f <gen_e+0x1ff>
add    $0x630,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<gen_e>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x408,%rsp
mov    %rdi,%r15
movabs $0x7ffffffffffffffc,%r12
ff ff 7f
mov    %rsp,%r14
mov    $0x1,%r13d
jmp    1168 <gen_e+0x38>
nopl   0x0(%rax)
test   %ecx,%ecx
je     14f5 <gen_e+0x3c5>
mov    %r14,%rdi
mov    $0x200,%esi
call   1030 <pqrandombytes_impl@plt>
movaps (%rsp),%xmm0
movaps 0xe80(%rip),%xmm2
andps  %xmm2,%xmm0
movaps 0x10(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,(%rsp)
movaps %xmm1,0x10(%rsp)
movaps 0x20(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0x30(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0x20(%rsp)
movaps %xmm1,0x30(%rsp)
movaps 0x40(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0x50(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0x40(%rsp)
movaps %xmm1,0x50(%rsp)
movaps 0x60(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0x70(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0x60(%rsp)
movaps %xmm1,0x70(%rsp)
movaps 0x80(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0x90(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0x80(%rsp)
movaps %xmm1,0x90(%rsp)
movaps 0xa0(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0xb0(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0xa0(%rsp)
movaps %xmm1,0xb0(%rsp)
movaps 0xc0(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0xd0(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0xc0(%rsp)
movaps %xmm1,0xd0(%rsp)
movaps 0xe0(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0xf0(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0xe0(%rsp)
movaps %xmm1,0xf0(%rsp)
movaps 0x100(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0x110(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0x100(%rsp)
movaps %xmm1,0x110(%rsp)
movaps 0x120(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0x130(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0x120(%rsp)
movaps %xmm1,0x130(%rsp)
movaps 0x140(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0x150(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0x140(%rsp)
movaps %xmm1,0x150(%rsp)
movaps 0x160(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0x170(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0x160(%rsp)
movaps %xmm1,0x170(%rsp)
movaps 0x180(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0x190(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0x180(%rsp)
movaps %xmm1,0x190(%rsp)
movaps 0x1a0(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0x1b0(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0x1a0(%rsp)
movaps %xmm1,0x1b0(%rsp)
movaps 0x1c0(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0x1d0(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0x1c0(%rsp)
movaps %xmm1,0x1d0(%rsp)
movaps 0x1e0(%rsp),%xmm0
andps  %xmm2,%xmm0
movaps 0x1f0(%rsp),%xmm1
andps  %xmm2,%xmm1
movaps %xmm0,0x1e0(%rsp)
movaps %xmm1,0x1f0(%rsp)
mov    $0x1,%eax
xor    %ecx,%ecx
jmp    13d0 <gen_e+0x2a0>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%rax
cmp    $0x80,%rax
je     1160 <gen_e+0x30>
mov    (%rsp,%rax,4),%edx
cmp    $0x4,%rax
jae    13e0 <gen_e+0x2b0>
xor    %esi,%esi
jmp    14e0 <gen_e+0x3b0>
mov    %rax,%rdi
and    $0xfffffffffffffffc,%rdi
add    $0xfffffffffffffffc,%rdi
shr    $0x2,%rdi
mov    %rax,%rsi
and    %r12,%rsi
lea    -0x4(%rsi),%rbp
mov    %rbp,%r8
shr    $0x2,%r8
add    $0x1,%r8
movd   %ecx,%xmm0
pshufd $0x0,%xmm0,%xmm2
movd   %edx,%xmm1
pshufd $0x0,%xmm1,%xmm1
cmp    $0xc,%rbp
jae    1420 <gen_e+0x2f0>
xor    %ebx,%ebx
jmp    147d <gen_e+0x34d>
lea    0x1(%rdi),%rbp
and    $0xfffffffffffffffc,%rbp
xor    %ebx,%ebx
movdqa %xmm2,%xmm3
xchg   %ax,%ax
movdqa (%rsp,%rbx,4),%xmm2
pcmpeqd %xmm1,%xmm2
movdqa 0x10(%rsp,%rbx,4),%xmm4
pcmpeqd %xmm1,%xmm4
por    %xmm2,%xmm4
movdqa 0x20(%rsp,%rbx,4),%xmm2
pcmpeqd %xmm1,%xmm2
movdqa 0x30(%rsp,%rbx,4),%xmm5
pcmpeqd %xmm1,%xmm5
por    %xmm2,%xmm5
por    %xmm4,%xmm5
movdqa %xmm5,%xmm2
pandn  %xmm3,%xmm2
psubd  %xmm5,%xmm2
add    $0x10,%rbx
movdqa %xmm2,%xmm3
add    $0xfffffffffffffffc,%rbp
jne    1430 <gen_e+0x300>
movdqa %xmm2,%xmm3
test   $0x3,%r8b
je     14c3 <gen_e+0x393>
add    $0x1,%dil
movzbl %dil,%edi
and    $0x3,%edi
shl    $0x4,%rdi
lea    (%rsp,%rbx,4),%rbp
xor    %ebx,%ebx
nopl   0x0(%rax)
movdqa 0x0(%rbp,%rbx,1),%xmm4
pcmpeqd %xmm1,%xmm4
movdqa %xmm4,%xmm3
pandn  %xmm2,%xmm3
psubd  %xmm4,%xmm3
add    $0x10,%rbx
movdqa %xmm3,%xmm2
cmp    %rbx,%rdi
jne    14a0 <gen_e+0x370>
pshufd $0x0,%xmm0,%xmm0
pcmpeqd %xmm3,%xmm0
movmskps %xmm0,%edi
cmp    $0xf,%edi
cmovne %r13d,%ecx
jmp    14eb <gen_e+0x3bb>
nopl   0x0(%rax,%rax,1)
cmp    (%rsp,%rsi,4),%edx
cmove  %r13d,%ecx
add    $0x1,%rsi
cmp    %rsi,%rax
jne    14e0 <gen_e+0x3b0>
jmp    13c0 <gen_e+0x290>
lea    0x200(%rsp),%rdi
xor    %ebx,%ebx
mov    $0x200,%edx
xor    %esi,%esi
call   1040 <memset@plt>
nopl   0x0(%rax,%rax,1)
mov    0x200(%rsp,%rbx,4),%esi
mov    %r15,%rdi
call   1050 <store8@plt>
add    $0x1,%rbx
add    $0x8,%r15
cmp    $0x80,%rbx
jne    1510 <gen_e+0x3e0>
add    $0x408,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @gen_e(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca [128 x i32]
%7 = alloca [128 x i32]
%8 = alloca i32
%9 = alloca i32
%10 = alloca [128 x i32]
store i8* %0, i8** %2
store i32 1, i32* %8
br label %11
11: ; preds = %1, %59
%12 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 0
%13 = bitcast i32* %12 to i8*
%14 = call i32 @pqrandombytes_impl(i8* %13, i32 512)
store i32 0, i32* %3
br label %15
15: ; preds = %24, %11
%16 = load i32, i32* %3
%17 = icmp slt i32 %16, 128
br i1 %17, label %18, label %27
18: ; preds = %15
%19 = load i32, i32* %3
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 %20
%22 = load i32, i32* %21
%23 = and i32 %22, 8191
store i32 %23, i32* %21
br label %24
24: ; preds = %18
%25 = load i32, i32* %3
%26 = add nsw i32 %25, 1
store i32 %26, i32* %3
br label %15
27: ; preds = %15
store i32 0, i32* %5
store i32 1, i32* %3
br label %28
28: ; preds = %52, %27
%29 = load i32, i32* %3
%30 = icmp slt i32 %29, 128
br i1 %30, label %31, label %55
31: ; preds = %28
store i32 0, i32* %4
br label %32
32: ; preds = %48, %31
%33 = load i32, i32* %4
%34 = load i32, i32* %3
%35 = icmp slt i32 %33, %34
br i1 %35, label %36, label %51
36: ; preds = %32
%37 = load i32, i32* %3
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 %38
%40 = load i32, i32* %39
%41 = load i32, i32* %4
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 %42
%44 = load i32, i32* %43
%45 = icmp eq i32 %40, %44
br i1 %45, label %46, label %47
46: ; preds = %36
store i32 1, i32* %5
br label %47
47: ; preds = %46, %36
br label %48
48: ; preds = %47
%49 = load i32, i32* %4
%50 = add nsw i32 %49, 1
store i32 %50, i32* %4
br label %32
51: ; preds = %32
br label %52
52: ; preds = %51
%53 = load i32, i32* %3
%54 = add nsw i32 %53, 1
store i32 %54, i32* %3
br label %28
55: ; preds = %28
%56 = load i32, i32* %5
%57 = icmp eq i32 %56, 0
br i1 %57, label %58, label %59
58: ; preds = %55
br label %60
59: ; preds = %55
br label %11
60: ; preds = %58
store i32 0, i32* %4
br label %61
61: ; preds = %75, %60
%62 = load i32, i32* %4
%63 = icmp slt i32 %62, 128
br i1 %63, label %64, label %78
64: ; preds = %61
%65 = load i32, i32* %8
%66 = load i32, i32* %4
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 %67
%69 = load i32, i32* %68
%70 = and i32 %69, 63
%71 = shl i32 %65, %70
%72 = load i32, i32* %4
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds [128 x i32], [128 x i32]* %10, i64 0, i64 %73
store i32 %71, i32* %74
br label %75
75: ; preds = %64
%76 = load i32, i32* %4
%77 = add nsw i32 %76, 1
store i32 %77, i32* %4
br label %61
78: ; preds = %61
store i32 0, i32* %3
br label %79
79: ; preds = %118, %78
%80 = load i32, i32* %3
%81 = icmp slt i32 %80, 128
br i1 %81, label %82, label %121
82: ; preds = %79
%83 = load i32, i32* %3
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds [128 x i32], [128 x i32]* %7, i64 0, i64 %84
store i32 0, i32* %85
store i32 0, i32* %4
br label %86
86: ; preds = %114, %82
%87 = load i32, i32* %4
%88 = icmp slt i32 %87, 128
br i1 %88, label %89, label %117
89: ; preds = %86
%90 = load i32, i32* %3
%91 = load i32, i32* %4
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds [128 x i32], [128 x i32]* %6, i64 0, i64 %92
%94 = load i32, i32* %93
%95 = ashr i32 %94, 6
%96 = xor i32 %90, %95
store i32 %96, i32* %9
%97 = load i32, i32* %9
%98 = sub nsw i32 %97, 1
store i32 %98, i32* %9
%99 = load i32, i32* %9
%100 = ashr i32 %99, 63
store i32 %100, i32* %9
%101 = load i32, i32* %9
%102 = sub nsw i32 0, %101
store i32 %102, i32* %9
%103 = load i32, i32* %4
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds [128 x i32], [128 x i32]* %10, i64 0, i64 %104
%106 = load i32, i32* %105
%107 = load i32, i32* %9
%108 = and i32 %106, %107
%109 = load i32, i32* %3
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds [128 x i32], [128 x i32]* %7, i64 0, i64 %110
%112 = load i32, i32* %111
%113 = or i32 %112, %108
store i32 %113, i32* %111
br label %114
114: ; preds = %89
%115 = load i32, i32* %4
%116 = add nsw i32 %115, 1
store i32 %116, i32* %4
br label %86
117: ; preds = %86
br label %118
118: ; preds = %117
%119 = load i32, i32* %3
%120 = add nsw i32 %119, 1
store i32 %120, i32* %3
br label %79
121: ; preds = %79
store i32 0, i32* %3
br label %122
122: ; preds = %136, %121
%123 = load i32, i32* %3
%124 = icmp slt i32 %123, 128
br i1 %124, label %125, label %139
125: ; preds = %122
%126 = load i8*, i8** %2
%127 = load i32, i32* %3
%128 = mul nsw i32 %127, 8
%129 = sext i32 %128 to i64
%130 = getelementptr inbounds i8, i8* %126, i64 %129
%131 = load i32, i32* %3
%132 = sext i32 %131 to i64
%133 = getelementptr inbounds [128 x i32], [128 x i32]* %7, i64 0, i64 %132
%134 = load i32, i32* %133
%135 = call i32 @store8(i8* %130, i32 %134)
br label %136
136: ; preds = %125
%137 = load i32, i32* %3
%138 = add nsw i32 %137, 1
store i32 %138, i32* %3
br label %122
139: ; preds = %122
ret void
}

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