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

/* Variables and functions */
int /*<<< orphan*/ pqrandombytes_impl(unsigned char *, int);
int /*<<< orphan*/ sort_64b(int, int *);
void perm_gen(uint32_t *out) {
  int i, j, rep;
  uint64_t list[1 << 13];
  while (1) {
    pqrandombytes_impl((unsigned char *)list, sizeof(list));
    for (i = 0; i < (1 << 13); i++) {
      list[i] <<= 13;
      list[i] |= i;
    }
    rep = 0;
    for (i = 1; i < (1 << 13); i++)
      for (j = 0; j < i; j++)
        if ((list[j] >> 13) == (list[i] >> 13))
          rep = 1;
    if (rep == 0)
      break;
  }
  sort_64b(1 << 13, list);
  for (i = 0; i < (1 << 13); i++)
    out[i] = list[i] & ((1 << 13) - 1);
}


x86 assembly (clang, -O0):
<perm_gen>:
push   %rbp
mov    %rsp,%rbp
sub    $0x8020,%rsp
mov    %rdi,-0x8(%rbp)
lea    -0x8020(%rbp),%rdi
mov    $0x8000,%esi
call   1030 <pqrandombytes_impl@plt>
movl   $0x0,-0xc(%rbp)
cmpl   $0x2000,-0xc(%rbp)
jge    118c <perm_gen+0x6c>
movslq -0xc(%rbp),%rax
mov    -0x8020(%rbp,%rax,4),%ecx
shl    $0xd,%ecx
mov    %ecx,-0x8020(%rbp,%rax,4)
mov    -0xc(%rbp),%ecx
movslq -0xc(%rbp),%rax
or     -0x8020(%rbp,%rax,4),%ecx
mov    %ecx,-0x8020(%rbp,%rax,4)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1147 <perm_gen+0x27>
movl   $0x0,-0x14(%rbp)
movl   $0x1,-0xc(%rbp)
cmpl   $0x2000,-0xc(%rbp)
jge    120b <perm_gen+0xeb>
movl   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11f8 <perm_gen+0xd8>
movslq -0x10(%rbp),%rax
mov    -0x8020(%rbp,%rax,4),%eax
sar    $0xd,%eax
movslq -0xc(%rbp),%rcx
mov    -0x8020(%rbp,%rcx,4),%ecx
sar    $0xd,%ecx
cmp    %ecx,%eax
jne    11e5 <perm_gen+0xc5>
movl   $0x1,-0x14(%rbp)
jmp    11ea <perm_gen+0xca>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11ae <perm_gen+0x8e>
jmp    11fd <perm_gen+0xdd>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    119a <perm_gen+0x7a>
cmpl   $0x0,-0x14(%rbp)
jne    121a <perm_gen+0xfa>
jmp    121f <perm_gen+0xff>
jmp    112f <perm_gen+0xf>
lea    -0x8020(%rbp),%rsi
mov    $0x2000,%edi
call   1040 <sort_64b@plt>
movl   $0x0,-0xc(%rbp)
cmpl   $0x2000,-0xc(%rbp)
jge    126e <perm_gen+0x14e>
movslq -0xc(%rbp),%rax
mov    -0x8020(%rbp,%rax,4),%edx
and    $0x1fff,%edx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1237 <perm_gen+0x117>
add    $0x8020,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<perm_gen>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x8000,%rsp
mov    %rdi,%r15
movabs $0x7ffffffffffffff8,%r12
ff ff 7f
mov    %rsp,%r14
mov    $0x1,%ebp
jmp    1158 <perm_gen+0x38>
cs nopw 0x0(%rax,%rax,1)
test   %eax,%eax
je     141c <perm_gen+0x2fc>
mov    %r14,%rdi
mov    $0x8000,%esi
call   1030 <pqrandombytes_impl@plt>
movdqa 0xed2(%rip),%xmm9
movdqa 0xeb9(%rip),%xmm8
movdqa 0xea1(%rip),%xmm7
movdqa 0xe89(%rip),%xmm6
xor    %eax,%eax
movdqa 0xe6f(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movdqa %xmm0,%xmm1
paddd  %xmm6,%xmm1
movdqa (%rsp,%rax,4),%xmm2
movdqa 0x10(%rsp,%rax,4),%xmm3
movdqa 0x20(%rsp,%rax,4),%xmm4
movdqa 0x30(%rsp,%rax,4),%xmm5
pslld  $0xd,%xmm2
pslld  $0xd,%xmm3
por    %xmm1,%xmm3
por    %xmm0,%xmm2
movdqa %xmm2,(%rsp,%rax,4)
movdqa %xmm3,0x10(%rsp,%rax,4)
movdqa %xmm0,%xmm1
paddd  %xmm7,%xmm1
movdqa %xmm0,%xmm2
paddd  %xmm8,%xmm2
pslld  $0xd,%xmm4
por    %xmm1,%xmm4
pslld  $0xd,%xmm5
por    %xmm2,%xmm5
movdqa %xmm4,0x20(%rsp,%rax,4)
movdqa %xmm5,0x30(%rsp,%rax,4)
add    $0x10,%rax
paddd  %xmm9,%xmm0
cmp    $0x2000,%rax
jne    11a0 <perm_gen+0x80>
xor    %eax,%eax
mov    $0x1,%edi
movdqa 0xe24(%rip),%xmm9
movdqa 0xe2b(%rip),%xmm10
jmp    1251 <perm_gen+0x131>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rdi
cmp    $0x2000,%rdi
je     1150 <perm_gen+0x30>
mov    (%rsp,%rdi,4),%edx
cmp    $0x8,%rdi
jae    1270 <perm_gen+0x150>
xor    %esi,%esi
jmp    1400 <perm_gen+0x2e0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %rdi,%rsi
and    %r12,%rsi
lea    -0x8(%rsi),%rcx
mov    %rcx,%r8
shr    $0x3,%r8
add    $0x1,%r8
movd   %eax,%xmm8
pshufd $0x0,%xmm8,%xmm6
movd   %edx,%xmm1
pshufd $0x0,%xmm1,%xmm1
test   %rcx,%rcx
je     13e3 <perm_gen+0x2c3>
mov    %rdi,%rcx
and    $0xfffffffffffffff8,%rcx
add    $0xfffffffffffffff8,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
and    $0xfffffffffffffffe,%rcx
xor    %ebx,%ebx
movdqa %xmm6,%xmm5
movdqa %xmm6,%xmm4
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqa (%rsp,%rbx,4),%xmm2
pxor   %xmm1,%xmm2
movdqa 0x10(%rsp,%rbx,4),%xmm3
pxor   %xmm1,%xmm3
pxor   %xmm9,%xmm2
movdqa %xmm10,%xmm6
pcmpgtd %xmm2,%xmm6
pxor   %xmm9,%xmm3
movdqa %xmm10,%xmm0
pcmpgtd %xmm3,%xmm0
movdqa 0x20(%rsp,%rbx,4),%xmm3
pxor   %xmm1,%xmm3
movdqa 0x30(%rsp,%rbx,4),%xmm7
pxor   %xmm1,%xmm7
pxor   %xmm9,%xmm3
movdqa %xmm10,%xmm2
pcmpgtd %xmm3,%xmm2
por    %xmm6,%xmm2
pxor   %xmm9,%xmm7
movdqa %xmm10,%xmm3
pcmpgtd %xmm7,%xmm3
por    %xmm0,%xmm3
movdqa %xmm2,%xmm6
pandn  %xmm5,%xmm6
psubd  %xmm2,%xmm6
movdqa %xmm3,%xmm0
pandn  %xmm4,%xmm0
psubd  %xmm3,%xmm0
add    $0x10,%rbx
movdqa %xmm6,%xmm5
movdqa %xmm0,%xmm4
add    $0xfffffffffffffffe,%rcx
jne    12d0 <perm_gen+0x1b0>
test   $0x1,%r8b
je     13ba <perm_gen+0x29a>
movdqa %xmm1,%xmm2
pxor   (%rsp,%rbx,4),%xmm2
movdqa 0x10(%rsp,%rbx,4),%xmm3
pxor   %xmm1,%xmm3
pxor   %xmm9,%xmm2
movdqa %xmm10,%xmm1
pcmpgtd %xmm2,%xmm1
pxor   %xmm9,%xmm3
movdqa %xmm10,%xmm2
pcmpgtd %xmm3,%xmm2
movdqa %xmm1,%xmm3
pandn  %xmm6,%xmm3
psubd  %xmm1,%xmm3
movdqa %xmm2,%xmm1
pandn  %xmm0,%xmm1
psubd  %xmm2,%xmm1
movdqa %xmm3,%xmm6
movdqa %xmm1,%xmm0
pshufd $0x0,%xmm8,%xmm1
movdqa %xmm6,%xmm2
pcmpeqd %xmm1,%xmm2
pand   %xmm2,%xmm0
pandn  %xmm6,%xmm2
por    %xmm0,%xmm2
pcmpeqd %xmm1,%xmm2
movmskps %xmm2,%ecx
cmp    $0xf,%ecx
cmovne %ebp,%eax
jmp    1412 <perm_gen+0x2f2>
xor    %ebx,%ebx
movdqa %xmm6,%xmm0
test   $0x1,%r8b
jne    136b <perm_gen+0x24b>
jmp    13ba <perm_gen+0x29a>
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rsp,%rsi,4),%ecx
xor    %edx,%ecx
cmp    $0x2000,%ecx
cmovb  %ebp,%eax
add    $0x1,%rsi
cmp    %rsi,%rdi
jne    1400 <perm_gen+0x2e0>
jmp    1240 <perm_gen+0x120>
mov    %rsp,%rsi
mov    $0x2000,%edi
call   1040 <sort_64b@plt>
xor    %eax,%eax
movdqa 0xc3d(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqa (%rsp,%rax,4),%xmm1
pand   %xmm0,%xmm1
movdqa 0x10(%rsp,%rax,4),%xmm2
pand   %xmm0,%xmm2
movdqu %xmm1,(%r15,%rax,4)
movdqu %xmm2,0x10(%r15,%rax,4)
movdqa 0x20(%rsp,%rax,4),%xmm1
pand   %xmm0,%xmm1
movdqa 0x30(%rsp,%rax,4),%xmm2
pand   %xmm0,%xmm2
movdqu %xmm1,0x20(%r15,%rax,4)
movdqu %xmm2,0x30(%r15,%rax,4)
add    $0x10,%rax
cmp    $0x2000,%rax
jne    1440 <perm_gen+0x320>
add    $0x8000,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @perm_gen(i32* %0) {
%2 = alloca i32*
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca [8192 x i32]
store i32* %0, i32** %2
br label %7
7: ; preds = %1, %63
%8 = getelementptr inbounds [8192 x i32], [8192 x i32]* %6, i64 0, i64 0
%9 = bitcast i32* %8 to i8*
%10 = call i32 @pqrandombytes_impl(i8* %9, i32 32768)
store i32 0, i32* %3
br label %11
11: ; preds = %26, %7
%12 = load i32, i32* %3
%13 = icmp slt i32 %12, 8192
br i1 %13, label %14, label %29
14: ; preds = %11
%15 = load i32, i32* %3
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds [8192 x i32], [8192 x i32]* %6, i64 0, i64 %16
%18 = load i32, i32* %17
%19 = shl i32 %18, 13
store i32 %19, i32* %17
%20 = load i32, i32* %3
%21 = load i32, i32* %3
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds [8192 x i32], [8192 x i32]* %6, i64 0, i64 %22
%24 = load i32, i32* %23
%25 = or i32 %24, %20
store i32 %25, i32* %23
br label %26
26: ; preds = %14
%27 = load i32, i32* %3
%28 = add nsw i32 %27, 1
store i32 %28, i32* %3
br label %11
29: ; preds = %11
store i32 0, i32* %5
store i32 1, i32* %3
br label %30
30: ; preds = %56, %29
%31 = load i32, i32* %3
%32 = icmp slt i32 %31, 8192
br i1 %32, label %33, label %59
33: ; preds = %30
store i32 0, i32* %4
br label %34
34: ; preds = %52, %33
%35 = load i32, i32* %4
%36 = load i32, i32* %3
%37 = icmp slt i32 %35, %36
br i1 %37, label %38, label %55
38: ; preds = %34
%39 = load i32, i32* %4
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds [8192 x i32], [8192 x i32]* %6, i64 0, i64 %40
%42 = load i32, i32* %41
%43 = ashr i32 %42, 13
%44 = load i32, i32* %3
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds [8192 x i32], [8192 x i32]* %6, i64 0, i64 %45
%47 = load i32, i32* %46
%48 = ashr i32 %47, 13
%49 = icmp eq i32 %43, %48
br i1 %49, label %50, label %51
50: ; preds = %38
store i32 1, i32* %5
br label %51
51: ; preds = %50, %38
br label %52
52: ; preds = %51
%53 = load i32, i32* %4
%54 = add nsw i32 %53, 1
store i32 %54, i32* %4
br label %34
55: ; preds = %34
br label %56
56: ; preds = %55
%57 = load i32, i32* %3
%58 = add nsw i32 %57, 1
store i32 %58, i32* %3
br label %30
59: ; preds = %30
%60 = load i32, i32* %5
%61 = icmp eq i32 %60, 0
br i1 %61, label %62, label %63
62: ; preds = %59
br label %64
63: ; preds = %59
br label %7
64: ; preds = %62
%65 = getelementptr inbounds [8192 x i32], [8192 x i32]* %6, i64 0, i64 0
%66 = call i32 @sort_64b(i32 8192, i32* %65)
store i32 0, i32* %3
br label %67
67: ; preds = %80, %64
%68 = load i32, i32* %3
%69 = icmp slt i32 %68, 8192
br i1 %69, label %70, label %83
70: ; preds = %67
%71 = load i32, i32* %3
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds [8192 x i32], [8192 x i32]* %6, i64 0, i64 %72
%74 = load i32, i32* %73
%75 = and i32 %74, 8191
%76 = load i32*, i32** %2
%77 = load i32, i32* %3
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds i32, i32* %76, i64 %78
store i32 %75, i32* %79
br label %80
80: ; preds = %70
%81 = load i32, i32* %3
%82 = add nsw i32 %81, 1
store i32 %82, i32* %3
br label %67
83: ; preds = %67
ret void
}

LLVM IR (-O2):
define void @perm_gen(i32* nocapture writeonly %0) {
%2 = alloca [8192 x i32]
%3 = bitcast [8192 x i32]* %2 to i8*
br label %4
4: ; preds = %146, %1
%5 = call i32 @pqrandombytes_impl(i8* %3, i32 32768)
br label %6
6: ; preds = %6, %4
%7 = phi i64 [ 0, %4 ], [ %37, %6 ]
%8 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %4 ], [ %38, %6 ]
%9 = add <4 x i32> %8, <i32 4, i32 4, i32 4, i32 4>
%10 = getelementptr inbounds [8192 x i32], [8192 x i32]* %2, i64 0, i64 %7
%11 = bitcast i32* %10 to <4 x i32>*
%12 = load <4 x i32>, <4 x i32>* %11
%13 = getelementptr inbounds i32, i32* %10, i64 4
%14 = bitcast i32* %13 to <4 x i32>*
%15 = load <4 x i32>, <4 x i32>* %14
%16 = shl <4 x i32> %12, <i32 13, i32 13, i32 13, i32 13>
%17 = shl <4 x i32> %15, <i32 13, i32 13, i32 13, i32 13>
%18 = or <4 x i32> %16, %8
%19 = or <4 x i32> %17, %9
%20 = bitcast i32* %10 to <4 x i32>*
store <4 x i32> %18, <4 x i32>* %20
%21 = bitcast i32* %13 to <4 x i32>*
store <4 x i32> %19, <4 x i32>* %21
%22 = or i64 %7, 8
%23 = add <4 x i32> %8, <i32 8, i32 8, i32 8, i32 8>
%24 = add <4 x i32> %8, <i32 12, i32 12, i32 12, i32 12>
%25 = getelementptr inbounds [8192 x i32], [8192 x i32]* %2, i64 0, i64 %22
%26 = bitcast i32* %25 to <4 x i32>*
%27 = load <4 x i32>, <4 x i32>* %26
%28 = getelementptr inbounds i32, i32* %25, i64 4
%29 = bitcast i32* %28 to <4 x i32>*
%30 = load <4 x i32>, <4 x i32>* %29
%31 = shl <4 x i32> %27, <i32 13, i32 13, i32 13, i32 13>
%32 = shl <4 x i32> %30, <i32 13, i32 13, i32 13, i32 13>
%33 = or <4 x i32> %31, %23
%34 = or <4 x i32> %32, %24
%35 = bitcast i32* %25 to <4 x i32>*
store <4 x i32> %33, <4 x i32>* %35
%36 = bitcast i32* %28 to <4 x i32>*
store <4 x i32> %34, <4 x i32>* %36
%37 = add nuw nsw i64 %7, 16
%38 = add <4 x i32> %8, <i32 16, i32 16, i32 16, i32 16>
%39 = icmp eq i64 %37, 8192
br i1 %39, label %40, label %6
40: ; preds = %6, %142
%41 = phi i64 [ %144, %142 ], [ 1, %6 ]
%42 = phi i32 [ %143, %142 ], [ 0, %6 ]
%43 = and i64 %41, 9223372036854775800
%44 = add nsw i64 %43, -8
%45 = lshr exact i64 %44, 3
%46 = add nuw nsw i64 %45, 1
%47 = getelementptr inbounds [8192 x i32], [8192 x i32]* %2, i64 0, i64 %41
%48 = load i32, i32* %47
%49 = icmp ult i64 %41, 8
br i1 %49, label %129, label %50
50: ; preds = %40
%51 = and i64 %41, 9223372036854775800
%52 = insertelement <4 x i32> poison, i32 %42, i64 0
%53 = shufflevector <4 x i32> %52, <4 x i32> poison, <4 x i32> zeroinitializer
%54 = insertelement <4 x i32> poison, i32 %48, i64 0
%55 = shufflevector <4 x i32> %54, <4 x i32> poison, <4 x i32> zeroinitializer
%56 = insertelement <4 x i32> poison, i32 %48, i64 0
%57 = shufflevector <4 x i32> %56, <4 x i32> poison, <4 x i32> zeroinitializer
%58 = and i64 %46, 1
%59 = icmp eq i64 %44, 0
br i1 %59, label %95, label %60
60: ; preds = %50
%61 = and i64 %46, 4611686018427387902
br label %62
62: ; preds = %62, %60
%63 = phi i64 [ 0, %60 ], [ %92, %62 ]
%64 = phi <4 x i32> [ %53, %60 ], [ %89, %62 ]
%65 = phi <4 x i32> [ %53, %60 ], [ %91, %62 ]
%66 = phi i64 [ 0, %60 ], [ %93, %62 ]
%67 = getelementptr inbounds [8192 x i32], [8192 x i32]* %2, i64 0, i64 %63
%68 = bitcast i32* %67 to <4 x i32>*
%69 = load <4 x i32>, <4 x i32>* %68
%70 = getelementptr inbounds i32, i32* %67, i64 4
%71 = bitcast i32* %70 to <4 x i32>*
%72 = load <4 x i32>, <4 x i32>* %71
%73 = xor <4 x i32> %55, %69
%74 = xor <4 x i32> %57, %72
%75 = icmp ult <4 x i32> %73, <i32 8192, i32 8192, i32 8192, i32 8192>
%76 = icmp ult <4 x i32> %74, <i32 8192, i32 8192, i32 8192, i32 8192>
%77 = or i64 %63, 8
%78 = getelementptr inbounds [8192 x i32], [8192 x i32]* %2, i64 0, i64 %77
%79 = bitcast i32* %78 to <4 x i32>*
%80 = load <4 x i32>, <4 x i32>* %79
%81 = getelementptr inbounds i32, i32* %78, i64 4
%82 = bitcast i32* %81 to <4 x i32>*
%83 = load <4 x i32>, <4 x i32>* %82
%84 = xor <4 x i32> %55, %80
%85 = xor <4 x i32> %57, %83
%86 = icmp ult <4 x i32> %84, <i32 8192, i32 8192, i32 8192, i32 8192>
%87 = icmp ult <4 x i32> %85, <i32 8192, i32 8192, i32 8192, i32 8192>
%88 = select <4 x i1> %86, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %75
%89 = select <4 x i1> %88, <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32> %64
%90 = select <4 x i1> %87, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %76
%91 = select <4 x i1> %90, <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32> %65
%92 = add nuw i64 %63, 16
%93 = add i64 %66, 2
%94 = icmp eq i64 %93, %61
br i1 %94, label %95, label %62
95: ; preds = %62, %50
%96 = phi <4 x i32> [ undef, %50 ], [ %89, %62 ]
%97 = phi <4 x i32> [ undef, %50 ], [ %91, %62 ]
%98 = phi i64 [ 0, %50 ], [ %92, %62 ]
%99 = phi <4 x i32> [ %53, %50 ], [ %89, %62 ]
%100 = phi <4 x i32> [ %53, %50 ], [ %91, %62 ]
%101 = icmp eq i64 %58, 0
br i1 %101, label %115, label %102
102: ; preds = %95
%103 = getelementptr inbounds [8192 x i32], [8192 x i32]* %2, i64 0, i64 %98
%104 = bitcast i32* %103 to <4 x i32>*
%105 = load <4 x i32>, <4 x i32>* %104
%106 = getelementptr inbounds i32, i32* %103, i64 4
%107 = bitcast i32* %106 to <4 x i32>*
%108 = load <4 x i32>, <4 x i32>* %107
%109 = xor <4 x i32> %55, %105
%110 = xor <4 x i32> %57, %108
%111 = icmp ult <4 x i32> %109, <i32 8192, i32 8192, i32 8192, i32 8192>
%112 = icmp ult <4 x i32> %110, <i32 8192, i32 8192, i32 8192, i32 8192>
%113 = select <4 x i1> %111, <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32> %99
%114 = select <4 x i1> %112, <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32> %100
br label %115
115: ; preds = %95, %102
%116 = phi <4 x i32> [ %96, %95 ], [ %113, %102 ]
%117 = phi <4 x i32> [ %97, %95 ], [ %114, %102 ]
%118 = insertelement <4 x i32> poison, i32 %42, i64 0
%119 = shufflevector <4 x i32> %118, <4 x i32> poison, <4 x i32> zeroinitializer
%120 = icmp eq <4 x i32> %116, %119
%121 = select <4 x i1> %120, <4 x i32> %117, <4 x i32> %116
%122 = insertelement <4 x i32> poison, i32 %42, i64 0
%123 = shufflevector <4 x i32> %122, <4 x i32> poison, <4 x i32> zeroinitializer
%124 = icmp ne <4 x i32> %121, %123
%125 = bitcast <4 x i1> %124 to i4
%126 = icmp eq i4 %125, 0
%127 = select i1 %126, i32 %42, i32 1
%128 = icmp eq i64 %41, %51
br i1 %128, label %142, label %129
129: ; preds = %40, %115
%130 = phi i64 [ 0, %40 ], [ %51, %115 ]
%131 = phi i32 [ %42, %40 ], [ %127, %115 ]
br label %132
132: ; preds = %129, %132
%133 = phi i64 [ %140, %132 ], [ %130, %129 ]
%134 = phi i32 [ %139, %132 ], [ %131, %129 ]
%135 = getelementptr inbounds [8192 x i32], [8192 x i32]* %2, i64 0, i64 %133
%136 = load i32, i32* %135
%137 = xor i32 %48, %136
%138 = icmp ult i32 %137, 8192
%139 = select i1 %138, i32 1, i32 %134
%140 = add nuw nsw i64 %133, 1
%141 = icmp eq i64 %140, %41
br i1 %141, label %142, label %132
142: ; preds = %132, %115
%143 = phi i32 [ %127, %115 ], [ %139, %132 ]
%144 = add nuw nsw i64 %41, 1
%145 = icmp eq i64 %144, 8192
br i1 %145, label %146, label %40
146: ; preds = %142
%147 = icmp eq i32 %143, 0
br i1 %147, label %148, label %4
148: ; preds = %146
%149 = getelementptr inbounds [8192 x i32], [8192 x i32]* %2, i64 0, i64 0
%150 = call i32 @sort_64b(i32 8192, i32* %149)
br label %151
151: ; preds = %151, %148
%152 = phi i64 [ 0, %148 ], [ %178, %151 ]
%153 = getelementptr inbounds [8192 x i32], [8192 x i32]* %2, i64 0, i64 %152
%154 = bitcast i32* %153 to <4 x i32>*
%155 = load <4 x i32>, <4 x i32>* %154
%156 = getelementptr inbounds i32, i32* %153, i64 4
%157 = bitcast i32* %156 to <4 x i32>*
%158 = load <4 x i32>, <4 x i32>* %157
%159 = and <4 x i32> %155, <i32 8191, i32 8191, i32 8191, i32 8191>
%160 = and <4 x i32> %158, <i32 8191, i32 8191, i32 8191, i32 8191>
%161 = getelementptr inbounds i32, i32* %0, i64 %152
%162 = bitcast i32* %161 to <4 x i32>*
store <4 x i32> %159, <4 x i32>* %162
%163 = getelementptr inbounds i32, i32* %161, i64 4
%164 = bitcast i32* %163 to <4 x i32>*
store <4 x i32> %160, <4 x i32>* %164
%165 = or i64 %152, 8
%166 = getelementptr inbounds [8192 x i32], [8192 x i32]* %2, i64 0, i64 %165
%167 = bitcast i32* %166 to <4 x i32>*
%168 = load <4 x i32>, <4 x i32>* %167
%169 = getelementptr inbounds i32, i32* %166, i64 4
%170 = bitcast i32* %169 to <4 x i32>*
%171 = load <4 x i32>, <4 x i32>* %170
%172 = and <4 x i32> %168, <i32 8191, i32 8191, i32 8191, i32 8191>
%173 = and <4 x i32> %171, <i32 8191, i32 8191, i32 8191, i32 8191>
%174 = getelementptr inbounds i32, i32* %0, i64 %165
%175 = bitcast i32* %174 to <4 x i32>*
store <4 x i32> %172, <4 x i32>* %175
%176 = getelementptr inbounds i32, i32* %174, i64 4
%177 = bitcast i32* %176 to <4 x i32>*
store <4 x i32> %173, <4 x i32>* %177
%178 = add nuw nsw i64 %152, 16
%179 = icmp eq i64 %178, 8192
br i1 %179, label %180, label %151
180: ; preds = %151
ret void
}