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

/* Variables and functions */
uint64_t unpackBitsBE(uint8_t *target, int32_t byteOffset, int32_t bitOffset,
                      uint8_t lengthInBit) {
  byteOffset += (bitOffset >> 3);
  bitOffset %= 8;
  uint64_t bitmask = 0xFFFFFFFFFFFFFFFFLL;
  bitmask >>= (64 - lengthInBit);
  bitmask <<= bitOffset;
  uint64_t retVal;
  if ((lengthInBit + bitOffset) <= 8) {
    uint8_t *dataPointer = (uint8_t *)&target[byteOffset];
    retVal = ((*dataPointer) & (uint8_t)bitmask) >> bitOffset;
  } else if ((lengthInBit + bitOffset) <= 16) {
    uint16_t *dataPointer = (uint16_t *)&target[byteOffset];
    retVal = ((*dataPointer) & (uint16_t)bitmask) >> bitOffset;
  } else if ((lengthInBit + bitOffset) <= 32) {
    uint32_t *dataPointer = (uint32_t *)&target[byteOffset];
    retVal = ((*dataPointer) & (uint32_t)bitmask) >> bitOffset;
  } else if ((lengthInBit + bitOffset) <= 64) {
    uint64_t *dataPointer = (uint64_t *)&target[byteOffset];
    retVal = ((*dataPointer) & (uint64_t)bitmask) >> bitOffset;
  } else {
    return 0;
  }
  return retVal;
}


x86 assembly (clang, -O0):
<unpackBitsBE>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
sar    $0x3,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
mov    %edx,-0x18(%rbp)
movl   $0xffffffff,-0x20(%rbp)
mov    $0x40,%ecx
sub    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%eax
sar    %cl,%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%ecx
mov    -0x20(%rbp),%eax
shl    %cl,%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x18(%rbp),%eax
cmp    $0x8,%eax
jg     1185 <unpackBitsBE+0x85>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    (%rax),%eax
and    -0x20(%rbp),%eax
mov    -0x18(%rbp),%ecx
sar    %cl,%eax
mov    %eax,-0x24(%rbp)
jmp    1248 <unpackBitsBE+0x148>
mov    -0x1c(%rbp),%eax
add    -0x18(%rbp),%eax
cmp    $0x10,%eax
jg     11bd <unpackBitsBE+0xbd>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    (%rax),%eax
and    -0x20(%rbp),%eax
mov    -0x18(%rbp),%ecx
sar    %cl,%eax
mov    %eax,-0x24(%rbp)
jmp    1243 <unpackBitsBE+0x143>
mov    -0x1c(%rbp),%eax
add    -0x18(%rbp),%eax
cmp    $0x20,%eax
jg     11f5 <unpackBitsBE+0xf5>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    (%rax),%eax
and    -0x20(%rbp),%eax
mov    -0x18(%rbp),%ecx
sar    %cl,%eax
mov    %eax,-0x24(%rbp)
jmp    123e <unpackBitsBE+0x13e>
mov    -0x1c(%rbp),%eax
add    -0x18(%rbp),%eax
cmp    $0x40,%eax
jg     122d <unpackBitsBE+0x12d>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
mov    (%rax),%eax
and    -0x20(%rbp),%eax
mov    -0x18(%rbp),%ecx
sar    %cl,%eax
mov    %eax,-0x24(%rbp)
jmp    1239 <unpackBitsBE+0x139>
movl   $0x0,-0x4(%rbp)
jmp    124e <unpackBitsBE+0x14e>
jmp    123e <unpackBitsBE+0x13e>
jmp    1243 <unpackBitsBE+0x143>
jmp    1248 <unpackBitsBE+0x148>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<unpackBitsBE>:
mov    %ecx,%r8d
lea    0x7(%rdx),%eax
test   %edx,%edx
cmovns %edx,%eax
and    $0xfffffff8,%eax
mov    %edx,%ecx
sub    %eax,%ecx
add    %ecx,%r8d
xor    %eax,%eax
cmp    $0x40,%r8d
jg     112e <unpackBitsBE+0x2e>
sar    $0x3,%edx
add    %esi,%edx
movslq %edx,%rax
mov    (%rdi,%rax,4),%eax
shr    %cl,%eax
shl    %cl,%eax
sar    %cl,%eax
ret

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

LLVM IR (-O2):
define i32 @unpackBitsBE(i32* nocapture %0, i32 %1, i32 %2, i32 %3) {
%5 = srem i32 %2, 8
%6 = add nsw i32 %5, %3
%7 = icmp slt i32 %6, 65
br i1 %7, label %8, label %17
8: ; preds = %4
%9 = shl nsw i32 -1, %5
%10 = ashr i32 %2, 3
%11 = add nsw i32 %10, %1
%12 = sext i32 %11 to i64
%13 = getelementptr inbounds i32, i32* %0, i64 %12
%14 = load i32, i32* %13
%15 = and i32 %14, %9
%16 = ashr i32 %15, %5
br label %17
17: ; preds = %4, %8
%18 = phi i32 [ %16, %8 ], [ 0, %4 ]
ret i32 %18
}