#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 *);
int /*<<< orphan*/ normalize(float *);
void subdivide(float *v1, float *v2, float *v3, long depth) {
  float v12[3], v23[3], v31[3];
  if (depth <= 0) {
    drawtriangle(v1, v2, v3);
    return;
  }
  for (int i = 0; i < 3; i++) {
    v12[i] = (v1[i] + v2[i]) * 0.5;
    v23[i] = (v2[i] + v3[i]) * 0.5;
    v31[i] = (v3[i] + v1[i]) * 0.5;
  }
  normalize(v12);
  normalize(v23);
  normalize(v31);
  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    %rcx,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jg     1169 <subdivide+0x39>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1050 <drawtriangle@plt>
jmp    12af <subdivide+0x17f>
movl   $0x0,-0x48(%rbp)
cmpl   $0x3,-0x48(%rbp)
jge    1230 <subdivide+0x100>
mov    -0x8(%rbp),%rax
movslq -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x48(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe60(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movslq -0x48(%rbp),%rax
movss  %xmm0,-0x2c(%rbp,%rax,4)
mov    -0x10(%rbp),%rax
movslq -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x48(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe28(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movslq -0x48(%rbp),%rax
movss  %xmm0,-0x38(%rbp,%rax,4)
mov    -0x18(%rbp),%rax
movslq -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x48(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xdf0(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movslq -0x48(%rbp),%rax
movss  %xmm0,-0x44(%rbp,%rax,4)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1170 <subdivide+0x40>
lea    -0x2c(%rbp),%rdi
call   1040 <normalize@plt>
lea    -0x38(%rbp),%rdi
call   1040 <normalize@plt>
lea    -0x44(%rbp),%rdi
call   1040 <normalize@plt>
mov    -0x8(%rbp),%rdi
lea    -0x2c(%rbp),%rsi
lea    -0x44(%rbp),%rdx
mov    -0x20(%rbp),%rcx
sub    $0x1,%rcx
call   1030 <subdivide@plt>
mov    -0x10(%rbp),%rdi
lea    -0x38(%rbp),%rsi
lea    -0x2c(%rbp),%rdx
mov    -0x20(%rbp),%rcx
sub    $0x1,%rcx
call   1030 <subdivide@plt>
mov    -0x18(%rbp),%rdi
lea    -0x44(%rbp),%rsi
lea    -0x38(%rbp),%rdx
mov    -0x20(%rbp),%rcx
sub    $0x1,%rcx
call   1030 <subdivide@plt>
lea    -0x2c(%rbp),%rdi
lea    -0x38(%rbp),%rsi
lea    -0x44(%rbp),%rdx
mov    -0x20(%rbp),%rcx
sub    $0x1,%rcx
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    $0x28,%rsp
mov    %rdx,%r14
mov    %rsi,%r15
mov    %rdi,%r12
test   %rcx,%rcx
jle    1298 <subdivide+0x168>
mov    %rcx,%rbx
movss  (%r12),%xmm1
movss  (%r15),%xmm2
movaps %xmm1,%xmm3
addss  %xmm2,%xmm3
movss  0xe93(%rip),%xmm0
mulss  %xmm0,%xmm3
movss  %xmm3,0x1c(%rsp)
movss  (%r14),%xmm3
addss  %xmm3,%xmm2
mulss  %xmm0,%xmm2
movss  %xmm2,0x4(%rsp)
addss  %xmm3,%xmm1
mulss  %xmm0,%xmm1
movss  %xmm1,0x10(%rsp)
movss  0x4(%r12),%xmm1
movss  0x4(%r15),%xmm2
movaps %xmm1,%xmm3
addss  %xmm2,%xmm3
mulss  %xmm0,%xmm3
movss  %xmm3,0x20(%rsp)
movss  0x4(%r14),%xmm3
addss  %xmm3,%xmm2
mulss  %xmm0,%xmm2
movss  %xmm2,0x8(%rsp)
addss  %xmm3,%xmm1
mulss  %xmm0,%xmm1
movss  %xmm1,0x14(%rsp)
movss  0x8(%r12),%xmm1
movss  0x8(%r15),%xmm2
movaps %xmm1,%xmm3
addss  %xmm2,%xmm3
mulss  %xmm0,%xmm3
movss  %xmm3,0x24(%rsp)
movss  0x8(%r14),%xmm3
addss  %xmm3,%xmm2
mulss  %xmm0,%xmm2
movss  %xmm2,0xc(%rsp)
addss  %xmm3,%xmm1
mulss  %xmm0,%xmm1
movss  %xmm1,0x18(%rsp)
lea    0x1c(%rsp),%rbp
mov    %rbp,%rdi
call   1040 <normalize@plt>
lea    0x4(%rsp),%rdi
call   1040 <normalize@plt>
lea    0x10(%rsp),%r13
mov    %r13,%rdi
call   1040 <normalize@plt>
add    $0xffffffffffffffff,%rbx
mov    %r12,%rdi
mov    %rbp,%rsi
mov    %r13,%rdx
mov    %rbx,%rcx
call   1030 <subdivide@plt>
mov    %r15,%rdi
lea    0x4(%rsp),%r15
mov    %r15,%rsi
mov    %rbp,%rdx
mov    %rbx,%rcx
call   1030 <subdivide@plt>
mov    %r14,%rdi
mov    %r13,%rsi
mov    %r15,%rdx
mov    %rbx,%rcx
call   1030 <subdivide@plt>
mov    %rbp,%rdi
mov    %r15,%rsi
mov    %r13,%rdx
mov    %rbx,%rcx
call   1030 <subdivide@plt>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r12,%rdi
mov    %r15,%rsi
mov    %r14,%rdx
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <drawtriangle@plt>

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

LLVM IR (-O2):
define void @subdivide(float* %0, float* %1, float* %2, i64 %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 slt i64 %3, 1
br i1 %11, label %59, label %12
12: ; preds = %4
%13 = load float, float* %0
%14 = load float, float* %1
%15 = fadd float %13, %14
%16 = fmul float %15, 5.000000e-01
%17 = getelementptr inbounds [3 x float], [3 x float]* %5, i64 0, i64 0
store float %16, float* %17
%18 = load float, float* %2
%19 = fadd float %14, %18
%20 = fmul float %19, 5.000000e-01
%21 = getelementptr inbounds [3 x float], [3 x float]* %6, i64 0, i64 0
store float %20, float* %21
%22 = fadd float %13, %18
%23 = fmul float %22, 5.000000e-01
%24 = getelementptr inbounds [3 x float], [3 x float]* %7, i64 0, i64 0
store float %23, float* %24
%25 = getelementptr inbounds float, float* %0, i64 1
%26 = load float, float* %25
%27 = getelementptr inbounds float, float* %1, i64 1
%28 = load float, float* %27
%29 = fadd float %26, %28
%30 = fmul float %29, 5.000000e-01
%31 = getelementptr inbounds [3 x float], [3 x float]* %5, i64 0, i64 1
store float %30, float* %31
%32 = getelementptr inbounds float, float* %2, i64 1
%33 = load float, float* %32
%34 = fadd float %28, %33
%35 = fmul float %34, 5.000000e-01
%36 = getelementptr inbounds [3 x float], [3 x float]* %6, i64 0, i64 1
store float %35, float* %36
%37 = fadd float %26, %33
%38 = fmul float %37, 5.000000e-01
%39 = getelementptr inbounds [3 x float], [3 x float]* %7, i64 0, i64 1
store float %38, float* %39
%40 = getelementptr inbounds float, float* %0, i64 2
%41 = load float, float* %40
%42 = getelementptr inbounds float, float* %1, i64 2
%43 = load float, float* %42
%44 = fadd float %41, %43
%45 = fmul float %44, 5.000000e-01
%46 = getelementptr inbounds [3 x float], [3 x float]* %5, i64 0, i64 2
store float %45, float* %46
%47 = getelementptr inbounds float, float* %2, i64 2
%48 = load float, float* %47
%49 = fadd float %43, %48
%50 = fmul float %49, 5.000000e-01
%51 = getelementptr inbounds [3 x float], [3 x float]* %6, i64 0, i64 2
store float %50, float* %51
%52 = fadd float %41, %48
%53 = fmul float %52, 5.000000e-01
%54 = getelementptr inbounds [3 x float], [3 x float]* %7, i64 0, i64 2
store float %53, float* %54
%55 = call i32 @normalize(float* %17)
%56 = call i32 @normalize(float* %21)
%57 = call i32 @normalize(float* %24)
%58 = add nsw i64 %3, -1
br label %61
59: ; preds = %4
%60 = tail call i32 @drawtriangle(float* %0, float* %1, float* %2)
br label %61
61: ; preds = %12, %59
ret void
}