void maximum(double *x, int xlen, double y) {
  int i;
  for (i = 0; i < xlen; i++) {
    if (x[i] < y) {
      x[i] = y;
    }
  }
}


x86 assembly (clang, -O0):
<maximum>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movsd  %xmm0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1164 <maximum+0x64>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
movsd  -0x18(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1151 <maximum+0x51>
movsd  -0x18(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
jmp    1156 <maximum+0x56>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1117 <maximum+0x17>
pop    %rbp
ret

x86 assembly (clang, -O2):
<maximum>:
test   %esi,%esi
jle    111d <maximum+0x1d>
mov    %esi,%eax
cmp    $0x1,%esi
jne    111e <maximum+0x1e>
xor    %ecx,%ecx
test   $0x1,%al
je     111d <maximum+0x1d>
ucomisd (%rdi,%rcx,8),%xmm0
jbe    111d <maximum+0x1d>
movsd  %xmm0,(%rdi,%rcx,8)
ret
mov    %eax,%edx
and    $0xfffffffe,%edx
xor    %ecx,%ecx
jmp    1139 <maximum+0x39>
nopw   0x0(%rax,%rax,1)
add    $0x2,%rcx
cmp    %rcx,%rdx
je     110d <maximum+0xd>
ucomisd (%rdi,%rcx,8),%xmm0
jbe    1145 <maximum+0x45>
movsd  %xmm0,(%rdi,%rcx,8)
ucomisd 0x8(%rdi,%rcx,8),%xmm0
jbe    1130 <maximum+0x30>
movsd  %xmm0,0x8(%rdi,%rcx,8)
jmp    1130 <maximum+0x30>

LLVM IR (-O0):
define void @maximum(double* %0, i32 %1, double %2) {
%4 = alloca double*
%5 = alloca i32
%6 = alloca double
%7 = alloca i32
store double* %0, double** %4
store i32 %1, i32* %5
store double %2, double* %6
store i32 0, i32* %7
br label %8
8: ; preds = %27, %3
%9 = load i32, i32* %7
%10 = load i32, i32* %5
%11 = icmp slt i32 %9, %10
br i1 %11, label %12, label %30
12: ; preds = %8
%13 = load double*, double** %4
%14 = load i32, i32* %7
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds double, double* %13, i64 %15
%17 = load double, double* %16
%18 = load double, double* %6
%19 = fcmp olt double %17, %18
br i1 %19, label %20, label %26
20: ; preds = %12
%21 = load double, double* %6
%22 = load double*, double** %4
%23 = load i32, i32* %7
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds double, double* %22, i64 %24
store double %21, double* %25
br label %26
26: ; preds = %20, %12
br label %27
27: ; preds = %26
%28 = load i32, i32* %7
%29 = add nsw i32 %28, 1
store i32 %29, i32* %7
br label %8
30: ; preds = %8
ret void
}

LLVM IR (-O2):
define void @maximum(double* nocapture %0, i32 %1, double %2) {
%4 = icmp sgt i32 %1, 0
br i1 %4, label %5, label %36
5: ; preds = %3
%6 = zext i32 %1 to i64
%7 = and i64 %6, 1
%8 = icmp eq i32 %1, 1
br i1 %8, label %28, label %9
9: ; preds = %5
%10 = and i64 %6, 4294967294
br label %11
11: ; preds = %24, %9
%12 = phi i64 [ 0, %9 ], [ %25, %24 ]
%13 = phi i64 [ 0, %9 ], [ %26, %24 ]
%14 = getelementptr inbounds double, double* %0, i64 %12
%15 = load double, double* %14
%16 = fcmp olt double %15, %2
br i1 %16, label %17, label %18
17: ; preds = %11
store double %2, double* %14
br label %18
18: ; preds = %11, %17
%19 = or i64 %12, 1
%20 = getelementptr inbounds double, double* %0, i64 %19
%21 = load double, double* %20
%22 = fcmp olt double %21, %2
br i1 %22, label %23, label %24
23: ; preds = %18
store double %2, double* %20
br label %24
24: ; preds = %23, %18
%25 = add nuw nsw i64 %12, 2
%26 = add i64 %13, 2
%27 = icmp eq i64 %26, %10
br i1 %27, label %28, label %11
28: ; preds = %24, %5
%29 = phi i64 [ 0, %5 ], [ %25, %24 ]
%30 = icmp eq i64 %7, 0
br i1 %30, label %36, label %31
31: ; preds = %28
%32 = getelementptr inbounds double, double* %0, i64 %29
%33 = load double, double* %32
%34 = fcmp olt double %33, %2
br i1 %34, label %35, label %36
35: ; preds = %31
store double %2, double* %32
br label %36
36: ; preds = %28, %35, %31, %3
ret void
}