#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_LIGHT0;
int /*<<< orphan*/ GL_LIGHT1;
int /*<<< orphan*/ GL_LIGHTING;
int /*<<< orphan*/ GL_TRIANGLES;
int /*<<< orphan*/ glBegin(int /*<<< orphan*/);
int /*<<< orphan*/ glColor3f(float, float, float);
int /*<<< orphan*/ glEnable(int /*<<< orphan*/);
int /*<<< orphan*/ glEnd();
int /*<<< orphan*/ glNormal3f(int, int, int);
int /*<<< orphan*/ glVertex3f(float, float, float);
void drawBox(float minX, float minY, float minZ, float maxX, float maxY,
             float maxZ, float red, float green, float blue) {
  glColor3f(red, green, blue);
  glEnable(GL_LIGHTING);
  glEnable(GL_LIGHT0);
  glEnable(GL_LIGHT1);
  glBegin(GL_TRIANGLES);
  glNormal3f(0, 0, 1);
  glVertex3f(minX, minY, minZ);
  glVertex3f(maxX, minY, minZ);
  glVertex3f(maxX, maxY, minZ);
  glVertex3f(maxX, maxY, minZ);
  glVertex3f(minX, maxY, minZ);
  glVertex3f(minX, minY, minZ);
  glVertex3f(minX, minY, maxZ);
  glVertex3f(maxX, minY, maxZ);
  glVertex3f(maxX, maxY, maxZ);
  glVertex3f(maxX, maxY, maxZ);
  glVertex3f(minX, maxY, maxZ);
  glVertex3f(minX, minY, maxZ);
  glNormal3f(0, 1, 0);
  glVertex3f(minX, minY, minZ);
  glVertex3f(maxX, minY, minZ);
  glVertex3f(maxX, minY, maxZ);
  glVertex3f(maxX, minY, maxZ);
  glVertex3f(minX, minY, maxZ);
  glVertex3f(minX, minY, minZ);
  glVertex3f(minX, maxY, minZ);
  glVertex3f(maxX, maxY, minZ);
  glVertex3f(maxX, maxY, maxZ);
  glVertex3f(maxX, maxY, maxZ);
  glVertex3f(minX, maxY, maxZ);
  glVertex3f(minX, maxY, minZ);
  glNormal3f(1, 0, 0);
  glVertex3f(minX, minY, minZ);
  glVertex3f(minX, maxY, minZ);
  glVertex3f(minX, maxY, maxZ);
  glVertex3f(minX, maxY, maxZ);
  glVertex3f(minX, minY, maxZ);
  glVertex3f(minX, minY, minZ);
  glVertex3f(maxX, maxY, minZ);
  glVertex3f(maxX, minY, minZ);
  glVertex3f(maxX, maxY, maxZ);
  glVertex3f(maxX, maxY, maxZ);
  glVertex3f(maxX, minY, maxZ);
  glVertex3f(maxX, minY, minZ);
  glEnd();
}


x86 assembly (clang, -O0):
<drawBox>:
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)
movss  -0x1c(%rbp),%xmm0
movss  -0x20(%rbp),%xmm1
movss  0x10(%rbp),%xmm2
call   1060 <glColor3f@plt>
mov    0x2e1f(%rip),%rax
mov    (%rax),%edi
call   1040 <glEnable@plt>
mov    0x2e29(%rip),%rax
mov    (%rax),%edi
call   1040 <glEnable@plt>
mov    0x2dfb(%rip),%rax
mov    (%rax),%edi
call   1040 <glEnable@plt>
mov    0x2dfd(%rip),%rax
mov    (%rax),%edi
call   1070 <glBegin@plt>
xor    %esi,%esi
mov    $0x1,%edx
mov    %esi,%edi
call   1080 <glNormal3f@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  -0x10(%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>
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  -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  -0x10(%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  -0x18(%rbp),%xmm2
call   1030 <glVertex3f@plt>
movss  -0x4(%rbp),%xmm0
movss  -0x8(%rbp),%xmm1
movss  -0x18(%rbp),%xmm2
call   1030 <glVertex3f@plt>
xor    %edx,%edx
mov    $0x1,%esi
mov    %edx,%edi
call   1080 <glNormal3f@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  -0x10(%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  -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  -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  -0x14(%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  -0x4(%rbp),%xmm0
movss  -0x14(%rbp),%xmm1
movss  -0xc(%rbp),%xmm2
call   1030 <glVertex3f@plt>
mov    $0x1,%edi
xor    %edx,%edx
mov    %edx,%esi
call   1080 <glNormal3f@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  -0x14(%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  -0x4(%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  -0x10(%rbp),%xmm0
movss  -0x14(%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  -0x10(%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  -0x10(%rbp),%xmm0
movss  -0x8(%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>
mov    $0x0,%al
call   1050 <glEnd@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<drawBox>:
sub    $0x18,%rsp
movss  %xmm5,0x8(%rsp)
movss  %xmm4,0x4(%rsp)
movss  %xmm3,0x10(%rsp)
movss  %xmm2,0x14(%rsp)
movss  %xmm1,0xc(%rsp)
movss  %xmm0,(%rsp)
movss  0x20(%rsp),%xmm2
movaps %xmm6,%xmm0
movaps %xmm7,%xmm1
call   1060 <glColor3f@plt>
mov    0x2e31(%rip),%rax
mov    (%rax),%edi
call   1040 <glEnable@plt>
mov    0x2e3b(%rip),%rax
mov    (%rax),%edi
call   1040 <glEnable@plt>
mov    0x2e0d(%rip),%rax
mov    (%rax),%edi
call   1040 <glEnable@plt>
mov    0x2e0f(%rip),%rax
mov    (%rax),%edi
call   1070 <glBegin@plt>
xor    %edi,%edi
xor    %esi,%esi
mov    $0x1,%edx
call   1080 <glNormal3f@plt>
movss  (%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0xc(%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  0x10(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
xor    %edi,%edi
mov    $0x1,%esi
xor    %edx,%edx
call   1080 <glNormal3f@plt>
movss  (%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%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  0x10(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
mov    $0x1,%edi
xor    %esi,%esi
xor    %edx,%edx
call   1080 <glNormal3f@plt>
movss  (%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  (%rsp),%xmm0
movss  0xc(%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  0x10(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0x4(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x8(%rsp),%xmm2
call   1030 <glVertex3f@plt>
movss  0x10(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
movss  0x14(%rsp),%xmm2
call   1030 <glVertex3f@plt>
xor    %eax,%eax
add    $0x18,%rsp
jmp    1050 <glEnd@plt>

LLVM IR (-O0):
@GL_LIGHTING = global i32 0
@GL_LIGHT0 = global i32 0
@GL_LIGHT1 = global i32 0
@GL_TRIANGLES = global i32 0
define void @drawBox(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 float, float* %16
%20 = load float, float* %17
%21 = load float, float* %18
%22 = call i32 @glColor3f(float %19, float %20, float %21)
%23 = load i32, i32* @GL_LIGHTING
%24 = call i32 @glEnable(i32 %23)
%25 = load i32, i32* @GL_LIGHT0
%26 = call i32 @glEnable(i32 %25)
%27 = load i32, i32* @GL_LIGHT1
%28 = call i32 @glEnable(i32 %27)
%29 = load i32, i32* @GL_TRIANGLES
%30 = call i32 @glBegin(i32 %29)
%31 = call i32 @glNormal3f(i32 0, i32 0, i32 1)
%32 = load float, float* %10
%33 = load float, float* %11
%34 = load float, float* %12
%35 = call i32 @glVertex3f(float %32, float %33, float %34)
%36 = load float, float* %13
%37 = load float, float* %11
%38 = load float, float* %12
%39 = call i32 @glVertex3f(float %36, float %37, float %38)
%40 = load float, float* %13
%41 = load float, float* %14
%42 = load float, float* %12
%43 = call i32 @glVertex3f(float %40, float %41, float %42)
%44 = load float, float* %13
%45 = load float, float* %14
%46 = load float, float* %12
%47 = call i32 @glVertex3f(float %44, float %45, float %46)
%48 = load float, float* %10
%49 = load float, float* %14
%50 = load float, float* %12
%51 = call i32 @glVertex3f(float %48, float %49, float %50)
%52 = load float, float* %10
%53 = load float, float* %11
%54 = load float, float* %12
%55 = call i32 @glVertex3f(float %52, float %53, float %54)
%56 = load float, float* %10
%57 = load float, float* %11
%58 = load float, float* %15
%59 = call i32 @glVertex3f(float %56, float %57, float %58)
%60 = load float, float* %13
%61 = load float, float* %11
%62 = load float, float* %15
%63 = call i32 @glVertex3f(float %60, float %61, float %62)
%64 = load float, float* %13
%65 = load float, float* %14
%66 = load float, float* %15
%67 = call i32 @glVertex3f(float %64, float %65, float %66)
%68 = load float, float* %13
%69 = load float, float* %14
%70 = load float, float* %15
%71 = call i32 @glVertex3f(float %68, float %69, float %70)
%72 = load float, float* %10
%73 = load float, float* %14
%74 = load float, float* %15
%75 = call i32 @glVertex3f(float %72, float %73, float %74)
%76 = load float, float* %10
%77 = load float, float* %11
%78 = load float, float* %15
%79 = call i32 @glVertex3f(float %76, float %77, float %78)
%80 = call i32 @glNormal3f(i32 0, i32 1, i32 0)
%81 = load float, float* %10
%82 = load float, float* %11
%83 = load float, float* %12
%84 = call i32 @glVertex3f(float %81, float %82, float %83)
%85 = load float, float* %13
%86 = load float, float* %11
%87 = load float, float* %12
%88 = call i32 @glVertex3f(float %85, float %86, float %87)
%89 = load float, float* %13
%90 = load float, float* %11
%91 = load float, float* %15
%92 = call i32 @glVertex3f(float %89, float %90, float %91)
%93 = load float, float* %13
%94 = load float, float* %11
%95 = load float, float* %15
%96 = call i32 @glVertex3f(float %93, float %94, float %95)
%97 = load float, float* %10
%98 = load float, float* %11
%99 = load float, float* %15
%100 = call i32 @glVertex3f(float %97, float %98, float %99)
%101 = load float, float* %10
%102 = load float, float* %11
%103 = load float, float* %12
%104 = call i32 @glVertex3f(float %101, float %102, float %103)
%105 = load float, float* %10
%106 = load float, float* %14
%107 = load float, float* %12
%108 = call i32 @glVertex3f(float %105, float %106, float %107)
%109 = load float, float* %13
%110 = load float, float* %14
%111 = load float, float* %12
%112 = call i32 @glVertex3f(float %109, float %110, float %111)
%113 = load float, float* %13
%114 = load float, float* %14
%115 = load float, float* %15
%116 = call i32 @glVertex3f(float %113, float %114, float %115)
%117 = load float, float* %13
%118 = load float, float* %14
%119 = load float, float* %15
%120 = call i32 @glVertex3f(float %117, float %118, float %119)
%121 = load float, float* %10
%122 = load float, float* %14
%123 = load float, float* %15
%124 = call i32 @glVertex3f(float %121, float %122, float %123)
%125 = load float, float* %10
%126 = load float, float* %14
%127 = load float, float* %12
%128 = call i32 @glVertex3f(float %125, float %126, float %127)
%129 = call i32 @glNormal3f(i32 1, i32 0, i32 0)
%130 = load float, float* %10
%131 = load float, float* %11
%132 = load float, float* %12
%133 = call i32 @glVertex3f(float %130, float %131, float %132)
%134 = load float, float* %10
%135 = load float, float* %14
%136 = load float, float* %12
%137 = call i32 @glVertex3f(float %134, float %135, float %136)
%138 = load float, float* %10
%139 = load float, float* %14
%140 = load float, float* %15
%141 = call i32 @glVertex3f(float %138, float %139, float %140)
%142 = load float, float* %10
%143 = load float, float* %14
%144 = load float, float* %15
%145 = call i32 @glVertex3f(float %142, float %143, float %144)
%146 = load float, float* %10
%147 = load float, float* %11
%148 = load float, float* %15
%149 = call i32 @glVertex3f(float %146, float %147, float %148)
%150 = load float, float* %10
%151 = load float, float* %11
%152 = load float, float* %12
%153 = call i32 @glVertex3f(float %150, float %151, float %152)
%154 = load float, float* %13
%155 = load float, float* %14
%156 = load float, float* %12
%157 = call i32 @glVertex3f(float %154, float %155, float %156)
%158 = load float, float* %13
%159 = load float, float* %11
%160 = load float, float* %12
%161 = call i32 @glVertex3f(float %158, float %159, float %160)
%162 = load float, float* %13
%163 = load float, float* %14
%164 = load float, float* %15
%165 = call i32 @glVertex3f(float %162, float %163, float %164)
%166 = load float, float* %13
%167 = load float, float* %14
%168 = load float, float* %15
%169 = call i32 @glVertex3f(float %166, float %167, float %168)
%170 = load float, float* %13
%171 = load float, float* %11
%172 = load float, float* %15
%173 = call i32 @glVertex3f(float %170, float %171, float %172)
%174 = load float, float* %13
%175 = load float, float* %11
%176 = load float, float* %12
%177 = call i32 @glVertex3f(float %174, float %175, float %176)
%178 = call i32 (...) @glEnd()
ret void
}

LLVM IR (-O2):
@GL_LIGHTING = global i32 0
@GL_LIGHT0 = global i32 0
@GL_LIGHT1 = global i32 0
@GL_TRIANGLES = global i32 0
define void @drawBox(float %0, float %1, float %2, float %3, float %4, float %5, float %6, float %7, float %8) {
%10 = tail call i32 @glColor3f(float %6, float %7, float %8)
%11 = load i32, i32* @GL_LIGHTING
%12 = tail call i32 @glEnable(i32 %11)
%13 = load i32, i32* @GL_LIGHT0
%14 = tail call i32 @glEnable(i32 %13)
%15 = load i32, i32* @GL_LIGHT1
%16 = tail call i32 @glEnable(i32 %15)
%17 = load i32, i32* @GL_TRIANGLES
%18 = tail call i32 @glBegin(i32 %17)
%19 = tail call i32 @glNormal3f(i32 0, i32 0, i32 1)
%20 = tail call i32 @glVertex3f(float %0, float %1, float %2)
%21 = tail call i32 @glVertex3f(float %3, float %1, float %2)
%22 = tail call i32 @glVertex3f(float %3, float %4, float %2)
%23 = tail call i32 @glVertex3f(float %3, float %4, float %2)
%24 = tail call i32 @glVertex3f(float %0, float %4, float %2)
%25 = tail call i32 @glVertex3f(float %0, float %1, float %2)
%26 = tail call i32 @glVertex3f(float %0, float %1, 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 %4, float %5)
%30 = tail call i32 @glVertex3f(float %0, float %4, float %5)
%31 = tail call i32 @glVertex3f(float %0, float %1, float %5)
%32 = tail call i32 @glNormal3f(i32 0, i32 1, i32 0)
%33 = tail call i32 @glVertex3f(float %0, float %1, float %2)
%34 = tail call i32 @glVertex3f(float %3, float %1, float %2)
%35 = tail call i32 @glVertex3f(float %3, float %1, float %5)
%36 = tail call i32 @glVertex3f(float %3, float %1, float %5)
%37 = tail call i32 @glVertex3f(float %0, float %1, float %5)
%38 = tail call i32 @glVertex3f(float %0, float %1, float %2)
%39 = tail call i32 @glVertex3f(float %0, float %4, float %2)
%40 = tail call i32 @glVertex3f(float %3, float %4, float %2)
%41 = tail call i32 @glVertex3f(float %3, float %4, float %5)
%42 = tail call i32 @glVertex3f(float %3, float %4, float %5)
%43 = tail call i32 @glVertex3f(float %0, float %4, float %5)
%44 = tail call i32 @glVertex3f(float %0, float %4, float %2)
%45 = tail call i32 @glNormal3f(i32 1, i32 0, i32 0)
%46 = tail call i32 @glVertex3f(float %0, float %1, float %2)
%47 = tail call i32 @glVertex3f(float %0, float %4, float %2)
%48 = tail call i32 @glVertex3f(float %0, float %4, float %5)
%49 = tail call i32 @glVertex3f(float %0, float %4, float %5)
%50 = tail call i32 @glVertex3f(float %0, float %1, float %5)
%51 = tail call i32 @glVertex3f(float %0, float %1, float %2)
%52 = tail call i32 @glVertex3f(float %3, float %4, float %2)
%53 = tail call i32 @glVertex3f(float %3, float %1, float %2)
%54 = tail call i32 @glVertex3f(float %3, float %4, float %5)
%55 = tail call i32 @glVertex3f(float %3, float %4, float %5)
%56 = tail call i32 @glVertex3f(float %3, float %1, float %5)
%57 = tail call i32 @glVertex3f(float %3, float %1, float %2)
%58 = tail call i32 (...) @glEnd()
ret void
}