void cholsl(float **a, int n, float p[], float b[], float x[]) {
  int i, k;
  float sum;
  for (i = 1; i <= n; i++) {
    for (sum = b[i], k = i - 1; k >= 1; k--)
      sum -= a[i][k] * x[k];
    x[i] = sum / p[i];
  }
  for (i = n; i >= 1; i--) {
    for (sum = x[i], k = i + 1; k <= n; k++)
      sum -= a[k][i] * x[k];
    x[i] = sum / p[i];
  }
}


x86 assembly (clang, -O0):
<cholsl>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     11cb <cholsl+0xcb>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x1,-0x30(%rbp)
jl     119e <cholsl+0x9e>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
movss  -0x34(%rbp),%xmm1
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x30(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x30(%rbp)
jmp    1145 <cholsl+0x45>
movss  -0x34(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
divss  (%rax,%rcx,4),%xmm0
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    111e <cholsl+0x1e>
mov    -0xc(%rbp),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x1,-0x2c(%rbp)
jl     127e <cholsl+0x17e>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     1251 <cholsl+0x151>
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
movss  -0x34(%rbp),%xmm1
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11f6 <cholsl+0xf6>
movss  -0x34(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
divss  (%rax,%rcx,4),%xmm0
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    11d1 <cholsl+0xd1>
pop    %rbp
ret

x86 assembly (clang, -O2):
<cholsl>:
push   %r15
push   %r14
push   %r12
push   %rbx
test   %esi,%esi
jle    1267 <cholsl+0x167>
lea    0x1(%rsi),%r9d
mov    $0x1,%r11d
xor    %r10d,%r10d
jmp    113d <cholsl+0x3d>
xchg   %ax,%ax
divss  (%rdx,%r11,4),%xmm0
movss  %xmm0,(%r8,%r11,4)
add    $0x1,%r11
add    $0x1,%r10
cmp    %r9,%r11
je     11ba <cholsl+0xba>
movss  (%rcx,%r11,4),%xmm0
cmp    $0x2,%r11
jb     1120 <cholsl+0x20>
mov    (%rdi,%r11,8),%r15
test   $0x1,%r10b
jne    1160 <cholsl+0x60>
mov    %r11,%r12
cmp    $0x1,%r10
jne    1180 <cholsl+0x80>
jmp    1120 <cholsl+0x20>
xchg   %ax,%ax
lea    -0x1(%r11),%r12
mov    %r12d,%r14d
movss  (%r15,%r14,4),%xmm1
mulss  (%r8,%r14,4),%xmm1
subss  %xmm1,%xmm0
cmp    $0x1,%r10
je     1120 <cholsl+0x20>
nopl   (%rax)
lea    -0x1(%r12),%eax
movss  (%r15,%rax,4),%xmm1
mulss  (%r8,%rax,4),%xmm1
subss  %xmm1,%xmm0
lea    -0x2(%r12),%rax
mov    %eax,%ebx
movss  (%r15,%rbx,4),%xmm1
mulss  (%r8,%rbx,4),%xmm1
subss  %xmm1,%xmm0
cmp    $0x3,%r12
mov    %rax,%r12
jg     1180 <cholsl+0x80>
jmp    1120 <cholsl+0x20>
test   %esi,%esi
jle    1267 <cholsl+0x167>
mov    %esi,%ebx
xor    %r9d,%r9d
mov    %rbx,%rax
jmp    11ec <cholsl+0xec>
nopl   0x0(%rax)
divss  (%rdx,%rax,4),%xmm0
movss  %xmm0,(%r8,%rax,4)
lea    -0x1(%rax),%rcx
add    $0x1,%r9d
cmp    $0x1,%rax
mov    %rcx,%rax
jle    1267 <cholsl+0x167>
movss  (%r8,%rax,4),%xmm0
cmp    %rbx,%rax
jge    11d0 <cholsl+0xd0>
test   $0x1,%r9b
jne    1210 <cholsl+0x110>
mov    %rax,%rsi
cmp    $0x1,%r9d
jne    1230 <cholsl+0x130>
jmp    11d0 <cholsl+0xd0>
nopl   0x0(%rax,%rax,1)
lea    0x1(%rax),%rsi
mov    0x8(%rdi,%rax,8),%rcx
movss  (%rcx,%rax,4),%xmm1
mulss  0x4(%r8,%rax,4),%xmm1
subss  %xmm1,%xmm0
cmp    $0x1,%r9d
je     11d0 <cholsl+0xd0>
nop
mov    0x8(%rdi,%rsi,8),%rcx
movss  (%rcx,%rax,4),%xmm1
mulss  0x4(%r8,%rsi,4),%xmm1
mov    0x10(%rdi,%rsi,8),%rcx
movss  (%rcx,%rax,4),%xmm2
mulss  0x8(%r8,%rsi,4),%xmm2
subss  %xmm1,%xmm0
add    $0x2,%rsi
subss  %xmm2,%xmm0
cmp    %esi,%ebx
jne    1230 <cholsl+0x130>
jmp    11d0 <cholsl+0xd0>
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @cholsl(float** %0, i32 %1, float* %2, float* %3, float* %4) {
%6 = alloca float**
%7 = alloca i32
%8 = alloca float*
%9 = alloca float*
%10 = alloca float*
%11 = alloca i32
%12 = alloca i32
%13 = alloca float
store float** %0, float*** %6
store i32 %1, i32* %7
store float* %2, float** %8
store float* %3, float** %9
store float* %4, float** %10
store i32 1, i32* %11
br label %14
14: ; preds = %62, %5
%15 = load i32, i32* %11
%16 = load i32, i32* %7
%17 = icmp sle i32 %15, %16
br i1 %17, label %18, label %65
18: ; preds = %14
%19 = load float*, float** %9
%20 = load i32, i32* %11
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds float, float* %19, i64 %21
%23 = load float, float* %22
store float %23, float* %13
%24 = load i32, i32* %11
%25 = sub nsw i32 %24, 1
store i32 %25, i32* %12
br label %26
26: ; preds = %47, %18
%27 = load i32, i32* %12
%28 = icmp sge i32 %27, 1
br i1 %28, label %29, label %50
29: ; preds = %26
%30 = load float**, float*** %6
%31 = load i32, i32* %11
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds float*, float** %30, i64 %32
%34 = load float*, float** %33
%35 = load i32, i32* %12
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds float, float* %34, i64 %36
%38 = load float, float* %37
%39 = load float*, float** %10
%40 = load i32, i32* %12
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds float, float* %39, i64 %41
%43 = load float, float* %42
%44 = load float, float* %13
%45 = fneg float %38
%46 = call float @llvm.fmuladd.f32(float %45, float %43, float %44)
store float %46, float* %13
br label %47
47: ; preds = %29
%48 = load i32, i32* %12
%49 = add nsw i32 %48, -1
store i32 %49, i32* %12
br label %26
50: ; preds = %26
%51 = load float, float* %13
%52 = load float*, float** %8
%53 = load i32, i32* %11
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds float, float* %52, i64 %54
%56 = load float, float* %55
%57 = fdiv float %51, %56
%58 = load float*, float** %10
%59 = load i32, i32* %11
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds float, float* %58, i64 %60
store float %57, float* %61
br label %62
62: ; preds = %50
%63 = load i32, i32* %11
%64 = add nsw i32 %63, 1
store i32 %64, i32* %11
br label %14
65: ; preds = %14
%66 = load i32, i32* %7
store i32 %66, i32* %11
br label %67
67: ; preds = %115, %65
%68 = load i32, i32* %11
%69 = icmp sge i32 %68, 1
br i1 %69, label %70, label %118
70: ; preds = %67
%71 = load float*, float** %10
%72 = load i32, i32* %11
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds float, float* %71, i64 %73
%75 = load float, float* %74
store float %75, float* %13
%76 = load i32, i32* %11
%77 = add nsw i32 %76, 1
store i32 %77, i32* %12
br label %78
78: ; preds = %100, %70
%79 = load i32, i32* %12
%80 = load i32, i32* %7
%81 = icmp sle i32 %79, %80
br i1 %81, label %82, label %103
82: ; preds = %78
%83 = load float**, float*** %6
%84 = load i32, i32* %12
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds float*, float** %83, i64 %85
%87 = load float*, float** %86
%88 = load i32, i32* %11
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds float, float* %87, i64 %89
%91 = load float, float* %90
%92 = load float*, float** %10
%93 = load i32, i32* %12
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds float, float* %92, i64 %94
%96 = load float, float* %95
%97 = load float, float* %13
%98 = fneg float %91
%99 = call float @llvm.fmuladd.f32(float %98, float %96, float %97)
store float %99, float* %13
br label %100
100: ; preds = %82
%101 = load i32, i32* %12
%102 = add nsw i32 %101, 1
store i32 %102, i32* %12
br label %78
103: ; preds = %78
%104 = load float, float* %13
%105 = load float*, float** %8
%106 = load i32, i32* %11
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds float, float* %105, i64 %107
%109 = load float, float* %108
%110 = fdiv float %104, %109
%111 = load float*, float** %10
%112 = load i32, i32* %11
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds float, float* %111, i64 %113
store float %110, float* %114
br label %115
115: ; preds = %103
%116 = load i32, i32* %11
%117 = add nsw i32 %116, -1
store i32 %117, i32* %11
br label %67
118: ; preds = %67
ret void
}

LLVM IR (-O2):
define void @cholsl(float** nocapture %0, i32 %1, float* nocapture %2, float* nocapture %3, float* nocapture %4) {
%6 = icmp slt i32 %1, 1
br i1 %6, label %126, label %7
7: ; preds = %5
%8 = add nuw i32 %1, 1
%9 = zext i32 %8 to i64
br label %15
10: ; preds = %60
%11 = icmp sgt i32 %1, 0
br i1 %11, label %12, label %126
12: ; preds = %10
%13 = zext i32 %1 to i64
%14 = zext i32 %1 to i64
br label %69
15: ; preds = %7, %60
%16 = phi i64 [ 0, %7 ], [ %68, %60 ]
%17 = phi i64 [ 1, %7 ], [ %66, %60 ]
%18 = getelementptr inbounds float, float* %3, i64 %17
%19 = load float, float* %18
%20 = icmp ugt i64 %17, 1
br i1 %20, label %21, label %60
21: ; preds = %15
%22 = getelementptr inbounds float*, float** %0, i64 %17
%23 = load float*, float** %22
%24 = and i64 %16, 1
%25 = icmp eq i64 %24, 0
br i1 %25, label %35, label %26
26: ; preds = %21
%27 = add nsw i64 %17, -1
%28 = and i64 %27, 4294967295
%29 = getelementptr inbounds float, float* %23, i64 %28
%30 = load float, float* %29
%31 = getelementptr inbounds float, float* %4, i64 %28
%32 = load float, float* %31
%33 = fneg float %30
%34 = tail call float @llvm.fmuladd.f32(float %33, float %32, float %19)
br label %35
35: ; preds = %26, %21
%36 = phi i64 [ %17, %21 ], [ %27, %26 ]
%37 = phi float [ %19, %21 ], [ %34, %26 ]
%38 = phi float [ undef, %21 ], [ %34, %26 ]
%39 = icmp eq i64 %16, 1
br i1 %39, label %60, label %40
40: ; preds = %35, %40
%41 = phi i64 [ %51, %40 ], [ %36, %35 ]
%42 = phi float [ %58, %40 ], [ %37, %35 ]
%43 = add i64 %41, 4294967295
%44 = and i64 %43, 4294967295
%45 = getelementptr inbounds float, float* %23, i64 %44
%46 = load float, float* %45
%47 = getelementptr inbounds float, float* %4, i64 %44
%48 = load float, float* %47
%49 = fneg float %46
%50 = tail call float @llvm.fmuladd.f32(float %49, float %48, float %42)
%51 = add nsw i64 %41, -2
%52 = and i64 %51, 4294967295
%53 = getelementptr inbounds float, float* %23, i64 %52
%54 = load float, float* %53
%55 = getelementptr inbounds float, float* %4, i64 %52
%56 = load float, float* %55
%57 = fneg float %54
%58 = tail call float @llvm.fmuladd.f32(float %57, float %56, float %50)
%59 = icmp sgt i64 %41, 3
br i1 %59, label %40, label %60
60: ; preds = %35, %40, %15
%61 = phi float [ %19, %15 ], [ %38, %35 ], [ %58, %40 ]
%62 = getelementptr inbounds float, float* %2, i64 %17
%63 = load float, float* %62
%64 = fdiv float %61, %63
%65 = getelementptr inbounds float, float* %4, i64 %17
store float %64, float* %65
%66 = add nuw nsw i64 %17, 1
%67 = icmp eq i64 %66, %9
%68 = add i64 %16, 1
br i1 %67, label %10, label %15
69: ; preds = %12, %117
%70 = phi i32 [ 0, %12 ], [ %125, %117 ]
%71 = phi i64 [ %14, %12 ], [ %124, %117 ]
%72 = phi i64 [ %13, %12 ], [ %122, %117 ]
%73 = getelementptr inbounds float, float* %4, i64 %71
%74 = load float, float* %73
%75 = icmp slt i64 %71, %13
br i1 %75, label %76, label %117
76: ; preds = %69
%77 = and i32 %70, 1
%78 = icmp eq i32 %77, 0
br i1 %78, label %89, label %79
79: ; preds = %76
%80 = add nsw i64 %72, 1
%81 = getelementptr inbounds float*, float** %0, i64 %80
%82 = load float*, float** %81
%83 = getelementptr inbounds float, float* %82, i64 %71
%84 = load float, float* %83
%85 = getelementptr inbounds float, float* %4, i64 %80
%86 = load float, float* %85
%87 = fneg float %84
%88 = tail call float @llvm.fmuladd.f32(float %87, float %86, float %74)
br label %89
89: ; preds = %79, %76
%90 = phi float [ undef, %76 ], [ %88, %79 ]
%91 = phi i64 [ %72, %76 ], [ %80, %79 ]
%92 = phi float [ %74, %76 ], [ %88, %79 ]
%93 = icmp eq i32 %70, 1
br i1 %93, label %117, label %94
94: ; preds = %89, %94
%95 = phi i64 [ %106, %94 ], [ %91, %89 ]
%96 = phi float [ %114, %94 ], [ %92, %89 ]
%97 = add nsw i64 %95, 1
%98 = getelementptr inbounds float*, float** %0, i64 %97
%99 = load float*, float** %98
%100 = getelementptr inbounds float, float* %99, i64 %71
%101 = load float, float* %100
%102 = getelementptr inbounds float, float* %4, i64 %97
%103 = load float, float* %102
%104 = fneg float %101
%105 = tail call float @llvm.fmuladd.f32(float %104, float %103, float %96)
%106 = add nsw i64 %95, 2
%107 = getelementptr inbounds float*, float** %0, i64 %106
%108 = load float*, float** %107
%109 = getelementptr inbounds float, float* %108, i64 %71
%110 = load float, float* %109
%111 = getelementptr inbounds float, float* %4, i64 %106
%112 = load float, float* %111
%113 = fneg float %110
%114 = tail call float @llvm.fmuladd.f32(float %113, float %112, float %105)
%115 = trunc i64 %106 to i32
%116 = icmp eq i32 %115, %1
br i1 %116, label %117, label %94
117: ; preds = %89, %94, %69
%118 = phi float [ %74, %69 ], [ %90, %89 ], [ %114, %94 ]
%119 = getelementptr inbounds float, float* %2, i64 %71
%120 = load float, float* %119
%121 = fdiv float %118, %120
store float %121, float* %73
%122 = add nsw i64 %72, -1
%123 = icmp sgt i64 %71, 1
%124 = add nsw i64 %71, -1
%125 = add i32 %70, 1
br i1 %123, label %69, label %126
126: ; preds = %117, %5, %10
ret void
}