#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 floats_mat33_chol(const float *A, int Arows, int Acols, float *R,
                       int Brows, int Bcols) {
  assert(Arows == Brows);
  assert(Bcols == Bcols);
  R[0] = (float)sqrt(A[0]);
  R[3] = A[1] / R[0];
  R[6] = A[2] / R[0];
  R[4] = (float)sqrt(A[4] - R[3] * R[3]);
  R[7] = (A[5] - R[3] * R[6]) / R[4];
  R[8] = (float)sqrt(A[8] - R[6] * R[6] - R[7] * R[7]);
  R[1] = 0;
  R[2] = 0;
  R[5] = 0;
}


x86 assembly (clang, -O0):
<floats_mat33_chol>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    %r9d,-0x20(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x1c(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x20(%rbp),%eax
cmp    -0x20(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
call   1040 <sqrt@plt>
cvtsi2ss %rax,%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,(%rax)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
mov    -0x18(%rbp),%rax
divss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0xc(%rax)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
mov    -0x18(%rbp),%rax
divss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0x18(%rax)
mov    -0x8(%rbp),%rax
movss  0x10(%rax),%xmm1
mov    -0x18(%rbp),%rax
movss  0xc(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0xc(%rax),%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
call   1040 <sqrt@plt>
cvtsi2ss %rax,%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0x10(%rax)
mov    -0x8(%rbp),%rax
movss  0x14(%rax),%xmm1
mov    -0x18(%rbp),%rax
movss  0xc(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0x18(%rax),%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
divss  0x10(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0x1c(%rax)
mov    -0x8(%rbp),%rax
movss  0x20(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0x18(%rax),%xmm1
mov    -0x18(%rbp),%rax
movss  0x18(%rax),%xmm2
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
mov    -0x18(%rbp),%rax
movss  0x1c(%rax),%xmm0
mov    -0x18(%rbp),%rax
movss  0x1c(%rax),%xmm2
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
call   1040 <sqrt@plt>
cvtsi2ss %rax,%xmm0
mov    -0x18(%rbp),%rax
movss  %xmm0,0x20(%rax)
mov    -0x18(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0x4(%rax)
mov    -0x18(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0x8(%rax)
mov    -0x18(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,0x14(%rax)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<floats_mat33_chol>:
push   %r14
push   %rbx
push   %rax
mov    %rcx,%rbx
mov    %rdi,%r14
xor    %edi,%edi
cmp    %r8d,%esi
sete   %dil
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
movss  (%r14),%xmm0
call   1040 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
movss  %xmm0,(%rbx)
movss  0x4(%r14),%xmm1
divss  %xmm0,%xmm1
movss  %xmm1,0xc(%rbx)
movss  0x8(%r14),%xmm2
divss  %xmm0,%xmm2
movss  %xmm2,0x18(%rbx)
movss  0x10(%r14),%xmm0
mulss  %xmm1,%xmm1
subss  %xmm1,%xmm0
call   1040 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
movss  %xmm0,0x10(%rbx)
movss  0x14(%r14),%xmm1
movss  0x18(%rbx),%xmm2
movss  0xc(%rbx),%xmm3
mulss  %xmm2,%xmm3
subss  %xmm3,%xmm1
divss  %xmm0,%xmm1
movss  %xmm1,0x1c(%rbx)
movss  0x20(%r14),%xmm0
mulss  %xmm2,%xmm2
subss  %xmm2,%xmm0
mulss  %xmm1,%xmm1
subss  %xmm1,%xmm0
call   1040 <sqrt@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
movss  %xmm0,0x20(%rbx)
movq   $0x0,0x4(%rbx)
movl   $0x0,0x14(%rbx)
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
define void @floats_mat33_chol(float* nocapture %0, i32 %1, i32 %2, float* nocapture %3, i32 %4, i32 %5) {
%7 = icmp eq i32 %1, %4
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
%10 = tail call i32 @assert(i32 1)
%11 = load float, float* %0
%12 = tail call i64 @sqrt(float %11)
%13 = sitofp i64 %12 to float
store float %13, float* %3
%14 = getelementptr inbounds float, float* %0, i64 1
%15 = load float, float* %14
%16 = fdiv float %15, %13
%17 = getelementptr inbounds float, float* %3, i64 3
store float %16, float* %17
%18 = getelementptr inbounds float, float* %0, i64 2
%19 = load float, float* %18
%20 = fdiv float %19, %13
%21 = getelementptr inbounds float, float* %3, i64 6
store float %20, float* %21
%22 = getelementptr inbounds float, float* %0, i64 4
%23 = load float, float* %22
%24 = fneg float %16
%25 = tail call float @llvm.fmuladd.f32(float %24, float %16, float %23)
%26 = tail call i64 @sqrt(float %25)
%27 = sitofp i64 %26 to float
%28 = getelementptr inbounds float, float* %3, i64 4
store float %27, float* %28
%29 = getelementptr inbounds float, float* %0, i64 5
%30 = load float, float* %29
%31 = load float, float* %17
%32 = load float, float* %21
%33 = fneg float %31
%34 = tail call float @llvm.fmuladd.f32(float %33, float %32, float %30)
%35 = fdiv float %34, %27
%36 = getelementptr inbounds float, float* %3, i64 7
store float %35, float* %36
%37 = getelementptr inbounds float, float* %0, i64 8
%38 = load float, float* %37
%39 = fneg float %32
%40 = tail call float @llvm.fmuladd.f32(float %39, float %32, float %38)
%41 = fneg float %35
%42 = tail call float @llvm.fmuladd.f32(float %41, float %35, float %40)
%43 = tail call i64 @sqrt(float %42)
%44 = sitofp i64 %43 to float
%45 = getelementptr inbounds float, float* %3, i64 8
store float %44, float* %45
%46 = getelementptr inbounds float, float* %3, i64 1
store float 0.000000e+00, float* %46
%47 = getelementptr inbounds float, float* %3, i64 2
store float 0.000000e+00, float* %47
%48 = getelementptr inbounds float, float* %3, i64 5
store float 0.000000e+00, float* %48
ret void
}