#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 */
typedef int /*<<< orphan*/ FILE;

/* Variables and functions */
int /*<<< orphan*/ fprintf(int /*<<< orphan*/ *, char *, ...);
int write_terrain_triangle(FILE *f, float flr, float ax, float ay, float az,
                           float bx, float by, float bz, float cx, float cy,
                           float cz) {
  if (az <= flr && bz <= flr && cz <= flr)
    return 1;
  fprintf(f, " {\n");
  fprintf(f, "  ( %f %f %f ) ( %f %f %f ) ( %f %f %f ) ground1_1 0 0 0 1 1\n",
          ax, ay, az, bx, by, bz, cx, cy, cz);
  fprintf(f, "  ( %f %f %f ) ( %f %f %f ) ( %f %f %f ) black 0 0 0 1 1\n", 0.0f,
          0.0f, flr, 4096.0f, 0.0f, flr, 0.0f, 4096.0f, flr);
  if (bz > flr || cz > flr)
    fprintf(f, "  ( %f %f %f ) ( %f %f %f ) ( %f %f %f ) rock1_2 0 0 0 1 1\n",
            cx, cy, cz, bx, by, bz, bx, by, bz - 128);
  if (bz > flr || az > flr)
    fprintf(f, "  ( %f %f %f ) ( %f %f %f ) ( %f %f %f ) rock1_2 0 0 0 1 1\n",
            bx, by, bz, ax, ay, az, ax, ay, az - 128);
  if (az > flr || cz > flr)
    fprintf(f, "  ( %f %f %f ) ( %f %f %f ) ( %f %f %f ) rock1_2 0 0 0 1 1\n",
            ax, ay, az, cx, cy, cz, cx, cy, cz - 128);
  fprintf(f, " }\n");
  return 0;
}


x86 assembly (clang, -O0):
<write_terrain_triangle>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movss  0x18(%rbp),%xmm8
movss  0x10(%rbp),%xmm8
mov    %rdi,-0x10(%rbp)
movss  %xmm0,-0x14(%rbp)
movss  %xmm1,-0x18(%rbp)
movss  %xmm2,-0x1c(%rbp)
movss  %xmm3,-0x20(%rbp)
movss  %xmm4,-0x24(%rbp)
movss  %xmm5,-0x28(%rbp)
movss  %xmm6,-0x2c(%rbp)
movss  %xmm7,-0x30(%rbp)
movss  -0x20(%rbp),%xmm1
movss  -0x14(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jb     1195 <write_terrain_triangle+0x85>
movss  -0x2c(%rbp),%xmm1
movss  -0x14(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jb     1195 <write_terrain_triangle+0x85>
movss  0x18(%rbp),%xmm1
movss  -0x14(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jb     1195 <write_terrain_triangle+0x85>
movl   $0x1,-0x4(%rbp)
jmp    143b <write_terrain_triangle+0x32b>
mov    -0x10(%rbp),%rdi
lea    0xe6c(%rip),%rsi
mov    $0x0,%al
call   1030 <fprintf@plt>
mov    -0x10(%rbp),%rdi
movss  -0x18(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  -0x1c(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
movss  -0x20(%rbp),%xmm2
cvtss2sd %xmm2,%xmm2
movss  -0x24(%rbp),%xmm3
cvtss2sd %xmm3,%xmm3
movss  -0x28(%rbp),%xmm4
cvtss2sd %xmm4,%xmm4
movss  -0x2c(%rbp),%xmm5
cvtss2sd %xmm5,%xmm5
movss  -0x30(%rbp),%xmm6
cvtss2sd %xmm6,%xmm6
movss  0x10(%rbp),%xmm7
cvtss2sd %xmm7,%xmm7
movss  0x18(%rbp),%xmm8
cvtss2sd %xmm8,%xmm8
lea    0xe0b(%rip),%rsi
movsd  %xmm8,(%rsp)
mov    $0x8,%al
call   1030 <fprintf@plt>
mov    -0x10(%rbp),%rdi
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm2
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm5
movss  -0x14(%rbp),%xmm0
cvtss2sd %xmm0,%xmm8
lea    0xe15(%rip),%rsi
xorps  %xmm6,%xmm6
movsd  0xdbc(%rip),%xmm7
movaps %xmm6,%xmm0
movaps %xmm6,%xmm1
movaps %xmm7,%xmm3
movaps %xmm6,%xmm4
movsd  %xmm8,(%rsp)
mov    $0x8,%al
call   1030 <fprintf@plt>
movss  -0x2c(%rbp),%xmm0
ucomiss -0x14(%rbp),%xmm0
ja     127b <write_terrain_triangle+0x16b>
movss  0x18(%rbp),%xmm0
ucomiss -0x14(%rbp),%xmm0
jbe    12f4 <write_terrain_triangle+0x1e4>
mov    -0x10(%rbp),%rdi
movss  -0x30(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  0x10(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
movss  0x18(%rbp),%xmm2
cvtss2sd %xmm2,%xmm2
movss  -0x24(%rbp),%xmm3
cvtss2sd %xmm3,%xmm3
movss  -0x28(%rbp),%xmm4
cvtss2sd %xmm4,%xmm4
movss  -0x2c(%rbp),%xmm5
cvtss2sd %xmm5,%xmm5
movss  -0x24(%rbp),%xmm6
cvtss2sd %xmm6,%xmm6
movss  -0x28(%rbp),%xmm7
cvtss2sd %xmm7,%xmm7
movss  -0x2c(%rbp),%xmm8
movss  0xd32(%rip),%xmm9
subss  %xmm9,%xmm8
cvtss2sd %xmm8,%xmm8
lea    0xda1(%rip),%rsi
movsd  %xmm8,(%rsp)
mov    $0x8,%al
call   1030 <fprintf@plt>
movss  -0x2c(%rbp),%xmm0
ucomiss -0x14(%rbp),%xmm0
ja     1312 <write_terrain_triangle+0x202>
movss  -0x20(%rbp),%xmm0
ucomiss -0x14(%rbp),%xmm0
jbe    138b <write_terrain_triangle+0x27b>
mov    -0x10(%rbp),%rdi
movss  -0x24(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  -0x28(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
movss  -0x2c(%rbp),%xmm2
cvtss2sd %xmm2,%xmm2
movss  -0x18(%rbp),%xmm3
cvtss2sd %xmm3,%xmm3
movss  -0x1c(%rbp),%xmm4
cvtss2sd %xmm4,%xmm4
movss  -0x20(%rbp),%xmm5
cvtss2sd %xmm5,%xmm5
movss  -0x18(%rbp),%xmm6
cvtss2sd %xmm6,%xmm6
movss  -0x1c(%rbp),%xmm7
cvtss2sd %xmm7,%xmm7
movss  -0x20(%rbp),%xmm8
movss  0xc9b(%rip),%xmm9
subss  %xmm9,%xmm8
cvtss2sd %xmm8,%xmm8
lea    0xd0a(%rip),%rsi
movsd  %xmm8,(%rsp)
mov    $0x8,%al
call   1030 <fprintf@plt>
movss  -0x20(%rbp),%xmm0
ucomiss -0x14(%rbp),%xmm0
ja     13a9 <write_terrain_triangle+0x299>
movss  0x18(%rbp),%xmm0
ucomiss -0x14(%rbp),%xmm0
jbe    1422 <write_terrain_triangle+0x312>
mov    -0x10(%rbp),%rdi
movss  -0x18(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  -0x1c(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
movss  -0x20(%rbp),%xmm2
cvtss2sd %xmm2,%xmm2
movss  -0x30(%rbp),%xmm3
cvtss2sd %xmm3,%xmm3
movss  0x10(%rbp),%xmm4
cvtss2sd %xmm4,%xmm4
movss  0x18(%rbp),%xmm5
cvtss2sd %xmm5,%xmm5
movss  -0x30(%rbp),%xmm6
cvtss2sd %xmm6,%xmm6
movss  0x10(%rbp),%xmm7
cvtss2sd %xmm7,%xmm7
movss  0x18(%rbp),%xmm8
movss  0xc04(%rip),%xmm9
subss  %xmm9,%xmm8
cvtss2sd %xmm8,%xmm8
lea    0xc73(%rip),%rsi
movsd  %xmm8,(%rsp)
mov    $0x8,%al
call   1030 <fprintf@plt>
mov    -0x10(%rbp),%rdi
lea    0xc97(%rip),%rsi
mov    $0x0,%al
call   1030 <fprintf@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<write_terrain_triangle>:
push   %rbx
sub    $0x60,%rsp
mov    %rdi,%rbx
ucomiss %xmm3,%xmm0
jb     1142 <write_terrain_triangle+0x22>
ucomiss %xmm6,%xmm0
jb     1142 <write_terrain_triangle+0x22>
mov    $0x1,%eax
ucomiss 0x78(%rsp),%xmm0
jae    13ea <write_terrain_triangle+0x2ca>
lea    0xec3(%rip),%rdi
mov    $0x3,%esi
mov    $0x1,%edx
mov    %rbx,%rcx
movss  %xmm0,0xc(%rsp)
movss  %xmm3,0x14(%rsp)
movss  %xmm6,0x10(%rsp)
movss  %xmm7,0x38(%rsp)
movss  %xmm5,0x30(%rsp)
movss  %xmm4,0x28(%rsp)
movss  %xmm2,0x20(%rsp)
movss  %xmm1,0x18(%rsp)
call   1040 <fwrite@plt>
movss  0x18(%rsp),%xmm0
cvtss2sd %xmm0,%xmm8
movss  0x20(%rsp),%xmm0
xorps  %xmm1,%xmm1
cvtss2sd %xmm0,%xmm1
movss  0x14(%rsp),%xmm0
xorps  %xmm2,%xmm2
cvtss2sd %xmm0,%xmm2
movss  0x28(%rsp),%xmm0
xorps  %xmm3,%xmm3
cvtss2sd %xmm0,%xmm3
movss  0x30(%rsp),%xmm0
xorps  %xmm4,%xmm4
cvtss2sd %xmm0,%xmm4
movss  0x10(%rsp),%xmm0
xorps  %xmm5,%xmm5
cvtss2sd %xmm0,%xmm5
movss  0x38(%rsp),%xmm0
xorps  %xmm6,%xmm6
cvtss2sd %xmm0,%xmm6
movss  0x70(%rsp),%xmm0
xorps  %xmm7,%xmm7
cvtss2sd %xmm0,%xmm7
movss  0x78(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,0x58(%rsp)
movsd  %xmm0,(%rsp)
lea    0xe03(%rip),%rsi
mov    %rbx,%rdi
movsd  %xmm8,0x38(%rsp)
movaps %xmm8,%xmm0
movsd  %xmm1,0x30(%rsp)
movsd  %xmm2,0x28(%rsp)
movsd  %xmm3,0x50(%rsp)
movsd  %xmm4,0x48(%rsp)
movsd  %xmm5,0x40(%rsp)
movsd  %xmm6,0x20(%rsp)
movsd  %xmm7,0x18(%rsp)
mov    $0x8,%al
call   1030 <fprintf@plt>
movss  0xc(%rsp),%xmm0
xorps  %xmm2,%xmm2
cvtss2sd %xmm0,%xmm2
movsd  %xmm2,(%rsp)
lea    0xde9(%rip),%rsi
movsd  0xd93(%rip),%xmm3
xorps  %xmm0,%xmm0
xorps  %xmm1,%xmm1
xorps  %xmm4,%xmm4
xorps  %xmm6,%xmm6
mov    %rbx,%rdi
movaps %xmm2,%xmm5
movaps %xmm3,%xmm7
mov    $0x8,%al
call   1030 <fprintf@plt>
movss  0x10(%rsp),%xmm3
movss  0xc(%rsp),%xmm1
movss  0x78(%rsp),%xmm0
ucomiss %xmm1,%xmm3
ja     12a5 <write_terrain_triangle+0x185>
ucomiss %xmm1,%xmm0
jbe    1307 <write_terrain_triangle+0x1e7>
movss  0xd5b(%rip),%xmm0
addss  %xmm3,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,(%rsp)
lea    0xdc7(%rip),%rsi
mov    %rbx,%rdi
movsd  0x20(%rsp),%xmm0
movsd  0x18(%rsp),%xmm1
movsd  0x58(%rsp),%xmm2
movsd  0x50(%rsp),%xmm3
movsd  0x48(%rsp),%xmm4
movsd  0x40(%rsp),%xmm5
movaps %xmm3,%xmm6
movaps %xmm4,%xmm7
mov    $0x8,%al
call   1030 <fprintf@plt>
movss  0x10(%rsp),%xmm3
movss  0xc(%rsp),%xmm1
movss  0x78(%rsp),%xmm0
movss  0x14(%rsp),%xmm2
ucomiss %xmm1,%xmm2
ja     1317 <write_terrain_triangle+0x1f7>
ucomiss %xmm1,%xmm3
jbe    1379 <write_terrain_triangle+0x259>
movss  0xce9(%rip),%xmm0
addss  %xmm2,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,(%rsp)
lea    0xd55(%rip),%rsi
mov    %rbx,%rdi
movsd  0x50(%rsp),%xmm0
movsd  0x48(%rsp),%xmm1
movsd  0x40(%rsp),%xmm2
movsd  0x38(%rsp),%xmm3
movsd  0x30(%rsp),%xmm4
movsd  0x28(%rsp),%xmm5
movaps %xmm3,%xmm6
movaps %xmm4,%xmm7
mov    $0x8,%al
call   1030 <fprintf@plt>
movss  0x14(%rsp),%xmm2
movss  0xc(%rsp),%xmm1
movss  0x78(%rsp),%xmm0
ucomiss %xmm1,%xmm2
ja     1383 <write_terrain_triangle+0x263>
ucomiss %xmm1,%xmm0
jbe    13cf <write_terrain_triangle+0x2af>
addss  0xc7d(%rip),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,(%rsp)
lea    0xced(%rip),%rsi
mov    %rbx,%rdi
movsd  0x38(%rsp),%xmm0
movsd  0x30(%rsp),%xmm1
movsd  0x28(%rsp),%xmm2
movsd  0x20(%rsp),%xmm3
movsd  0x18(%rsp),%xmm4
movsd  0x58(%rsp),%xmm5
movaps %xmm3,%xmm6
movaps %xmm4,%xmm7
mov    $0x8,%al
call   1030 <fprintf@plt>
lea    0xcee(%rip),%rdi
mov    $0x3,%esi
mov    $0x1,%edx
mov    %rbx,%rcx
call   1040 <fwrite@plt>
xor    %eax,%eax
add    $0x60,%rsp
pop    %rbx
ret

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

LLVM IR (-O2):
@.str = [4 x i8] c" {\0A\00"
@.str.1 = [62 x i8] c" ( %f %f %f ) ( %f %f %f ) ( %f %f %f ) ground1_1 0 0 0 1 1\0A\00"
@.str.2 = [58 x i8] c" ( %f %f %f ) ( %f %f %f ) ( %f %f %f ) black 0 0 0 1 1\0A\00"
@.str.3 = [60 x i8] c" ( %f %f %f ) ( %f %f %f ) ( %f %f %f ) rock1_2 0 0 0 1 1\0A\00"
@.str.4 = [4 x i8] c" }\0A\00"
define i32 @write_terrain_triangle(i32* nocapture %0, float %1, float %2, float %3, float %4, float %5, float %6, float %7, float %8, float %9, float %10) {
%12 = fcmp ugt float %4, %1
%13 = fcmp ugt float %7, %1
%14 = or i1 %12, %13
%15 = fcmp ugt float %10, %1
%16 = or i1 %14, %15
br i1 %16, label %17, label %53
17: ; preds = %11
%18 = tail call i64 @fwrite(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i64 3, i64 1, i32* %0)
%19 = fpext float %2 to double
%20 = fpext float %3 to double
%21 = fpext float %4 to double
%22 = fpext float %5 to double
%23 = fpext float %6 to double
%24 = fpext float %7 to double
%25 = fpext float %8 to double
%26 = fpext float %9 to double
%27 = fpext float %10 to double
%28 = tail call i32 (i32*, i8*, ...) @fprintf(i32* %0, i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.1, i64 0, i64 0), double %19, double %20, double %21, double %22, double %23, double %24, double %25, double %26, double %27)
%29 = fpext float %1 to double
%30 = tail call i32 (i32*, i8*, ...) @fprintf(i32* %0, i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str.2, i64 0, i64 0), double 0.000000e+00, double 0.000000e+00, double %29, double 4.096000e+03, double 0.000000e+00, double %29, double 0.000000e+00, double 4.096000e+03, double %29)
%31 = fcmp ogt float %7, %1
%32 = fcmp ogt float %10, %1
%33 = or i1 %31, %32
br i1 %33, label %34, label %38
34: ; preds = %17
%35 = fadd float %7, -1.280000e+02
%36 = fpext float %35 to double
%37 = tail call i32 (i32*, i8*, ...) @fprintf(i32* %0, i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.3, i64 0, i64 0), double %25, double %26, double %27, double %22, double %23, double %24, double %22, double %23, double %36)
br label %38
38: ; preds = %17, %34
%39 = fcmp ogt float %4, %1
%40 = or i1 %39, %31
br i1 %40, label %41, label %45
41: ; preds = %38
%42 = fadd float %4, -1.280000e+02
%43 = fpext float %42 to double
%44 = tail call i32 (i32*, i8*, ...) @fprintf(i32* %0, i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.3, i64 0, i64 0), double %22, double %23, double %24, double %19, double %20, double %21, double %19, double %20, double %43)
br label %45
45: ; preds = %38, %41
%46 = or i1 %39, %32
br i1 %46, label %47, label %51
47: ; preds = %45
%48 = fadd float %10, -1.280000e+02
%49 = fpext float %48 to double
%50 = tail call i32 (i32*, i8*, ...) @fprintf(i32* %0, i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.3, i64 0, i64 0), double %19, double %20, double %21, double %25, double %26, double %27, double %25, double %26, double %49)
br label %51
51: ; preds = %45, %47
%52 = tail call i64 @fwrite(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.4, i64 0, i64 0), i64 3, i64 1, i32* %0)
br label %53
53: ; preds = %11, %51
%54 = phi i32 [ 0, %51 ], [ 1, %11 ]
ret i32 %54
}