#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 /*<<< orphan*/ data;

/* Variables and functions */
int /*<<< orphan*/ printf(char *, int);
int sum(int data[], int len) {
  printf("[ sum()] array size: %zu byte\n", sizeof(data));
  int res = *data;
  for (int *p = data + 1; p < data + len; p++)
    res += *p;
  return res;
}


x86 assembly (clang, -O0):
<sum>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
lea    0xeda(%rip),%rdi
mov    $0x8,%esi
call   1030 <printf@plt>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
shl    $0x2,%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
jae    117e <sum+0x6e>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x18(%rbp)
jmp    1145 <sum+0x35>
mov    -0x10(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<sum>:
push   %rbp
push   %rbx
push   %rax
mov    %esi,%ebp
mov    %rdi,%rbx
lea    0xee1(%rip),%rdi
mov    $0x8,%esi
call   1030 <printf@plt>
mov    (%rbx),%eax
cmp    $0x2,%ebp
jl     125b <sum+0x14b>
movslq %ebp,%rcx
lea    (%rbx,%rcx,4),%rcx
lea    0x8(%rbx),%rsi
cmp    %rsi,%rcx
cmova  %rcx,%rsi
lea    0x4(%rbx),%rdx
sub    %rbx,%rsi
add    $0xfffffffffffffffb,%rsi
cmp    $0x1c,%rsi
jb     1250 <sum+0x140>
shr    $0x2,%rsi
add    $0x1,%rsi
mov    %rsi,%r8
and    $0xfffffffffffffff8,%r8
movd   %eax,%xmm0
lea    -0x8(%r8),%rbp
mov    %rbp,%rax
shr    $0x3,%rax
add    $0x1,%rax
mov    %eax,%edi
and    $0x3,%edi
cmp    $0x18,%rbp
jae    1190 <sum+0x80>
pxor   %xmm1,%xmm1
xor    %ebp,%ebp
jmp    11fa <sum+0xea>
and    $0xfffffffffffffffc,%rax
pxor   %xmm1,%xmm1
xor    %ebp,%ebp
nopw   0x0(%rax,%rax,1)
movdqu 0x4(%rbx,%rbp,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x14(%rbx,%rbp,4),%xmm0
paddd  %xmm1,%xmm0
movdqu 0x24(%rbx,%rbp,4),%xmm1
movdqu 0x34(%rbx,%rbp,4),%xmm3
movdqu 0x44(%rbx,%rbp,4),%xmm4
paddd  %xmm1,%xmm4
paddd  %xmm2,%xmm4
movdqu 0x54(%rbx,%rbp,4),%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm0,%xmm2
movdqu 0x64(%rbx,%rbp,4),%xmm0
paddd  %xmm4,%xmm0
movdqu 0x74(%rbx,%rbp,4),%xmm1
paddd  %xmm2,%xmm1
add    $0x20,%rbp
add    $0xfffffffffffffffc,%rax
jne    11a0 <sum+0x90>
test   %rdi,%rdi
je     122c <sum+0x11c>
lea    (%rbx,%rbp,4),%rax
add    $0x14,%rax
shl    $0x5,%rdi
xor    %ebp,%ebp
nopl   (%rax)
movdqu -0x10(%rax,%rbp,1),%xmm2
paddd  %xmm2,%xmm0
movdqu (%rax,%rbp,1),%xmm2
paddd  %xmm2,%xmm1
add    $0x20,%rbp
cmp    %rbp,%rdi
jne    1210 <sum+0x100>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %r8,%rsi
je     125b <sum+0x14b>
lea    (%rdx,%r8,4),%rdx
nop
add    (%rdx),%eax
add    $0x4,%rdx
cmp    %rcx,%rdx
jb     1250 <sum+0x140>
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
@.str = [31 x i8] c"[ sum()] array size: %zu byte\0A\00"
define i32 @sum(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32*
store i32* %0, i32** %3
store i32 %1, i32* %4
%7 = call i32 @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str, i64 0, i64 0), i32 8)
%8 = load i32*, i32** %3
%9 = load i32, i32* %8
store i32 %9, i32* %5
%10 = load i32*, i32** %3
%11 = getelementptr inbounds i32, i32* %10, i64 1
store i32* %11, i32** %6
br label %12
12: ; preds = %24, %2
%13 = load i32*, i32** %6
%14 = load i32*, i32** %3
%15 = load i32, i32* %4
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i32, i32* %14, i64 %16
%18 = icmp ult i32* %13, %17
br i1 %18, label %19, label %27
19: ; preds = %12
%20 = load i32*, i32** %6
%21 = load i32, i32* %20
%22 = load i32, i32* %5
%23 = add nsw i32 %22, %21
store i32 %23, i32* %5
br label %24
24: ; preds = %19
%25 = load i32*, i32** %6
%26 = getelementptr inbounds i32, i32* %25, i32 1
store i32* %26, i32** %6
br label %12
27: ; preds = %12
%28 = load i32, i32* %5
ret i32 %28
}

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