#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 uint8_t;
typedef int /*<<< orphan*/ rand_mix;
typedef int /*<<< orphan*/ output;
typedef int /*<<< orphan*/ katyvasz;
typedef int /*<<< orphan*/ k_mix;

/* Variables and functions */
int /*<<< orphan*/ _comp128v23_internal(int *, int *, int *);
int /*<<< orphan*/ memcpy(int *, int *, int);
int /*<<< orphan*/ memmove(int *, int *, int);
int /*<<< orphan*/ memset(int *, int /*<<< orphan*/, int);
int comp128v3(const uint8_t *ki, const uint8_t *rand, uint8_t *sres,
              uint8_t *kc) {
  uint8_t k_mix[16];
  uint8_t rand_mix[16];
  uint8_t katyvasz[16];
  uint8_t output[16];
  uint8_t i;
  memset(k_mix, 0, sizeof(k_mix));
  memset(rand_mix, 0, sizeof(rand_mix));
  memset(katyvasz, 0, sizeof(katyvasz));
  memset(output, 0, sizeof(output));
  for (i = 0; i < 8; i++) {
    k_mix[i] = ki[15 - i];
    k_mix[15 - i] = ki[i];
  }
  for (i = 0; i < 8; i++) {
    rand_mix[i] = rand[15 - i];
    rand_mix[15 - i] = rand[i];
  }
  for (i = 0; i < 16; i++) {
    katyvasz[i] = k_mix[i] ^ rand_mix[i];
  }
  for (i = 0; i < 8; i++) {
    _comp128v23_internal(rand_mix, katyvasz, rand_mix);
  }
  for (i = 0; i < 16; i++) {
    output[i] = rand_mix[15 - i];
  }
  memmove(output + 4, output + 8, 8);
  memcpy(sres, output, 4);
  memcpy(kc, output + 4, 8);
  return 0;
}


x86 assembly (clang, -O0):
<comp128v3>:
push   %rbp
mov    %rsp,%rbp
sub    $0x130,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
lea    -0x60(%rbp),%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1040 <memset@plt>
lea    -0xa0(%rbp),%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1040 <memset@plt>
lea    -0xe0(%rbp),%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1040 <memset@plt>
lea    -0x120(%rbp),%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1040 <memset@plt>
movl   $0x0,-0x124(%rbp)
cmpl   $0x8,-0x124(%rbp)
jge    120e <comp128v3+0xce>
mov    -0x8(%rbp),%rax
mov    $0xf,%ecx
sub    -0x124(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x124(%rbp),%rax
mov    %ecx,-0x60(%rbp,%rax,4)
mov    -0x8(%rbp),%rax
movslq -0x124(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    $0xf,%eax
sub    -0x124(%rbp),%eax
cltq
mov    %ecx,-0x60(%rbp,%rax,4)
mov    -0x124(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x124(%rbp)
jmp    11ae <comp128v3+0x6e>
movl   $0x0,-0x124(%rbp)
cmpl   $0x8,-0x124(%rbp)
jge    127e <comp128v3+0x13e>
mov    -0x10(%rbp),%rax
mov    $0xf,%ecx
sub    -0x124(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%ecx
movslq -0x124(%rbp),%rax
mov    %ecx,-0xa0(%rbp,%rax,4)
mov    -0x10(%rbp),%rax
movslq -0x124(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    $0xf,%eax
sub    -0x124(%rbp),%eax
cltq
mov    %ecx,-0xa0(%rbp,%rax,4)
mov    -0x124(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x124(%rbp)
jmp    1218 <comp128v3+0xd8>
movl   $0x0,-0x124(%rbp)
cmpl   $0x10,-0x124(%rbp)
jge    12d0 <comp128v3+0x190>
movslq -0x124(%rbp),%rax
mov    -0x60(%rbp,%rax,4),%ecx
movslq -0x124(%rbp),%rax
xor    -0xa0(%rbp,%rax,4),%ecx
movslq -0x124(%rbp),%rax
mov    %ecx,-0xe0(%rbp,%rax,4)
mov    -0x124(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x124(%rbp)
jmp    1288 <comp128v3+0x148>
movl   $0x0,-0x124(%rbp)
cmpl   $0x8,-0x124(%rbp)
jge    1315 <comp128v3+0x1d5>
lea    -0xa0(%rbp),%rdi
lea    -0xe0(%rbp),%rsi
lea    -0xa0(%rbp),%rdx
call   1030 <_comp128v23_internal@plt>
mov    -0x124(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x124(%rbp)
jmp    12da <comp128v3+0x19a>
movl   $0x0,-0x124(%rbp)
cmpl   $0x10,-0x124(%rbp)
jge    1362 <comp128v3+0x222>
mov    $0xf,%eax
sub    -0x124(%rbp),%eax
cltq
mov    -0xa0(%rbp,%rax,4),%ecx
movslq -0x124(%rbp),%rax
mov    %ecx,-0x120(%rbp,%rax,4)
mov    -0x124(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x124(%rbp)
jmp    131f <comp128v3+0x1df>
lea    -0x120(%rbp),%rdi
add    $0x10,%rdi
lea    -0x120(%rbp),%rsi
add    $0x20,%rsi
mov    $0x8,%edx
call   1060 <memmove@plt>
mov    -0x18(%rbp),%rdi
lea    -0x120(%rbp),%rsi
mov    $0x4,%edx
call   1050 <memcpy@plt>
mov    -0x20(%rbp),%rdi
lea    -0x120(%rbp),%rsi
add    $0x10,%rsi
mov    $0x8,%edx
call   1050 <memcpy@plt>
xor    %eax,%eax
add    $0x130,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<comp128v3>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x108,%rsp
mov    %rcx,%r14
mov    %rdx,%r12
mov    %rsi,%rbp
mov    %rdi,%r15
lea    0x40(%rsp),%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1040 <memset@plt>
mov    %rsp,%rbx
mov    %rbx,%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1040 <memset@plt>
lea    0x80(%rsp),%r13
mov    %r13,%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1040 <memset@plt>
lea    0xc0(%rsp),%rdi
xor    %esi,%esi
mov    $0x40,%edx
call   1040 <memset@plt>
movdqu 0x30(%r15),%xmm0
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm0,0x40(%rsp)
movdqu (%r15),%xmm0
pshufd $0x1b,%xmm0,%xmm0
movdqa %xmm0,0x70(%rsp)
movdqu 0x20(%r15),%xmm3
pshufd $0x1b,%xmm3,%xmm0
movdqa %xmm0,0x50(%rsp)
movdqu 0x10(%r15),%xmm2
pshufd $0x1b,%xmm2,%xmm0
movdqa %xmm0,0x60(%rsp)
movdqu 0x30(%rbp),%xmm0
pshufd $0x1b,%xmm0,%xmm4
movdqa %xmm4,(%rsp)
movdqu 0x0(%rbp),%xmm0
pshufd $0x1b,%xmm0,%xmm1
movdqa %xmm1,0x30(%rsp)
mov    0x2c(%rbp),%eax
mov    %eax,0x10(%rsp)
mov    0x10(%rbp),%rcx
movq   %rcx,%xmm1
mov    %ecx,0x2c(%rsp)
mov    0x28(%rbp),%ecx
mov    %ecx,0x14(%rsp)
pshufd $0x55,%xmm1,%xmm5
movd   %xmm5,0x28(%rsp)
mov    0x24(%rbp),%edx
mov    %edx,0x18(%rsp)
mov    0x18(%rbp),%esi
mov    %esi,0x24(%rsp)
mov    0x20(%rbp),%edi
mov    %edi,0x1c(%rsp)
mov    0x1c(%rbp),%ebp
mov    %ebp,0x20(%rsp)
pxor   0x40(%rsp),%xmm4
xor    0x50(%rsp),%eax
movdqa %xmm4,0x80(%rsp)
mov    %eax,0x90(%rsp)
xor    0x54(%rsp),%ecx
mov    %ecx,0x94(%rsp)
pshufd $0x55,%xmm3,%xmm4
movd   %xmm4,%eax
xor    %edx,%eax
mov    %eax,0x98(%rsp)
movd   %xmm3,%eax
xor    %edi,%eax
mov    %eax,0x9c(%rsp)
pshufd $0xff,%xmm2,%xmm2
movd   %xmm2,%eax
xor    %ebp,%eax
mov    %eax,0xa0(%rsp)
movups 0x64(%rsp),%xmm2
movd   %esi,%xmm3
pshufd $0xee,%xmm0,%xmm4
shufps $0xc7,%xmm1,%xmm0
punpckldq %xmm3,%xmm1
shufps $0x29,%xmm0,%xmm1
xorps  %xmm2,%xmm1
movups %xmm1,0xa4(%rsp)
movd   %xmm4,%eax
xor    0x74(%rsp),%eax
mov    %eax,0xb4(%rsp)
mov    0x38(%rsp),%eax
xor    0x78(%rsp),%eax
mov    %eax,0xb8(%rsp)
mov    0x3c(%rsp),%eax
xor    0x7c(%rsp),%eax
mov    %eax,0xbc(%rsp)
mov    %rbx,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
call   1030 <_comp128v23_internal@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
call   1030 <_comp128v23_internal@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
call   1030 <_comp128v23_internal@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
call   1030 <_comp128v23_internal@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
call   1030 <_comp128v23_internal@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
call   1030 <_comp128v23_internal@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
call   1030 <_comp128v23_internal@plt>
mov    %rbx,%rdi
mov    %r13,%rsi
mov    %rbx,%rdx
call   1030 <_comp128v23_internal@plt>
pshufd $0x1b,0x30(%rsp),%xmm0
movdqa %xmm0,0xc0(%rsp)
lea    0xd0(%rsp),%rbx
pshufd $0x1b,0x20(%rsp),%xmm0
movdqa %xmm0,0xd0(%rsp)
lea    0xe0(%rsp),%rsi
pshufd $0x1b,0x10(%rsp),%xmm0
movdqa %xmm0,0xe0(%rsp)
pshufd $0x1b,(%rsp),%xmm0
movdqa %xmm0,0xf0(%rsp)
mov    %rbx,%rdi
mov    $0x8,%edx
call   1060 <memmove@plt>
mov    %r12,%rdi
lea    0xc0(%rsp),%rsi
mov    $0x4,%edx
call   1050 <memcpy@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    $0x8,%edx
call   1050 <memcpy@plt>
xor    %eax,%eax
add    $0x108,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @comp128v3(i32* nocapture %0, i32* nocapture %1, i32* %2, i32* %3) {
%5 = alloca [16 x i32]
%6 = alloca [16 x i32]
%7 = alloca [16 x i32]
%8 = alloca [16 x i32]
%9 = bitcast [16 x i32]* %5 to i8*
%10 = bitcast [16 x i32]* %6 to i8*
%11 = bitcast [16 x i32]* %7 to i8*
%12 = bitcast [16 x i32]* %8 to i8*
%13 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 0
%14 = call i32 @memset(i32* %13, i32 0, i32 64)
%15 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 0
%16 = call i32 @memset(i32* %15, i32 0, i32 64)
%17 = getelementptr inbounds [16 x i32], [16 x i32]* %7, i64 0, i64 0
%18 = call i32 @memset(i32* %17, i32 0, i32 64)
%19 = getelementptr inbounds [16 x i32], [16 x i32]* %8, i64 0, i64 0
%20 = call i32 @memset(i32* %19, i32 0, i32 64)
%21 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 15
%22 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 14
%23 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 13
%24 = getelementptr inbounds i32, i32* %0, i64 12
%25 = bitcast i32* %24 to <4 x i32>*
%26 = load <4 x i32>, <4 x i32>* %25
%27 = shufflevector <4 x i32> %26, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%28 = bitcast [16 x i32]* %5 to <4 x i32>*
store <4 x i32> %27, <4 x i32>* %28
%29 = bitcast i32* %0 to <4 x i32>*
%30 = load <4 x i32>, <4 x i32>* %29
%31 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 12
%32 = shufflevector <4 x i32> %30, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%33 = bitcast i32* %31 to <4 x i32>*
store <4 x i32> %32, <4 x i32>* %33
%34 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 4
%35 = getelementptr inbounds i32, i32* %0, i64 4
%36 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 5
%37 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 9
%38 = getelementptr inbounds i32, i32* %0, i64 8
%39 = bitcast i32* %38 to <4 x i32>*
%40 = load <4 x i32>, <4 x i32>* %39
%41 = shufflevector <4 x i32> %40, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%42 = bitcast i32* %34 to <4 x i32>*
store <4 x i32> %41, <4 x i32>* %42
%43 = bitcast i32* %35 to <4 x i32>*
%44 = load <4 x i32>, <4 x i32>* %43
%45 = getelementptr inbounds [16 x i32], [16 x i32]* %5, i64 0, i64 8
%46 = shufflevector <4 x i32> %44, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%47 = bitcast i32* %45 to <4 x i32>*
store <4 x i32> %46, <4 x i32>* %47
%48 = getelementptr inbounds i32, i32* %1, i64 12
%49 = bitcast i32* %48 to <4 x i32>*
%50 = load <4 x i32>, <4 x i32>* %49
%51 = shufflevector <4 x i32> %50, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%52 = extractelement <4 x i32> %50, i64 3
store i32 %52, i32* %15
%53 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 15
%54 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 1
%55 = extractelement <4 x i32> %50, i64 2
store i32 %55, i32* %54
%56 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 14
%57 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 2
%58 = extractelement <4 x i32> %50, i64 1
store i32 %58, i32* %57
%59 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 3
%60 = extractelement <4 x i32> %50, i64 0
store i32 %60, i32* %59
%61 = bitcast i32* %1 to <4 x i32>*
%62 = load <4 x i32>, <4 x i32>* %61
%63 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 12
%64 = shufflevector <4 x i32> %62, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%65 = bitcast i32* %63 to <4 x i32>*
store <4 x i32> %64, <4 x i32>* %65
%66 = getelementptr inbounds i32, i32* %1, i64 11
%67 = load i32, i32* %66
%68 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 4
store i32 %67, i32* %68
%69 = getelementptr inbounds i32, i32* %1, i64 4
%70 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 11
%71 = bitcast i32* %69 to <2 x i32>*
%72 = load <2 x i32>, <2 x i32>* %71
%73 = extractelement <2 x i32> %72, i64 0
store i32 %73, i32* %70
%74 = getelementptr inbounds i32, i32* %1, i64 10
%75 = load i32, i32* %74
%76 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 5
store i32 %75, i32* %76
%77 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 10
%78 = extractelement <2 x i32> %72, i64 1
store i32 %78, i32* %77
%79 = getelementptr inbounds i32, i32* %1, i64 9
%80 = load i32, i32* %79
%81 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 6
store i32 %80, i32* %81
%82 = getelementptr inbounds i32, i32* %1, i64 6
%83 = load i32, i32* %82
%84 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 9
store i32 %83, i32* %84
%85 = getelementptr inbounds i32, i32* %1, i64 8
%86 = load i32, i32* %85
%87 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 7
store i32 %86, i32* %87
%88 = getelementptr inbounds i32, i32* %1, i64 7
%89 = load i32, i32* %88
%90 = getelementptr inbounds [16 x i32], [16 x i32]* %6, i64 0, i64 8
store i32 %89, i32* %90
%91 = bitcast [16 x i32]* %5 to <4 x i32>*
%92 = load <4 x i32>, <4 x i32>* %91
%93 = xor <4 x i32> %51, %92
%94 = bitcast [16 x i32]* %7 to <4 x i32>*
store <4 x i32> %93, <4 x i32>* %94
%95 = load i32, i32* %34
%96 = xor i32 %67, %95
%97 = getelementptr inbounds [16 x i32], [16 x i32]* %7, i64 0, i64 4
store i32 %96, i32* %97
%98 = load i32, i32* %36
%99 = xor i32 %75, %98
%100 = getelementptr inbounds [16 x i32], [16 x i32]* %7, i64 0, i64 5
store i32 %99, i32* %100
%101 = extractelement <4 x i32> %40, i64 1
%102 = xor i32 %80, %101
%103 = getelementptr inbounds [16 x i32], [16 x i32]* %7, i64 0, i64 6
store i32 %102, i32* %103
%104 = extractelement <4 x i32> %40, i64 0
%105 = xor i32 %86, %104
%106 = getelementptr inbounds [16 x i32], [16 x i32]* %7, i64 0, i64 7
store i32 %105, i32* %106
%107 = extractelement <4 x i32> %44, i64 3
%108 = xor i32 %89, %107
%109 = getelementptr inbounds [16 x i32], [16 x i32]* %7, i64 0, i64 8
store i32 %108, i32* %109
%110 = getelementptr inbounds [16 x i32], [16 x i32]* %7, i64 0, i64 9
%111 = bitcast i32* %37 to <4 x i32>*
%112 = load <4 x i32>, <4 x i32>* %111
%113 = insertelement <4 x i32> poison, i32 %83, i64 0
%114 = shufflevector <2 x i32> %72, <2 x i32> poison, <4 x i32> <i32 1, i32 0, i32 undef, i32 undef>
%115 = shufflevector <4 x i32> %113, <4 x i32> %114, <4 x i32> <i32 0, i32 4, i32 5, i32 undef>
%116 = shufflevector <4 x i32> %115, <4 x i32> %62, <4 x i32> <i32 0, i32 1, i32 2, i32 7>
%117 = xor <4 x i32> %116, %112
%118 = bitcast i32* %110 to <4 x i32>*
store <4 x i32> %117, <4 x i32>* %118
%119 = load i32, i32* %23
%120 = extractelement <4 x i32> %62, i64 2
%121 = xor i32 %120, %119
%122 = getelementptr inbounds [16 x i32], [16 x i32]* %7, i64 0, i64 13
store i32 %121, i32* %122
%123 = load i32, i32* %22
%124 = load i32, i32* %56
%125 = xor i32 %124, %123
%126 = getelementptr inbounds [16 x i32], [16 x i32]* %7, i64 0, i64 14
store i32 %125, i32* %126
%127 = load i32, i32* %21
%128 = load i32, i32* %53
%129 = xor i32 %128, %127
%130 = getelementptr inbounds [16 x i32], [16 x i32]* %7, i64 0, i64 15
store i32 %129, i32* %130
%131 = call i32 @_comp128v23_internal(i32* %15, i32* %17, i32* %15)
%132 = call i32 @_comp128v23_internal(i32* %15, i32* %17, i32* %15)
%133 = call i32 @_comp128v23_internal(i32* %15, i32* %17, i32* %15)
%134 = call i32 @_comp128v23_internal(i32* %15, i32* %17, i32* %15)
%135 = call i32 @_comp128v23_internal(i32* %15, i32* %17, i32* %15)
%136 = call i32 @_comp128v23_internal(i32* %15, i32* %17, i32* %15)
%137 = call i32 @_comp128v23_internal(i32* %15, i32* %17, i32* %15)
%138 = call i32 @_comp128v23_internal(i32* %15, i32* %17, i32* %15)
%139 = bitcast i32* %63 to <4 x i32>*
%140 = load <4 x i32>, <4 x i32>* %139
%141 = shufflevector <4 x i32> %140, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%142 = bitcast [16 x i32]* %8 to <4 x i32>*
store <4 x i32> %141, <4 x i32>* %142
%143 = getelementptr inbounds [16 x i32], [16 x i32]* %8, i64 0, i64 4
%144 = bitcast i32* %90 to <4 x i32>*
%145 = load <4 x i32>, <4 x i32>* %144
%146 = shufflevector <4 x i32> %145, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%147 = bitcast i32* %143 to <4 x i32>*
store <4 x i32> %146, <4 x i32>* %147
%148 = getelementptr inbounds [16 x i32], [16 x i32]* %8, i64 0, i64 8
%149 = bitcast i32* %68 to <4 x i32>*
%150 = load <4 x i32>, <4 x i32>* %149
%151 = shufflevector <4 x i32> %150, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%152 = bitcast i32* %148 to <4 x i32>*
store <4 x i32> %151, <4 x i32>* %152
%153 = getelementptr inbounds [16 x i32], [16 x i32]* %8, i64 0, i64 12
%154 = bitcast [16 x i32]* %6 to <4 x i32>*
%155 = load <4 x i32>, <4 x i32>* %154
%156 = shufflevector <4 x i32> %155, <4 x i32> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>
%157 = bitcast i32* %153 to <4 x i32>*
store <4 x i32> %156, <4 x i32>* %157
%158 = call i32 @memmove(i32* %143, i32* %148, i32 8)
%159 = call i32 @memcpy(i32* %2, i32* %19, i32 4)
%160 = call i32 @memcpy(i32* %3, i32* %143, i32 8)
ret i32 0
}