int sum_of_even_squares(int *a, unsigned int length) {
  int total = 0;
  for (unsigned int i = 0; i < length; i++) {
    if (a[i] % 2 == 0) {
      total += a[i] * a[i];
    }
  }
  return total;
}


x86 assembly (clang, -O0):
<sum_of_even_squares>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jae    116e <sum_of_even_squares+0x6e>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    115b <sum_of_even_squares+0x5b>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x14(%rbp),%edx
imul   (%rcx,%rdx,4),%eax
add    -0x10(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1160 <sum_of_even_squares+0x60>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1119 <sum_of_even_squares+0x19>
mov    -0x10(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<sum_of_even_squares>:
test   %esi,%esi
je     1118 <sum_of_even_squares+0x18>
mov    %esi,%r10d
xor    %r9d,%r9d
cmp    $0x8,%esi
jae    111b <sum_of_even_squares+0x1b>
xor    %esi,%esi
xor    %eax,%eax
jmp    12f0 <sum_of_even_squares+0x1f0>
xor    %eax,%eax
ret
mov    %r10d,%esi
and    $0xfffffff8,%esi
lea    -0x8(%rsi),%rax
mov    %rax,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rax,%rax
je     130b <sum_of_even_squares+0x20b>
mov    %r8,%rdx
and    $0xfffffffffffffffe,%rdx
pxor   %xmm8,%xmm8
xor    %eax,%eax
movdqa 0xeb0(%rip),%xmm9
pxor   %xmm0,%xmm0
pxor   %xmm1,%xmm1
nopl   0x0(%rax,%rax,1)
movdqu (%rdi,%rax,4),%xmm5
movdqu 0x10(%rdi,%rax,4),%xmm4
movdqu 0x20(%rdi,%rax,4),%xmm7
movdqu 0x30(%rdi,%rax,4),%xmm10
movdqa %xmm5,%xmm2
pand   %xmm9,%xmm2
movdqa %xmm4,%xmm3
pand   %xmm9,%xmm3
pshufd $0xf5,%xmm5,%xmm6
pmuludq %xmm5,%xmm5
pshufd $0xe8,%xmm5,%xmm5
pmuludq %xmm6,%xmm6
pshufd $0xe8,%xmm6,%xmm6
punpckldq %xmm6,%xmm5
pshufd $0xf5,%xmm4,%xmm6
pmuludq %xmm4,%xmm4
pshufd $0xe8,%xmm4,%xmm4
pmuludq %xmm6,%xmm6
pshufd $0xe8,%xmm6,%xmm6
punpckldq %xmm6,%xmm4
pcmpeqd %xmm8,%xmm2
pand   %xmm5,%xmm2
paddd  %xmm0,%xmm2
pcmpeqd %xmm8,%xmm3
pand   %xmm4,%xmm3
paddd  %xmm1,%xmm3
movdqa %xmm7,%xmm0
pand   %xmm9,%xmm0
movdqa %xmm10,%xmm1
pand   %xmm9,%xmm1
pshufd $0xf5,%xmm7,%xmm4
pmuludq %xmm7,%xmm7
pshufd $0xe8,%xmm7,%xmm5
pmuludq %xmm4,%xmm4
pshufd $0xe8,%xmm4,%xmm4
punpckldq %xmm4,%xmm5
pshufd $0xf5,%xmm10,%xmm4
pmuludq %xmm10,%xmm10
pshufd $0xe8,%xmm10,%xmm6
pmuludq %xmm4,%xmm4
pshufd $0xe8,%xmm4,%xmm4
punpckldq %xmm4,%xmm6
pcmpeqd %xmm8,%xmm0
pand   %xmm5,%xmm0
paddd  %xmm2,%xmm0
pcmpeqd %xmm8,%xmm1
pand   %xmm6,%xmm1
paddd  %xmm3,%xmm1
add    $0x10,%rax
add    $0xfffffffffffffffe,%rdx
jne    1160 <sum_of_even_squares+0x60>
test   $0x1,%r8b
je     12c5 <sum_of_even_squares+0x1c5>
movdqu (%rdi,%rax,4),%xmm3
movdqu 0x10(%rdi,%rax,4),%xmm4
movdqa 0xd99(%rip),%xmm2
movdqa %xmm3,%xmm5
pand   %xmm2,%xmm5
pand   %xmm4,%xmm2
pxor   %xmm6,%xmm6
pshufd $0xf5,%xmm3,%xmm7
pmuludq %xmm3,%xmm3
pshufd $0xe8,%xmm3,%xmm3
pmuludq %xmm7,%xmm7
pshufd $0xe8,%xmm7,%xmm7
punpckldq %xmm7,%xmm3
pshufd $0xf5,%xmm4,%xmm7
pmuludq %xmm4,%xmm4
pshufd $0xe8,%xmm4,%xmm4
pmuludq %xmm7,%xmm7
pshufd $0xe8,%xmm7,%xmm7
punpckldq %xmm7,%xmm4
pcmpeqd %xmm6,%xmm5
pand   %xmm3,%xmm5
paddd  %xmm5,%xmm0
pcmpeqd %xmm6,%xmm2
pand   %xmm4,%xmm2
paddd  %xmm2,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %r10,%rsi
je     130a <sum_of_even_squares+0x20a>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rdi,%rsi,4),%ecx
mov    %ecx,%edx
imul   %ecx,%edx
test   $0x1,%cl
cmovne %r9d,%edx
add    %edx,%eax
add    $0x1,%rsi
cmp    %rsi,%r10
jne    12f0 <sum_of_even_squares+0x1f0>
ret
pxor   %xmm0,%xmm0
xor    %eax,%eax
pxor   %xmm1,%xmm1
test   $0x1,%r8b
jne    1254 <sum_of_even_squares+0x154>
jmp    12c5 <sum_of_even_squares+0x1c5>

LLVM IR (-O0):
define i32 @sum_of_even_squares(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
store i32 0, i32* %5
store i32 0, i32* %6
br label %7
7: ; preds = %34, %2
%8 = load i32, i32* %6
%9 = load i32, i32* %4
%10 = icmp ult i32 %8, %9
br i1 %10, label %11, label %37
11: ; preds = %7
%12 = load i32*, i32** %3
%13 = load i32, i32* %6
%14 = zext i32 %13 to i64
%15 = getelementptr inbounds i32, i32* %12, i64 %14
%16 = load i32, i32* %15
%17 = srem i32 %16, 2
%18 = icmp eq i32 %17, 0
br i1 %18, label %19, label %33
19: ; preds = %11
%20 = load i32*, i32** %3
%21 = load i32, i32* %6
%22 = zext i32 %21 to i64
%23 = getelementptr inbounds i32, i32* %20, i64 %22
%24 = load i32, i32* %23
%25 = load i32*, i32** %3
%26 = load i32, i32* %6
%27 = zext i32 %26 to i64
%28 = getelementptr inbounds i32, i32* %25, i64 %27
%29 = load i32, i32* %28
%30 = mul nsw i32 %24, %29
%31 = load i32, i32* %5
%32 = add nsw i32 %31, %30
store i32 %32, i32* %5
br label %33
33: ; preds = %19, %11
br label %34
34: ; preds = %33
%35 = load i32, i32* %6
%36 = add i32 %35, 1
store i32 %36, i32* %6
br label %7
37: ; preds = %7
%38 = load i32, i32* %5
ret i32 %38
}

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