#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*/ drawtriangle(float *, float *, float *);
float sqrt(float);
void subdivide(float *v1, float *v2, float *v3, int depth) {
  float v12[3], v23[3], v31[3], d;
  int i;
  void drawtrinagle(float *v1, float *v2, float *v3);
  if (depth == 0) {
    drawtriangle(v1, v2, v3);
    return;
  }
  for (i = 0; i < 3; i++) {
    v12[i] = v1[i] + (v2[i] - v1[i]) / 2.;
    v23[i] = v2[i] + (v3[i] - v2[i]) / 2.;
    v31[i] = v3[i] + (v1[i] - v3[i]) / 2.;
  }
  d = sqrt(v12[0] * v12[0] + v12[1] * v12[1] + v12[2] * v12[2]);
  if (d > 0.0) {
    v12[0] /= d;
    v12[1] /= d;
    v12[2] /= d;
  }
  d = sqrt(v23[0] * v23[0] + v23[1] * v23[1] + v23[2] * v23[2]);
  if (d > 0.0) {
    v23[0] /= d;
    v23[1] /= d;
    v23[2] /= d;
  }
  d = sqrt(v31[0] * v31[0] + v31[1] * v31[1] + v31[2] * v31[2]);
  if (d > 0.0) {
    v31[0] /= d;
    v31[1] /= d;
    v31[2] /= d;
  }
  subdivide(v1, v12, v31, depth - 1);
  subdivide(v2, v23, v12, depth - 1);
  subdivide(v3, v31, v23, depth - 1);
  subdivide(v12, v23, v31, depth - 1);
}


x86 assembly (clang, -O0):
<subdivide>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jne    1167 <subdivide+0x37>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1040 <drawtriangle@plt>
jmp    145e <subdivide+0x32e>
movl   $0x0,-0x48(%rbp)
cmpl   $0x3,-0x48(%rbp)
jge    126d <subdivide+0x13d>
mov    -0x8(%rbp),%rax
movslq -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
mov    -0x10(%rbp),%rax
movslq -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x8(%rbp),%rax
movslq -0x48(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm1
cvtss2sd %xmm1,%xmm1
movsd  0xe51(%rip),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movslq -0x48(%rbp),%rax
movss  %xmm0,-0x28(%rbp,%rax,4)
mov    -0x10(%rbp),%rax
movslq -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
mov    -0x18(%rbp),%rax
movslq -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x10(%rbp),%rax
movslq -0x48(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm1
cvtss2sd %xmm1,%xmm1
movsd  0xe04(%rip),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movslq -0x48(%rbp),%rax
movss  %xmm0,-0x34(%rbp,%rax,4)
mov    -0x18(%rbp),%rax
movslq -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
mov    -0x8(%rbp),%rax
movslq -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x18(%rbp),%rax
movslq -0x48(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm1
cvtss2sd %xmm1,%xmm1
movsd  0xdb7(%rip),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movslq -0x48(%rbp),%rax
movss  %xmm0,-0x40(%rbp,%rax,4)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    116e <subdivide+0x3e>
movss  -0x28(%rbp),%xmm1
movss  -0x28(%rbp),%xmm2
movss  -0x24(%rbp),%xmm0
mulss  -0x24(%rbp),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x20(%rbp),%xmm0
movss  -0x20(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
call   1050 <sqrt@plt>
movss  %xmm0,-0x44(%rbp)
movss  -0x44(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    12f4 <subdivide+0x1c4>
movss  -0x44(%rbp),%xmm1
movss  -0x28(%rbp),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x44(%rbp),%xmm1
movss  -0x24(%rbp),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,-0x24(%rbp)
movss  -0x44(%rbp),%xmm1
movss  -0x20(%rbp),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,-0x20(%rbp)
movss  -0x34(%rbp),%xmm1
movss  -0x34(%rbp),%xmm2
movss  -0x30(%rbp),%xmm0
mulss  -0x30(%rbp),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x2c(%rbp),%xmm0
movss  -0x2c(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
call   1050 <sqrt@plt>
movss  %xmm0,-0x44(%rbp)
movss  -0x44(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    137b <subdivide+0x24b>
movss  -0x44(%rbp),%xmm1
movss  -0x34(%rbp),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
movss  -0x44(%rbp),%xmm1
movss  -0x30(%rbp),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,-0x30(%rbp)
movss  -0x44(%rbp),%xmm1
movss  -0x2c(%rbp),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,-0x2c(%rbp)
movss  -0x40(%rbp),%xmm1
movss  -0x40(%rbp),%xmm2
movss  -0x3c(%rbp),%xmm0
mulss  -0x3c(%rbp),%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x38(%rbp),%xmm0
movss  -0x38(%rbp),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
call   1050 <sqrt@plt>
movss  %xmm0,-0x44(%rbp)
movss  -0x44(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    1402 <subdivide+0x2d2>
movss  -0x44(%rbp),%xmm1
movss  -0x40(%rbp),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,-0x40(%rbp)
movss  -0x44(%rbp),%xmm1
movss  -0x3c(%rbp),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x44(%rbp),%xmm1
movss  -0x38(%rbp),%xmm0
divss  %xmm1,%xmm0
movss  %xmm0,-0x38(%rbp)
mov    -0x8(%rbp),%rdi
lea    -0x28(%rbp),%rsi
lea    -0x40(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
call   1030 <subdivide@plt>
mov    -0x10(%rbp),%rdi
lea    -0x34(%rbp),%rsi
lea    -0x28(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
call   1030 <subdivide@plt>
mov    -0x18(%rbp),%rdi
lea    -0x40(%rbp),%rsi
lea    -0x34(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
call   1030 <subdivide@plt>
lea    -0x28(%rbp),%rdi
lea    -0x34(%rbp),%rsi
lea    -0x40(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
call   1030 <subdivide@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<subdivide>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %rsi,%r15
mov    %rdi,%r12
test   %ecx,%ecx
je     1325 <subdivide+0x1f5>
mov    %ecx,%r13d
movss  (%r12),%xmm1
cvtss2sd %xmm1,%xmm2
movss  (%r15),%xmm3
movaps %xmm3,%xmm0
subss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm4
movsd  0xe8f(%rip),%xmm0
mulsd  %xmm0,%xmm4
addsd  %xmm2,%xmm4
cvtsd2ss %xmm4,%xmm8
movss  %xmm8,0x38(%rsp)
xorps  %xmm2,%xmm2
cvtss2sd %xmm3,%xmm2
movss  (%rdx),%xmm4
cvtss2sd %xmm4,%xmm5
subss  %xmm4,%xmm1
subss  %xmm3,%xmm4
xorps  %xmm3,%xmm3
cvtss2sd %xmm4,%xmm3
mulsd  %xmm0,%xmm3
addsd  %xmm2,%xmm3
cvtsd2ss %xmm3,%xmm9
cvtss2sd %xmm1,%xmm1
mulsd  %xmm0,%xmm1
addsd  %xmm5,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm9,0x2c(%rsp)
movss  %xmm1,0x1c(%rsp)
movss  %xmm1,0x20(%rsp)
movss  0x4(%r12),%xmm1
xorps  %xmm2,%xmm2
cvtss2sd %xmm1,%xmm2
movss  0x4(%r15),%xmm3
movaps %xmm3,%xmm4
subss  %xmm1,%xmm4
cvtss2sd %xmm4,%xmm4
mulsd  %xmm0,%xmm4
addsd  %xmm2,%xmm4
cvtsd2ss %xmm4,%xmm6
movss  %xmm6,0x3c(%rsp)
xorps  %xmm2,%xmm2
cvtss2sd %xmm3,%xmm2
movss  0x4(%rdx),%xmm4
xorps  %xmm5,%xmm5
cvtss2sd %xmm4,%xmm5
subss  %xmm4,%xmm1
subss  %xmm3,%xmm4
xorps  %xmm3,%xmm3
cvtss2sd %xmm4,%xmm3
mulsd  %xmm0,%xmm3
addsd  %xmm2,%xmm3
cvtsd2ss %xmm3,%xmm10
movss  %xmm10,0x30(%rsp)
cvtss2sd %xmm1,%xmm1
mulsd  %xmm0,%xmm1
addsd  %xmm5,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,0x18(%rsp)
movss  %xmm1,0x24(%rsp)
movss  0x8(%r12),%xmm1
xorps  %xmm2,%xmm2
cvtss2sd %xmm1,%xmm2
movss  0x8(%r15),%xmm3
movaps %xmm3,%xmm4
subss  %xmm1,%xmm4
cvtss2sd %xmm4,%xmm4
mulsd  %xmm0,%xmm4
addsd  %xmm2,%xmm4
cvtsd2ss %xmm4,%xmm7
movss  %xmm7,0x40(%rsp)
movss  0x8(%rdx),%xmm2
xorps  %xmm4,%xmm4
cvtss2sd %xmm2,%xmm4
movaps %xmm2,%xmm5
subss  %xmm3,%xmm5
cvtss2sd %xmm3,%xmm3
cvtss2sd %xmm5,%xmm5
mulsd  %xmm0,%xmm5
addsd  %xmm3,%xmm5
xorps  %xmm3,%xmm3
cvtsd2ss %xmm5,%xmm3
subss  %xmm2,%xmm1
movss  %xmm3,0x34(%rsp)
cvtss2sd %xmm1,%xmm1
mulsd  %xmm0,%xmm1
addsd  %xmm4,%xmm1
cvtsd2ss %xmm1,%xmm0
movss  %xmm0,0x14(%rsp)
movss  %xmm0,0x28(%rsp)
movaps %xmm6,%xmm0
mulss  %xmm6,%xmm0
movaps %xmm8,%xmm1
mulss  %xmm8,%xmm1
addss  %xmm0,%xmm1
movaps %xmm7,%xmm0
mulss  %xmm7,%xmm0
addss  %xmm1,%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
mov    %rdx,0x50(%rsp)
movss  %xmm9,0x10(%rsp)
movss  %xmm10,0xc(%rsp)
movss  %xmm3,0x8(%rsp)
jb     133e <subdivide+0x20e>
sqrtss %xmm0,%xmm0
ucomiss %xmm1,%xmm0
ja     1385 <subdivide+0x255>
jmp    13a5 <subdivide+0x275>
mov    %r12,%rdi
mov    %r15,%rsi
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <drawtriangle@plt>
movss  %xmm8,0x4c(%rsp)
movss  %xmm6,0x48(%rsp)
movss  %xmm7,0x44(%rsp)
call   1050 <sqrt@plt>
xorps  %xmm1,%xmm1
movss  0x44(%rsp),%xmm7
movss  0x8(%rsp),%xmm3
movss  0x48(%rsp),%xmm6
movss  0xc(%rsp),%xmm10
movss  0x4c(%rsp),%xmm8
movss  0x10(%rsp),%xmm9
ucomiss %xmm1,%xmm0
jbe    13a5 <subdivide+0x275>
divss  %xmm0,%xmm8
movss  %xmm8,0x38(%rsp)
divss  %xmm0,%xmm6
movss  %xmm6,0x3c(%rsp)
divss  %xmm0,%xmm7
movss  %xmm7,0x40(%rsp)
movaps %xmm10,%xmm0
mulss  %xmm10,%xmm0
movaps %xmm9,%xmm1
mulss  %xmm9,%xmm1
addss  %xmm0,%xmm1
movaps %xmm3,%xmm0
mulss  %xmm3,%xmm0
addss  %xmm1,%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jb     13d9 <subdivide+0x2a9>
sqrtss %xmm0,%xmm0
ucomiss %xmm1,%xmm0
ja     13fa <subdivide+0x2ca>
jmp    141c <subdivide+0x2ec>
call   1050 <sqrt@plt>
xorps  %xmm1,%xmm1
movss  0x8(%rsp),%xmm3
movss  0xc(%rsp),%xmm10
movss  0x10(%rsp),%xmm9
ucomiss %xmm1,%xmm0
jbe    141c <subdivide+0x2ec>
divss  %xmm0,%xmm9
movss  %xmm9,0x2c(%rsp)
divss  %xmm0,%xmm10
movss  %xmm10,0x30(%rsp)
divss  %xmm0,%xmm3
movss  %xmm3,0x34(%rsp)
movss  0x18(%rsp),%xmm0
mulss  %xmm0,%xmm0
movss  0x1c(%rsp),%xmm1
mulss  %xmm1,%xmm1
addss  %xmm0,%xmm1
movss  0x14(%rsp),%xmm0
mulss  %xmm0,%xmm0
addss  %xmm1,%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jb     1455 <subdivide+0x325>
sqrtss %xmm0,%xmm0
ucomiss %xmm1,%xmm0
ja     1462 <subdivide+0x332>
jmp    1492 <subdivide+0x362>
call   1050 <sqrt@plt>
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jbe    1492 <subdivide+0x362>
movss  0x1c(%rsp),%xmm1
divss  %xmm0,%xmm1
movss  %xmm1,0x20(%rsp)
movss  0x18(%rsp),%xmm1
divss  %xmm0,%xmm1
movss  %xmm1,0x24(%rsp)
movss  0x14(%rsp),%xmm1
divss  %xmm0,%xmm1
movss  %xmm1,0x28(%rsp)
add    $0xffffffff,%r13d
lea    0x38(%rsp),%rbx
lea    0x20(%rsp),%r14
mov    %r12,%rdi
mov    %rbx,%rsi
mov    %r14,%rdx
mov    %r13d,%ecx
call   1030 <subdivide@plt>
lea    0x2c(%rsp),%rbp
mov    %r15,%rdi
mov    %rbp,%rsi
mov    %rbx,%rdx
mov    %r13d,%ecx
call   1030 <subdivide@plt>
mov    0x50(%rsp),%rdi
mov    %r14,%rsi
mov    %rbp,%rdx
mov    %r13d,%ecx
call   1030 <subdivide@plt>
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    %r14,%rdx
mov    %r13d,%ecx
call   1030 <subdivide@plt>
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @subdivide(float* %0, float* %1, float* %2, i32 %3) {
%5 = alloca float*
%6 = alloca float*
%7 = alloca float*
%8 = alloca i32
%9 = alloca [3 x float]
%10 = alloca [3 x float]
%11 = alloca [3 x float]
%12 = alloca float
%13 = alloca i32
store float* %0, float** %5
store float* %1, float** %6
store float* %2, float** %7
store i32 %3, i32* %8
%14 = load i32, i32* %8
%15 = icmp eq i32 %14, 0
br i1 %15, label %16, label %21
16: ; preds = %4
%17 = load float*, float** %5
%18 = load float*, float** %6
%19 = load float*, float** %7
%20 = call i32 @drawtriangle(float* %17, float* %18, float* %19)
br label %221
21: ; preds = %4
store i32 0, i32* %13
br label %22
22: ; preds = %98, %21
%23 = load i32, i32* %13
%24 = icmp slt i32 %23, 3
br i1 %24, label %25, label %101
25: ; preds = %22
%26 = load float*, float** %5
%27 = load i32, i32* %13
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds float, float* %26, i64 %28
%30 = load float, float* %29
%31 = fpext float %30 to double
%32 = load float*, float** %6
%33 = load i32, i32* %13
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds float, float* %32, i64 %34
%36 = load float, float* %35
%37 = load float*, float** %5
%38 = load i32, i32* %13
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds float, float* %37, i64 %39
%41 = load float, float* %40
%42 = fsub float %36, %41
%43 = fpext float %42 to double
%44 = fdiv double %43, 2.000000e+00
%45 = fadd double %31, %44
%46 = fptrunc double %45 to float
%47 = load i32, i32* %13
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 %48
store float %46, float* %49
%50 = load float*, float** %6
%51 = load i32, i32* %13
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds float, float* %50, i64 %52
%54 = load float, float* %53
%55 = fpext float %54 to double
%56 = load float*, float** %7
%57 = load i32, i32* %13
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds float, float* %56, i64 %58
%60 = load float, float* %59
%61 = load float*, float** %6
%62 = load i32, i32* %13
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds float, float* %61, i64 %63
%65 = load float, float* %64
%66 = fsub float %60, %65
%67 = fpext float %66 to double
%68 = fdiv double %67, 2.000000e+00
%69 = fadd double %55, %68
%70 = fptrunc double %69 to float
%71 = load i32, i32* %13
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 %72
store float %70, float* %73
%74 = load float*, float** %7
%75 = load i32, i32* %13
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds float, float* %74, i64 %76
%78 = load float, float* %77
%79 = fpext float %78 to double
%80 = load float*, float** %5
%81 = load i32, i32* %13
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds float, float* %80, i64 %82
%84 = load float, float* %83
%85 = load float*, float** %7
%86 = load i32, i32* %13
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds float, float* %85, i64 %87
%89 = load float, float* %88
%90 = fsub float %84, %89
%91 = fpext float %90 to double
%92 = fdiv double %91, 2.000000e+00
%93 = fadd double %79, %92
%94 = fptrunc double %93 to float
%95 = load i32, i32* %13
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 %96
store float %94, float* %97
br label %98
98: ; preds = %25
%99 = load i32, i32* %13
%100 = add nsw i32 %99, 1
store i32 %100, i32* %13
br label %22
101: ; preds = %22
%102 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 0
%103 = load float, float* %102
%104 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 0
%105 = load float, float* %104
%106 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 1
%107 = load float, float* %106
%108 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 1
%109 = load float, float* %108
%110 = fmul float %107, %109
%111 = call float @llvm.fmuladd.f32(float %103, float %105, float %110)
%112 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 2
%113 = load float, float* %112
%114 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 2
%115 = load float, float* %114
%116 = call float @llvm.fmuladd.f32(float %113, float %115, float %111)
%117 = call float @sqrt(float %116)
store float %117, float* %12
%118 = load float, float* %12
%119 = fpext float %118 to double
%120 = fcmp ogt double %119, 0.000000e+00
br i1 %120, label %121, label %134
121: ; preds = %101
%122 = load float, float* %12
%123 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 0
%124 = load float, float* %123
%125 = fdiv float %124, %122
store float %125, float* %123
%126 = load float, float* %12
%127 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 1
%128 = load float, float* %127
%129 = fdiv float %128, %126
store float %129, float* %127
%130 = load float, float* %12
%131 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 2
%132 = load float, float* %131
%133 = fdiv float %132, %130
store float %133, float* %131
br label %134
134: ; preds = %121, %101
%135 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 0
%136 = load float, float* %135
%137 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 0
%138 = load float, float* %137
%139 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 1
%140 = load float, float* %139
%141 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 1
%142 = load float, float* %141
%143 = fmul float %140, %142
%144 = call float @llvm.fmuladd.f32(float %136, float %138, float %143)
%145 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 2
%146 = load float, float* %145
%147 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 2
%148 = load float, float* %147
%149 = call float @llvm.fmuladd.f32(float %146, float %148, float %144)
%150 = call float @sqrt(float %149)
store float %150, float* %12
%151 = load float, float* %12
%152 = fpext float %151 to double
%153 = fcmp ogt double %152, 0.000000e+00
br i1 %153, label %154, label %167
154: ; preds = %134
%155 = load float, float* %12
%156 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 0
%157 = load float, float* %156
%158 = fdiv float %157, %155
store float %158, float* %156
%159 = load float, float* %12
%160 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 1
%161 = load float, float* %160
%162 = fdiv float %161, %159
store float %162, float* %160
%163 = load float, float* %12
%164 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 2
%165 = load float, float* %164
%166 = fdiv float %165, %163
store float %166, float* %164
br label %167
167: ; preds = %154, %134
%168 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 0
%169 = load float, float* %168
%170 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 0
%171 = load float, float* %170
%172 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 1
%173 = load float, float* %172
%174 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 1
%175 = load float, float* %174
%176 = fmul float %173, %175
%177 = call float @llvm.fmuladd.f32(float %169, float %171, float %176)
%178 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 2
%179 = load float, float* %178
%180 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 2
%181 = load float, float* %180
%182 = call float @llvm.fmuladd.f32(float %179, float %181, float %177)
%183 = call float @sqrt(float %182)
store float %183, float* %12
%184 = load float, float* %12
%185 = fpext float %184 to double
%186 = fcmp ogt double %185, 0.000000e+00
br i1 %186, label %187, label %200
187: ; preds = %167
%188 = load float, float* %12
%189 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 0
%190 = load float, float* %189
%191 = fdiv float %190, %188
store float %191, float* %189
%192 = load float, float* %12
%193 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 1
%194 = load float, float* %193
%195 = fdiv float %194, %192
store float %195, float* %193
%196 = load float, float* %12
%197 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 2
%198 = load float, float* %197
%199 = fdiv float %198, %196
store float %199, float* %197
br label %200
200: ; preds = %187, %167
%201 = load float*, float** %5
%202 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 0
%203 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 0
%204 = load i32, i32* %8
%205 = sub nsw i32 %204, 1
%206 = load float*, float** %6
%207 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 0
%208 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 0
%209 = load i32, i32* %8
%210 = sub nsw i32 %209, 1
%211 = load float*, float** %7
%212 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 0
%213 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 0
%214 = load i32, i32* %8
%215 = sub nsw i32 %214, 1
%216 = getelementptr inbounds [3 x float], [3 x float]* %9, i64 0, i64 0
%217 = getelementptr inbounds [3 x float], [3 x float]* %10, i64 0, i64 0
%218 = getelementptr inbounds [3 x float], [3 x float]* %11, i64 0, i64 0
%219 = load i32, i32* %8
%220 = sub nsw i32 %219, 1
br label %221
221: ; preds = %200, %16
ret void
}

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