void horizontal(const double *diag, double *horz, int rows, int n) {
  int i, j, k;
  for (k = 0; k < rows; k++)
    for (i = 0; i < rows; i++) {
      double d = diag[i * rows + k];
      for (j = 0; j < n; j++) {
        double s = ((d) * (horz[k * n + j]));
        horz[i * n + j] = (((horz[i * n + j]) < (s)) ? (horz[i * n + j]) : (s));
      }
    }
}


x86 assembly (clang, -O0):
<horizontal>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1224 <horizontal+0x124>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1211 <horizontal+0x111>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x30(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    11fe <horizontal+0xfe>
movsd  -0x30(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
mulsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
movsd  -0x38(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11cb <horizontal+0xcb>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
jmp    11d5 <horizontal+0xd5>
movsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x40(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
imul   -0x18(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    115a <horizontal+0x5a>
jmp    1203 <horizontal+0x103>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    112c <horizontal+0x2c>
jmp    1216 <horizontal+0x116>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1119 <horizontal+0x19>
pop    %rbp
ret

x86 assembly (clang, -O2):
<horizontal>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
test   %edx,%edx
jle    1345 <horizontal+0x245>
mov    %rsi,%r8
mov    %ecx,%esi
mov    %edx,%eax
mov    %rax,-0x48(%rsp)
movslq %ecx,%rax
mov    %eax,%r13d
mov    %r13d,%ecx
and    $0xfffffffc,%ecx
mov    %rcx,-0x20(%rsp)
mov    %r13,%rcx
neg    %rcx
mov    %rcx,-0x8(%rsp)
lea    0x10(%r8),%rbp
mov    %rax,-0x40(%rsp)
lea    0x0(,%rax,8),%rdx
lea    0x0(,%r13,8),%r12
and    $0xffffffffffffffe0,%r12
lea    0x8(%r8),%rax
mov    %rax,-0x30(%rsp)
xor    %ecx,%ecx
mov    %r8,%rbx
mov    %rbp,-0x28(%rsp)
mov    %esi,-0x54(%rsp)
mov    %r8,-0x50(%rsp)
jmp    119f <horizontal+0x9f>
cs nopw 0x0(%rax,%rax,1)
nop
mov    -0x38(%rsp),%rcx
add    $0x1,%rcx
add    %rdx,%rbp
add    %rdx,%rbx
cmp    -0x48(%rsp),%rcx
mov    -0x50(%rsp),%r8
je     1345 <horizontal+0x245>
mov    %rcx,-0x38(%rsp)
imul   -0x40(%rsp),%rcx
lea    (%r8,%rcx,8),%rax
mov    %rax,-0x18(%rsp)
lea    (%rcx,%r13,1),%rax
lea    (%r8,%rax,8),%rax
mov    %rax,-0x10(%rsp)
mov    -0x30(%rsp),%r11
mov    -0x28(%rsp),%r9
xor    %r15d,%r15d
jmp    11e1 <horizontal+0xe1>
nop
add    $0x1,%r15
add    %rdx,%r9
add    %rdx,%r11
cmp    -0x48(%rsp),%r15
je     1180 <horizontal+0x80>
test   %esi,%esi
jle    11d0 <horizontal+0xd0>
mov    %r15,%r10
imul   -0x40(%rsp),%r10
mov    %r15,%rax
imul   -0x48(%rsp),%rax
add    -0x38(%rsp),%rax
movsd  (%rdi,%rax,8),%xmm0
cmp    $0x4,%esi
jae    1210 <horizontal+0x110>
xor    %r14d,%r14d
jmp    12b0 <horizontal+0x1b0>
xchg   %ax,%ax
mov    -0x50(%rsp),%rsi
lea    (%rsi,%r10,8),%rax
cmp    -0x10(%rsp),%rax
jae    1238 <horizontal+0x138>
lea    (%r10,%r13,1),%rax
lea    (%rsi,%rax,8),%rax
cmp    %rax,-0x18(%rsp)
jae    1238 <horizontal+0x138>
xor    %r14d,%r14d
mov    -0x54(%rsp),%esi
jmp    12b0 <horizontal+0x1b0>
movapd %xmm0,%xmm1
unpcklpd %xmm0,%xmm1
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movupd -0x10(%rbp,%rax,1),%xmm2
movupd 0x0(%rbp,%rax,1),%xmm3
mulpd  %xmm1,%xmm2
mulpd  %xmm1,%xmm3
movupd -0x10(%r9,%rax,1),%xmm4
minpd  %xmm2,%xmm4
movupd (%r9,%rax,1),%xmm2
minpd  %xmm3,%xmm2
movupd %xmm4,-0x10(%r9,%rax,1)
movupd %xmm2,(%r9,%rax,1)
add    $0x20,%rax
cmp    %rax,%r12
jne    1250 <horizontal+0x150>
mov    -0x20(%rsp),%rax
mov    %rax,%r14
cmp    %r13,%rax
mov    -0x54(%rsp),%esi
je     11d0 <horizontal+0xd0>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r14,%r8
test   $0x1,%r13b
je     12e9 <horizontal+0x1e9>
lea    (%r14,%rcx,1),%rax
mov    -0x50(%rsp),%rsi
movsd  (%rsi,%rax,8),%xmm1
mulsd  %xmm0,%xmm1
add    %r14,%r10
movsd  (%rsi,%r10,8),%xmm2
minsd  %xmm1,%xmm2
movsd  %xmm2,(%rsi,%r10,8)
mov    -0x54(%rsp),%esi
mov    %r14,%r8
or     $0x1,%r8
not    %r14
cmp    -0x8(%rsp),%r14
je     11d0 <horizontal+0xd0>
nopw   0x0(%rax,%rax,1)
movsd  (%rbx,%r8,8),%xmm1
mulsd  %xmm0,%xmm1
movsd  -0x8(%r11,%r8,8),%xmm2
minsd  %xmm1,%xmm2
movsd  (%r11,%r8,8),%xmm1
movsd  %xmm2,-0x8(%r11,%r8,8)
movsd  0x8(%rbx,%r8,8),%xmm2
mulsd  %xmm0,%xmm2
minsd  %xmm2,%xmm1
movsd  %xmm1,(%r11,%r8,8)
add    $0x2,%r8
cmp    %r8,%r13
jne    1300 <horizontal+0x200>
jmp    11d0 <horizontal+0xd0>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @horizontal(double* nocapture %0, double* nocapture %1, i32 %2, i32 %3) {
%5 = icmp sgt i32 %2, 0
br i1 %5, label %6, label %119
6: ; preds = %4
%7 = icmp sgt i32 %3, 0
%8 = zext i32 %2 to i64
%9 = sext i32 %3 to i64
%10 = zext i32 %2 to i64
%11 = zext i32 %3 to i64
%12 = icmp ult i32 %3, 4
%13 = and i64 %11, 4294967292
%14 = icmp eq i64 %13, %11
%15 = and i64 %11, 1
%16 = icmp eq i64 %15, 0
%17 = sub nsw i64 0, %11
br label %18
18: ; preds = %116, %6
%19 = phi i64 [ 0, %6 ], [ %117, %116 ]
%20 = mul i64 %19, %9
%21 = getelementptr double, double* %1, i64 %20
%22 = add i64 %20, %11
%23 = getelementptr double, double* %1, i64 %22
%24 = mul nsw i64 %19, %9
br label %25
25: ; preds = %18, %113
%26 = phi i64 [ 0, %18 ], [ %114, %113 ]
%27 = mul i64 %26, %9
%28 = getelementptr double, double* %1, i64 %27
%29 = add i64 %27, %11
%30 = getelementptr double, double* %1, i64 %29
%31 = mul nsw i64 %26, %8
%32 = add nuw nsw i64 %31, %19
%33 = getelementptr inbounds double, double* %0, i64 %32
%34 = load double, double* %33
br i1 %7, label %35, label %113
35: ; preds = %25
%36 = mul nsw i64 %26, %9
br i1 %12, label %73, label %37
37: ; preds = %35
%38 = icmp ult double* %28, %23
%39 = icmp ult double* %21, %30
%40 = and i1 %38, %39
br i1 %40, label %73, label %41
41: ; preds = %37
%42 = insertelement <2 x double> poison, double %34, i64 0
%43 = shufflevector <2 x double> %42, <2 x double> poison, <2 x i32> zeroinitializer
%44 = insertelement <2 x double> poison, double %34, i64 0
%45 = shufflevector <2 x double> %44, <2 x double> poison, <2 x i32> zeroinitializer
br label %46
46: ; preds = %46, %41
%47 = phi i64 [ 0, %41 ], [ %70, %46 ]
%48 = add nsw i64 %47, %24
%49 = getelementptr inbounds double, double* %1, i64 %48
%50 = bitcast double* %49 to <2 x double>*
%51 = load <2 x double>, <2 x double>* %50
%52 = getelementptr inbounds double, double* %49, i64 2
%53 = bitcast double* %52 to <2 x double>*
%54 = load <2 x double>, <2 x double>* %53
%55 = fmul <2 x double> %43, %51
%56 = fmul <2 x double> %45, %54
%57 = add nsw i64 %47, %36
%58 = getelementptr inbounds double, double* %1, i64 %57
%59 = bitcast double* %58 to <2 x double>*
%60 = load <2 x double>, <2 x double>* %59
%61 = getelementptr inbounds double, double* %58, i64 2
%62 = bitcast double* %61 to <2 x double>*
%63 = load <2 x double>, <2 x double>* %62
%64 = fcmp olt <2 x double> %60, %55
%65 = fcmp olt <2 x double> %63, %56
%66 = select <2 x i1> %64, <2 x double> %60, <2 x double> %55
%67 = select <2 x i1> %65, <2 x double> %63, <2 x double> %56
%68 = bitcast double* %58 to <2 x double>*
store <2 x double> %66, <2 x double>* %68
%69 = bitcast double* %61 to <2 x double>*
store <2 x double> %67, <2 x double>* %69
%70 = add nuw i64 %47, 4
%71 = icmp eq i64 %70, %13
br i1 %71, label %72, label %46
72: ; preds = %46
br i1 %14, label %113, label %73
73: ; preds = %37, %35, %72
%74 = phi i64 [ 0, %37 ], [ 0, %35 ], [ %13, %72 ]
%75 = xor i64 %74, -1
br i1 %16, label %87, label %76
76: ; preds = %73
%77 = add nsw i64 %74, %24
%78 = getelementptr inbounds double, double* %1, i64 %77
%79 = load double, double* %78
%80 = fmul double %34, %79
%81 = add nsw i64 %74, %36
%82 = getelementptr inbounds double, double* %1, i64 %81
%83 = load double, double* %82
%84 = fcmp olt double %83, %80
%85 = select i1 %84, double %83, double %80
store double %85, double* %82
%86 = or i64 %74, 1
br label %87
87: ; preds = %76, %73
%88 = phi i64 [ %74, %73 ], [ %86, %76 ]
%89 = icmp eq i64 %75, %17
br i1 %89, label %113, label %90
90: ; preds = %87, %90
%91 = phi i64 [ %111, %90 ], [ %88, %87 ]
%92 = add nsw i64 %91, %24
%93 = getelementptr inbounds double, double* %1, i64 %92
%94 = load double, double* %93
%95 = fmul double %34, %94
%96 = add nsw i64 %91, %36
%97 = getelementptr inbounds double, double* %1, i64 %96
%98 = load double, double* %97
%99 = fcmp olt double %98, %95
%100 = select i1 %99, double %98, double %95
store double %100, double* %97
%101 = add nuw nsw i64 %91, 1
%102 = add nsw i64 %101, %24
%103 = getelementptr inbounds double, double* %1, i64 %102
%104 = load double, double* %103
%105 = fmul double %34, %104
%106 = add nsw i64 %101, %36
%107 = getelementptr inbounds double, double* %1, i64 %106
%108 = load double, double* %107
%109 = fcmp olt double %108, %105
%110 = select i1 %109, double %108, double %105
store double %110, double* %107
%111 = add nuw nsw i64 %91, 2
%112 = icmp eq i64 %111, %11
br i1 %112, label %113, label %90
113: ; preds = %87, %90, %72, %25
%114 = add nuw nsw i64 %26, 1
%115 = icmp eq i64 %114, %10
br i1 %115, label %116, label %25
116: ; preds = %113
%117 = add nuw nsw i64 %19, 1
%118 = icmp eq i64 %117, %10
br i1 %118, label %119, label %18
119: ; preds = %116, %4
ret void
}