unsigned int array_uint_be(const unsigned char data[], unsigned int n) {
  unsigned int shift = n * 8;
  unsigned int value = 0;
  for (unsigned int i = 0; i < n; ++i) {
    shift -= 8;
    value |= data[i] << shift;
  }
  return value;
}


x86 assembly (clang, -O0):
<array_uint_be>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
shl    $0x3,%eax
mov    %eax,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jae    115b <array_uint_be+0x5b>
mov    -0x10(%rbp),%eax
sub    $0x8,%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%ecx
shl    %cl,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1122 <array_uint_be+0x22>
mov    -0x14(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<array_uint_be>:
test   %esi,%esi
je     111c <array_uint_be+0x1c>
lea    0x0(,%rsi,8),%ecx
mov    %esi,%r9d
cmp    $0x8,%esi
jae    111f <array_uint_be+0x1f>
xor    %esi,%esi
xor    %eax,%eax
jmp    13b6 <array_uint_be+0x2b6>
xor    %eax,%eax
ret
mov    %r9d,%esi
and    $0xfffffff8,%esi
movd   %ecx,%xmm0
pshufd $0x0,%xmm0,%xmm15
paddd  0xec8(%rip),%xmm15
lea    -0x8(%rsi),%rax
mov    %rax,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rax,%rax
je     13d5 <array_uint_be+0x2d5>
mov    %r8,%rdx
and    $0xfffffffffffffffe,%rdx
pxor   %xmm14,%xmm14
xor    %eax,%eax
movdqa 0xea9(%rip),%xmm8
movdqa 0xeb0(%rip),%xmm9
movdqa 0xeb7(%rip),%xmm13
movdqa 0xebe(%rip),%xmm10
movdqa 0xec5(%rip),%xmm11
movdqa 0xecc(%rip),%xmm12
pxor   %xmm1,%xmm1
pxor   %xmm2,%xmm2
nopl   0x0(%rax)
movdqa %xmm15,%xmm7
paddd  %xmm8,%xmm7
movdqa %xmm15,%xmm0
paddd  %xmm9,%xmm0
movd   (%rdi,%rax,1),%xmm6
movd   0x4(%rdi,%rax,1),%xmm4
punpcklbw %xmm14,%xmm6
punpcklwd %xmm14,%xmm6
punpcklbw %xmm14,%xmm4
punpcklwd %xmm14,%xmm4
pslld  $0x17,%xmm7
paddd  %xmm13,%xmm7
cvttps2dq %xmm7,%xmm3
pshufd $0xf5,%xmm6,%xmm5
pmuludq %xmm3,%xmm6
pshufd $0xe8,%xmm6,%xmm7
pshufd $0xf5,%xmm3,%xmm3
pmuludq %xmm5,%xmm3
pshufd $0xe8,%xmm3,%xmm3
punpckldq %xmm3,%xmm7
por    %xmm1,%xmm7
pslld  $0x17,%xmm0
paddd  %xmm13,%xmm0
cvttps2dq %xmm0,%xmm0
pshufd $0xf5,%xmm4,%xmm1
pmuludq %xmm0,%xmm4
pshufd $0xe8,%xmm4,%xmm4
pshufd $0xf5,%xmm0,%xmm0
pmuludq %xmm1,%xmm0
pshufd $0xe8,%xmm0,%xmm0
punpckldq %xmm0,%xmm4
por    %xmm2,%xmm4
movdqa %xmm15,%xmm1
paddd  %xmm10,%xmm1
movdqa %xmm15,%xmm0
paddd  %xmm11,%xmm0
movd   0x8(%rdi,%rax,1),%xmm3
movd   0xc(%rdi,%rax,1),%xmm2
punpcklbw %xmm14,%xmm3
punpcklwd %xmm14,%xmm3
punpcklbw %xmm14,%xmm2
punpcklwd %xmm14,%xmm2
pslld  $0x17,%xmm1
paddd  %xmm13,%xmm1
cvttps2dq %xmm1,%xmm5
pshufd $0xf5,%xmm3,%xmm6
pmuludq %xmm5,%xmm3
pshufd $0xe8,%xmm3,%xmm1
pshufd $0xf5,%xmm5,%xmm3
pmuludq %xmm6,%xmm3
pshufd $0xe8,%xmm3,%xmm3
punpckldq %xmm3,%xmm1
por    %xmm7,%xmm1
pslld  $0x17,%xmm0
paddd  %xmm13,%xmm0
cvttps2dq %xmm0,%xmm0
pshufd $0xf5,%xmm2,%xmm3
pmuludq %xmm0,%xmm2
pshufd $0xe8,%xmm2,%xmm2
pshufd $0xf5,%xmm0,%xmm0
pmuludq %xmm3,%xmm0
pshufd $0xe8,%xmm0,%xmm0
punpckldq %xmm0,%xmm2
por    %xmm4,%xmm2
add    $0x10,%rax
paddd  %xmm12,%xmm15
add    $0xfffffffffffffffe,%rdx
jne    11a0 <array_uint_be+0xa0>
test   $0x1,%r8b
je     138e <array_uint_be+0x28e>
movdqa 0xd1c(%rip),%xmm0
paddd  %xmm15,%xmm0
paddd  0xd1e(%rip),%xmm15
movd   (%rdi,%rax,1),%xmm4
movd   0x4(%rdi,%rax,1),%xmm3
pxor   %xmm5,%xmm5
punpcklbw %xmm5,%xmm4
punpcklwd %xmm5,%xmm4
punpcklbw %xmm5,%xmm3
punpcklwd %xmm5,%xmm3
pslld  $0x17,%xmm0
movdqa 0xd02(%rip),%xmm5
paddd  %xmm5,%xmm0
cvttps2dq %xmm0,%xmm0
pshufd $0xf5,%xmm4,%xmm6
pmuludq %xmm0,%xmm4
pshufd $0xe8,%xmm4,%xmm4
pshufd $0xf5,%xmm0,%xmm0
pmuludq %xmm6,%xmm0
pshufd $0xe8,%xmm0,%xmm0
punpckldq %xmm0,%xmm4
por    %xmm4,%xmm1
pslld  $0x17,%xmm15
paddd  %xmm5,%xmm15
cvttps2dq %xmm15,%xmm0
pshufd $0xf5,%xmm3,%xmm4
pmuludq %xmm0,%xmm3
pshufd $0xe8,%xmm3,%xmm3
pshufd $0xf5,%xmm0,%xmm0
pmuludq %xmm4,%xmm0
pshufd $0xe8,%xmm0,%xmm0
punpckldq %xmm0,%xmm3
por    %xmm3,%xmm2
por    %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm0
por    %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
por    %xmm0,%xmm1
movd   %xmm1,%eax
cmp    %r9,%rsi
je     13d4 <array_uint_be+0x2d4>
lea    0x0(,%rsi,8),%edx
sub    %edx,%ecx
add    $0xfffffff8,%ecx
nopl   0x0(%rax)
movzbl (%rdi,%rsi,1),%edx
shl    %cl,%edx
or     %edx,%eax
add    $0x1,%rsi
add    $0xfffffff8,%ecx
cmp    %rsi,%r9
jne    13c0 <array_uint_be+0x2c0>
ret
pxor   %xmm1,%xmm1
xor    %eax,%eax
pxor   %xmm2,%xmm2
test   $0x1,%r8b
jne    12ec <array_uint_be+0x1ec>
jmp    138e <array_uint_be+0x28e>

LLVM IR (-O0):
define i32 @array_uint_be(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %3
store i32 %1, i32* %4
%8 = load i32, i32* %4
%9 = mul i32 %8, 8
store i32 %9, i32* %5
store i32 0, i32* %6
store i32 0, i32* %7
br label %10
10: ; preds = %27, %2
%11 = load i32, i32* %7
%12 = load i32, i32* %4
%13 = icmp ult i32 %11, %12
br i1 %13, label %14, label %30
14: ; preds = %10
%15 = load i32, i32* %5
%16 = sub i32 %15, 8
store i32 %16, i32* %5
%17 = load i8*, i8** %3
%18 = load i32, i32* %7
%19 = zext i32 %18 to i64
%20 = getelementptr inbounds i8, i8* %17, i64 %19
%21 = load i8, i8* %20
%22 = zext i8 %21 to i32
%23 = load i32, i32* %5
%24 = shl i32 %22, %23
%25 = load i32, i32* %6
%26 = or i32 %25, %24
store i32 %26, i32* %6
br label %27
27: ; preds = %14
%28 = load i32, i32* %7
%29 = add i32 %28, 1
store i32 %29, i32* %7
br label %10
30: ; preds = %10
%31 = load i32, i32* %6
ret i32 %31
}

LLVM IR (-O2):
define i32 @array_uint_be(i8* nocapture %0, i32 %1) {
%3 = icmp eq i32 %1, 0
br i1 %3, label %95, label %4
4: ; preds = %2
%5 = shl i32 %1, 3
%6 = zext i32 %1 to i64
%7 = icmp ult i32 %1, 8
br i1 %7, label %91, label %8
8: ; preds = %4
%9 = and i64 %6, 4294967288
%10 = trunc i64 %9 to i32
%11 = mul i32 %10, -8
%12 = add i32 %5, %11
%13 = insertelement <4 x i32> poison, i32 %5, i64 0
%14 = shufflevector <4 x i32> %13, <4 x i32> poison, <4 x i32> zeroinitializer
%15 = add <4 x i32> %14, <i32 0, i32 -8, i32 -16, i32 -24>
%16 = add nsw i64 %9, -8
%17 = lshr exact i64 %16, 3
%18 = add nuw nsw i64 %17, 1
%19 = and i64 %18, 1
%20 = icmp eq i64 %16, 0
br i1 %20, label %62, label %21
21: ; preds = %8
%22 = and i64 %18, 4611686018427387902
br label %23
23: ; preds = %23, %21
%24 = phi i64 [ 0, %21 ], [ %58, %23 ]
%25 = phi <4 x i32> [ zeroinitializer, %21 ], [ %56, %23 ]
%26 = phi <4 x i32> [ zeroinitializer, %21 ], [ %57, %23 ]
%27 = phi <4 x i32> [ %15, %21 ], [ %59, %23 ]
%28 = phi i64 [ 0, %21 ], [ %60, %23 ]
%29 = add <4 x i32> %27, <i32 -8, i32 -8, i32 -8, i32 -8>
%30 = add <4 x i32> %27, <i32 -40, i32 -40, i32 -40, i32 -40>
%31 = getelementptr inbounds i8, i8* %0, i64 %24
%32 = bitcast i8* %31 to <4 x i8>*
%33 = load <4 x i8>, <4 x i8>* %32
%34 = getelementptr inbounds i8, i8* %31, i64 4
%35 = bitcast i8* %34 to <4 x i8>*
%36 = load <4 x i8>, <4 x i8>* %35
%37 = zext <4 x i8> %33 to <4 x i32>
%38 = zext <4 x i8> %36 to <4 x i32>
%39 = shl <4 x i32> %37, %29
%40 = shl <4 x i32> %38, %30
%41 = or <4 x i32> %39, %25
%42 = or <4 x i32> %40, %26
%43 = or i64 %24, 8
%44 = add <4 x i32> %27, <i32 -72, i32 -72, i32 -72, i32 -72>
%45 = add <4 x i32> %27, <i32 -104, i32 -104, i32 -104, i32 -104>
%46 = getelementptr inbounds i8, i8* %0, i64 %43
%47 = bitcast i8* %46 to <4 x i8>*
%48 = load <4 x i8>, <4 x i8>* %47
%49 = getelementptr inbounds i8, i8* %46, i64 4
%50 = bitcast i8* %49 to <4 x i8>*
%51 = load <4 x i8>, <4 x i8>* %50
%52 = zext <4 x i8> %48 to <4 x i32>
%53 = zext <4 x i8> %51 to <4 x i32>
%54 = shl <4 x i32> %52, %44
%55 = shl <4 x i32> %53, %45
%56 = or <4 x i32> %54, %41
%57 = or <4 x i32> %55, %42
%58 = add nuw i64 %24, 16
%59 = add <4 x i32> %27, <i32 -128, i32 -128, i32 -128, i32 -128>
%60 = add i64 %28, 2
%61 = icmp eq i64 %60, %22
br i1 %61, label %62, label %23
62: ; preds = %23, %8
%63 = phi <4 x i32> [ undef, %8 ], [ %56, %23 ]
%64 = phi <4 x i32> [ undef, %8 ], [ %57, %23 ]
%65 = phi i64 [ 0, %8 ], [ %58, %23 ]
%66 = phi <4 x i32> [ zeroinitializer, %8 ], [ %56, %23 ]
%67 = phi <4 x i32> [ zeroinitializer, %8 ], [ %57, %23 ]
%68 = phi <4 x i32> [ %15, %8 ], [ %59, %23 ]
%69 = icmp eq i64 %19, 0
br i1 %69, label %85, label %70
70: ; preds = %62
%71 = add <4 x i32> %68, <i32 -8, i32 -8, i32 -8, i32 -8>
%72 = add <4 x i32> %68, <i32 -40, i32 -40, i32 -40, i32 -40>
%73 = getelementptr inbounds i8, i8* %0, i64 %65
%74 = bitcast i8* %73 to <4 x i8>*
%75 = load <4 x i8>, <4 x i8>* %74
%76 = getelementptr inbounds i8, i8* %73, i64 4
%77 = bitcast i8* %76 to <4 x i8>*
%78 = load <4 x i8>, <4 x i8>* %77
%79 = zext <4 x i8> %75 to <4 x i32>
%80 = zext <4 x i8> %78 to <4 x i32>
%81 = shl <4 x i32> %79, %71
%82 = shl <4 x i32> %80, %72
%83 = or <4 x i32> %81, %66
%84 = or <4 x i32> %82, %67
br label %85
85: ; preds = %62, %70
%86 = phi <4 x i32> [ %63, %62 ], [ %83, %70 ]
%87 = phi <4 x i32> [ %64, %62 ], [ %84, %70 ]
%88 = or <4 x i32> %87, %86
%89 = call i32 @llvm.vector.reduce.or.v4i32(<4 x i32> %88)
%90 = icmp eq i64 %9, %6
br i1 %90, label %95, label %91
91: ; preds = %4, %85
%92 = phi i64 [ 0, %4 ], [ %9, %85 ]
%93 = phi i32 [ 0, %4 ], [ %89, %85 ]
%94 = phi i32 [ %5, %4 ], [ %12, %85 ]
br label %97
95: ; preds = %97, %85, %2
%96 = phi i32 [ 0, %2 ], [ %89, %85 ], [ %106, %97 ]
ret i32 %96
97: ; preds = %91, %97
%98 = phi i64 [ %107, %97 ], [ %92, %91 ]
%99 = phi i32 [ %106, %97 ], [ %93, %91 ]
%100 = phi i32 [ %101, %97 ], [ %94, %91 ]
%101 = add i32 %100, -8
%102 = getelementptr inbounds i8, i8* %0, i64 %98
%103 = load i8, i8* %102
%104 = zext i8 %103 to i32
%105 = shl i32 %104, %101
%106 = or i32 %105, %99
%107 = add nuw nsw i64 %98, 1
%108 = icmp eq i64 %107, %6
br i1 %108, label %95, label %97
}