void __attribute__((no, noclone))
reduc_max_float(float (*restrict a)[(1024 / sizeof(float))], float *restrict r,
                int n) {
  for (int i = 0; i < n; i++) {
    r[i] = a[i][0];
    for (int j = 0; j < (1024 / sizeof(float)); j++)
      r[i] = a[i][j] > r[i] ? a[i][j] : r[i];
  }
}


x86 assembly (clang, -O0):
<reduc_max_float>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11ea <reduc_max_float+0xea>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0xa,%rcx
add    %rcx,%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movl   $0x0,-0x1c(%rbp)
movslq -0x1c(%rbp),%rax
cmp    $0x100,%rax
jae    11d7 <reduc_max_float+0xd7>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0xa,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
jbe    11a5 <reduc_max_float+0xa5>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
shl    $0xa,%rcx
add    %rcx,%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x20(%rbp)
jmp    11b7 <reduc_max_float+0xb7>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x20(%rbp)
movss  -0x20(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1149 <reduc_max_float+0x49>
jmp    11dc <reduc_max_float+0xdc>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1116 <reduc_max_float+0x16>
pop    %rbp
ret

x86 assembly (clang, -O2):
<reduc_max_float>:
test   %edx,%edx
jle    1172 <reduc_max_float+0x72>
mov    %edx,%r8d
lea    0x14(%rdi),%rcx
xor    %edx,%edx
nopl   (%rax)
mov    %rdx,%rax
shl    $0xa,%rax
movss  (%rdi,%rax,1),%xmm0
xor    %eax,%eax
xchg   %ax,%ax
movss  -0x10(%rcx,%rax,4),%xmm1
maxss  %xmm0,%xmm1
movss  -0xc(%rcx,%rax,4),%xmm0
maxss  %xmm1,%xmm0
movss  -0x8(%rcx,%rax,4),%xmm1
maxss  %xmm0,%xmm1
movss  -0x4(%rcx,%rax,4),%xmm2
maxss  %xmm1,%xmm2
movss  (%rcx,%rax,4),%xmm0
maxss  %xmm2,%xmm0
add    $0x5,%rax
cmp    $0xff,%rax
jne    1120 <reduc_max_float+0x20>
movss  %xmm0,(%rsi,%rdx,4)
add    $0x1,%rdx
add    $0x400,%rcx
cmp    %r8,%rdx
jne    1110 <reduc_max_float+0x10>
ret

LLVM IR (-O0):
define void @reduc_max_float([256 x float]* noalias %0, float* noalias %1, i32 %2) {
%4 = alloca [256 x float]*
%5 = alloca float*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store [256 x float]* %0, [256 x float]** %4
store float* %1, float** %5
store i32 %2, i32* %6
store i32 0, i32* %7
br label %9
9: ; preds = %68, %3
%10 = load i32, i32* %7
%11 = load i32, i32* %6
%12 = icmp slt i32 %10, %11
br i1 %12, label %13, label %71
13: ; preds = %9
%14 = load [256 x float]*, [256 x float]** %4
%15 = load i32, i32* %7
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds [256 x float], [256 x float]* %14, i64 %16
%18 = getelementptr inbounds [256 x float], [256 x float]* %17, i64 0, i64 0
%19 = load float, float* %18
%20 = load float*, float** %5
%21 = load i32, i32* %7
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds float, float* %20, i64 %22
store float %19, float* %23
store i32 0, i32* %8
br label %24
24: ; preds = %64, %13
%25 = load i32, i32* %8
%26 = sext i32 %25 to i64
%27 = icmp ult i64 %26, 256
br i1 %27, label %28, label %67
28: ; preds = %24
%29 = load [256 x float]*, [256 x float]** %4
%30 = load i32, i32* %7
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds [256 x float], [256 x float]* %29, i64 %31
%33 = load i32, i32* %8
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds [256 x float], [256 x float]* %32, i64 0, i64 %34
%36 = load float, float* %35
%37 = load float*, float** %5
%38 = load i32, i32* %7
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds float, float* %37, i64 %39
%41 = load float, float* %40
%42 = fcmp ogt float %36, %41
br i1 %42, label %43, label %52
43: ; preds = %28
%44 = load [256 x float]*, [256 x float]** %4
%45 = load i32, i32* %7
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds [256 x float], [256 x float]* %44, i64 %46
%48 = load i32, i32* %8
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds [256 x float], [256 x float]* %47, i64 0, i64 %49
%51 = load float, float* %50
br label %58
52: ; preds = %28
%53 = load float*, float** %5
%54 = load i32, i32* %7
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds float, float* %53, i64 %55
%57 = load float, float* %56
br label %58
58: ; preds = %52, %43
%59 = phi float [ %51, %43 ], [ %57, %52 ]
%60 = load float*, float** %5
%61 = load i32, i32* %7
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds float, float* %60, i64 %62
store float %59, float* %63
br label %64
64: ; preds = %58
%65 = load i32, i32* %8
%66 = add nsw i32 %65, 1
store i32 %66, i32* %8
br label %24
67: ; preds = %24
br label %68
68: ; preds = %67
%69 = load i32, i32* %7
%70 = add nsw i32 %69, 1
store i32 %70, i32* %7
br label %9
71: ; preds = %9
ret void
}

LLVM IR (-O2):
define void @reduc_max_float([256 x float]* noalias nocapture %0, float* noalias nocapture %1, i32 %2) {
%4 = icmp sgt i32 %2, 0
br i1 %4, label %5, label %7
5: ; preds = %3
%6 = zext i32 %2 to i64
br label %8
7: ; preds = %13, %3
ret void
8: ; preds = %5, %13
%9 = phi i64 [ 0, %5 ], [ %14, %13 ]
%10 = getelementptr inbounds [256 x float], [256 x float]* %0, i64 %9, i64 0
%11 = load float, float* %10
%12 = getelementptr inbounds float, float* %1, i64 %9
br label %16
13: ; preds = %16
store float %42, float* %12
%14 = add nuw nsw i64 %9, 1
%15 = icmp eq i64 %14, %6
br i1 %15, label %7, label %8
16: ; preds = %16, %8
%17 = phi i64 [ 1, %8 ], [ %43, %16 ]
%18 = phi float [ %11, %8 ], [ %42, %16 ]
%19 = getelementptr inbounds [256 x float], [256 x float]* %0, i64 %9, i64 %17
%20 = load float, float* %19
%21 = fcmp ogt float %20, %18
%22 = select i1 %21, float %20, float %18
%23 = add nuw nsw i64 %17, 1
%24 = getelementptr inbounds [256 x float], [256 x float]* %0, i64 %9, i64 %23
%25 = load float, float* %24
%26 = fcmp ogt float %25, %22
%27 = select i1 %26, float %25, float %22
%28 = add nuw nsw i64 %17, 2
%29 = getelementptr inbounds [256 x float], [256 x float]* %0, i64 %9, i64 %28
%30 = load float, float* %29
%31 = fcmp ogt float %30, %27
%32 = select i1 %31, float %30, float %27
%33 = add nuw nsw i64 %17, 3
%34 = getelementptr inbounds [256 x float], [256 x float]* %0, i64 %9, i64 %33
%35 = load float, float* %34
%36 = fcmp ogt float %35, %32
%37 = select i1 %36, float %35, float %32
%38 = add nuw nsw i64 %17, 4
%39 = getelementptr inbounds [256 x float], [256 x float]* %0, i64 %9, i64 %38
%40 = load float, float* %39
%41 = fcmp ogt float %40, %37
%42 = select i1 %41, float %40, float %37
%43 = add nuw nsw i64 %17, 5
%44 = icmp eq i64 %43, 256
br i1 %44, label %13, label %16
}