__attribute__((no)) int foo(int *__restrict__ b, int k) {
  int i, j;
  int sum, x;
  int a[40];
  for (i = 0; i < 40; i++) {
    sum = b[i];
    for (j = 0; j < 40; j++) {
      sum += j;
    }
    a[i] = sum;
  }
  return a[k];
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
cmpl   $0x28,-0x10(%rbp)
jge    1172 <foo+0x72>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x18(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x28,-0x14(%rbp)
jge    1156 <foo+0x56>
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1135 <foo+0x35>
mov    -0x18(%rbp),%ecx
movslq -0x10(%rbp),%rax
mov    %ecx,-0xc0(%rbp,%rax,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1116 <foo+0x16>
movslq -0xc(%rbp),%rax
mov    -0xc0(%rbp,%rax,4),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
sub    $0x28,%rsp
movdqu (%rdi),%xmm1
movdqa 0xef0(%rip),%xmm0
paddd  %xmm0,%xmm1
movdqa %xmm1,-0x80(%rsp)
movdqu 0x10(%rdi),%xmm1
paddd  %xmm0,%xmm1
movdqa %xmm1,-0x70(%rsp)
movdqu 0x20(%rdi),%xmm1
paddd  %xmm0,%xmm1
movdqa %xmm1,-0x60(%rsp)
movdqu 0x30(%rdi),%xmm1
paddd  %xmm0,%xmm1
movdqa %xmm1,-0x50(%rsp)
movdqu 0x40(%rdi),%xmm1
paddd  %xmm0,%xmm1
movdqa %xmm1,-0x40(%rsp)
movdqu 0x50(%rdi),%xmm1
paddd  %xmm0,%xmm1
movdqa %xmm1,-0x30(%rsp)
movdqu 0x60(%rdi),%xmm1
paddd  %xmm0,%xmm1
movdqa %xmm1,-0x20(%rsp)
movdqu 0x70(%rdi),%xmm1
paddd  %xmm0,%xmm1
movdqa %xmm1,-0x10(%rsp)
movdqu 0x80(%rdi),%xmm1
paddd  %xmm0,%xmm1
movdqa %xmm1,(%rsp)
movdqu 0x90(%rdi),%xmm1
paddd  %xmm0,%xmm1
movdqa %xmm1,0x10(%rsp)
movslq %esi,%rax
mov    -0x80(%rsp,%rax,4),%eax
add    $0x28,%rsp
ret

LLVM IR (-O0):
define i32 @foo(i32* noalias %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca [40 x i32]
store i32* %0, i32** %3
store i32 %1, i32* %4
store i32 0, i32* %5
br label %10
10: ; preds = %34, %2
%11 = load i32, i32* %5
%12 = icmp slt i32 %11, 40
br i1 %12, label %13, label %37
13: ; preds = %10
%14 = load i32*, i32** %3
%15 = load i32, i32* %5
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i32, i32* %14, i64 %16
%18 = load i32, i32* %17
store i32 %18, i32* %7
store i32 0, i32* %6
br label %19
19: ; preds = %26, %13
%20 = load i32, i32* %6
%21 = icmp slt i32 %20, 40
br i1 %21, label %22, label %29
22: ; preds = %19
%23 = load i32, i32* %6
%24 = load i32, i32* %7
%25 = add nsw i32 %24, %23
store i32 %25, i32* %7
br label %26
26: ; preds = %22
%27 = load i32, i32* %6
%28 = add nsw i32 %27, 1
store i32 %28, i32* %6
br label %19
29: ; preds = %19
%30 = load i32, i32* %7
%31 = load i32, i32* %5
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds [40 x i32], [40 x i32]* %9, i64 0, i64 %32
store i32 %30, i32* %33
br label %34
34: ; preds = %29
%35 = load i32, i32* %5
%36 = add nsw i32 %35, 1
store i32 %36, i32* %5
br label %10
37: ; preds = %10
%38 = load i32, i32* %4
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds [40 x i32], [40 x i32]* %9, i64 0, i64 %39
%41 = load i32, i32* %40
ret i32 %41
}

LLVM IR (-O2):
define i32 @foo(i32* noalias nocapture %0, i32 %1) {
%3 = alloca [40 x i32]
%4 = bitcast [40 x i32]* %3 to i8*
%5 = bitcast i32* %0 to <4 x i32>*
%6 = load <4 x i32>, <4 x i32>* %5
%7 = add <4 x i32> %6, <i32 780, i32 780, i32 780, i32 780>
%8 = bitcast [40 x i32]* %3 to <4 x i32>*
store <4 x i32> %7, <4 x i32>* %8
%9 = getelementptr inbounds i32, i32* %0, i64 4
%10 = bitcast i32* %9 to <4 x i32>*
%11 = load <4 x i32>, <4 x i32>* %10
%12 = add <4 x i32> %11, <i32 780, i32 780, i32 780, i32 780>
%13 = getelementptr inbounds [40 x i32], [40 x i32]* %3, i64 0, i64 4
%14 = bitcast i32* %13 to <4 x i32>*
store <4 x i32> %12, <4 x i32>* %14
%15 = getelementptr inbounds i32, i32* %0, i64 8
%16 = bitcast i32* %15 to <4 x i32>*
%17 = load <4 x i32>, <4 x i32>* %16
%18 = add <4 x i32> %17, <i32 780, i32 780, i32 780, i32 780>
%19 = getelementptr inbounds [40 x i32], [40 x i32]* %3, i64 0, i64 8
%20 = bitcast i32* %19 to <4 x i32>*
store <4 x i32> %18, <4 x i32>* %20
%21 = getelementptr inbounds i32, i32* %0, i64 12
%22 = bitcast i32* %21 to <4 x i32>*
%23 = load <4 x i32>, <4 x i32>* %22
%24 = add <4 x i32> %23, <i32 780, i32 780, i32 780, i32 780>
%25 = getelementptr inbounds [40 x i32], [40 x i32]* %3, i64 0, i64 12
%26 = bitcast i32* %25 to <4 x i32>*
store <4 x i32> %24, <4 x i32>* %26
%27 = getelementptr inbounds i32, i32* %0, i64 16
%28 = bitcast i32* %27 to <4 x i32>*
%29 = load <4 x i32>, <4 x i32>* %28
%30 = add <4 x i32> %29, <i32 780, i32 780, i32 780, i32 780>
%31 = getelementptr inbounds [40 x i32], [40 x i32]* %3, i64 0, i64 16
%32 = bitcast i32* %31 to <4 x i32>*
store <4 x i32> %30, <4 x i32>* %32
%33 = getelementptr inbounds i32, i32* %0, i64 20
%34 = bitcast i32* %33 to <4 x i32>*
%35 = load <4 x i32>, <4 x i32>* %34
%36 = add <4 x i32> %35, <i32 780, i32 780, i32 780, i32 780>
%37 = getelementptr inbounds [40 x i32], [40 x i32]* %3, i64 0, i64 20
%38 = bitcast i32* %37 to <4 x i32>*
store <4 x i32> %36, <4 x i32>* %38
%39 = getelementptr inbounds i32, i32* %0, i64 24
%40 = bitcast i32* %39 to <4 x i32>*
%41 = load <4 x i32>, <4 x i32>* %40
%42 = add <4 x i32> %41, <i32 780, i32 780, i32 780, i32 780>
%43 = getelementptr inbounds [40 x i32], [40 x i32]* %3, i64 0, i64 24
%44 = bitcast i32* %43 to <4 x i32>*
store <4 x i32> %42, <4 x i32>* %44
%45 = getelementptr inbounds i32, i32* %0, i64 28
%46 = bitcast i32* %45 to <4 x i32>*
%47 = load <4 x i32>, <4 x i32>* %46
%48 = add <4 x i32> %47, <i32 780, i32 780, i32 780, i32 780>
%49 = getelementptr inbounds [40 x i32], [40 x i32]* %3, i64 0, i64 28
%50 = bitcast i32* %49 to <4 x i32>*
store <4 x i32> %48, <4 x i32>* %50
%51 = getelementptr inbounds i32, i32* %0, i64 32
%52 = bitcast i32* %51 to <4 x i32>*
%53 = load <4 x i32>, <4 x i32>* %52
%54 = add <4 x i32> %53, <i32 780, i32 780, i32 780, i32 780>
%55 = getelementptr inbounds [40 x i32], [40 x i32]* %3, i64 0, i64 32
%56 = bitcast i32* %55 to <4 x i32>*
store <4 x i32> %54, <4 x i32>* %56
%57 = getelementptr inbounds i32, i32* %0, i64 36
%58 = bitcast i32* %57 to <4 x i32>*
%59 = load <4 x i32>, <4 x i32>* %58
%60 = add <4 x i32> %59, <i32 780, i32 780, i32 780, i32 780>
%61 = getelementptr inbounds [40 x i32], [40 x i32]* %3, i64 0, i64 36
%62 = bitcast i32* %61 to <4 x i32>*
store <4 x i32> %60, <4 x i32>* %62
%63 = sext i32 %1 to i64
%64 = getelementptr inbounds [40 x i32], [40 x i32]* %3, i64 0, i64 %63
%65 = load i32, i32* %64
ret i32 %65
}