#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 */

/* Variables and functions */
double sqrt(double);
double l2_norm(unsigned long *ary, unsigned long len) {
  unsigned long i = 0;
  double norm = 0.0;
  for (i = 0; i < len; ++i) {
    norm += (ary[i] * ary[i]);
  }
  return sqrt(norm);
}


x86 assembly (clang, -O0):
<l2_norm>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movq   $0x0,-0x18(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x20(%rbp)
movq   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1198 <l2_norm+0x88>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
imul   %rax,%rax
movq   %rax,%xmm0
movaps 0xe9e(%rip),%xmm1
punpckldq %xmm1,%xmm0
movapd 0xea2(%rip),%xmm1
subpd  %xmm1,%xmm0
movaps %xmm0,%xmm1
unpckhpd %xmm0,%xmm0
addsd  %xmm1,%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1138 <l2_norm+0x28>
movsd  -0x20(%rbp),%xmm0
call   1030 <sqrt@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<l2_norm>:
xorpd  %xmm1,%xmm1
xorpd  %xmm0,%xmm0
test   %rsi,%rsi
je     124e <l2_norm+0x13e>
lea    -0x1(%rsi),%rcx
mov    %esi,%r8d
and    $0x3,%r8d
cmp    $0x3,%rcx
jae    113d <l2_norm+0x2d>
xorpd  %xmm0,%xmm0
xor    %ecx,%ecx
jmp    1204 <l2_norm+0xf4>
and    $0xfffffffffffffffc,%rsi
xorpd  %xmm0,%xmm0
xor    %ecx,%ecx
movdqa 0xeb1(%rip),%xmm2
movapd 0xeb9(%rip),%xmm3
nopw   0x0(%rax,%rax,1)
mov    (%rdi,%rcx,8),%rdx
mov    0x8(%rdi,%rcx,8),%rax
imul   %rdx,%rdx
movq   %rdx,%xmm4
punpckldq %xmm2,%xmm4
subpd  %xmm3,%xmm4
movapd %xmm4,%xmm5
unpckhpd %xmm4,%xmm5
addsd  %xmm4,%xmm5
addsd  %xmm0,%xmm5
imul   %rax,%rax
movq   %rax,%xmm0
punpckldq %xmm2,%xmm0
subpd  %xmm3,%xmm0
movapd %xmm0,%xmm4
unpckhpd %xmm0,%xmm4
addsd  %xmm0,%xmm4
addsd  %xmm5,%xmm4
mov    0x10(%rdi,%rcx,8),%rax
imul   %rax,%rax
movq   %rax,%xmm0
punpckldq %xmm2,%xmm0
subpd  %xmm3,%xmm0
movapd %xmm0,%xmm5
unpckhpd %xmm0,%xmm5
addsd  %xmm0,%xmm5
addsd  %xmm4,%xmm5
mov    0x18(%rdi,%rcx,8),%rax
imul   %rax,%rax
movq   %rax,%xmm4
punpckldq %xmm2,%xmm4
subpd  %xmm3,%xmm4
movapd %xmm4,%xmm0
unpckhpd %xmm4,%xmm0
addsd  %xmm4,%xmm0
addsd  %xmm5,%xmm0
add    $0x4,%rcx
cmp    %rcx,%rsi
jne    1160 <l2_norm+0x50>
test   %r8,%r8
je     124e <l2_norm+0x13e>
lea    (%rdi,%rcx,8),%rcx
xor    %edx,%edx
movdqa 0xde9(%rip),%xmm2
movapd 0xdf1(%rip),%xmm3
nop
mov    (%rcx,%rdx,8),%rax
imul   %rax,%rax
movq   %rax,%xmm4
punpckldq %xmm2,%xmm4
subpd  %xmm3,%xmm4
movapd %xmm4,%xmm5
unpckhpd %xmm4,%xmm5
addsd  %xmm4,%xmm5
addsd  %xmm5,%xmm0
add    $0x1,%rdx
cmp    %rdx,%r8
jne    1220 <l2_norm+0x110>
ucomisd %xmm1,%xmm0
jb     1259 <l2_norm+0x149>
sqrtsd %xmm0,%xmm0
ret
jmp    1030 <sqrt@plt>

LLVM IR (-O0):
define double @l2_norm(i64* %0, i64 %1) {
%3 = alloca i64*
%4 = alloca i64
%5 = alloca i64
%6 = alloca double
store i64* %0, i64** %3
store i64 %1, i64* %4
store i64 0, i64* %5
store double 0.000000e+00, double* %6
store i64 0, i64* %5
br label %7
7: ; preds = %24, %2
%8 = load i64, i64* %5
%9 = load i64, i64* %4
%10 = icmp ult i64 %8, %9
br i1 %10, label %11, label %27
11: ; preds = %7
%12 = load i64*, i64** %3
%13 = load i64, i64* %5
%14 = getelementptr inbounds i64, i64* %12, i64 %13
%15 = load i64, i64* %14
%16 = load i64*, i64** %3
%17 = load i64, i64* %5
%18 = getelementptr inbounds i64, i64* %16, i64 %17
%19 = load i64, i64* %18
%20 = mul i64 %15, %19
%21 = uitofp i64 %20 to double
%22 = load double, double* %6
%23 = fadd double %22, %21
store double %23, double* %6
br label %24
24: ; preds = %11
%25 = load i64, i64* %5
%26 = add i64 %25, 1
store i64 %26, i64* %5
br label %7
27: ; preds = %7
%28 = load double, double* %6
%29 = call double @sqrt(double %28)
ret double %29
}

LLVM IR (-O2):
define double @l2_norm(i64* nocapture %0, i64 %1) {
%3 = icmp eq i64 %1, 0
br i1 %3, label %57, label %4
4: ; preds = %2
%5 = add i64 %1, -1
%6 = and i64 %1, 3
%7 = icmp ult i64 %5, 3
br i1 %7, label %40, label %8
8: ; preds = %4
%9 = and i64 %1, -4
br label %10
10: ; preds = %10, %8
%11 = phi double [ 0.000000e+00, %8 ], [ %36, %10 ]
%12 = phi i64 [ 0, %8 ], [ %37, %10 ]
%13 = phi i64 [ 0, %8 ], [ %38, %10 ]
%14 = getelementptr inbounds i64, i64* %0, i64 %12
%15 = load i64, i64* %14
%16 = mul i64 %15, %15
%17 = uitofp i64 %16 to double
%18 = fadd double %11, %17
%19 = or i64 %12, 1
%20 = getelementptr inbounds i64, i64* %0, i64 %19
%21 = load i64, i64* %20
%22 = mul i64 %21, %21
%23 = uitofp i64 %22 to double
%24 = fadd double %18, %23
%25 = or i64 %12, 2
%26 = getelementptr inbounds i64, i64* %0, i64 %25
%27 = load i64, i64* %26
%28 = mul i64 %27, %27
%29 = uitofp i64 %28 to double
%30 = fadd double %24, %29
%31 = or i64 %12, 3
%32 = getelementptr inbounds i64, i64* %0, i64 %31
%33 = load i64, i64* %32
%34 = mul i64 %33, %33
%35 = uitofp i64 %34 to double
%36 = fadd double %30, %35
%37 = add nuw i64 %12, 4
%38 = add i64 %13, 4
%39 = icmp eq i64 %38, %9
br i1 %39, label %40, label %10
40: ; preds = %10, %4
%41 = phi double [ undef, %4 ], [ %36, %10 ]
%42 = phi double [ 0.000000e+00, %4 ], [ %36, %10 ]
%43 = phi i64 [ 0, %4 ], [ %37, %10 ]
%44 = icmp eq i64 %6, 0
br i1 %44, label %57, label %45
45: ; preds = %40, %45
%46 = phi double [ %53, %45 ], [ %42, %40 ]
%47 = phi i64 [ %54, %45 ], [ %43, %40 ]
%48 = phi i64 [ %55, %45 ], [ 0, %40 ]
%49 = getelementptr inbounds i64, i64* %0, i64 %47
%50 = load i64, i64* %49
%51 = mul i64 %50, %50
%52 = uitofp i64 %51 to double
%53 = fadd double %46, %52
%54 = add nuw i64 %47, 1
%55 = add i64 %48, 1
%56 = icmp eq i64 %55, %6
br i1 %56, label %57, label %45
57: ; preds = %40, %45, %2
%58 = phi double [ 0.000000e+00, %2 ], [ %41, %40 ], [ %53, %45 ]
%59 = tail call double @sqrt(double %58)
ret double %59
}