#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*/ uint64_t;

/* Variables and functions */
scalar_t__ getSixBitByte(int /*<<< orphan*/, int);
int /*<<< orphan*/ pushbackSixBitByte(int /*<<< orphan*/ *, int, int);
uint64_t ck(int i, int j, uint64_t z) {
  if (i == 1 && j == -1) {
    return z;
  } else if (j == -1) {
    return ck(i - 1, i - 2, z);
  }
  if (getSixBitByte(z, i) == getSixBitByte(z, j)) {
    uint64_t newz = 0;
    int c;
    for (c = 0; c < 4; c++) {
      uint8_t val = getSixBitByte(z, c);
      if (c == i) {
        pushbackSixBitByte(&newz, j, c);
      } else {
        pushbackSixBitByte(&newz, val, c);
      }
    }
    return ck(i, j - 1, newz);
  } else {
    return ck(i, j - 1, z);
  }
}


x86 assembly (clang, -O0):
<ck>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
cmpl   $0x1,-0x8(%rbp)
jne    1160 <ck+0x30>
cmpl   $0xffffffff,-0xc(%rbp)
jne    1160 <ck+0x30>
mov    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    124a <ck+0x11a>
cmpl   $0xffffffff,-0xc(%rbp)
jne    1186 <ck+0x56>
mov    -0x8(%rbp),%edi
sub    $0x1,%edi
mov    -0x8(%rbp),%esi
sub    $0x2,%esi
mov    -0x10(%rbp),%edx
call   1030 <ck@plt>
mov    %eax,-0x4(%rbp)
jmp    124a <ck+0x11a>
jmp    118b <ck+0x5b>
mov    -0x10(%rbp),%edi
mov    -0x8(%rbp),%esi
call   1050 <getSixBitByte@plt>
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%edi
mov    -0xc(%rbp),%esi
call   1050 <getSixBitByte@plt>
mov    %rax,%rcx
mov    -0x28(%rbp),%rax
cmp    %rcx,%rax
jne    1236 <ck+0x106>
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x4,-0x18(%rbp)
jge    121d <ck+0xed>
mov    -0x10(%rbp),%edi
mov    -0x18(%rbp),%esi
call   1050 <getSixBitByte@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x8(%rbp),%eax
jne    11fb <ck+0xcb>
mov    -0xc(%rbp),%esi
mov    -0x18(%rbp),%edx
lea    -0x14(%rbp),%rdi
call   1040 <pushbackSixBitByte@plt>
jmp    120a <ck+0xda>
mov    -0x1c(%rbp),%esi
mov    -0x18(%rbp),%edx
lea    -0x14(%rbp),%rdi
call   1040 <pushbackSixBitByte@plt>
jmp    120f <ck+0xdf>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11c3 <ck+0x93>
mov    -0x8(%rbp),%edi
mov    -0xc(%rbp),%esi
sub    $0x1,%esi
mov    -0x14(%rbp),%edx
call   1030 <ck@plt>
mov    %eax,-0x4(%rbp)
jmp    124a <ck+0x11a>
mov    -0x8(%rbp),%edi
mov    -0xc(%rbp),%esi
sub    $0x1,%esi
mov    -0x10(%rbp),%edx
call   1030 <ck@plt>
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ck>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x10,%rsp
mov    %edx,%r15d
mov    %esi,%ebx
mov    %edi,%r14d
cmp    $0xffffffff,%esi
sete   %al
cmp    $0x1,%edi
sete   %r12b
jne    1180 <ck+0x50>
cmp    $0xffffffff,%ebx
je     12b8 <ck+0x188>
jmp    1180 <ck+0x50>
lea    -0x1(%r14),%ecx
add    $0xfffffffe,%r14d
cmp    $0x1,%ecx
sete   %r12b
cmp    $0xffffffff,%r14d
sete   %al
mov    %r14d,%ebx
mov    %ecx,%r14d
nopw   0x0(%rax,%rax,1)
test   $0x1,%al
jne    115e <ck+0x2e>
mov    %r15d,%edi
mov    %r14d,%esi
call   1050 <getSixBitByte@plt>
mov    %rax,%rbp
mov    %r15d,%edi
mov    %ebx,%esi
call   1050 <getSixBitByte@plt>
cmp    %rax,%rbp
je     11ba <ck+0x8a>
test   %ebx,%ebx
lea    -0x1(%rbx),%ecx
sete   %al
mov    %r12d,%edx
and    %al,%dl
mov    %ecx,%ebx
cmp    $0x1,%dl
jne    1180 <ck+0x50>
jmp    12b8 <ck+0x188>
movl   $0x0,0xc(%rsp)
mov    %r15d,%edi
xor    %esi,%esi
call   1050 <getSixBitByte@plt>
lea    0xc(%rsp),%rdi
test   %r14d,%r14d
je     1212 <ck+0xe2>
mov    %eax,%esi
xor    %edx,%edx
call   1040 <pushbackSixBitByte@plt>
mov    %r15d,%edi
mov    $0x1,%esi
call   1050 <getSixBitByte@plt>
cmp    $0x1,%r14d
jne    1228 <ck+0xf8>
lea    0xc(%rsp),%rdi
mov    %ebx,%esi
mov    $0x1,%edx
call   1040 <pushbackSixBitByte@plt>
mov    %r15d,%edi
mov    $0x2,%esi
call   1050 <getSixBitByte@plt>
jmp    126c <ck+0x13c>
mov    %ebx,%esi
xor    %edx,%edx
call   1040 <pushbackSixBitByte@plt>
mov    %r15d,%edi
mov    $0x1,%esi
call   1050 <getSixBitByte@plt>
lea    0xc(%rsp),%rdi
mov    %eax,%esi
mov    $0x1,%edx
call   1040 <pushbackSixBitByte@plt>
mov    %r15d,%edi
mov    $0x2,%esi
call   1050 <getSixBitByte@plt>
cmp    $0x2,%r14d
jne    126c <ck+0x13c>
lea    0xc(%rsp),%rdi
mov    %ebx,%esi
mov    $0x2,%edx
call   1040 <pushbackSixBitByte@plt>
mov    %r15d,%edi
mov    $0x3,%esi
call   1050 <getSixBitByte@plt>
jmp    1292 <ck+0x162>
lea    0xc(%rsp),%rdi
mov    %eax,%esi
mov    $0x2,%edx
call   1040 <pushbackSixBitByte@plt>
mov    %r15d,%edi
mov    $0x3,%esi
call   1050 <getSixBitByte@plt>
mov    %ebx,%esi
cmp    $0x3,%r14d
je     1295 <ck+0x165>
mov    %rax,%rsi
lea    0xc(%rsp),%rdi
mov    $0x3,%edx
call   1040 <pushbackSixBitByte@plt>
add    $0xffffffff,%ebx
mov    0xc(%rsp),%edx
mov    %r14d,%edi
mov    %ebx,%esi
call   1030 <ck@plt>
mov    %eax,%r15d
mov    %r15d,%eax
add    $0x10,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @ck(i32 %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%11 = load i32, i32* %5
%12 = icmp eq i32 %11, 1
br i1 %12, label %13, label %18
13: ; preds = %3
%14 = load i32, i32* %6
%15 = icmp eq i32 %14, -1
br i1 %15, label %16, label %18
16: ; preds = %13
%17 = load i32, i32* %7
store i32 %17, i32* %4
br label %73
18: ; preds = %13, %3
%19 = load i32, i32* %6
%20 = icmp eq i32 %19, -1
br i1 %20, label %21, label %28
21: ; preds = %18
%22 = load i32, i32* %5
%23 = sub nsw i32 %22, 1
%24 = load i32, i32* %5
%25 = sub nsw i32 %24, 2
%26 = load i32, i32* %7
%27 = call i32 @ck(i32 %23, i32 %25, i32 %26)
store i32 %27, i32* %4
br label %73
28: ; preds = %18
br label %29
29: ; preds = %28
%30 = load i32, i32* %7
%31 = load i32, i32* %5
%32 = call i64 @getSixBitByte(i32 %30, i32 %31)
%33 = load i32, i32* %7
%34 = load i32, i32* %6
%35 = call i64 @getSixBitByte(i32 %33, i32 %34)
%36 = icmp eq i64 %32, %35
br i1 %36, label %37, label %67
37: ; preds = %29
store i32 0, i32* %8
store i32 0, i32* %9
br label %38
38: ; preds = %58, %37
%39 = load i32, i32* %9
%40 = icmp slt i32 %39, 4
br i1 %40, label %41, label %61
41: ; preds = %38
%42 = load i32, i32* %7
%43 = load i32, i32* %9
%44 = call i64 @getSixBitByte(i32 %42, i32 %43)
%45 = trunc i64 %44 to i32
store i32 %45, i32* %10
%46 = load i32, i32* %9
%47 = load i32, i32* %5
%48 = icmp eq i32 %46, %47
br i1 %48, label %49, label %53
49: ; preds = %41
%50 = load i32, i32* %6
%51 = load i32, i32* %9
%52 = call i32 @pushbackSixBitByte(i32* %8, i32 %50, i32 %51)
br label %57
53: ; preds = %41
%54 = load i32, i32* %10
%55 = load i32, i32* %9
%56 = call i32 @pushbackSixBitByte(i32* %8, i32 %54, i32 %55)
br label %57
57: ; preds = %53, %49
br label %58
58: ; preds = %57
%59 = load i32, i32* %9
%60 = add nsw i32 %59, 1
store i32 %60, i32* %9
br label %38
61: ; preds = %38
%62 = load i32, i32* %5
%63 = load i32, i32* %6
%64 = sub nsw i32 %63, 1
%65 = load i32, i32* %8
%66 = call i32 @ck(i32 %62, i32 %64, i32 %65)
store i32 %66, i32* %4
br label %73
67: ; preds = %29
%68 = load i32, i32* %5
%69 = load i32, i32* %6
%70 = sub nsw i32 %69, 1
%71 = load i32, i32* %7
%72 = call i32 @ck(i32 %68, i32 %70, i32 %71)
store i32 %72, i32* %4
br label %73
73: ; preds = %67, %61, %21, %16
%74 = load i32, i32* %4
ret i32 %74
}

LLVM IR (-O2):
define i32 @ck(i32 %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = icmp eq i32 %0, 1
%6 = icmp eq i32 %1, -1
%7 = and i1 %5, %6
br i1 %7, label %68, label %8
8: ; preds = %3, %16
%9 = phi i1 [ %20, %16 ], [ %6, %3 ]
%10 = phi i1 [ %19, %16 ], [ %5, %3 ]
%11 = phi i32 [ %18, %16 ], [ %1, %3 ]
%12 = phi i32 [ %17, %16 ], [ %0, %3 ]
br label %13
13: ; preds = %8, %64
%14 = phi i1 [ %9, %8 ], [ %66, %64 ]
%15 = phi i32 [ %11, %8 ], [ %65, %64 ]
br i1 %14, label %16, label %21
16: ; preds = %13
%17 = add nsw i32 %12, -1
%18 = add nsw i32 %12, -2
%19 = icmp eq i32 %17, 1
%20 = icmp eq i32 %18, -1
br label %8
21: ; preds = %13
%22 = tail call i64 @getSixBitByte(i32 %2, i32 %12)
%23 = tail call i64 @getSixBitByte(i32 %2, i32 %15)
%24 = icmp eq i64 %22, %23
br i1 %24, label %25, label %64
25: ; preds = %21
%26 = bitcast i32* %4 to i8*
store i32 0, i32* %4
%27 = call i64 @getSixBitByte(i32 %2, i32 0)
%28 = icmp eq i32 %12, 0
br i1 %28, label %29, label %32
29: ; preds = %25
%30 = call i32 @pushbackSixBitByte(i32* %4, i32 %15, i32 0)
%31 = call i64 @getSixBitByte(i32 %2, i32 1)
br label %40
32: ; preds = %25
%33 = trunc i64 %27 to i32
%34 = call i32 @pushbackSixBitByte(i32* %4, i32 %33, i32 0)
%35 = call i64 @getSixBitByte(i32 %2, i32 1)
%36 = icmp eq i32 %12, 1
br i1 %36, label %37, label %40
37: ; preds = %32
%38 = call i32 @pushbackSixBitByte(i32* %4, i32 %15, i32 1)
%39 = call i64 @getSixBitByte(i32 %2, i32 2)
br label %49
40: ; preds = %32, %29
%41 = phi i64 [ %31, %29 ], [ %35, %32 ]
%42 = trunc i64 %41 to i32
%43 = call i32 @pushbackSixBitByte(i32* %4, i32 %42, i32 1)
%44 = call i64 @getSixBitByte(i32 %2, i32 2)
%45 = icmp eq i32 %12, 2
br i1 %45, label %46, label %49
46: ; preds = %40
%47 = call i32 @pushbackSixBitByte(i32* %4, i32 %15, i32 2)
%48 = call i64 @getSixBitByte(i32 %2, i32 3)
br label %55
49: ; preds = %40, %37
%50 = phi i64 [ %39, %37 ], [ %44, %40 ]
%51 = trunc i64 %50 to i32
%52 = call i32 @pushbackSixBitByte(i32* %4, i32 %51, i32 2)
%53 = call i64 @getSixBitByte(i32 %2, i32 3)
%54 = icmp eq i32 %12, 3
br i1 %54, label %58, label %55
55: ; preds = %46, %49
%56 = phi i64 [ %48, %46 ], [ %53, %49 ]
%57 = trunc i64 %56 to i32
br label %58
58: ; preds = %49, %55
%59 = phi i32 [ %57, %55 ], [ %15, %49 ]
%60 = call i32 @pushbackSixBitByte(i32* %4, i32 %59, i32 3)
%61 = add nsw i32 %15, -1
%62 = load i32, i32* %4
%63 = call i32 @ck(i32 %12, i32 %61, i32 %62)
br label %68
64: ; preds = %21
%65 = add nsw i32 %15, -1
%66 = icmp eq i32 %15, 0
%67 = and i1 %10, %66
br i1 %67, label %68, label %13
68: ; preds = %64, %3, %58
%69 = phi i32 [ %63, %58 ], [ %2, %3 ], [ %2, %64 ]
ret i32 %69
}