float consumer(int x, int y, float **producer_arr) {
  return producer_arr[x][y] + producer_arr[x + 1][y + 1] +
         producer_arr[x + 1][y] + producer_arr[x][y + 1];
}


x86 assembly (clang, -O0):
<consumer>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x4(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x8(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x8(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x8(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x4(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x8(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<consumer>:
movslq %edi,%rax
movslq %esi,%rcx
mov    (%rdx,%rax,8),%rsi
mov    0x8(%rdx,%rax,8),%rax
movss  (%rsi,%rcx,4),%xmm0
addss  0x4(%rax,%rcx,4),%xmm0
addss  (%rax,%rcx,4),%xmm0
addss  0x4(%rsi,%rcx,4),%xmm0
ret

LLVM IR (-O0):
define float @consumer(i32 %0, i32 %1, float** %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca float**
store i32 %0, i32* %4
store i32 %1, i32* %5
store float** %2, float*** %6
%7 = load float**, float*** %6
%8 = load i32, i32* %4
%9 = sext i32 %8 to i64
%10 = getelementptr inbounds float*, float** %7, i64 %9
%11 = load float*, float** %10
%12 = load i32, i32* %5
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds float, float* %11, i64 %13
%15 = load float, float* %14
%16 = load float**, float*** %6
%17 = load i32, i32* %4
%18 = add nsw i32 %17, 1
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds float*, float** %16, i64 %19
%21 = load float*, float** %20
%22 = load i32, i32* %5
%23 = add nsw i32 %22, 1
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds float, float* %21, i64 %24
%26 = load float, float* %25
%27 = fadd float %15, %26
%28 = load float**, float*** %6
%29 = load i32, i32* %4
%30 = add nsw i32 %29, 1
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds float*, float** %28, i64 %31
%33 = load float*, float** %32
%34 = load i32, i32* %5
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds float, float* %33, i64 %35
%37 = load float, float* %36
%38 = fadd float %27, %37
%39 = load float**, float*** %6
%40 = load i32, i32* %4
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds float*, float** %39, i64 %41
%43 = load float*, float** %42
%44 = load i32, i32* %5
%45 = add nsw i32 %44, 1
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds float, float* %43, i64 %46
%48 = load float, float* %47
%49 = fadd float %38, %48
ret float %49
}

LLVM IR (-O2):
define float @consumer(i32 %0, i32 %1, float** nocapture %2) {
%4 = sext i32 %0 to i64
%5 = getelementptr inbounds float*, float** %2, i64 %4
%6 = load float*, float** %5
%7 = sext i32 %1 to i64
%8 = getelementptr inbounds float, float* %6, i64 %7
%9 = load float, float* %8
%10 = add nsw i32 %0, 1
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds float*, float** %2, i64 %11
%13 = load float*, float** %12
%14 = add nsw i32 %1, 1
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds float, float* %13, i64 %15
%17 = load float, float* %16
%18 = fadd float %9, %17
%19 = getelementptr inbounds float, float* %13, i64 %7
%20 = load float, float* %19
%21 = fadd float %18, %20
%22 = getelementptr inbounds float, float* %6, i64 %15
%23 = load float, float* %22
%24 = fadd float %21, %23
ret float %24
}