#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 scalar_t__ uint64_t;

/* Variables and functions */
int /*<<< orphan*/ threefish_mix(int, int, int const **, scalar_t__ *,
                                 scalar_t__ *);
int /*<<< orphan*/ threefish_subkey(int, int, scalar_t__ *, scalar_t__ *,
                                    scalar_t__ *);
void threefish_encrypt_internal(int rounds, int words, const int **rot,
                                const int *permutations, uint64_t *key,
                                uint64_t *tweak, uint64_t *ciphertext) {
  uint64_t subkey[words];
  uint64_t cipheralt[words];
  for (int nr = 0; nr < rounds; nr++) {
    if (nr % 4 == 0) {
      threefish_subkey(nr / 4, words, key, tweak, subkey);
      for (int nw = 0; nw < words; nw++)
        ciphertext[nw] += subkey[nw];
    }
    for (int nw = 0; nw < words; nw += 2)
      threefish_mix(nr, nw / 2, rot, &ciphertext[nw], &cipheralt[nw]);
    for (int nw = 0; nw < words; nw++)
      ciphertext[nw] = cipheralt[permutations[nw]];
  }
  threefish_subkey(rounds / 4, words, key, tweak, subkey);
  for (int nw = 0; nw < words; nw++)
    ciphertext[nw] += subkey[nw];
}


x86 assembly (clang, -O0):
<threefish_encrypt_internal>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
mov    -0x8(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x30(%rbp)
lea    0xf(,%rax,8),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x68(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%eax
lea    0xf(,%rax,8),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x60(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    12bf <threefish_encrypt_internal+0x19f>
mov    -0x44(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1213 <threefish_encrypt_internal+0xf3>
mov    -0x68(%rbp),%r8
mov    -0x44(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %eax,%edi
mov    -0x8(%rbp),%esi
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rcx
call   1040 <threefish_subkey@plt>
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    120e <threefish_encrypt_internal+0xee>
mov    -0x68(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    0x10(%rbp),%rax
movslq -0x48(%rbp),%rcx
add    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    11d8 <threefish_encrypt_internal+0xb8>
jmp    1213 <threefish_encrypt_internal+0xf3>
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    126b <threefish_encrypt_internal+0x14b>
mov    -0x60(%rbp),%r8
mov    -0x44(%rbp),%edi
mov    -0x4c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%esi
mov    -0x10(%rbp),%rdx
mov    0x10(%rbp),%rcx
movslq -0x4c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rcx
movslq -0x4c(%rbp),%rax
shl    $0x3,%rax
add    %rax,%r8
call   1030 <threefish_mix@plt>
mov    -0x4c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x4c(%rbp)
jmp    121a <threefish_encrypt_internal+0xfa>
movl   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    12ac <threefish_encrypt_internal+0x18c>
mov    -0x60(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq -0x50(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
mov    (%rax,%rcx,8),%rdx
mov    0x10(%rbp),%rax
movslq -0x50(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1272 <threefish_encrypt_internal+0x152>
jmp    12b1 <threefish_encrypt_internal+0x191>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1190 <threefish_encrypt_internal+0x70>
mov    -0x68(%rbp),%r8
mov    -0x4(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %eax,%edi
mov    -0x8(%rbp),%esi
mov    -0x20(%rbp),%rdx
mov    -0x28(%rbp),%rcx
call   1040 <threefish_subkey@plt>
movl   $0x0,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    131d <threefish_encrypt_internal+0x1fd>
mov    -0x68(%rbp),%rax
movslq -0x54(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    0x10(%rbp),%rax
movslq -0x54(%rbp),%rcx
add    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    12e7 <threefish_encrypt_internal+0x1c7>
mov    -0x30(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<threefish_encrypt_internal>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x78,%rsp
mov    %r9,-0x50(%rbp)
mov    %r8,-0x48(%rbp)
mov    %rcx,-0x40(%rbp)
mov    %edi,%r9d
mov    0x10(%rbp),%r14
mov    %esi,%r12d
mov    %rsp,%r13
lea    0xf(,%r12,8),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r13
mov    %r13,%rsp
mov    %rsp,%r11
sub    %rax,%r11
mov    %r11,%rsp
test   %edi,%edi
mov    %esi,-0x2c(%rbp)
jle    141f <threefish_encrypt_internal+0x2ff>
mov    %rdx,%r8
mov    %r12d,%eax
and    $0xfffffffc,%eax
mov    %rax,-0x38(%rbp)
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x78(%rbp)
mov    %rax,%rcx
shr    $0x2,%rcx
add    $0x1,%rcx
lea    -0x1(%r12),%rax
mov    %rax,-0x80(%rbp)
mov    %rcx,%rax
mov    %rcx,-0x70(%rbp)
and    $0xfffffffffffffffe,%rcx
mov    %rcx,-0x68(%rbp)
mov    %r12d,%eax
and    $0x3,%eax
mov    %rax,-0x88(%rbp)
xor    %edi,%edi
mov    %rdx,-0x60(%rbp)
mov    %r11,-0x58(%rbp)
mov    %r12,-0xa0(%rbp)
mov    %r13,-0x98(%rbp)
mov    %r9,-0x90(%rbp)
jmp    11ec <threefish_encrypt_internal+0xcc>
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%edi
cmp    %r9d,%edi
je     141f <threefish_encrypt_internal+0x2ff>
test   $0x3,%dil
mov    %rdi,%r15
jne    1302 <threefish_encrypt_internal+0x1e2>
shr    $0x2,%edi
mov    -0x48(%rbp),%rdx
mov    -0x50(%rbp),%rcx
mov    %r13,%r8
mov    %r9,%rbx
call   1040 <threefish_subkey@plt>
mov    -0x58(%rbp),%r11
mov    %r15,%rdi
mov    %rbx,%r9
mov    -0x60(%rbp),%r8
mov    -0x2c(%rbp),%esi
test   %esi,%esi
jle    11e0 <threefish_encrypt_internal+0xc0>
cmp    $0x4,%esi
jae    1230 <threefish_encrypt_internal+0x110>
xor    %eax,%eax
jmp    12f0 <threefish_encrypt_internal+0x1d0>
cmpq   $0x0,-0x78(%rbp)
je     140a <threefish_encrypt_internal+0x2ea>
mov    -0x68(%rbp),%rcx
xor    %eax,%eax
mov    -0x38(%rbp),%rdx
cs nopw 0x0(%rax,%rax,1)
nop
movdqu (%r14,%rax,8),%xmm0
movdqu 0x10(%r14,%rax,8),%xmm1
movdqu 0x20(%r14,%rax,8),%xmm2
movdqu 0x30(%r14,%rax,8),%xmm3
paddq  0x0(%r13,%rax,8),%xmm0
paddq  0x10(%r13,%rax,8),%xmm1
movdqu %xmm0,(%r14,%rax,8)
movdqu %xmm1,0x10(%r14,%rax,8)
paddq  0x20(%r13,%rax,8),%xmm2
paddq  0x30(%r13,%rax,8),%xmm3
movdqu %xmm2,0x20(%r14,%rax,8)
movdqu %xmm3,0x30(%r14,%rax,8)
add    $0x8,%rax
add    $0xfffffffffffffffe,%rcx
jne    1250 <threefish_encrypt_internal+0x130>
testb  $0x1,-0x70(%rbp)
je     12da <threefish_encrypt_internal+0x1ba>
movdqu (%r14,%rax,8),%xmm0
movdqu 0x10(%r14,%rax,8),%xmm1
paddq  0x0(%r13,%rax,8),%xmm0
paddq  0x10(%r13,%rax,8),%xmm1
movdqu %xmm0,(%r14,%rax,8)
movdqu %xmm1,0x10(%r14,%rax,8)
mov    %rdx,%rax
cmp    %r12,%rdx
je     1302 <threefish_encrypt_internal+0x1e2>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    0x0(%r13,%rax,8),%rcx
add    %rcx,(%r14,%rax,8)
add    $0x1,%rax
cmp    %rax,%r12
jne    12f0 <threefish_encrypt_internal+0x1d0>
test   %esi,%esi
jle    11e0 <threefish_encrypt_internal+0xc0>
xor    %r13d,%r13d
mov    %r11,%r12
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %ebx,%esi
mov    %r8,%rdx
mov    %r14,%rcx
mov    %r12,%r8
call   1030 <threefish_mix@plt>
mov    %r15,%rdi
mov    -0x60(%rbp),%r8
mov    -0x2c(%rbp),%esi
add    $0x1,%ebx
add    $0x10,%r12
add    $0x10,%r14
add    $0x2,%r13d
cmp    %esi,%r13d
jl     1320 <threefish_encrypt_internal+0x200>
test   %esi,%esi
mov    0x10(%rbp),%r14
mov    -0xa0(%rbp),%r12
mov    -0x98(%rbp),%r13
mov    -0x90(%rbp),%r9
mov    -0x88(%rbp),%r10
mov    -0x58(%rbp),%r11
jle    11e0 <threefish_encrypt_internal+0xc0>
cmpq   $0x3,-0x80(%rbp)
jae    1385 <threefish_encrypt_internal+0x265>
xor    %eax,%eax
jmp    13cf <threefish_encrypt_internal+0x2af>
xor    %eax,%eax
mov    -0x40(%rbp),%rdx
mov    -0x38(%rbp),%rbx
nop
movslq (%rdx,%rax,4),%rcx
mov    (%r11,%rcx,8),%rcx
mov    %rcx,(%r14,%rax,8)
movslq 0x4(%rdx,%rax,4),%rcx
mov    (%r11,%rcx,8),%rcx
mov    %rcx,0x8(%r14,%rax,8)
movslq 0x8(%rdx,%rax,4),%rcx
mov    (%r11,%rcx,8),%rcx
mov    %rcx,0x10(%r14,%rax,8)
movslq 0xc(%rdx,%rax,4),%rcx
mov    (%r11,%rcx,8),%rcx
mov    %rcx,0x18(%r14,%rax,8)
add    $0x4,%rax
cmp    %rax,%rbx
jne    1390 <threefish_encrypt_internal+0x270>
test   %r10,%r10
je     11e0 <threefish_encrypt_internal+0xc0>
lea    (%r14,%rax,8),%rcx
mov    -0x40(%rbp),%rdx
lea    (%rdx,%rax,4),%rax
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
movslq (%rax,%rdx,4),%rbx
mov    (%r11,%rbx,8),%rbx
mov    %rbx,(%rcx,%rdx,8)
add    $0x1,%rdx
cmp    %rdx,%r10
jne    13f0 <threefish_encrypt_internal+0x2d0>
jmp    11e0 <threefish_encrypt_internal+0xc0>
xor    %eax,%eax
mov    -0x38(%rbp),%rdx
testb  $0x1,-0x70(%rbp)
jne    12b2 <threefish_encrypt_internal+0x192>
jmp    12da <threefish_encrypt_internal+0x1ba>
lea    0x3(%r9),%edi
test   %r9d,%r9d
cmovns %r9d,%edi
sar    $0x2,%edi
mov    -0x48(%rbp),%rdx
mov    -0x50(%rbp),%rcx
mov    %r13,%r8
call   1040 <threefish_subkey@plt>
mov    -0x2c(%rbp),%eax
test   %eax,%eax
jle    1522 <threefish_encrypt_internal+0x402>
cmp    $0x4,%eax
jae    1454 <threefish_encrypt_internal+0x334>
xor    %eax,%eax
jmp    1510 <threefish_encrypt_internal+0x3f0>
mov    %r12d,%eax
and    $0xfffffffc,%eax
lea    -0x4(%rax),%rcx
mov    %rcx,%rdx
shr    $0x2,%rdx
add    $0x1,%rdx
test   %rcx,%rcx
je     1531 <threefish_encrypt_internal+0x411>
mov    %rdx,%rsi
and    $0xfffffffffffffffe,%rsi
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movdqu (%r14,%rcx,8),%xmm0
movdqu 0x10(%r14,%rcx,8),%xmm1
movdqu 0x20(%r14,%rcx,8),%xmm2
movdqu 0x30(%r14,%rcx,8),%xmm3
paddq  0x0(%r13,%rcx,8),%xmm0
paddq  0x10(%r13,%rcx,8),%xmm1
movdqu %xmm0,(%r14,%rcx,8)
movdqu %xmm1,0x10(%r14,%rcx,8)
paddq  0x20(%r13,%rcx,8),%xmm2
paddq  0x30(%r13,%rcx,8),%xmm3
movdqu %xmm2,0x20(%r14,%rcx,8)
movdqu %xmm3,0x30(%r14,%rcx,8)
add    $0x8,%rcx
add    $0xfffffffffffffffe,%rsi
jne    1480 <threefish_encrypt_internal+0x360>
test   $0x1,%dl
je     1509 <threefish_encrypt_internal+0x3e9>
movdqu (%r14,%rcx,8),%xmm0
movdqu 0x10(%r14,%rcx,8),%xmm1
paddq  0x0(%r13,%rcx,8),%xmm0
paddq  0x10(%r13,%rcx,8),%xmm1
movdqu %xmm0,(%r14,%rcx,8)
movdqu %xmm1,0x10(%r14,%rcx,8)
cmp    %r12,%rax
je     1522 <threefish_encrypt_internal+0x402>
xchg   %ax,%ax
mov    0x0(%r13,%rax,8),%rcx
add    %rcx,(%r14,%rax,8)
add    $0x1,%rax
cmp    %rax,%r12
jne    1510 <threefish_encrypt_internal+0x3f0>
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %ecx,%ecx
test   $0x1,%dl
jne    14e1 <threefish_encrypt_internal+0x3c1>
jmp    1509 <threefish_encrypt_internal+0x3e9>

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

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