long long calc_bextr_u64(unsigned long long src1, unsigned long long src2) {
  long long res = 0;
  unsigned char start = (src2 & 0xff);
  unsigned char len = (int)((src2 >> 8) & 0xff);
  if (start < 64) {
    unsigned i;
    unsigned last = (start + len) < 64 ? start + len : 64;
    src1 >>= start;
    for (i = start; i < last; ++i) {
      res |= (src1 & 1) << (i - start);
      src1 >>= 1;
    }
  }
  return res;
}


x86 assembly (clang, -O0):
<calc_bextr_u64>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movq   $0x0,-0x18(%rbp)
mov    -0x10(%rbp),%rax
and    $0xff,%rax
mov    %al,-0x19(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x8,%rax
and    $0xff,%rax
mov    %al,-0x1a(%rbp)
movzbl -0x19(%rbp),%eax
cmp    $0x40,%eax
jge    11d8 <calc_bextr_u64+0xd8>
movzbl -0x19(%rbp),%eax
movzbl -0x1a(%rbp),%ecx
add    %ecx,%eax
cmp    $0x40,%eax
jge    1164 <calc_bextr_u64+0x64>
movzbl -0x19(%rbp),%eax
movzbl -0x1a(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x28(%rbp)
jmp    1171 <calc_bextr_u64+0x71>
mov    $0x40,%eax
mov    %eax,-0x28(%rbp)
jmp    1171 <calc_bextr_u64+0x71>
mov    -0x28(%rbp),%eax
mov    %eax,-0x24(%rbp)
movzbl -0x19(%rbp),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,%ecx
shr    %cl,%rax
mov    %rax,-0x8(%rbp)
movzbl -0x19(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jae    11d3 <calc_bextr_u64+0xd3>
mov    -0x8(%rbp),%rax
and    $0x1,%rax
mov    -0x20(%rbp),%ecx
movzbl -0x19(%rbp),%edx
sub    %edx,%ecx
mov    %ecx,%ecx
shl    %cl,%rax
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
shr    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    118f <calc_bextr_u64+0x8f>
jmp    11d8 <calc_bextr_u64+0xd8>
mov    -0x18(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<calc_bextr_u64>:
mov    %rsi,%rax
movzbl %al,%ecx
cmp    $0x3f,%ecx
ja     1153 <calc_bextr_u64+0x53>
movzbl %ah,%esi
add    %ecx,%esi
cmp    $0x40,%esi
mov    $0x40,%edx
cmovb  %esi,%edx
cmp    %edx,%ecx
jae    1153 <calc_bextr_u64+0x53>
mov    %ecx,%ecx
shr    %cl,%rdi
movzbl %al,%r8d
mov    %edx,%r9d
mov    %r8,%rax
not    %rax
add    %r9,%rax
sub    %r8,%r9
mov    %r9d,%r10d
and    $0x3,%r10d
cmp    $0x3,%rax
jae    1156 <calc_bextr_u64+0x56>
xor    %eax,%eax
mov    %r8,%rdx
test   %r10,%r10
jne    11b7 <calc_bextr_u64+0xb7>
jmp    11da <calc_bextr_u64+0xda>
xor    %eax,%eax
ret
push   %rbx
and    $0xfffffffffffffffc,%r9
xor    %eax,%eax
xor    %edx,%edx
nop
mov    %edi,%r11d
and    $0x1,%r11d
mov    %edx,%ecx
shl    %cl,%r11
mov    %edi,%esi
shr    %esi
and    $0x1,%esi
lea    0x1(%rdx),%ecx
shl    %cl,%rsi
or     %rax,%r11
mov    %edi,%ebx
shr    $0x2,%ebx
and    $0x1,%ebx
lea    0x2(%rdx),%ecx
shl    %cl,%rbx
or     %r11,%rsi
mov    %edi,%eax
shr    $0x3,%eax
and    $0x1,%eax
lea    0x3(%rdx),%ecx
shl    %cl,%rax
or     %rbx,%rax
or     %rsi,%rax
shr    $0x4,%rdi
add    $0x4,%rdx
cmp    %r9,%rdx
jne    1160 <calc_bextr_u64+0x60>
add    %r8,%rdx
pop    %rbx
test   %r10,%r10
je     11da <calc_bextr_u64+0xda>
sub    %r8,%rdx
nopw   0x0(%rax,%rax,1)
mov    %edi,%esi
and    $0x1,%esi
mov    %edx,%ecx
shl    %cl,%rsi
or     %rsi,%rax
shr    %rdi
add    $0x1,%rdx
add    $0xffffffffffffffff,%r10
jne    11c0 <calc_bextr_u64+0xc0>
ret

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

LLVM IR (-O2):
define i64 @calc_bextr_u64(i64 %0, i64 %1) {
%3 = trunc i64 %1 to i32
%4 = and i32 %3, 255
%5 = icmp ult i32 %4, 64
br i1 %5, label %6, label %75
6: ; preds = %2
%7 = lshr i32 %3, 8
%8 = and i32 %7, 255
%9 = add nuw nsw i32 %8, %4
%10 = icmp ult i32 %9, 64
%11 = select i1 %10, i32 %9, i32 64
%12 = zext i32 %4 to i64
%13 = icmp ult i32 %4, %11
br i1 %13, label %14, label %75
14: ; preds = %6
%15 = lshr i64 %0, %12
%16 = and i64 %1, 255
%17 = zext i32 %11 to i64
%18 = sub nsw i64 %17, %16
%19 = xor i64 %16, -1
%20 = add nsw i64 %19, %17
%21 = and i64 %18, 3
%22 = icmp ult i64 %20, 3
br i1 %22, label %56, label %23
23: ; preds = %14
%24 = and i64 %18, -4
br label %25
25: ; preds = %25, %23
%26 = phi i64 [ %16, %23 ], [ %53, %25 ]
%27 = phi i64 [ %15, %23 ], [ %52, %25 ]
%28 = phi i64 [ 0, %23 ], [ %51, %25 ]
%29 = phi i64 [ 0, %23 ], [ %54, %25 ]
%30 = and i64 %27, 1
%31 = sub nuw nsw i64 %26, %12
%32 = shl nuw i64 %30, %31
%33 = or i64 %32, %28
%34 = lshr i64 %27, 1
%35 = add nuw nsw i64 %26, 1
%36 = and i64 %34, 1
%37 = sub nuw nsw i64 %35, %12
%38 = shl nuw i64 %36, %37
%39 = or i64 %38, %33
%40 = lshr i64 %27, 2
%41 = add nuw nsw i64 %26, 2
%42 = and i64 %40, 1
%43 = sub nuw nsw i64 %41, %12
%44 = shl nuw i64 %42, %43
%45 = or i64 %44, %39
%46 = lshr i64 %27, 3
%47 = add nuw nsw i64 %26, 3
%48 = and i64 %46, 1
%49 = sub nuw nsw i64 %47, %12
%50 = shl nuw i64 %48, %49
%51 = or i64 %50, %45
%52 = lshr i64 %27, 4
%53 = add nuw nsw i64 %26, 4
%54 = add i64 %29, 4
%55 = icmp eq i64 %54, %24
br i1 %55, label %56, label %25
56: ; preds = %25, %14
%57 = phi i64 [ undef, %14 ], [ %51, %25 ]
%58 = phi i64 [ %16, %14 ], [ %53, %25 ]
%59 = phi i64 [ %15, %14 ], [ %52, %25 ]
%60 = phi i64 [ 0, %14 ], [ %51, %25 ]
%61 = icmp eq i64 %21, 0
br i1 %61, label %75, label %62
62: ; preds = %56, %62
%63 = phi i64 [ %72, %62 ], [ %58, %56 ]
%64 = phi i64 [ %71, %62 ], [ %59, %56 ]
%65 = phi i64 [ %70, %62 ], [ %60, %56 ]
%66 = phi i64 [ %73, %62 ], [ 0, %56 ]
%67 = and i64 %64, 1
%68 = sub nuw nsw i64 %63, %12
%69 = shl nuw i64 %67, %68
%70 = or i64 %69, %65
%71 = lshr i64 %64, 1
%72 = add nuw nsw i64 %63, 1
%73 = add i64 %66, 1
%74 = icmp eq i64 %73, %21
br i1 %74, label %75, label %62
75: ; preds = %56, %62, %6, %2
%76 = phi i64 [ 0, %2 ], [ 0, %6 ], [ %57, %56 ], [ %70, %62 ]
ret i64 %76
}