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

/* Variables and functions */
int /*<<< orphan*/ E256(scalar_t__ *, scalar_t__ *, scalar_t__ *, scalar_t__ *,
                        scalar_t__ *);
void Compress256(const uint8_t *message_block, uint8_t *chaining_value,
                 uint64_t counter, const uint8_t salt[32]) {
  uint32_t pt[8], ct[8];
  uint32_t msg_u32[16];
  uint32_t salt_u32[8];
  uint32_t cnt[2];
  int i;
  for (i = 0; i < 8; i++)
    pt[i] = (((uint32_t *)(chaining_value + 4 * i))[0]);
  for (i = 0; i < 16; i++)
    msg_u32[i] = (((uint32_t *)(message_block + 4 * i))[0]);
  for (i = 0; i < 8; i++)
    salt_u32[i] = (((uint32_t *)(salt + 4 * i))[0]);
  cnt[1] = (uint32_t)(counter >> 32);
  cnt[0] = (uint32_t)(counter & 0xFFFFFFFFULL);
  E256(pt, ct, msg_u32, salt_u32, cnt);
  for (i = 0; i < 8; i++)
    pt[i] ^= ct[i];
  for (i = 0; i < 8; i++)
    ((uint32_t *)(chaining_value + i * 4))[0] = pt[i];
  return;
}


x86 assembly (clang, -O0):
<Compress256>:
push   %rbp
mov    %rsp,%rbp
sub    $0x180,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x0,-0x174(%rbp)
cmpl   $0x8,-0x174(%rbp)
jge    1175 <Compress256+0x65>
mov    -0x10(%rbp),%rax
mov    -0x174(%rbp),%ecx
shl    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%rcx
movslq -0x174(%rbp),%rax
mov    %rcx,-0x60(%rbp,%rax,8)
mov    -0x174(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x174(%rbp)
jmp    1134 <Compress256+0x24>
movl   $0x0,-0x174(%rbp)
cmpl   $0x10,-0x174(%rbp)
jge    11c3 <Compress256+0xb3>
mov    -0x8(%rbp),%rax
mov    -0x174(%rbp),%ecx
shl    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%rcx
movslq -0x174(%rbp),%rax
mov    %rcx,-0x120(%rbp,%rax,8)
ff
mov    -0x174(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x174(%rbp)
jmp    117f <Compress256+0x6f>
movl   $0x0,-0x174(%rbp)
cmpl   $0x8,-0x174(%rbp)
jge    1211 <Compress256+0x101>
mov    -0x20(%rbp),%rax
mov    -0x174(%rbp),%ecx
shl    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%rcx
movslq -0x174(%rbp),%rax
mov    %rcx,-0x160(%rbp,%rax,8)
ff
mov    -0x174(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x174(%rbp)
jmp    11cd <Compress256+0xbd>
mov    -0x14(%rbp),%eax
mov    $0x20,%ecx
sar    %cl,%eax
cltq
mov    %rax,-0x168(%rbp)
movslq -0x14(%rbp),%rax
movabs $0xffffffff,%rcx
and    %rcx,%rax
mov    %rax,-0x170(%rbp)
lea    -0x60(%rbp),%rdi
lea    -0xa0(%rbp),%rsi
lea    -0x120(%rbp),%rdx
lea    -0x160(%rbp),%rcx
lea    -0x170(%rbp),%r8
call   1030 <E256@plt>
movl   $0x0,-0x174(%rbp)
cmpl   $0x8,-0x174(%rbp)
jge    12ac <Compress256+0x19c>
movslq -0x174(%rbp),%rax
mov    -0xa0(%rbp,%rax,8),%rcx
ff
movslq -0x174(%rbp),%rax
xor    -0x60(%rbp,%rax,8),%rcx
mov    %rcx,-0x60(%rbp,%rax,8)
mov    -0x174(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x174(%rbp)
jmp    126b <Compress256+0x15b>
movl   $0x0,-0x174(%rbp)
cmpl   $0x8,-0x174(%rbp)
jge    12f7 <Compress256+0x1e7>
movslq -0x174(%rbp),%rax
mov    -0x60(%rbp,%rax,8),%rdx
mov    -0x10(%rbp),%rax
mov    -0x174(%rbp),%ecx
shl    $0x2,%ecx
movslq %ecx,%rcx
mov    %rdx,(%rax,%rcx,4)
mov    -0x174(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x174(%rbp)
jmp    12b6 <Compress256+0x1a6>
add    $0x180,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Compress256>:
push   %rbx
sub    $0x150,%rsp
mov    %rsi,%rbx
mov    (%rsi),%rax
mov    %rax,(%rsp)
mov    0x10(%rsi),%rax
mov    %rax,0x8(%rsp)
mov    0x20(%rsi),%rax
mov    %rax,0x10(%rsp)
mov    0x30(%rsi),%rax
mov    %rax,0x18(%rsp)
mov    0x40(%rsi),%rax
mov    %rax,0x20(%rsp)
mov    0x50(%rsi),%rax
mov    %rax,0x28(%rsp)
mov    0x60(%rsi),%rax
mov    %rax,0x30(%rsp)
mov    0x70(%rsi),%rax
mov    %rax,0x38(%rsp)
mov    (%rdi),%rax
mov    %rax,0xc0(%rsp)
mov    0x10(%rdi),%rax
mov    %rax,0xc8(%rsp)
mov    0x20(%rdi),%rax
mov    %rax,0xd0(%rsp)
mov    0x30(%rdi),%rax
mov    %rax,0xd8(%rsp)
mov    0x40(%rdi),%rax
mov    %rax,0xe0(%rsp)
mov    0x50(%rdi),%rax
mov    %rax,0xe8(%rsp)
mov    0x60(%rdi),%rax
mov    %rax,0xf0(%rsp)
mov    0x70(%rdi),%rax
mov    %rax,0xf8(%rsp)
mov    0x80(%rdi),%rax
mov    %rax,0x100(%rsp)
mov    0x90(%rdi),%rax
mov    %rax,0x108(%rsp)
mov    0xa0(%rdi),%rax
mov    %rax,0x110(%rsp)
mov    0xb0(%rdi),%rax
mov    %rax,0x118(%rsp)
mov    0xc0(%rdi),%rax
mov    %rax,0x120(%rsp)
mov    0xd0(%rdi),%rax
mov    %rax,0x128(%rsp)
mov    0xe0(%rdi),%rax
mov    %rax,0x130(%rsp)
mov    0xf0(%rdi),%rax
mov    %rax,0x138(%rsp)
mov    (%rcx),%rax
mov    %rax,0x40(%rsp)
mov    0x10(%rcx),%rax
mov    %rax,0x48(%rsp)
mov    0x20(%rcx),%rax
mov    %rax,0x50(%rsp)
mov    0x30(%rcx),%rax
mov    %rax,0x58(%rsp)
mov    0x40(%rcx),%rax
mov    %rax,0x60(%rsp)
mov    0x50(%rcx),%rax
mov    %rax,0x68(%rsp)
mov    0x60(%rcx),%rax
mov    %rax,0x70(%rsp)
mov    0x70(%rcx),%rax
mov    %rax,0x78(%rsp)
mov    %edx,%eax
mov    %rax,0x140(%rsp)
mov    %rsp,%rdi
lea    0x80(%rsp),%rsi
lea    0xc0(%rsp),%rdx
lea    0x40(%rsp),%rcx
lea    0x140(%rsp),%r8
call   1030 <E256@plt>
mov    (%rsp),%r8
mov    0x8(%rsp),%r9
xor    0x80(%rsp),%r8
xor    0x88(%rsp),%r9
mov    0x10(%rsp),%r10
xor    0x90(%rsp),%r10
mov    0x18(%rsp),%rsi
xor    0x98(%rsp),%rsi
mov    0x20(%rsp),%rdi
xor    0xa0(%rsp),%rdi
mov    0x28(%rsp),%rax
xor    0xa8(%rsp),%rax
mov    0x30(%rsp),%rcx
xor    0xb0(%rsp),%rcx
mov    0x38(%rsp),%rdx
xor    0xb8(%rsp),%rdx
mov    %r8,(%rbx)
mov    %r9,0x10(%rbx)
mov    %r10,0x20(%rbx)
mov    %rsi,0x30(%rbx)
mov    %rdi,0x40(%rbx)
mov    %rax,0x50(%rbx)
mov    %rcx,0x60(%rbx)
mov    %rdx,0x70(%rbx)
add    $0x150,%rsp
pop    %rbx
ret

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

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