#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 int /*<<< orphan*/ uint32_t;
typedef int /*<<< orphan*/ uint16_t;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ htobe16(int);
int /*<<< orphan*/ htobe32(int);
int htobe64(int);
void set_refcount(unsigned int order, void *rcblock, size_t index,
                  uint64_t value) {
  assert(!(value >> (1 << order)));
  switch (order) {
  case 0:
    ((uint8_t *)rcblock)[index / 8] &= ~(0x1 << (index % 8));
    ((uint8_t *)rcblock)[index / 8] |= value << (index % 8);
    break;
  case 1:
    ((uint8_t *)rcblock)[index / 4] &= ~(0x3 << (2 * (index % 4)));
    ((uint8_t *)rcblock)[index / 4] |= value << (2 * (index % 4));
    break;
  case 2:
    ((uint8_t *)rcblock)[index / 2] &= ~(0xf << (4 * (index % 2)));
    ((uint8_t *)rcblock)[index / 2] |= value << (4 * (index % 2));
    break;
  case 3:
    ((uint8_t *)rcblock)[index] = value;
    break;
  case 4:
    ((uint16_t *)rcblock)[index] = htobe16(value);
    break;
  case 5:
    ((uint32_t *)rcblock)[index] = htobe32(value);
    break;
  case 6:
    ((uint64_t *)rcblock)[index] = htobe64(value);
    break;
  default:
    assert(0);
  }
}


x86 assembly (clang, -O0):
<set_refcount>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x4(%rbp),%cl
mov    $0x1,%edx
shl    %cl,%edx
mov    %edx,%ecx
sar    %cl,%eax
test   %eax,%eax
sete   %al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
mov    %rax,-0x28(%rbp)
sub    $0x6,%rax
ja     12ee <set_refcount+0x1ae>
mov    -0x28(%rbp),%rax
lea    0xe70(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x18(%rbp),%rax
and    $0x7,%rax
mov    %eax,%ecx
mov    $0x1,%edx
shl    %cl,%edx
xor    $0xffffffff,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
shr    $0x3,%rcx
and    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%edx
mov    -0x18(%rbp),%rax
and    $0x7,%rax
mov    %eax,%ecx
shl    %cl,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
shr    $0x3,%rcx
or     (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
jmp    12f5 <set_refcount+0x1b5>
mov    -0x18(%rbp),%rax
and    $0x3,%rax
shl    $0x1,%rax
mov    %eax,%ecx
mov    $0x3,%edx
shl    %cl,%edx
xor    $0xffffffff,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
shr    $0x2,%rcx
and    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%edx
mov    -0x18(%rbp),%rax
and    $0x3,%rax
shl    $0x1,%rax
mov    %eax,%ecx
shl    %cl,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
shr    $0x2,%rcx
or     (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
jmp    12f5 <set_refcount+0x1b5>
mov    -0x18(%rbp),%rax
and    $0x1,%rax
shl    $0x2,%rax
mov    %eax,%ecx
mov    $0xf,%edx
shl    %cl,%edx
xor    $0xffffffff,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
shr    $0x1,%rcx
and    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%edx
mov    -0x18(%rbp),%rax
and    $0x1,%rax
shl    $0x2,%rax
mov    %eax,%ecx
shl    %cl,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
shr    $0x1,%rcx
or     (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
jmp    12f5 <set_refcount+0x1b5>
mov    -0x1c(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12f5 <set_refcount+0x1b5>
mov    -0x1c(%rbp),%edi
call   1060 <htobe16@plt>
mov    %eax,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12f5 <set_refcount+0x1b5>
mov    -0x1c(%rbp),%edi
call   1040 <htobe32@plt>
mov    %eax,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12f5 <set_refcount+0x1b5>
mov    -0x1c(%rbp),%edi
call   1050 <htobe64@plt>
mov    %eax,%edx
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    12f5 <set_refcount+0x1b5>
xor    %edi,%edi
call   1030 <assert@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<set_refcount>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %ecx,%r12d
mov    %edi,%ebp
mov    $0x1,%eax
mov    %ebp,%ecx
shl    %cl,%eax
mov    %r12d,%ebx
mov    %eax,%ecx
sar    %cl,%ebx
mov    %rdx,%r14
mov    %rsi,%r15
xor    %edi,%edi
test   %ebx,%ebx
sete   %dil
call   1030 <assert@plt>
cmp    $0x6,%ebp
ja     11a4 <set_refcount+0x64>
mov    %ebp,%eax
lea    0xe82(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    %r14d,%ecx
and    $0x7,%cl
shr    $0x3,%r14
shl    %cl,%r12d
mov    (%r15,%r14,4),%eax
btr    %ecx,%eax
or     %eax,%r12d
mov    %r12d,(%r15,%r14,4)
jmp    121f <set_refcount+0xdf>
xor    %edi,%edi
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <assert@plt>
lea    (%r14,%r14,1),%ecx
and    $0x6,%cl
mov    $0x3,%eax
shl    %cl,%eax
not    %eax
and    $0xfffffffffffffffc,%r14
shl    %cl,%r12d
and    (%r15,%r14,1),%eax
or     %eax,%r12d
mov    %r12d,(%r15,%r14,1)
jmp    121f <set_refcount+0xdf>
lea    0x0(,%r14,4),%ecx
and    $0x4,%cl
mov    $0xf,%eax
shl    %cl,%eax
not    %eax
and    $0xfffffffffffffffe,%r14
shl    %cl,%r12d
and    (%r15,%r14,2),%eax
or     %eax,%r12d
mov    %r12d,(%r15,%r14,2)
jmp    121f <set_refcount+0xdf>
mov    %r12d,%edi
call   1060 <htobe16@plt>
jmp    121b <set_refcount+0xdb>
mov    %r12d,%edi
call   1040 <htobe32@plt>
jmp    121b <set_refcount+0xdb>
mov    %r12d,%edi
call   1050 <htobe64@plt>
mov    %eax,(%r15,%r14,4)
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @set_refcount(i32 %0, i8* nocapture %1, i64 %2, i32 %3) {
%5 = shl nuw i32 1, %0
%6 = ashr i32 %3, %5
%7 = icmp eq i32 %6, 0
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
switch i32 %0, label %63 [
i32 0, label %10
i32 1, label %22
i32 2, label %35
i32 3, label %48
i32 4, label %51
i32 5, label %55
i32 6, label %59
]
10: ; preds = %4
%11 = trunc i64 %2 to i32
%12 = and i32 %11, 7
%13 = shl nuw nsw i32 1, %12
%14 = xor i32 %13, -1
%15 = bitcast i8* %1 to i32*
%16 = lshr i64 %2, 3
%17 = getelementptr inbounds i32, i32* %15, i64 %16
%18 = load i32, i32* %17
%19 = and i32 %18, %14
%20 = shl i32 %3, %12
%21 = or i32 %19, %20
store i32 %21, i32* %17
br label %65
22: ; preds = %4
%23 = trunc i64 %2 to i32
%24 = shl i32 %23, 1
%25 = and i32 %24, 6
%26 = shl nuw nsw i32 3, %25
%27 = xor i32 %26, -1
%28 = bitcast i8* %1 to i32*
%29 = lshr i64 %2, 2
%30 = getelementptr inbounds i32, i32* %28, i64 %29
%31 = load i32, i32* %30
%32 = and i32 %31, %27
%33 = shl i32 %3, %25
%34 = or i32 %32, %33
store i32 %34, i32* %30
br label %65
35: ; preds = %4
%36 = trunc i64 %2 to i32
%37 = shl i32 %36, 2
%38 = and i32 %37, 4
%39 = shl nuw nsw i32 15, %38
%40 = xor i32 %39, -1
%41 = bitcast i8* %1 to i32*
%42 = lshr i64 %2, 1
%43 = getelementptr inbounds i32, i32* %41, i64 %42
%44 = load i32, i32* %43
%45 = and i32 %44, %40
%46 = shl i32 %3, %38
%47 = or i32 %45, %46
store i32 %47, i32* %43
br label %65
48: ; preds = %4
%49 = bitcast i8* %1 to i32*
%50 = getelementptr inbounds i32, i32* %49, i64 %2
store i32 %3, i32* %50
br label %65
51: ; preds = %4
%52 = tail call i32 @htobe16(i32 %3)
%53 = bitcast i8* %1 to i32*
%54 = getelementptr inbounds i32, i32* %53, i64 %2
store i32 %52, i32* %54
br label %65
55: ; preds = %4
%56 = tail call i32 @htobe32(i32 %3)
%57 = bitcast i8* %1 to i32*
%58 = getelementptr inbounds i32, i32* %57, i64 %2
store i32 %56, i32* %58
br label %65
59: ; preds = %4
%60 = tail call i32 @htobe64(i32 %3)
%61 = bitcast i8* %1 to i32*
%62 = getelementptr inbounds i32, i32* %61, i64 %2
store i32 %60, i32* %62
br label %65
63: ; preds = %4
%64 = tail call i32 @assert(i32 0)
br label %65
65: ; preds = %63, %59, %55, %51, %48, %35, %22, %10
ret void
}