#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 uint64_t;
typedef scalar_t__ uint32_t;
typedef int uint16_t;

/* Variables and functions */
int _kasumi(int, int *, int *, int *, int *, int *, int *, int *, int *);
int /*<<< orphan*/ _kasumi_key_expand(int const *, int *, int *, int *, int *,
                                      int *, int *, int *, int *);
int /*<<< orphan*/ osmo_64pack2pbit(int, int *);
void _kasumi_kgcore(uint8_t CA, uint8_t cb, uint32_t cc, uint8_t cd,
                    const uint8_t *ck, uint8_t *co, uint16_t cl) {
  uint16_t KLi1[8], KLi2[8], KOi1[8], KOi2[8], KOi3[8], KIi1[8], KIi2[8],
      KIi3[8], i;
  uint64_t A = ((uint64_t)cc) << 32, BLK = 0, _ca = ((uint64_t)CA << 16);
  A |= _ca;
  _ca = (uint64_t)((cb << 3) | (cd << 2)) << 24;
  A |= _ca;
  uint8_t ck_km[16];
  for (i = 0; i < 16; i++)
    ck_km[i] = ck[i] ^ 0x55;
  _kasumi_key_expand(ck_km, KLi1, KLi2, KOi1, KOi2, KOi3, KIi1, KIi2, KIi3);
  A = _kasumi(A, KLi1, KLi2, KOi1, KOi2, KOi3, KIi1, KIi2, KIi3);
  _kasumi_key_expand(ck, KLi1, KLi2, KOi1, KOi2, KOi3, KIi1, KIi2, KIi3);
  for (i = 0; i < cl / 64 + 1; i++) {
    BLK = _kasumi(A ^ i ^ BLK, KLi1, KLi2, KOi1, KOi2, KOi3, KIi1, KIi2, KIi3);
    osmo_64pack2pbit(BLK, co + (i * 8));
  }
}


x86 assembly (clang, -O0):
<_kasumi_kgcore>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1a0,%rsp
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    $0x20,%ecx
shl    %cl,%eax
mov    %eax,-0x138(%rbp)
movl   $0x0,-0x13c(%rbp)
mov    -0x4(%rbp),%eax
shl    $0x10,%eax
mov    %eax,-0x140(%rbp)
mov    -0x140(%rbp),%eax
or     -0x138(%rbp),%eax
mov    %eax,-0x138(%rbp)
mov    -0x8(%rbp),%eax
shl    $0x3,%eax
mov    -0x14(%rbp),%ecx
shl    $0x2,%ecx
or     %ecx,%eax
shl    $0x18,%eax
mov    %eax,-0x140(%rbp)
mov    -0x140(%rbp),%eax
or     -0x138(%rbp),%eax
mov    %eax,-0x138(%rbp)
movl   $0x0,-0x134(%rbp)
cmpl   $0x10,-0x134(%rbp)
jge    11ff <_kasumi_kgcore+0xcf>
mov    -0x20(%rbp),%rax
movslq -0x134(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
xor    $0x55,%ecx
movslq -0x134(%rbp),%rax
mov    %ecx,-0x180(%rbp,%rax,4)
mov    -0x134(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x134(%rbp)
jmp    11bf <_kasumi_kgcore+0x8f>
lea    -0x180(%rbp),%rdi
lea    -0x50(%rbp),%rsi
lea    -0x70(%rbp),%rdx
lea    -0x90(%rbp),%rcx
lea    -0xb0(%rbp),%r8
lea    -0xd0(%rbp),%r9
lea    -0xf0(%rbp),%r11
lea    -0x110(%rbp),%r10
lea    -0x130(%rbp),%rax
mov    %r11,(%rsp)
mov    %r10,0x8(%rsp)
mov    %rax,0x10(%rsp)
call   1050 <_kasumi_key_expand@plt>
mov    -0x138(%rbp),%edi
lea    -0x50(%rbp),%rsi
lea    -0x70(%rbp),%rdx
lea    -0x90(%rbp),%rcx
lea    -0xb0(%rbp),%r8
lea    -0xd0(%rbp),%r9
lea    -0xf0(%rbp),%r11
lea    -0x110(%rbp),%r10
lea    -0x130(%rbp),%rax
mov    %r11,(%rsp)
mov    %r10,0x8(%rsp)
mov    %rax,0x10(%rsp)
call   1040 <_kasumi@plt>
mov    %eax,-0x138(%rbp)
mov    -0x20(%rbp),%rdi
lea    -0x50(%rbp),%rsi
lea    -0x70(%rbp),%rdx
lea    -0x90(%rbp),%rcx
lea    -0xb0(%rbp),%r8
lea    -0xd0(%rbp),%r9
lea    -0xf0(%rbp),%r11
lea    -0x110(%rbp),%r10
lea    -0x130(%rbp),%rax
mov    %r11,(%rsp)
mov    %r10,0x8(%rsp)
mov    %rax,0x10(%rsp)
call   1050 <_kasumi_key_expand@plt>
movl   $0x0,-0x134(%rbp)
mov    -0x134(%rbp),%eax
mov    %eax,-0x184(%rbp)
mov    0x10(%rbp),%eax
mov    $0x40,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x184(%rbp),%eax
add    $0x1,%ecx
cmp    %ecx,%eax
jge    13ab <_kasumi_kgcore+0x27b>
mov    -0x138(%rbp),%edi
xor    -0x134(%rbp),%edi
xor    -0x13c(%rbp),%edi
lea    -0x50(%rbp),%rsi
lea    -0x70(%rbp),%rdx
lea    -0x90(%rbp),%rcx
lea    -0xb0(%rbp),%r8
lea    -0xd0(%rbp),%r9
lea    -0xf0(%rbp),%r11
lea    -0x110(%rbp),%r10
lea    -0x130(%rbp),%rax
mov    %r11,(%rsp)
mov    %r10,0x8(%rsp)
mov    %rax,0x10(%rsp)
call   1040 <_kasumi@plt>
mov    %eax,-0x13c(%rbp)
mov    -0x13c(%rbp),%edi
mov    -0x28(%rbp),%rsi
mov    -0x134(%rbp),%eax
shl    $0x3,%eax
cltq
shl    $0x2,%rax
add    %rax,%rsi
call   1030 <osmo_64pack2pbit@plt>
mov    -0x134(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x134(%rbp)
jmp    12ef <_kasumi_kgcore+0x1bf>
add    $0x1a0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<_kasumi_kgcore>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x148,%rsp
mov    %r9,%rbx
mov    %r8,%r14
movups (%r8),%xmm0
movaps 0xeae(%rip),%xmm1
xorps  %xmm1,%xmm0
movaps %xmm0,0xa0(%rsp)
movups 0x10(%r8),%xmm0
xorps  %xmm1,%xmm0
movaps %xmm0,0xb0(%rsp)
movups 0x20(%r8),%xmm0
xorps  %xmm1,%xmm0
movaps %xmm0,0xc0(%rsp)
movups 0x30(%r8),%xmm0
xorps  %xmm1,%xmm0
movaps %xmm0,0xd0(%rsp)
sub    $0x8,%rsp
lea    0x8(%rsp),%rax
lea    0x28(%rsp),%r11
lea    0x48(%rsp),%r10
lea    0xa8(%rsp),%rdi
lea    0x88(%rsp),%rbp
lea    0x128(%rsp),%r13
lea    0x108(%rsp),%r12
lea    0xe8(%rsp),%r15
lea    0x68(%rsp),%r9
mov    %rbp,%rsi
mov    %r13,%rdx
mov    %r12,%rcx
mov    %r15,%r8
push   %rax
push   %r11
push   %r10
call   1050 <_kasumi_key_expand@plt>
add    $0x18,%rsp
mov    %rbp,%rsi
mov    %r13,%rdx
mov    %r12,%rcx
mov    %r15,%r8
lea    0x68(%rsp),%r9
lea    0x8(%rsp),%rax
push   %rax
lea    0x30(%rsp),%rax
push   %rax
lea    0x58(%rsp),%rax
push   %rax
call   1040 <_kasumi@plt>
add    $0x20,%rsp
mov    %eax,%ebp
sub    $0x8,%rsp
mov    %r14,%rdi
lea    0x88(%rsp),%rsi
mov    %r13,%rdx
mov    %r12,%rcx
mov    %r15,%r8
lea    0x68(%rsp),%r9
lea    0x8(%rsp),%rax
push   %rax
lea    0x30(%rsp),%rax
push   %rax
lea    0x58(%rsp),%rax
push   %rax
call   1050 <_kasumi_key_expand@plt>
mov    0x1a0(%rsp),%eax
add    $0x20,%rsp
cmp    $0xffffffc1,%eax
jl     12e5 <_kasumi_kgcore+0x1b5>
lea    0x3f(%rax),%r12d
test   %eax,%eax
cmovns %eax,%r12d
sar    $0x6,%r12d
add    $0x1,%r12d
xor    %r13d,%r13d
lea    0x60(%rsp),%r14
xor    %r15d,%r15d
nopw   0x0(%rax,%rax,1)
xor    %ebp,%r15d
mov    %r13d,%edi
xor    %r15d,%edi
sub    $0x8,%rsp
lea    0x88(%rsp),%rsi
lea    0x128(%rsp),%rdx
lea    0x108(%rsp),%rcx
lea    0xe8(%rsp),%r8
mov    %r14,%r9
lea    0x8(%rsp),%rax
push   %rax
lea    0x30(%rsp),%rax
push   %rax
lea    0x58(%rsp),%rax
push   %rax
call   1040 <_kasumi@plt>
add    $0x20,%rsp
mov    %eax,%r15d
mov    %eax,%edi
mov    %rbx,%rsi
call   1030 <osmo_64pack2pbit@plt>
add    $0x1,%r13
add    $0x20,%rbx
cmp    %r13,%r12
jne    1280 <_kasumi_kgcore+0x150>
add    $0x148,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @_kasumi_kgcore(i32 %0, i32 %1, i64 %2, i32 %3, i32* %4, i32* %5, i32 %6) {
%8 = alloca [8 x i32]
%9 = alloca [8 x i32]
%10 = alloca [8 x i32]
%11 = alloca [8 x i32]
%12 = alloca [8 x i32]
%13 = alloca [8 x i32]
%14 = alloca [8 x i32]
%15 = alloca [8 x i32]
%16 = alloca [16 x i32]
%17 = bitcast [8 x i32]* %8 to i8*
%18 = bitcast [8 x i32]* %9 to i8*
%19 = bitcast [8 x i32]* %10 to i8*
%20 = bitcast [8 x i32]* %11 to i8*
%21 = bitcast [8 x i32]* %12 to i8*
%22 = bitcast [8 x i32]* %13 to i8*
%23 = bitcast [8 x i32]* %14 to i8*
%24 = bitcast [8 x i32]* %15 to i8*
%25 = bitcast [16 x i32]* %16 to i8*
%26 = getelementptr inbounds [16 x i32], [16 x i32]* %16, i64 0, i64 0
%27 = bitcast i32* %4 to <4 x i32>*
%28 = load <4 x i32>, <4 x i32>* %27
%29 = xor <4 x i32> %28, <i32 85, i32 85, i32 85, i32 85>
%30 = bitcast [16 x i32]* %16 to <4 x i32>*
store <4 x i32> %29, <4 x i32>* %30
%31 = getelementptr inbounds i32, i32* %4, i64 4
%32 = getelementptr inbounds [16 x i32], [16 x i32]* %16, i64 0, i64 4
%33 = bitcast i32* %31 to <4 x i32>*
%34 = load <4 x i32>, <4 x i32>* %33
%35 = xor <4 x i32> %34, <i32 85, i32 85, i32 85, i32 85>
%36 = bitcast i32* %32 to <4 x i32>*
store <4 x i32> %35, <4 x i32>* %36
%37 = getelementptr inbounds i32, i32* %4, i64 8
%38 = getelementptr inbounds [16 x i32], [16 x i32]* %16, i64 0, i64 8
%39 = bitcast i32* %37 to <4 x i32>*
%40 = load <4 x i32>, <4 x i32>* %39
%41 = xor <4 x i32> %40, <i32 85, i32 85, i32 85, i32 85>
%42 = bitcast i32* %38 to <4 x i32>*
store <4 x i32> %41, <4 x i32>* %42
%43 = getelementptr inbounds i32, i32* %4, i64 12
%44 = getelementptr inbounds [16 x i32], [16 x i32]* %16, i64 0, i64 12
%45 = bitcast i32* %43 to <4 x i32>*
%46 = load <4 x i32>, <4 x i32>* %45
%47 = xor <4 x i32> %46, <i32 85, i32 85, i32 85, i32 85>
%48 = bitcast i32* %44 to <4 x i32>*
store <4 x i32> %47, <4 x i32>* %48
%49 = getelementptr inbounds [8 x i32], [8 x i32]* %8, i64 0, i64 0
%50 = getelementptr inbounds [8 x i32], [8 x i32]* %9, i64 0, i64 0
%51 = getelementptr inbounds [8 x i32], [8 x i32]* %10, i64 0, i64 0
%52 = getelementptr inbounds [8 x i32], [8 x i32]* %11, i64 0, i64 0
%53 = getelementptr inbounds [8 x i32], [8 x i32]* %12, i64 0, i64 0
%54 = getelementptr inbounds [8 x i32], [8 x i32]* %13, i64 0, i64 0
%55 = getelementptr inbounds [8 x i32], [8 x i32]* %14, i64 0, i64 0
%56 = getelementptr inbounds [8 x i32], [8 x i32]* %15, i64 0, i64 0
%57 = call i32 @_kasumi_key_expand(i32* %26, i32* %49, i32* %50, i32* %51, i32* %52, i32* %53, i32* %54, i32* %55, i32* %56)
%58 = call i32 @_kasumi(i32 poison, i32* %49, i32* %50, i32* %51, i32* %52, i32* %53, i32* %54, i32* %55, i32* %56)
%59 = call i32 @_kasumi_key_expand(i32* %4, i32* %49, i32* %50, i32* %51, i32* %52, i32* %53, i32* %54, i32* %55, i32* %56)
%60 = icmp slt i32 %6, -63
br i1 %60, label %77, label %61
61: ; preds = %7
%62 = sdiv i32 %6, 64
%63 = add nuw nsw i32 %62, 1
%64 = zext i32 %63 to i64
br label %65
65: ; preds = %61, %65
%66 = phi i64 [ 0, %61 ], [ %75, %65 ]
%67 = phi i32 [ 0, %61 ], [ %71, %65 ]
%68 = xor i32 %67, %58
%69 = trunc i64 %66 to i32
%70 = xor i32 %68, %69
%71 = call i32 @_kasumi(i32 %70, i32* %49, i32* %50, i32* %51, i32* %52, i32* %53, i32* %54, i32* %55, i32* %56)
%72 = shl nsw i64 %66, 3
%73 = getelementptr inbounds i32, i32* %5, i64 %72
%74 = call i32 @osmo_64pack2pbit(i32 %71, i32* %73)
%75 = add nuw nsw i64 %66, 1
%76 = icmp eq i64 %75, %64
br i1 %76, label %77, label %65
77: ; preds = %65, %7
ret void
}