#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ assert(int);
scalar_t__ sqrt(float const);
void matrix_cholesky_decomp_scale_f(unsigned int dim, float L[],
                                    const float A[], const float mul) {
  assert(L && A && dim);
  ;
  ;
  unsigned int i, j, kn, in, jn;
  for (i = 0, in = 0; i < dim; i++, in += dim) {
    L[i + 0] = (i == 0) ? (float)sqrt((A[i + in] * mul))
                        : (1.0f / (L[0])) * (A[i] * mul);
    for (j = 1, jn = dim; j <= i; j++, jn += dim) {
      float s = 0;
#pragma MUST_ITERATE(1, 9)
      for (kn = 0; kn < j * dim; kn += dim) {
        s += L[i + kn] * L[j + kn];
      }
      L[i + jn] = (i == j) ? (float)sqrt((A[i + in] * mul - s))
                           : (1.0f / (L[j + jn])) * (A[i + jn] * mul - s);
    }
  }
}


x86 assembly (clang, -O0):
<matrix_cholesky_decomp_scale_f>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movss  %xmm0,-0x1c(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x35(%rbp)
je     1162 <matrix_cholesky_decomp_scale_f+0x42>
xor    %eax,%eax
cmpq   $0x0,-0x18(%rbp)
mov    %al,-0x35(%rbp)
je     1162 <matrix_cholesky_decomp_scale_f+0x42>
cmpl   $0x0,-0x4(%rbp)
setne  %al
mov    %al,-0x35(%rbp)
mov    -0x35(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x4(%rbp),%eax
jae    1364 <matrix_cholesky_decomp_scale_f+0x244>
cmpl   $0x0,-0x20(%rbp)
jne    11bd <matrix_cholesky_decomp_scale_f+0x9d>
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x2c(%rbp),%ecx
mov    %ecx,%ecx
movss  (%rax,%rcx,4),%xmm0
mulss  -0x1c(%rbp),%xmm0
call   1040 <sqrt@plt>
cvtsi2ss %rax,%xmm0
movss  %xmm0,-0x3c(%rbp)
jmp    11e7 <matrix_cholesky_decomp_scale_f+0xc7>
mov    -0x10(%rbp),%rax
movss  0xe37(%rip),%xmm0
divss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
movss  (%rax,%rcx,4),%xmm1
mulss  -0x1c(%rbp),%xmm1
mulss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x3c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    $0x0,%ecx
mov    %ecx,%ecx
movss  %xmm0,(%rax,%rcx,4)
movl   $0x1,-0x24(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
ja     1348 <matrix_cholesky_decomp_scale_f+0x228>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x34(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    -0x24(%rbp),%ecx
imul   -0x4(%rbp),%ecx
cmp    %ecx,%eax
jae    1279 <matrix_cholesky_decomp_scale_f+0x159>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x28(%rbp),%ecx
mov    %ecx,%ecx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x28(%rbp),%ecx
mov    %ecx,%ecx
movss  (%rax,%rcx,4),%xmm2
movss  -0x34(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x4(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    1225 <matrix_cholesky_decomp_scale_f+0x105>
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jne    12c9 <matrix_cholesky_decomp_scale_f+0x1a9>
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x2c(%rbp),%ecx
mov    %ecx,%ecx
movss  (%rax,%rcx,4),%xmm0
movss  -0x1c(%rbp),%xmm2
movss  -0x34(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
call   1040 <sqrt@plt>
cvtsi2ss %rax,%xmm0
movss  %xmm0,-0x40(%rbp)
jmp    131b <matrix_cholesky_decomp_scale_f+0x1fb>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x30(%rbp),%ecx
mov    %ecx,%ecx
movss  0xd23(%rip),%xmm0
divss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x30(%rbp),%ecx
mov    %ecx,%ecx
movss  (%rax,%rcx,4),%xmm1
movss  -0x1c(%rbp),%xmm3
movss  -0x34(%rbp),%xmm2
movd   %xmm2,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm2
mulss  %xmm3,%xmm1
addss  %xmm2,%xmm1
mulss  %xmm1,%xmm0
movss  %xmm0,-0x40(%rbp)
movss  -0x40(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x30(%rbp),%ecx
mov    %ecx,%ecx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x4(%rbp),%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
jmp    120a <matrix_cholesky_decomp_scale_f+0xea>
jmp    134d <matrix_cholesky_decomp_scale_f+0x22d>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x4(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    117d <matrix_cholesky_decomp_scale_f+0x5d>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<matrix_cholesky_decomp_scale_f>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
movss  %xmm0,0x4(%rsp)
mov    %rsi,%rbx
mov    %edi,%r12d
test   %rsi,%rsi
setne  %al
mov    %rdx,0x8(%rsp)
test   %rdx,%rdx
setne  %cl
and    %al,%cl
test   %edi,%edi
setne  %al
and    %cl,%al
movzbl %al,%edi
call   1030 <assert@plt>
test   %r12d,%r12d
je     12db <matrix_cholesky_decomp_scale_f+0x1bb>
mov    %r12d,%eax
mov    %rax,0x10(%rsp)
xor    %ebp,%ebp
mov    $0x1,%r13d
xor    %ecx,%ecx
jmp    11bf <matrix_cholesky_decomp_scale_f+0x9f>
nopl   0x0(%rax)
mov    %ecx,%eax
mov    0x8(%rsp),%rcx
movss  (%rcx,%rax,4),%xmm0
mulss  0x4(%rsp),%xmm0
call   1040 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
movss  %xmm0,(%rbx,%rbp,4)
add    $0x1,%rbp
mov    0x18(%rsp),%rcx
add    %r12d,%ecx
add    $0x1,%r13
cmp    0x10(%rsp),%rbp
je     12db <matrix_cholesky_decomp_scale_f+0x1bb>
test   %rbp,%rbp
mov    %rcx,0x18(%rsp)
je     1180 <matrix_cholesky_decomp_scale_f+0x60>
movss  0xe2f(%rip),%xmm0
divss  (%rbx),%xmm0
mov    0x8(%rsp),%rax
movss  (%rax,%rbp,4),%xmm1
mulss  0x4(%rsp),%xmm1
mulss  %xmm0,%xmm1
movss  %xmm1,(%rbx,%rbp,4)
lea    (%rcx,%rbp,1),%eax
mov    %rax,0x20(%rsp)
mov    $0x1,%r15d
mov    %r12d,%r14d
jmp    1252 <matrix_cholesky_decomp_scale_f+0x132>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    (%r14,%r15,1),%eax
movss  0xde4(%rip),%xmm2
divss  (%rbx,%rax,4),%xmm2
lea    (%r14,%rbp,1),%eax
mov    0x8(%rsp),%rcx
movss  (%rcx,%rax,4),%xmm0
mulss  0x4(%rsp),%xmm0
subss  %xmm1,%xmm0
mulss  %xmm2,%xmm0
movss  %xmm0,(%rbx,%rax,4)
add    $0x1,%r15
add    %r12d,%r14d
cmp    %r13,%r15
je     11a4 <matrix_cholesky_decomp_scale_f+0x84>
mov    %r15d,%eax
imul   %r12d,%eax
test   %eax,%eax
je     12a0 <matrix_cholesky_decomp_scale_f+0x180>
xor    %ecx,%ecx
xorps  %xmm1,%xmm1
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    (%rcx,%rbp,1),%edx
movss  (%rbx,%rdx,4),%xmm0
lea    (%r15,%rcx,1),%edx
mulss  (%rbx,%rdx,4),%xmm0
addss  %xmm0,%xmm1
add    %r12d,%ecx
cmp    %eax,%ecx
jb     1270 <matrix_cholesky_decomp_scale_f+0x150>
cmp    %r15,%rbp
jne    1210 <matrix_cholesky_decomp_scale_f+0xf0>
jmp    12ac <matrix_cholesky_decomp_scale_f+0x18c>
nopw   0x0(%rax,%rax,1)
xorps  %xmm1,%xmm1
cmp    %r15,%rbp
jne    1210 <matrix_cholesky_decomp_scale_f+0xf0>
mov    0x8(%rsp),%rax
mov    0x20(%rsp),%rcx
movss  (%rax,%rcx,4),%xmm0
mulss  0x4(%rsp),%xmm0
subss  %xmm1,%xmm0
call   1040 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
lea    (%r14,%rbp,1),%eax
jmp    123d <matrix_cholesky_decomp_scale_f+0x11d>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @matrix_cholesky_decomp_scale_f(i32 %0, float* %1, float* %2, float %3) {
%5 = alloca i32
%6 = alloca float*
%7 = alloca float*
%8 = alloca float
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca float
store i32 %0, i32* %5
store float* %1, float** %6
store float* %2, float** %7
store float %3, float* %8
%15 = load float*, float** %6
%16 = icmp ne float* %15, null
br i1 %16, label %17, label %23
17: ; preds = %4
%18 = load float*, float** %7
%19 = icmp ne float* %18, null
br i1 %19, label %20, label %23
20: ; preds = %17
%21 = load i32, i32* %5
%22 = icmp ne i32 %21, 0
br label %23
23: ; preds = %20, %17, %4
%24 = phi i1 [ false, %17 ], [ false, %4 ], [ %22, %20 ]
%25 = zext i1 %24 to i32
%26 = call i32 @assert(i32 %25)
store i32 0, i32* %9
store i32 0, i32* %12
br label %27
27: ; preds = %153, %23
%28 = load i32, i32* %9
%29 = load i32, i32* %5
%30 = icmp ult i32 %28, %29
br i1 %30, label %31, label %159
31: ; preds = %27
%32 = load i32, i32* %9
%33 = icmp eq i32 %32, 0
br i1 %33, label %34, label %46
34: ; preds = %31
%35 = load float*, float** %7
%36 = load i32, i32* %9
%37 = load i32, i32* %12
%38 = add i32 %36, %37
%39 = zext i32 %38 to i64
%40 = getelementptr inbounds float, float* %35, i64 %39
%41 = load float, float* %40
%42 = load float, float* %8
%43 = fmul float %41, %42
%44 = call i64 @sqrt(float %43)
%45 = sitofp i64 %44 to float
br label %59
46: ; preds = %31
%47 = load float*, float** %6
%48 = getelementptr inbounds float, float* %47, i64 0
%49 = load float, float* %48
%50 = fdiv float 1.000000e+00, %49
%51 = load float*, float** %7
%52 = load i32, i32* %9
%53 = zext i32 %52 to i64
%54 = getelementptr inbounds float, float* %51, i64 %53
%55 = load float, float* %54
%56 = load float, float* %8
%57 = fmul float %55, %56
%58 = fmul float %50, %57
br label %59
59: ; preds = %46, %34
%60 = phi float [ %45, %34 ], [ %58, %46 ]
%61 = load float*, float** %6
%62 = load i32, i32* %9
%63 = add i32 %62, 0
%64 = zext i32 %63 to i64
%65 = getelementptr inbounds float, float* %61, i64 %64
store float %60, float* %65
store i32 1, i32* %10
%66 = load i32, i32* %5
store i32 %66, i32* %13
br label %67
67: ; preds = %146, %59
%68 = load i32, i32* %10
%69 = load i32, i32* %9
%70 = icmp ule i32 %68, %69
br i1 %70, label %71, label %152
71: ; preds = %67
store float 0.000000e+00, float* %14
store i32 0, i32* %11
br label %72
72: ; preds = %95, %71
%73 = load i32, i32* %11
%74 = load i32, i32* %10
%75 = load i32, i32* %5
%76 = mul i32 %74, %75
%77 = icmp ult i32 %73, %76
br i1 %77, label %78, label %99
78: ; preds = %72
%79 = load float*, float** %6
%80 = load i32, i32* %9
%81 = load i32, i32* %11
%82 = add i32 %80, %81
%83 = zext i32 %82 to i64
%84 = getelementptr inbounds float, float* %79, i64 %83
%85 = load float, float* %84
%86 = load float*, float** %6
%87 = load i32, i32* %10
%88 = load i32, i32* %11
%89 = add i32 %87, %88
%90 = zext i32 %89 to i64
%91 = getelementptr inbounds float, float* %86, i64 %90
%92 = load float, float* %91
%93 = load float, float* %14
%94 = call float @llvm.fmuladd.f32(float %85, float %92, float %93)
store float %94, float* %14
br label %95
95: ; preds = %78
%96 = load i32, i32* %5
%97 = load i32, i32* %11
%98 = add i32 %97, %96
store i32 %98, i32* %11
br label %72
99: ; preds = %72
%100 = load i32, i32* %9
%101 = load i32, i32* %10
%102 = icmp eq i32 %100, %101
br i1 %102, label %103, label %117
103: ; preds = %99
%104 = load float*, float** %7
%105 = load i32, i32* %9
%106 = load i32, i32* %12
%107 = add i32 %105, %106
%108 = zext i32 %107 to i64
%109 = getelementptr inbounds float, float* %104, i64 %108
%110 = load float, float* %109
%111 = load float, float* %8
%112 = load float, float* %14
%113 = fneg float %112
%114 = call float @llvm.fmuladd.f32(float %110, float %111, float %113)
%115 = call i64 @sqrt(float %114)
%116 = sitofp i64 %115 to float
br label %138
117: ; preds = %99
%118 = load float*, float** %6
%119 = load i32, i32* %10
%120 = load i32, i32* %13
%121 = add i32 %119, %120
%122 = zext i32 %121 to i64
%123 = getelementptr inbounds float, float* %118, i64 %122
%124 = load float, float* %123
%125 = fdiv float 1.000000e+00, %124
%126 = load float*, float** %7
%127 = load i32, i32* %9
%128 = load i32, i32* %13
%129 = add i32 %127, %128
%130 = zext i32 %129 to i64
%131 = getelementptr inbounds float, float* %126, i64 %130
%132 = load float, float* %131
%133 = load float, float* %8
%134 = load float, float* %14
%135 = fneg float %134
%136 = call float @llvm.fmuladd.f32(float %132, float %133, float %135)
%137 = fmul float %125, %136
br label %138
138: ; preds = %117, %103
%139 = phi float [ %116, %103 ], [ %137, %117 ]
%140 = load float*, float** %6
%141 = load i32, i32* %9
%142 = load i32, i32* %13
%143 = add i32 %141, %142
%144 = zext i32 %143 to i64
%145 = getelementptr inbounds float, float* %140, i64 %144
store float %139, float* %145
br label %146
146: ; preds = %138
%147 = load i32, i32* %10
%148 = add i32 %147, 1
store i32 %148, i32* %10
%149 = load i32, i32* %5
%150 = load i32, i32* %13
%151 = add i32 %150, %149
store i32 %151, i32* %13
br label %67
152: ; preds = %67
br label %153
153: ; preds = %152
%154 = load i32, i32* %9
%155 = add i32 %154, 1
store i32 %155, i32* %9
%156 = load i32, i32* %5
%157 = load i32, i32* %12
%158 = add i32 %157, %156
store i32 %158, i32* %12
br label %27
159: ; preds = %27
ret void
}

LLVM IR (-O2):
define void @matrix_cholesky_decomp_scale_f(i32 %0, float* %1, float* %2, float %3) {
%5 = icmp ne float* %1, null
%6 = icmp ne float* %2, null
%7 = and i1 %5, %6
%8 = icmp ne i32 %0, 0
%9 = and i1 %8, %7
%10 = zext i1 %9 to i32
%11 = tail call i32 @assert(i32 %10)
%12 = icmp eq i32 %0, 0
br i1 %12, label %96, label %13
13: ; preds = %4
%14 = zext i32 %0 to i64
br label %15
15: ; preds = %13, %91
%16 = phi i64 [ 0, %13 ], [ %92, %91 ]
%17 = phi i64 [ 1, %13 ], [ %94, %91 ]
%18 = phi i32 [ 0, %13 ], [ %93, %91 ]
%19 = icmp eq i64 %16, 0
br i1 %19, label %20, label %28
20: ; preds = %15
%21 = zext i32 %18 to i64
%22 = getelementptr inbounds float, float* %2, i64 %21
%23 = load float, float* %22
%24 = fmul float %23, %3
%25 = tail call i64 @sqrt(float %24)
%26 = sitofp i64 %25 to float
%27 = getelementptr inbounds float, float* %1, i64 %16
store float %26, float* %27
br label %91
28: ; preds = %15
%29 = load float, float* %1
%30 = fdiv float 1.000000e+00, %29
%31 = getelementptr inbounds float, float* %2, i64 %16
%32 = load float, float* %31
%33 = fmul float %32, %3
%34 = fmul float %30, %33
%35 = getelementptr inbounds float, float* %1, i64 %16
store float %34, float* %35
%36 = trunc i64 %16 to i32
%37 = add i32 %18, %36
%38 = zext i32 %37 to i64
%39 = getelementptr inbounds float, float* %2, i64 %38
br label %40
40: ; preds = %28, %84
%41 = phi i64 [ 1, %28 ], [ %88, %84 ]
%42 = phi i32 [ %0, %28 ], [ %89, %84 ]
%43 = trunc i64 %41 to i32
%44 = mul i32 %43, %0
%45 = icmp eq i32 %44, 0
br i1 %45, label %60, label %46
46: ; preds = %40, %46
%47 = phi float [ %57, %46 ], [ 0.000000e+00, %40 ]
%48 = phi i32 [ %58, %46 ], [ 0, %40 ]
%49 = add i32 %48, %36
%50 = zext i32 %49 to i64
%51 = getelementptr inbounds float, float* %1, i64 %50
%52 = load float, float* %51
%53 = add i32 %48, %43
%54 = zext i32 %53 to i64
%55 = getelementptr inbounds float, float* %1, i64 %54
%56 = load float, float* %55
%57 = tail call float @llvm.fmuladd.f32(float %52, float %56, float %47)
%58 = add i32 %48, %0
%59 = icmp ult i32 %58, %44
br i1 %59, label %46, label %60
60: ; preds = %46, %40
%61 = phi float [ 0.000000e+00, %40 ], [ %57, %46 ]
%62 = icmp eq i64 %16, %41
br i1 %62, label %63, label %71
63: ; preds = %60
%64 = load float, float* %39
%65 = fneg float %61
%66 = tail call float @llvm.fmuladd.f32(float %64, float %3, float %65)
%67 = tail call i64 @sqrt(float %66)
%68 = sitofp i64 %67 to float
%69 = add i32 %42, %36
%70 = zext i32 %69 to i64
br label %84
71: ; preds = %60
%72 = add i32 %42, %43
%73 = zext i32 %72 to i64
%74 = getelementptr inbounds float, float* %1, i64 %73
%75 = load float, float* %74
%76 = fdiv float 1.000000e+00, %75
%77 = add i32 %42, %36
%78 = zext i32 %77 to i64
%79 = getelementptr inbounds float, float* %2, i64 %78
%80 = load float, float* %79
%81 = fneg float %61
%82 = tail call float @llvm.fmuladd.f32(float %80, float %3, float %81)
%83 = fmul float %76, %82
br label %84
84: ; preds = %71, %63
%85 = phi i64 [ %78, %71 ], [ %70, %63 ]
%86 = phi float [ %83, %71 ], [ %68, %63 ]
%87 = getelementptr inbounds float, float* %1, i64 %85
store float %86, float* %87
%88 = add nuw nsw i64 %41, 1
%89 = add i32 %42, %0
%90 = icmp eq i64 %88, %17
br i1 %90, label %91, label %40
91: ; preds = %84, %20
%92 = add nuw nsw i64 %16, 1
%93 = add i32 %18, %0
%94 = add nuw nsw i64 %17, 1
%95 = icmp eq i64 %92, %14
br i1 %95, label %96, label %15
96: ; preds = %91, %4
ret void
}