unsigned int CCO(unsigned int x, unsigned int coe[], int k) {
  if (k == 0) {
    if (x & 32)
      return (x & ~31) + (31 - (coe[31 - (x & 31)] & 31));
    else
      return (x & ~31) + (coe[x & 31] & 31);
  }
  if (k == 1) {
    if (x & 64)
      return (x & ~63) + (63 - (coe[63 - (x & 63)] & 63));
    else
      return (x & ~63) + (coe[x & 63] & 63);
  }
  if (k == 2) {
    return (x & ~63) + (coe[x & 63] & 63);
  }
  return 0;
}


x86 assembly (clang, -O0):
<CCO>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    1179 <CCO+0x79>
mov    -0x8(%rbp),%eax
and    $0x20,%eax
cmp    $0x0,%eax
je     1157 <CCO+0x57>
mov    -0x8(%rbp),%eax
and    $0xffffffe0,%eax
mov    -0x10(%rbp),%rcx
mov    -0x8(%rbp),%esi
and    $0x1f,%esi
mov    $0x1f,%edx
sub    %esi,%edx
mov    %edx,%edx
mov    (%rcx,%rdx,4),%edx
and    $0x1f,%edx
mov    $0x1f,%ecx
sub    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    1217 <CCO+0x117>
mov    -0x8(%rbp),%eax
and    $0xffffffe0,%eax
mov    -0x10(%rbp),%rcx
mov    -0x8(%rbp),%edx
and    $0x1f,%edx
mov    %edx,%edx
mov    (%rcx,%rdx,4),%ecx
and    $0x1f,%ecx
add    %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    1217 <CCO+0x117>
cmpl   $0x1,-0x14(%rbp)
jne    11e4 <CCO+0xe4>
mov    -0x8(%rbp),%eax
and    $0x40,%eax
cmp    $0x0,%eax
je     11c2 <CCO+0xc2>
mov    -0x8(%rbp),%eax
and    $0xffffffc0,%eax
mov    -0x10(%rbp),%rcx
mov    -0x8(%rbp),%esi
and    $0x3f,%esi
mov    $0x3f,%edx
sub    %esi,%edx
mov    %edx,%edx
mov    (%rcx,%rdx,4),%edx
and    $0x3f,%edx
mov    $0x3f,%ecx
sub    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    1217 <CCO+0x117>
mov    -0x8(%rbp),%eax
and    $0xffffffc0,%eax
mov    -0x10(%rbp),%rcx
mov    -0x8(%rbp),%edx
and    $0x3f,%edx
mov    %edx,%edx
mov    (%rcx,%rdx,4),%ecx
and    $0x3f,%ecx
add    %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    1217 <CCO+0x117>
cmpl   $0x2,-0x14(%rbp)
jne    1210 <CCO+0x110>
mov    -0x8(%rbp),%eax
and    $0xffffffc0,%eax
mov    -0x10(%rbp),%rcx
mov    -0x8(%rbp),%edx
and    $0x3f,%edx
mov    %edx,%edx
mov    (%rcx,%rdx,4),%ecx
and    $0x3f,%ecx
add    %ecx,%eax
mov    %eax,-0x4(%rbp)
jmp    1217 <CCO+0x117>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<CCO>:
cmp    $0x2,%edx
je     1129 <CCO+0x29>
cmp    $0x1,%edx
je     113a <CCO+0x3a>
xor    %eax,%eax
test   %edx,%edx
jne    1139 <CCO+0x39>
mov    %edi,%eax
mov    %edi,%ecx
and    $0xffffffe0,%ecx
and    $0x1f,%edi
test   $0x20,%al
jne    1153 <CCO+0x53>
mov    %edi,%eax
mov    (%rsi,%rax,4),%eax
and    $0x1f,%eax
or     %ecx,%eax
ret
mov    %edi,%ecx
and    $0xffffffc0,%ecx
and    $0x3f,%edi
mov    (%rsi,%rdi,4),%eax
and    $0x3f,%eax
or     %ecx,%eax
ret
mov    %edi,%eax
mov    %edi,%ecx
and    $0xffffffc0,%ecx
and    $0x3f,%edi
test   $0x40,%al
jne    1162 <CCO+0x62>
mov    %edi,%eax
mov    (%rsi,%rax,4),%eax
and    $0x3f,%eax
or     %ecx,%eax
ret
xor    $0x1f,%edi
mov    (%rsi,%rdi,4),%eax
and    $0x1f,%eax
or     %ecx,%eax
xor    $0x1f,%eax
ret
xor    $0x3f,%edi
mov    (%rsi,%rdi,4),%eax
and    $0x3f,%eax
or     %ecx,%eax
xor    $0x3f,%eax
ret

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

LLVM IR (-O2):
define i32 @CCO(i32 %0, i32* nocapture %1, i32 %2) {
switch i32 %2, label %50 [
i32 0, label %4
i32 1, label %23
i32 2, label %42
]
4: ; preds = %3
%5 = and i32 %0, 32
%6 = icmp eq i32 %5, 0
%7 = and i32 %0, -32
%8 = and i32 %0, 31
br i1 %6, label %17, label %9
9: ; preds = %4
%10 = xor i32 %8, 31
%11 = zext i32 %10 to i64
%12 = getelementptr inbounds i32, i32* %1, i64 %11
%13 = load i32, i32* %12
%14 = and i32 %13, 31
%15 = or i32 %14, %7
%16 = xor i32 %15, 31
br label %50
17: ; preds = %4
%18 = zext i32 %8 to i64
%19 = getelementptr inbounds i32, i32* %1, i64 %18
%20 = load i32, i32* %19
%21 = and i32 %20, 31
%22 = or i32 %21, %7
br label %50
23: ; preds = %3
%24 = and i32 %0, 64
%25 = icmp eq i32 %24, 0
%26 = and i32 %0, -64
%27 = and i32 %0, 63
br i1 %25, label %36, label %28
28: ; preds = %23
%29 = xor i32 %27, 63
%30 = zext i32 %29 to i64
%31 = getelementptr inbounds i32, i32* %1, i64 %30
%32 = load i32, i32* %31
%33 = and i32 %32, 63
%34 = or i32 %33, %26
%35 = xor i32 %34, 63
br label %50
36: ; preds = %23
%37 = zext i32 %27 to i64
%38 = getelementptr inbounds i32, i32* %1, i64 %37
%39 = load i32, i32* %38
%40 = and i32 %39, 63
%41 = or i32 %40, %26
br label %50
42: ; preds = %3
%43 = and i32 %0, -64
%44 = and i32 %0, 63
%45 = zext i32 %44 to i64
%46 = getelementptr inbounds i32, i32* %1, i64 %45
%47 = load i32, i32* %46
%48 = and i32 %47, 63
%49 = or i32 %48, %43
br label %50
50: ; preds = %3, %42, %36, %28, %17, %9
%51 = phi i32 [ %16, %9 ], [ %22, %17 ], [ %35, %28 ], [ %41, %36 ], [ %49, %42 ], [ 0, %3 ]
ret i32 %51
}