unsigned long long binToDecRevUl(int *binary, unsigned int s, unsigned int e) {
  unsigned long long dec = 0, i = 0, x = 1;
  for (i = s; i < e; i++) {
    x *= 2;
  }
  for (i = s; i <= e; i++) {
    if (binary[i] == 1) {
      dec += x;
    }
    x /= 2;
  }
  return dec;
}


x86 assembly (clang, -O0):
<binToDecRevUl>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movq   $0x0,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x1,-0x28(%rbp)
mov    -0xc(%rbp),%eax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%ecx
cmp    %rcx,%rax
jae    115a <binToDecRevUl+0x5a>
mov    -0x28(%rbp),%rax
shl    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    112d <binToDecRevUl+0x2d>
mov    -0xc(%rbp),%eax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%ecx
cmp    %rcx,%rax
ja     11ac <binToDecRevUl+0xac>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
cmpl   $0x1,(%rax,%rcx,4)
jne    118f <binToDecRevUl+0x8f>
mov    -0x28(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x28(%rbp),%rax
shr    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1161 <binToDecRevUl+0x61>
mov    -0x18(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<binToDecRevUl>:
mov    %esi,%r8d
mov    %edx,%r9d
mov    $0x1,%ecx
cmp    %edx,%esi
jae    1159 <binToDecRevUl+0x59>
mov    %r9,%rax
sub    %r8,%rax
mov    %r8,%rcx
not    %rcx
add    %r9,%rcx
mov    %eax,%r10d
and    $0x7,%r10d
cmp    $0x7,%rcx
jae    1132 <binToDecRevUl+0x32>
mov    $0x1,%ecx
jmp    114a <binToDecRevUl+0x4a>
and    $0xfffffffffffffff8,%rax
mov    $0x1,%ecx
nopl   0x0(%rax,%rax,1)
shl    $0x8,%rcx
add    $0xfffffffffffffff8,%rax
jne    1140 <binToDecRevUl+0x40>
test   %r10,%r10
je     1159 <binToDecRevUl+0x59>
nop
add    %rcx,%rcx
add    $0xffffffffffffffff,%r10
jne    1150 <binToDecRevUl+0x50>
cmp    %edx,%esi
jbe    1160 <binToDecRevUl+0x60>
xor    %eax,%eax
ret
sub    %r8,%r9
lea    0x1(%r9),%rsi
mov    %esi,%r10d
and    $0x3,%r10d
cmp    $0x3,%r9
jae    11ad <binToDecRevUl+0xad>
xor    %eax,%eax
test   %r10,%r10
je     11ac <binToDecRevUl+0xac>
lea    (%rdi,%r8,4),%rsi
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmpl   $0x1,(%rsi,%rdi,4)
mov    $0x0,%edx
cmove  %rcx,%rdx
add    %rdx,%rax
shr    %rcx
add    $0x1,%rdi
cmp    %rdi,%r10
jne    1190 <binToDecRevUl+0x90>
ret
and    $0xfffffffffffffffc,%rsi
xor    %eax,%eax
jmp    11d3 <binToDecRevUl+0xd3>
cs nopw 0x0(%rax,%rax,1)
nop
xor    %eax,%eax
add    %rdx,%rax
shr    $0x4,%rcx
add    $0x4,%r8
add    $0xfffffffffffffffc,%rsi
je     1176 <binToDecRevUl+0x76>
cmpl   $0x1,(%rdi,%r8,4)
mov    %rcx,%rdx
je     11df <binToDecRevUl+0xdf>
xor    %edx,%edx
add    %rax,%rdx
cmpl   $0x1,0x4(%rdi,%r8,4)
je     11f0 <binToDecRevUl+0xf0>
xor    %eax,%eax
jmp    11f6 <binToDecRevUl+0xf6>
xchg   %ax,%ax
mov    %rcx,%rax
shr    %rax
add    %rdx,%rax
cmpl   $0x1,0x8(%rdi,%r8,4)
je     1210 <binToDecRevUl+0x110>
xor    %edx,%edx
jmp    1217 <binToDecRevUl+0x117>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %rcx,%rdx
shr    $0x2,%rdx
add    %rax,%rdx
cmpl   $0x1,0xc(%rdi,%r8,4)
jne    11c0 <binToDecRevUl+0xc0>
mov    %rcx,%rax
shr    $0x3,%rax
jmp    11c2 <binToDecRevUl+0xc2>

LLVM IR (-O0):
define i64 @binToDecRevUl(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
store i32* %0, i32** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
store i64 0, i64* %7
store i64 0, i64* %8
store i64 1, i64* %9
%10 = load i32, i32* %5
%11 = zext i32 %10 to i64
store i64 %11, i64* %8
br label %12
12: ; preds = %20, %3
%13 = load i64, i64* %8
%14 = load i32, i32* %6
%15 = zext i32 %14 to i64
%16 = icmp ult i64 %13, %15
br i1 %16, label %17, label %23
17: ; preds = %12
%18 = load i64, i64* %9
%19 = mul i64 %18, 2
store i64 %19, i64* %9
br label %20
20: ; preds = %17
%21 = load i64, i64* %8
%22 = add i64 %21, 1
store i64 %22, i64* %8
br label %12
23: ; preds = %12
%24 = load i32, i32* %5
%25 = zext i32 %24 to i64
store i64 %25, i64* %8
br label %26
26: ; preds = %44, %23
%27 = load i64, i64* %8
%28 = load i32, i32* %6
%29 = zext i32 %28 to i64
%30 = icmp ule i64 %27, %29
br i1 %30, label %31, label %47
31: ; preds = %26
%32 = load i32*, i32** %4
%33 = load i64, i64* %8
%34 = getelementptr inbounds i32, i32* %32, i64 %33
%35 = load i32, i32* %34
%36 = icmp eq i32 %35, 1
br i1 %36, label %37, label %41
37: ; preds = %31
%38 = load i64, i64* %9
%39 = load i64, i64* %7
%40 = add i64 %39, %38
store i64 %40, i64* %7
br label %41
41: ; preds = %37, %31
%42 = load i64, i64* %9
%43 = udiv i64 %42, 2
store i64 %43, i64* %9
br label %44
44: ; preds = %41
%45 = load i64, i64* %8
%46 = add i64 %45, 1
store i64 %46, i64* %8
br label %26
47: ; preds = %26
%48 = load i64, i64* %7
ret i64 %48
}

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