double norminf(double vecteur[4]) {
  double val = 0;
  int i;
  for (i = 0; i < 4; i++) {
    if (vecteur[i] > val) {
      val = vecteur[i];
    } else if (-vecteur[i] > val) {
      val = -vecteur[i];
    }
  }
  return val;
}


x86 assembly (clang, -O0):
<norminf>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x4,-0x14(%rbp)
jge    11c0 <norminf+0xc0>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    1150 <norminf+0x50>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    11ad <norminf+0xad>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
ucomisd -0x10(%rbp),%xmm0
jbe    11a8 <norminf+0xa8>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
movsd  %xmm0,-0x10(%rbp)
jmp    11ad <norminf+0xad>
jmp    11b2 <norminf+0xb2>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1117 <norminf+0x17>
movsd  -0x10(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<norminf>:
movsd  (%rdi),%xmm1
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm1
ja     111c <norminf+0x1c>
ucomisd %xmm1,%xmm0
jbe    1120 <norminf+0x20>
xorpd  0xee4(%rip),%xmm1
movapd %xmm1,%xmm0
movsd  0x8(%rdi),%xmm1
ucomisd %xmm0,%xmm1
ja     1139 <norminf+0x39>
xorpd  0xecd(%rip),%xmm1
ucomisd %xmm0,%xmm1
jbe    113d <norminf+0x3d>
movapd %xmm1,%xmm0
movsd  0x10(%rdi),%xmm1
ucomisd %xmm0,%xmm1
ja     1156 <norminf+0x56>
xorpd  0xeb0(%rip),%xmm1
ucomisd %xmm0,%xmm1
jbe    115a <norminf+0x5a>
movapd %xmm1,%xmm0
movsd  0x18(%rdi),%xmm1
ucomisd %xmm0,%xmm1
ja     1173 <norminf+0x73>
xorpd  0xe93(%rip),%xmm1
ucomisd %xmm0,%xmm1
jbe    1177 <norminf+0x77>
movapd %xmm1,%xmm0
ret

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

LLVM IR (-O2):
define double @norminf(double* nocapture %0) {
%2 = load double, double* %0
%3 = fcmp ogt double %2, 0.000000e+00
br i1 %3, label %8, label %4
4: ; preds = %1
%5 = fcmp olt double %2, 0.000000e+00
br i1 %5, label %6, label %8
6: ; preds = %4
%7 = fneg double %2
br label %8
8: ; preds = %1, %6, %4
%9 = phi double [ %7, %6 ], [ 0.000000e+00, %4 ], [ %2, %1 ]
%10 = getelementptr inbounds double, double* %0, i64 1
%11 = load double, double* %10
%12 = fcmp ogt double %11, %9
br i1 %12, label %17, label %13
13: ; preds = %8
%14 = fneg double %11
%15 = fcmp olt double %9, %14
br i1 %15, label %16, label %17
16: ; preds = %13
br label %17
17: ; preds = %16, %13, %8
%18 = phi double [ %14, %16 ], [ %9, %13 ], [ %11, %8 ]
%19 = getelementptr inbounds double, double* %0, i64 2
%20 = load double, double* %19
%21 = fcmp ogt double %20, %18
br i1 %21, label %26, label %22
22: ; preds = %17
%23 = fneg double %20
%24 = fcmp olt double %18, %23
br i1 %24, label %25, label %26
25: ; preds = %22
br label %26
26: ; preds = %25, %22, %17
%27 = phi double [ %23, %25 ], [ %18, %22 ], [ %20, %17 ]
%28 = getelementptr inbounds double, double* %0, i64 3
%29 = load double, double* %28
%30 = fcmp ogt double %29, %27
br i1 %30, label %35, label %31
31: ; preds = %26
%32 = fneg double %29
%33 = fcmp olt double %27, %32
br i1 %33, label %34, label %35
34: ; preds = %31
br label %35
35: ; preds = %34, %31, %26
%36 = phi double [ %32, %34 ], [ %27, %31 ], [ %29, %26 ]
ret double %36
}