#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*/ GL_LIGHTING;
int /*<<< orphan*/ GL_LINES;
int /*<<< orphan*/ glBegin(int /*<<< orphan*/);
int /*<<< orphan*/ glColor3f(float, float, float);
int /*<<< orphan*/ glDisable(int /*<<< orphan*/);
int /*<<< orphan*/ glEnd();
int /*<<< orphan*/ glVertex3f(float, float, float);
void drawFrameBox(float minX, float minY, float minZ, float maxX, float maxY,
                  float maxZ, float red, float green, float blue) {
  glDisable(GL_LIGHTING);
  glBegin(GL_LINES);
  glColor3f(red, green, blue);
  glVertex3f(minX, minY, minZ);
  glVertex3f(minX, minY, maxZ);
  glVertex3f(minX, maxY, minZ);
  glVertex3f(minX, maxY, maxZ);
  glVertex3f(maxX, maxY, minZ);
  glVertex3f(maxX, maxY, maxZ);
  glVertex3f(maxX, minY, minZ);
  glVertex3f(maxX, minY, maxZ);
  glVertex3f(minX, minY, minZ);
  glVertex3f(minX, maxY, minZ);
  glVertex3f(minX, minY, maxZ);
  glVertex3f(minX, maxY, maxZ);
  glVertex3f(maxX, minY, maxZ);
  glVertex3f(maxX, maxY, maxZ);
  glVertex3f(maxX, minY, minZ);
  glVertex3f(maxX, maxY, minZ);
  glVertex3f(minX, minY, minZ);
  glVertex3f(maxX, minY, minZ);
  glVertex3f(minX, minY, maxZ);
  glVertex3f(maxX, minY, maxZ);
  glVertex3f(minX, maxY, maxZ);
  glVertex3f(maxX, maxY, maxZ);
  glVertex3f(minX, maxY, minZ);
  glVertex3f(maxX, maxY, minZ);
  glEnd();
}


x86 assembly (clang, -O0):
<drawFrameBox>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movss  0x10(%rbp),%xmm8
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  %xmm2,-0xc(%rbp)
movss  %xmm3,-0x10(%rbp)
movss  %xmm4,-0x14(%rbp)
movss  %xmm5,-0x18(%rbp)
movss  %xmm6,-0x1c(%rbp)
movss  %xmm7,-0x20(%rbp)
mov    0x2e4b(%rip),%rax
mov    (%rax),%edi
call   1060 <glDisable@plt>
mov    0x2e55(%rip),%rax
mov    (%rax),%edi
call   1070 <glBegin@plt>
movss  -0x1c(%rbp),%xmm0
movss  -0x20(%rbp),%xmm1
movss  0x10(%rbp),%xmm2
call   1050 <glColor3f@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  -0xc(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  -0x18(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
movss  -0xc(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
movss  -0x18(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x10(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
movss  -0xc(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x10(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
movss  -0x18(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x10(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  -0xc(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x10(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  -0x18(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  -0xc(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
movss  -0xc(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  -0x18(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
movss  -0x18(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x10(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  -0x18(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x10(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
movss  -0x18(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x10(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  -0xc(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x10(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
movss  -0xc(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  -0xc(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x10(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  -0xc(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  -0x18(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x10(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  -0x18(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
movss  -0x18(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x10(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
movss  -0x18(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
movss  -0xc(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x10(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
movss  -0xc(%rbp),%xmm2
call   1030 <glVertex3f@plt>
mov    $0x0,%al
call   1040 <glEnd@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<drawFrameBox>:
sub    $0x28,%rsp
movss  %xmm7,0x24(%rsp)
movss  %xmm6,0x20(%rsp)
movss  %xmm5,0xc(%rsp)
movss  %xmm4,0x18(%rsp)
movss  %xmm3,0x10(%rsp)
movss  %xmm2,0x14(%rsp)
movss  %xmm1,0x4(%rsp)
movss  %xmm0,0x8(%rsp)
movss  0x30(%rsp),%xmm0
movss  %xmm0,0x1c(%rsp)
mov    0x2e41(%rip),%rax
mov    (%rax),%edi
call   1060 <glDisable@plt>
mov    0x2e4b(%rip),%rax
mov    (%rax),%edi
call   1070 <glBegin@plt>
movss  0x20(%rsp),%xmm0
movss  0x24(%rsp),%xmm1
movss  0x1c(%rsp),%xmm2
call   1050 <glColor3f@plt>
movss  0x8(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x8(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0xc(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x8(%rsp),%xmm0
movss  0x18(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x8(%rsp),%xmm0
movss  0x18(%rsp),%xmm1
movss  0xc(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x18(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x18(%rsp),%xmm1
movss  0xc(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0xc(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x8(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x8(%rsp),%xmm0
movss  0x18(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x8(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0xc(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x8(%rsp),%xmm0
movss  0x18(%rsp),%xmm1
movss  0xc(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0xc(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x18(%rsp),%xmm1
movss  0xc(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x18(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x8(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x8(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0xc(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0xc(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x8(%rsp),%xmm0
movss  0x18(%rsp),%xmm1
movss  0xc(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x18(%rsp),%xmm1
movss  0xc(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x8(%rsp),%xmm0
movss  0x18(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x18(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
xor    %eax,%eax
add    $0x28,%rsp
jmp    1040 <glEnd@plt>

LLVM IR (-O0):
@GL_LIGHTING = global i32 0
@GL_LINES = global i32 0
define void @drawFrameBox(float %0, float %1, float %2, float %3, float %4, float %5, float %6, float %7, float %8) {
%10 = alloca float
%11 = alloca float
%12 = alloca float
%13 = alloca float
%14 = alloca float
%15 = alloca float
%16 = alloca float
%17 = alloca float
%18 = alloca float
store float %0, float* %10
store float %1, float* %11
store float %2, float* %12
store float %3, float* %13
store float %4, float* %14
store float %5, float* %15
store float %6, float* %16
store float %7, float* %17
store float %8, float* %18
%19 = load i32, i32* @GL_LIGHTING
%20 = call i32 @glDisable(i32 %19)
%21 = load i32, i32* @GL_LINES
%22 = call i32 @glBegin(i32 %21)
%23 = load float, float* %16
%24 = load float, float* %17
%25 = load float, float* %18
%26 = call i32 @glColor3f(float %23, float %24, float %25)
%27 = load float, float* %10
%28 = load float, float* %11
%29 = load float, float* %12
%30 = call i32 @glVertex3f(float %27, float %28, float %29)
%31 = load float, float* %10
%32 = load float, float* %11
%33 = load float, float* %15
%34 = call i32 @glVertex3f(float %31, float %32, float %33)
%35 = load float, float* %10
%36 = load float, float* %14
%37 = load float, float* %12
%38 = call i32 @glVertex3f(float %35, float %36, float %37)
%39 = load float, float* %10
%40 = load float, float* %14
%41 = load float, float* %15
%42 = call i32 @glVertex3f(float %39, float %40, float %41)
%43 = load float, float* %13
%44 = load float, float* %14
%45 = load float, float* %12
%46 = call i32 @glVertex3f(float %43, float %44, float %45)
%47 = load float, float* %13
%48 = load float, float* %14
%49 = load float, float* %15
%50 = call i32 @glVertex3f(float %47, float %48, float %49)
%51 = load float, float* %13
%52 = load float, float* %11
%53 = load float, float* %12
%54 = call i32 @glVertex3f(float %51, float %52, float %53)
%55 = load float, float* %13
%56 = load float, float* %11
%57 = load float, float* %15
%58 = call i32 @glVertex3f(float %55, float %56, float %57)
%59 = load float, float* %10
%60 = load float, float* %11
%61 = load float, float* %12
%62 = call i32 @glVertex3f(float %59, float %60, float %61)
%63 = load float, float* %10
%64 = load float, float* %14
%65 = load float, float* %12
%66 = call i32 @glVertex3f(float %63, float %64, float %65)
%67 = load float, float* %10
%68 = load float, float* %11
%69 = load float, float* %15
%70 = call i32 @glVertex3f(float %67, float %68, float %69)
%71 = load float, float* %10
%72 = load float, float* %14
%73 = load float, float* %15
%74 = call i32 @glVertex3f(float %71, float %72, float %73)
%75 = load float, float* %13
%76 = load float, float* %11
%77 = load float, float* %15
%78 = call i32 @glVertex3f(float %75, float %76, float %77)
%79 = load float, float* %13
%80 = load float, float* %14
%81 = load float, float* %15
%82 = call i32 @glVertex3f(float %79, float %80, float %81)
%83 = load float, float* %13
%84 = load float, float* %11
%85 = load float, float* %12
%86 = call i32 @glVertex3f(float %83, float %84, float %85)
%87 = load float, float* %13
%88 = load float, float* %14
%89 = load float, float* %12
%90 = call i32 @glVertex3f(float %87, float %88, float %89)
%91 = load float, float* %10
%92 = load float, float* %11
%93 = load float, float* %12
%94 = call i32 @glVertex3f(float %91, float %92, float %93)
%95 = load float, float* %13
%96 = load float, float* %11
%97 = load float, float* %12
%98 = call i32 @glVertex3f(float %95, float %96, float %97)
%99 = load float, float* %10
%100 = load float, float* %11
%101 = load float, float* %15
%102 = call i32 @glVertex3f(float %99, float %100, float %101)
%103 = load float, float* %13
%104 = load float, float* %11
%105 = load float, float* %15
%106 = call i32 @glVertex3f(float %103, float %104, float %105)
%107 = load float, float* %10
%108 = load float, float* %14
%109 = load float, float* %15
%110 = call i32 @glVertex3f(float %107, float %108, float %109)
%111 = load float, float* %13
%112 = load float, float* %14
%113 = load float, float* %15
%114 = call i32 @glVertex3f(float %111, float %112, float %113)
%115 = load float, float* %10
%116 = load float, float* %14
%117 = load float, float* %12
%118 = call i32 @glVertex3f(float %115, float %116, float %117)
%119 = load float, float* %13
%120 = load float, float* %14
%121 = load float, float* %12
%122 = call i32 @glVertex3f(float %119, float %120, float %121)
%123 = call i32 (...) @glEnd()
ret void
}

LLVM IR (-O2):
@GL_LIGHTING = global i32 0
@GL_LINES = global i32 0
define void @drawFrameBox(float %0, float %1, float %2, float %3, float %4, float %5, float %6, float %7, float %8) {
%10 = load i32, i32* @GL_LIGHTING
%11 = tail call i32 @glDisable(i32 %10)
%12 = load i32, i32* @GL_LINES
%13 = tail call i32 @glBegin(i32 %12)
%14 = tail call i32 @glColor3f(float %6, float %7, float %8)
%15 = tail call i32 @glVertex3f(float %0, float %1, float %2)
%16 = tail call i32 @glVertex3f(float %0, float %1, float %5)
%17 = tail call i32 @glVertex3f(float %0, float %4, float %2)
%18 = tail call i32 @glVertex3f(float %0, float %4, float %5)
%19 = tail call i32 @glVertex3f(float %3, float %4, float %2)
%20 = tail call i32 @glVertex3f(float %3, float %4, float %5)
%21 = tail call i32 @glVertex3f(float %3, float %1, float %2)
%22 = tail call i32 @glVertex3f(float %3, float %1, float %5)
%23 = tail call i32 @glVertex3f(float %0, float %1, float %2)
%24 = tail call i32 @glVertex3f(float %0, float %4, float %2)
%25 = tail call i32 @glVertex3f(float %0, float %1, float %5)
%26 = tail call i32 @glVertex3f(float %0, float %4, float %5)
%27 = tail call i32 @glVertex3f(float %3, float %1, float %5)
%28 = tail call i32 @glVertex3f(float %3, float %4, float %5)
%29 = tail call i32 @glVertex3f(float %3, float %1, float %2)
%30 = tail call i32 @glVertex3f(float %3, float %4, float %2)
%31 = tail call i32 @glVertex3f(float %0, float %1, float %2)
%32 = tail call i32 @glVertex3f(float %3, float %1, float %2)
%33 = tail call i32 @glVertex3f(float %0, float %1, float %5)
%34 = tail call i32 @glVertex3f(float %3, float %1, float %5)
%35 = tail call i32 @glVertex3f(float %0, float %4, float %5)
%36 = tail call i32 @glVertex3f(float %3, float %4, float %5)
%37 = tail call i32 @glVertex3f(float %0, float %4, float %2)
%38 = tail call i32 @glVertex3f(float %3, float %4, float %2)
%39 = tail call i32 (...) @glEnd()
ret void
}