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

/* Variables and functions */
int load32(int /*<<< orphan*/ const *);
int /*<<< orphan*/ store32(int /*<<< orphan*/ *, int);
void belt_init(uint8_t *ks, const uint8_t *k, size_t klen) {
  size_t i;
  switch (klen) {
  case 16:
    for (i = 0; i < 16; ++i) {
      ks[i + 0] = k[i];
      ks[i + 16] = k[i];
    }
    break;
  case 24:
    for (i = 0; i < 24; ++i) {
      ks[i] = k[i];
    }
    store32(ks + 24, load32(k + 0) ^ load32(k + 4) ^ load32(k + 8));
    store32(ks + 28, load32(k + 12) ^ load32(k + 16) ^ load32(k + 20));
    break;
  case 32:
    for (i = 0; i < 32; ++i) {
      ks[i] = k[i];
    }
    break;
  }
}


x86 assembly (clang, -O0):
<belt_init>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
sub    $0x10,%rax
je     1171 <belt_init+0x51>
jmp    114b <belt_init+0x2b>
mov    -0x28(%rbp),%rax
sub    $0x18,%rax
je     11c7 <belt_init+0xa7>
jmp    115e <belt_init+0x3e>
mov    -0x28(%rbp),%rax
sub    $0x20,%rax
je     129e <belt_init+0x17e>
jmp    12dd <belt_init+0x1bd>
movq   $0x0,-0x20(%rbp)
cmpq   $0x10,-0x20(%rbp)
jae    11c2 <belt_init+0xa2>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %edx,0x40(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1179 <belt_init+0x59>
jmp    12dd <belt_init+0x1bd>
movq   $0x0,-0x20(%rbp)
cmpq   $0x18,-0x20(%rbp)
jae    1201 <belt_init+0xe1>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    11cf <belt_init+0xaf>
mov    -0x8(%rbp),%rax
add    $0x60,%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <load32@plt>
mov    %eax,-0x48(%rbp)
mov    -0x10(%rbp),%rdi
add    $0x10,%rdi
call   1040 <load32@plt>
mov    %eax,%ecx
mov    -0x48(%rbp),%eax
xor    %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x10(%rbp),%rdi
add    $0x20,%rdi
call   1040 <load32@plt>
mov    -0x44(%rbp),%esi
mov    -0x40(%rbp),%rdi
xor    %eax,%esi
call   1030 <store32@plt>
mov    -0x8(%rbp),%rax
add    $0x70,%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rdi
add    $0x30,%rdi
call   1040 <load32@plt>
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rdi
add    $0x40,%rdi
call   1040 <load32@plt>
mov    %eax,%ecx
mov    -0x38(%rbp),%eax
xor    %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rdi
add    $0x50,%rdi
call   1040 <load32@plt>
mov    -0x34(%rbp),%esi
mov    -0x30(%rbp),%rdi
xor    %eax,%esi
call   1030 <store32@plt>
jmp    12dd <belt_init+0x1bd>
movq   $0x0,-0x20(%rbp)
cmpq   $0x20,-0x20(%rbp)
jae    12d8 <belt_init+0x1b8>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    12a6 <belt_init+0x186>
jmp    12dd <belt_init+0x1bd>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<belt_init>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdi,%rbx
cmp    $0x10,%rdx
je     120f <belt_init+0xef>
cmp    $0x18,%rdx
je     12db <belt_init+0x1bb>
cmp    $0x20,%rdx
jne    12cc <belt_init+0x1ac>
mov    (%rsi),%eax
mov    %eax,(%rbx)
mov    0x4(%rsi),%eax
mov    %eax,0x4(%rbx)
mov    0x8(%rsi),%eax
mov    %eax,0x8(%rbx)
mov    0xc(%rsi),%eax
mov    %eax,0xc(%rbx)
mov    0x10(%rsi),%eax
mov    %eax,0x10(%rbx)
mov    0x14(%rsi),%eax
mov    %eax,0x14(%rbx)
mov    0x18(%rsi),%eax
mov    %eax,0x18(%rbx)
mov    0x1c(%rsi),%eax
mov    %eax,0x1c(%rbx)
mov    0x20(%rsi),%eax
mov    %eax,0x20(%rbx)
mov    0x24(%rsi),%eax
mov    %eax,0x24(%rbx)
mov    0x28(%rsi),%eax
mov    %eax,0x28(%rbx)
mov    0x2c(%rsi),%eax
mov    %eax,0x2c(%rbx)
mov    0x30(%rsi),%eax
mov    %eax,0x30(%rbx)
mov    0x34(%rsi),%eax
mov    %eax,0x34(%rbx)
mov    0x38(%rsi),%eax
mov    %eax,0x38(%rbx)
mov    0x3c(%rsi),%eax
mov    %eax,0x3c(%rbx)
mov    0x40(%rsi),%eax
mov    %eax,0x40(%rbx)
mov    0x44(%rsi),%eax
mov    %eax,0x44(%rbx)
mov    0x48(%rsi),%eax
mov    %eax,0x48(%rbx)
mov    0x4c(%rsi),%eax
mov    %eax,0x4c(%rbx)
mov    0x50(%rsi),%eax
mov    %eax,0x50(%rbx)
mov    0x54(%rsi),%eax
mov    %eax,0x54(%rbx)
mov    0x58(%rsi),%eax
mov    %eax,0x58(%rbx)
mov    0x5c(%rsi),%eax
mov    %eax,0x5c(%rbx)
mov    0x60(%rsi),%eax
mov    %eax,0x60(%rbx)
mov    0x64(%rsi),%eax
mov    %eax,0x64(%rbx)
mov    0x68(%rsi),%eax
mov    %eax,0x68(%rbx)
mov    0x6c(%rsi),%eax
mov    %eax,0x6c(%rbx)
mov    0x70(%rsi),%eax
mov    %eax,0x70(%rbx)
mov    0x74(%rsi),%eax
mov    %eax,0x74(%rbx)
mov    0x78(%rsi),%eax
mov    %eax,0x78(%rbx)
mov    0x7c(%rsi),%eax
jmp    12c9 <belt_init+0x1a9>
mov    (%rsi),%eax
mov    %eax,(%rbx)
mov    (%rsi),%eax
mov    %eax,0x40(%rbx)
mov    0x4(%rsi),%eax
mov    %eax,0x4(%rbx)
mov    0x4(%rsi),%eax
mov    %eax,0x44(%rbx)
mov    0x8(%rsi),%eax
mov    %eax,0x8(%rbx)
mov    0x8(%rsi),%eax
mov    %eax,0x48(%rbx)
mov    0xc(%rsi),%eax
mov    %eax,0xc(%rbx)
mov    0xc(%rsi),%eax
mov    %eax,0x4c(%rbx)
mov    0x10(%rsi),%eax
mov    %eax,0x10(%rbx)
mov    0x10(%rsi),%eax
mov    %eax,0x50(%rbx)
mov    0x14(%rsi),%eax
mov    %eax,0x14(%rbx)
mov    0x14(%rsi),%eax
mov    %eax,0x54(%rbx)
mov    0x18(%rsi),%eax
mov    %eax,0x18(%rbx)
mov    0x18(%rsi),%eax
mov    %eax,0x58(%rbx)
mov    0x1c(%rsi),%eax
mov    %eax,0x1c(%rbx)
mov    0x1c(%rsi),%eax
mov    %eax,0x5c(%rbx)
mov    0x20(%rsi),%eax
mov    %eax,0x20(%rbx)
mov    0x20(%rsi),%eax
mov    %eax,0x60(%rbx)
mov    0x24(%rsi),%eax
mov    %eax,0x24(%rbx)
mov    0x24(%rsi),%eax
mov    %eax,0x64(%rbx)
mov    0x28(%rsi),%eax
mov    %eax,0x28(%rbx)
mov    0x28(%rsi),%eax
mov    %eax,0x68(%rbx)
mov    0x2c(%rsi),%eax
mov    %eax,0x2c(%rbx)
mov    0x2c(%rsi),%eax
mov    %eax,0x6c(%rbx)
mov    0x30(%rsi),%eax
mov    %eax,0x30(%rbx)
mov    0x30(%rsi),%eax
mov    %eax,0x70(%rbx)
mov    0x34(%rsi),%eax
mov    %eax,0x34(%rbx)
mov    0x34(%rsi),%eax
mov    %eax,0x74(%rbx)
mov    0x38(%rsi),%eax
mov    %eax,0x38(%rbx)
mov    0x38(%rsi),%eax
mov    %eax,0x78(%rbx)
mov    0x3c(%rsi),%eax
mov    %eax,0x3c(%rbx)
mov    0x3c(%rsi),%eax
mov    %eax,0x7c(%rbx)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    (%rsi),%eax
mov    %eax,(%rbx)
mov    0x4(%rsi),%eax
mov    %eax,0x4(%rbx)
mov    0x8(%rsi),%eax
mov    %eax,0x8(%rbx)
mov    0xc(%rsi),%eax
mov    %eax,0xc(%rbx)
lea    0x10(%rsi),%rax
mov    %rax,0x10(%rsp)
mov    0x10(%rsi),%eax
mov    %eax,0x10(%rbx)
mov    0x14(%rsi),%eax
mov    %eax,0x14(%rbx)
mov    0x18(%rsi),%eax
mov    %eax,0x18(%rbx)
mov    0x1c(%rsi),%eax
mov    %eax,0x1c(%rbx)
lea    0x20(%rsi),%r13
mov    0x20(%rsi),%eax
mov    %eax,0x20(%rbx)
mov    0x24(%rsi),%eax
mov    %eax,0x24(%rbx)
mov    0x28(%rsi),%eax
mov    %eax,0x28(%rbx)
mov    0x2c(%rsi),%eax
mov    %eax,0x2c(%rbx)
lea    0x30(%rsi),%rbp
mov    0x30(%rsi),%eax
mov    %eax,0x30(%rbx)
mov    0x34(%rsi),%eax
mov    %eax,0x34(%rbx)
mov    0x38(%rsi),%eax
mov    %eax,0x38(%rbx)
mov    0x3c(%rsi),%eax
mov    %eax,0x3c(%rbx)
lea    0x40(%rsi),%rax
mov    %rax,0x8(%rsp)
mov    0x40(%rsi),%eax
mov    %eax,0x40(%rbx)
mov    0x44(%rsi),%eax
mov    %eax,0x44(%rbx)
mov    0x48(%rsi),%eax
mov    %eax,0x48(%rbx)
mov    0x4c(%rsi),%eax
mov    %eax,0x4c(%rbx)
lea    0x50(%rsi),%r12
mov    0x50(%rsi),%eax
mov    %eax,0x50(%rbx)
mov    0x54(%rsi),%eax
mov    %eax,0x54(%rbx)
mov    0x58(%rsi),%eax
mov    %eax,0x58(%rbx)
mov    0x5c(%rsi),%eax
mov    %eax,0x5c(%rbx)
lea    0x60(%rbx),%r14
mov    %rsi,%rdi
call   1040 <load32@plt>
mov    %eax,%r15d
mov    0x10(%rsp),%rdi
call   1040 <load32@plt>
xor    %eax,%r15d
mov    %r13,%rdi
call   1040 <load32@plt>
xor    %eax,%r15d
mov    %r14,%rdi
mov    %r15d,%esi
call   1030 <store32@plt>
add    $0x70,%rbx
mov    %rbp,%rdi
call   1040 <load32@plt>
mov    %eax,%ebp
mov    0x8(%rsp),%rdi
call   1040 <load32@plt>
xor    %eax,%ebp
mov    %r12,%rdi
call   1040 <load32@plt>
xor    %eax,%ebp
mov    %rbx,%rdi
mov    %ebp,%esi
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <store32@plt>

LLVM IR (-O0):
define void @belt_init(i32* %0, i32* %1, i64 %2) {
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i64
%7 = alloca i64
store i32* %0, i32** %4
store i32* %1, i32** %5
store i64 %2, i64* %6
%8 = load i64, i64* %6
switch i64 %8, label %94 [
i64 16, label %9
i64 24, label %34
i64 32, label %78
]
9: ; preds = %3
store i64 0, i64* %7
br label %10
10: ; preds = %30, %9
%11 = load i64, i64* %7
%12 = icmp ult i64 %11, 16
br i1 %12, label %13, label %33
13: ; preds = %10
%14 = load i32*, i32** %5
%15 = load i64, i64* %7
%16 = getelementptr inbounds i32, i32* %14, i64 %15
%17 = load i32, i32* %16
%18 = load i32*, i32** %4
%19 = load i64, i64* %7
%20 = add i64 %19, 0
%21 = getelementptr inbounds i32, i32* %18, i64 %20
store i32 %17, i32* %21
%22 = load i32*, i32** %5
%23 = load i64, i64* %7
%24 = getelementptr inbounds i32, i32* %22, i64 %23
%25 = load i32, i32* %24
%26 = load i32*, i32** %4
%27 = load i64, i64* %7
%28 = add i64 %27, 16
%29 = getelementptr inbounds i32, i32* %26, i64 %28
store i32 %25, i32* %29
br label %30
30: ; preds = %13
%31 = load i64, i64* %7
%32 = add i64 %31, 1
store i64 %32, i64* %7
br label %10
33: ; preds = %10
br label %94
34: ; preds = %3
store i64 0, i64* %7
br label %35
35: ; preds = %46, %34
%36 = load i64, i64* %7
%37 = icmp ult i64 %36, 24
br i1 %37, label %38, label %49
38: ; preds = %35
%39 = load i32*, i32** %5
%40 = load i64, i64* %7
%41 = getelementptr inbounds i32, i32* %39, i64 %40
%42 = load i32, i32* %41
%43 = load i32*, i32** %4
%44 = load i64, i64* %7
%45 = getelementptr inbounds i32, i32* %43, i64 %44
store i32 %42, i32* %45
br label %46
46: ; preds = %38
%47 = load i64, i64* %7
%48 = add i64 %47, 1
store i64 %48, i64* %7
br label %35
49: ; preds = %35
%50 = load i32*, i32** %4
%51 = getelementptr inbounds i32, i32* %50, i64 24
%52 = load i32*, i32** %5
%53 = getelementptr inbounds i32, i32* %52, i64 0
%54 = call i32 @load32(i32* %53)
%55 = load i32*, i32** %5
%56 = getelementptr inbounds i32, i32* %55, i64 4
%57 = call i32 @load32(i32* %56)
%58 = xor i32 %54, %57
%59 = load i32*, i32** %5
%60 = getelementptr inbounds i32, i32* %59, i64 8
%61 = call i32 @load32(i32* %60)
%62 = xor i32 %58, %61
%63 = call i32 @store32(i32* %51, i32 %62)
%64 = load i32*, i32** %4
%65 = getelementptr inbounds i32, i32* %64, i64 28
%66 = load i32*, i32** %5
%67 = getelementptr inbounds i32, i32* %66, i64 12
%68 = call i32 @load32(i32* %67)
%69 = load i32*, i32** %5
%70 = getelementptr inbounds i32, i32* %69, i64 16
%71 = call i32 @load32(i32* %70)
%72 = xor i32 %68, %71
%73 = load i32*, i32** %5
%74 = getelementptr inbounds i32, i32* %73, i64 20
%75 = call i32 @load32(i32* %74)
%76 = xor i32 %72, %75
%77 = call i32 @store32(i32* %65, i32 %76)
br label %94
78: ; preds = %3
store i64 0, i64* %7
br label %79
79: ; preds = %90, %78
%80 = load i64, i64* %7
%81 = icmp ult i64 %80, 32
br i1 %81, label %82, label %93
82: ; preds = %79
%83 = load i32*, i32** %5
%84 = load i64, i64* %7
%85 = getelementptr inbounds i32, i32* %83, i64 %84
%86 = load i32, i32* %85
%87 = load i32*, i32** %4
%88 = load i64, i64* %7
%89 = getelementptr inbounds i32, i32* %87, i64 %88
store i32 %86, i32* %89
br label %90
90: ; preds = %82
%91 = load i64, i64* %7
%92 = add i64 %91, 1
store i64 %92, i64* %7
br label %79
93: ; preds = %79
br label %94
94: ; preds = %3, %93, %49, %33
ret void
}

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