float image_max(image, nx, ny)
float *image;
int nx, ny;
{
  float result;
  int i, j;
  result = -1.0e38;
  for (i = 0; i < ny; i++) {
    for (j = 0; j < nx; j++) {
      result = ((result) < (((image[i * nx + j]) < 0 ? -(image[i * nx + j])
                                                     : (image[i * nx + j])))
                    ? (((image[i * nx + j]) < 0 ? -(image[i * nx + j])
                                                : (image[i * nx + j])))
                    : (result));
    }
  }
  return (result);
}


x86 assembly (clang, -O0):
<image_max>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movss  0xeea(%rip),%xmm0
movss  %xmm0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    126e <image_max+0x16e>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    125b <image_max+0x15b>
movss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
xorps  %xmm0,%xmm0
ucomiss (%rax,%rcx,4),%xmm0
jbe    1196 <image_max+0x96>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x24(%rbp)
jmp    11b1 <image_max+0xb1>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x24(%rbp)
movss  -0x20(%rbp),%xmm1
movss  -0x24(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    1239 <image_max+0x139>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
xorps  %xmm0,%xmm0
ucomiss (%rax,%rcx,4),%xmm0
jbe    120f <image_max+0x10f>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
movss  %xmm0,-0x28(%rbp)
jmp    122a <image_max+0x12a>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
imul   -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x28(%rbp),%xmm0
movss  %xmm0,-0x2c(%rbp)
jmp    1243 <image_max+0x143>
movss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x2c(%rbp),%xmm0
movss  %xmm0,-0x14(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1135 <image_max+0x35>
jmp    1260 <image_max+0x160>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1122 <image_max+0x22>
movss  -0x14(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<image_max>:
push   %r14
push   %rbx
test   %edx,%edx
jle    1259 <image_max+0x159>
movslq %esi,%r8
mov    %edx,%r10d
mov    %r8d,%r9d
mov    %r9d,%edx
and    $0xfffffffe,%edx
lea    0x4(%rdi),%rax
lea    0x0(,%r8,4),%r11
movss  0xed2(%rip),%xmm0
xor    %r14d,%r14d
xorps  %xmm1,%xmm1
movaps 0xed5(%rip),%xmm2
jmp    1153 <image_max+0x53>
nopl   (%rax)
movaps %xmm5,%xmm0
add    $0x1,%r14
add    %r11,%rax
cmp    %r10,%r14
je     1261 <image_max+0x161>
test   %esi,%esi
jle    1143 <image_max+0x43>
xor    %ebx,%ebx
cmp    $0x1,%esi
jne    11c9 <image_max+0xc9>
test   $0x1,%r9b
je     1143 <image_max+0x43>
mov    %r14,%rcx
imul   %r8,%rcx
add    %rcx,%rbx
movss  (%rdi,%rbx,4),%xmm6
ucomiss %xmm6,%xmm1
movaps %xmm6,%xmm3
xorps  %xmm2,%xmm3
movaps %xmm6,%xmm4
cmpltss %xmm1,%xmm4
movaps %xmm3,%xmm5
andps  %xmm4,%xmm5
andnps %xmm6,%xmm4
orps   %xmm5,%xmm4
movaps %xmm0,%xmm5
cmpnltss %xmm4,%xmm5
movaps %xmm5,%xmm7
andps  %xmm0,%xmm7
andnps %xmm6,%xmm5
orps   %xmm7,%xmm5
ja     11a9 <image_max+0xa9>
movaps %xmm5,%xmm3
ucomiss %xmm0,%xmm4
jbe    1140 <image_max+0x40>
movaps %xmm3,%xmm5
jmp    1140 <image_max+0x40>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x2,%rbx
cmp    %rbx,%rdx
je     115e <image_max+0x5e>
movss  -0x4(%rax,%rbx,4),%xmm6
ucomiss %xmm6,%xmm1
movaps %xmm6,%xmm4
xorps  %xmm2,%xmm4
movaps %xmm6,%xmm5
cmpltss %xmm1,%xmm5
movaps %xmm4,%xmm3
andps  %xmm5,%xmm3
andnps %xmm6,%xmm5
orps   %xmm3,%xmm5
movaps %xmm0,%xmm3
cmpnltss %xmm5,%xmm3
movaps %xmm3,%xmm7
andps  %xmm0,%xmm7
andnps %xmm6,%xmm3
orps   %xmm7,%xmm3
ja     1205 <image_max+0x105>
movaps %xmm3,%xmm4
ucomiss %xmm0,%xmm5
jbe    120d <image_max+0x10d>
movaps %xmm4,%xmm3
movss  (%rax,%rbx,4),%xmm6
ucomiss %xmm6,%xmm1
movaps %xmm6,%xmm4
xorps  %xmm2,%xmm4
movaps %xmm6,%xmm5
cmpltss %xmm1,%xmm5
movaps %xmm4,%xmm0
andps  %xmm5,%xmm0
andnps %xmm6,%xmm5
orps   %xmm0,%xmm5
movaps %xmm3,%xmm0
cmpnltss %xmm5,%xmm0
movaps %xmm0,%xmm7
andps  %xmm3,%xmm7
andnps %xmm6,%xmm0
orps   %xmm7,%xmm0
ja     1248 <image_max+0x148>
movaps %xmm0,%xmm4
ucomiss %xmm3,%xmm5
jbe    11c0 <image_max+0xc0>
movaps %xmm4,%xmm0
jmp    11c0 <image_max+0xc0>
movss  0xd9f(%rip),%xmm0
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define float @image_max(float* %0, i32 %1, i32 %2) {
%4 = alloca float*
%5 = alloca i32
%6 = alloca i32
%7 = alloca float
%8 = alloca i32
%9 = alloca i32
store float* %0, float** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
store float 0xC7D2CED320000000, float* %7
store i32 0, i32* %8
br label %10
10: ; preds = %97, %3
%11 = load i32, i32* %8
%12 = load i32, i32* %6
%13 = icmp slt i32 %11, %12
br i1 %13, label %14, label %100
14: ; preds = %10
store i32 0, i32* %9
br label %15
15: ; preds = %93, %14
%16 = load i32, i32* %9
%17 = load i32, i32* %5
%18 = icmp slt i32 %16, %17
br i1 %18, label %19, label %96
19: ; preds = %15
%20 = load float, float* %7
%21 = load float*, float** %4
%22 = load i32, i32* %8
%23 = load i32, i32* %5
%24 = mul nsw i32 %22, %23
%25 = load i32, i32* %9
%26 = add nsw i32 %24, %25
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds float, float* %21, i64 %27
%29 = load float, float* %28
%30 = fcmp olt float %29, 0.000000e+00
br i1 %30, label %31, label %42
31: ; preds = %19
%32 = load float*, float** %4
%33 = load i32, i32* %8
%34 = load i32, i32* %5
%35 = mul nsw i32 %33, %34
%36 = load i32, i32* %9
%37 = add nsw i32 %35, %36
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds float, float* %32, i64 %38
%40 = load float, float* %39
%41 = fneg float %40
br label %52
42: ; preds = %19
%43 = load float*, float** %4
%44 = load i32, i32* %8
%45 = load i32, i32* %5
%46 = mul nsw i32 %44, %45
%47 = load i32, i32* %9
%48 = add nsw i32 %46, %47
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds float, float* %43, i64 %49
%51 = load float, float* %50
br label %52
52: ; preds = %42, %31
%53 = phi float [ %41, %31 ], [ %51, %42 ]
%54 = fcmp olt float %20, %53
br i1 %54, label %55, label %89
55: ; preds = %52
%56 = load float*, float** %4
%57 = load i32, i32* %8
%58 = load i32, i32* %5
%59 = mul nsw i32 %57, %58
%60 = load i32, i32* %9
%61 = add nsw i32 %59, %60
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds float, float* %56, i64 %62
%64 = load float, float* %63
%65 = fcmp olt float %64, 0.000000e+00
br i1 %65, label %66, label %77
66: ; preds = %55
%67 = load float*, float** %4
%68 = load i32, i32* %8
%69 = load i32, i32* %5
%70 = mul nsw i32 %68, %69
%71 = load i32, i32* %9
%72 = add nsw i32 %70, %71
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds float, float* %67, i64 %73
%75 = load float, float* %74
%76 = fneg float %75
br label %87
77: ; preds = %55
%78 = load float*, float** %4
%79 = load i32, i32* %8
%80 = load i32, i32* %5
%81 = mul nsw i32 %79, %80
%82 = load i32, i32* %9
%83 = add nsw i32 %81, %82
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds float, float* %78, i64 %84
%86 = load float, float* %85
br label %87
87: ; preds = %77, %66
%88 = phi float [ %76, %66 ], [ %86, %77 ]
br label %91
89: ; preds = %52
%90 = load float, float* %7
br label %91
91: ; preds = %89, %87
%92 = phi float [ %88, %87 ], [ %90, %89 ]
store float %92, float* %7
br label %93
93: ; preds = %91
%94 = load i32, i32* %9
%95 = add nsw i32 %94, 1
store i32 %95, i32* %9
br label %15
96: ; preds = %15
br label %97
97: ; preds = %96
%98 = load i32, i32* %8
%99 = add nsw i32 %98, 1
store i32 %99, i32* %8
br label %10
100: ; preds = %10
%101 = load float, float* %7
ret float %101
}

LLVM IR (-O2):
define float @image_max(float* nocapture %0, i32 %1, i32 %2) {
%4 = icmp sgt i32 %2, 0
br i1 %4, label %5, label %69
5: ; preds = %3
%6 = icmp sgt i32 %1, 0
%7 = sext i32 %1 to i64
%8 = zext i32 %2 to i64
%9 = zext i32 %1 to i64
%10 = and i64 %9, 1
%11 = icmp eq i32 %1, 1
%12 = and i64 %9, 4294967294
%13 = icmp eq i64 %10, 0
br label %14
14: ; preds = %5, %65
%15 = phi i64 [ 0, %5 ], [ %67, %65 ]
%16 = phi float [ 0xC7D2CED320000000, %5 ], [ %66, %65 ]
br i1 %6, label %17, label %65
17: ; preds = %14
%18 = mul nsw i64 %15, %7
br i1 %11, label %49, label %19
19: ; preds = %17, %19
%20 = phi i64 [ %46, %19 ], [ 0, %17 ]
%21 = phi float [ %45, %19 ], [ %16, %17 ]
%22 = phi i64 [ %47, %19 ], [ 0, %17 ]
%23 = add nsw i64 %20, %18
%24 = getelementptr inbounds float, float* %0, i64 %23
%25 = load float, float* %24
%26 = fcmp olt float %25, 0.000000e+00
%27 = fneg float %25
%28 = select i1 %26, float %27, float %25
%29 = fcmp uge float %21, %28
%30 = xor i1 %26, true
%31 = or i1 %29, %30
%32 = select i1 %29, float %21, float %25
%33 = select i1 %31, float %32, float %27
%34 = or i64 %20, 1
%35 = add nsw i64 %34, %18
%36 = getelementptr inbounds float, float* %0, i64 %35
%37 = load float, float* %36
%38 = fcmp olt float %37, 0.000000e+00
%39 = fneg float %37
%40 = select i1 %38, float %39, float %37
%41 = fcmp uge float %33, %40
%42 = xor i1 %38, true
%43 = or i1 %41, %42
%44 = select i1 %41, float %33, float %37
%45 = select i1 %43, float %44, float %39
%46 = add nuw nsw i64 %20, 2
%47 = add i64 %22, 2
%48 = icmp eq i64 %47, %12
br i1 %48, label %49, label %19
49: ; preds = %19, %17
%50 = phi float [ undef, %17 ], [ %45, %19 ]
%51 = phi i64 [ 0, %17 ], [ %46, %19 ]
%52 = phi float [ %16, %17 ], [ %45, %19 ]
br i1 %13, label %65, label %53
53: ; preds = %49
%54 = add nsw i64 %51, %18
%55 = getelementptr inbounds float, float* %0, i64 %54
%56 = load float, float* %55
%57 = fcmp olt float %56, 0.000000e+00
%58 = fneg float %56
%59 = select i1 %57, float %58, float %56
%60 = fcmp uge float %52, %59
%61 = xor i1 %57, true
%62 = or i1 %60, %61
%63 = select i1 %60, float %52, float %56
%64 = select i1 %62, float %63, float %58
br label %65
65: ; preds = %53, %49, %14
%66 = phi float [ %16, %14 ], [ %50, %49 ], [ %64, %53 ]
%67 = add nuw nsw i64 %15, 1
%68 = icmp eq i64 %67, %8
br i1 %68, label %69, label %14
69: ; preds = %65, %3
%70 = phi float [ 0xC7D2CED320000000, %3 ], [ %66, %65 ]
ret float %70
}