#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 GLint;
typedef int GLfloat;

/* Variables and functions */
int /*<<< orphan*/ GL_QUADS;
int /*<<< orphan*/ glBegin(int /*<<< orphan*/);
int /*<<< orphan*/ glEnd();
int /*<<< orphan*/ glNormal3fv(int *);
int /*<<< orphan*/ glVertex3fv(int *);
void drawBox(GLfloat xsize, GLfloat ysize, GLfloat zsize) {
  static GLfloat n[6][3] = {{-1.0, 0.0, 0.0}, {0.0, 1.0, 0.0},
                            {1.0, 0.0, 0.0},  {0.0, -1.0, 0.0},
                            {0.0, 0.0, 1.0},  {0.0, 0.0, -1.0}};
  static GLint faces[6][4] = {{0, 1, 2, 3}, {3, 2, 6, 7}, {7, 6, 5, 4},
                              {4, 5, 1, 0}, {5, 6, 2, 1}, {7, 4, 0, 3}};
  GLfloat v[8][3];
  GLint i;
  v[0][0] = v[1][0] = v[2][0] = v[3][0] = -xsize / 2;
  v[4][0] = v[5][0] = v[6][0] = v[7][0] = xsize / 2;
  v[0][1] = v[1][1] = v[4][1] = v[5][1] = -ysize / 2;
  v[2][1] = v[3][1] = v[6][1] = v[7][1] = ysize / 2;
  v[0][2] = v[3][2] = v[4][2] = v[7][2] = -zsize / 2;
  v[1][2] = v[2][2] = v[5][2] = v[6][2] = zsize / 2;
  for (i = 0; i < 6; i++) {
    glBegin(GL_QUADS);
    glNormal3fv(&n[i][0]);
    glVertex3fv(&v[faces[i][0]][0]);
    glVertex3fv(&v[faces[i][1]][0]);
    glVertex3fv(&v[faces[i][2]][0]);
    glVertex3fv(&v[faces[i][3]][0]);
    glEnd();
  }
}


x86 assembly (clang, -O0):
<drawBox>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
xor    %eax,%eax
sub    -0x4(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x4c(%rbp)
mov    %eax,-0x58(%rbp)
mov    %eax,-0x64(%rbp)
mov    %eax,-0x70(%rbp)
mov    -0x4(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x1c(%rbp)
mov    %eax,-0x28(%rbp)
mov    %eax,-0x34(%rbp)
mov    %eax,-0x40(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x30(%rbp)
mov    %eax,-0x3c(%rbp)
mov    %eax,-0x60(%rbp)
mov    %eax,-0x6c(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x18(%rbp)
mov    %eax,-0x24(%rbp)
mov    %eax,-0x48(%rbp)
mov    %eax,-0x54(%rbp)
xor    %eax,%eax
sub    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x14(%rbp)
mov    %eax,-0x38(%rbp)
mov    %eax,-0x44(%rbp)
mov    %eax,-0x68(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x20(%rbp)
mov    %eax,-0x2c(%rbp)
mov    %eax,-0x50(%rbp)
mov    %eax,-0x5c(%rbp)
movl   $0x0,-0x74(%rbp)
cmpl   $0x6,-0x74(%rbp)
jge    12c6 <drawBox+0x186>
mov    0x2dec(%rip),%rax
mov    (%rax),%edi
call   1060 <glBegin@plt>
movslq -0x74(%rbp),%rax
lea    0x2e42(%rip),%rdi
imul   $0xc,%rax,%rax
add    %rax,%rdi
call   1030 <glNormal3fv@plt>
movslq -0x74(%rbp),%rcx
lea    0x2e7b(%rip),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movslq (%rax),%rax
lea    -0x70(%rbp),%rdi
imul   $0xc,%rax,%rax
add    %rax,%rdi
call   1050 <glVertex3fv@plt>
movslq -0x74(%rbp),%rcx
lea    0x2e56(%rip),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movslq 0x4(%rax),%rax
lea    -0x70(%rbp),%rdi
imul   $0xc,%rax,%rax
add    %rax,%rdi
call   1050 <glVertex3fv@plt>
movslq -0x74(%rbp),%rcx
lea    0x2e30(%rip),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movslq 0x8(%rax),%rax
lea    -0x70(%rbp),%rdi
imul   $0xc,%rax,%rax
add    %rax,%rdi
call   1050 <glVertex3fv@plt>
movslq -0x74(%rbp),%rcx
lea    0x2e0a(%rip),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movslq 0xc(%rax),%rax
lea    -0x70(%rbp),%rdi
imul   $0xc,%rax,%rax
add    %rax,%rdi
call   1050 <glVertex3fv@plt>
mov    $0x0,%al
call   1040 <glEnd@plt>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
jmp    11eb <drawBox+0xab>
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<drawBox>:
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %edi,%eax
shr    $0x1f,%eax
add    %edi,%eax
sar    %eax
mov    %eax,%ecx
neg    %ecx
mov    %ecx,0x24(%rsp)
mov    %ecx,0x18(%rsp)
mov    %ecx,0xc(%rsp)
mov    %ecx,(%rsp)
mov    %eax,0x54(%rsp)
mov    %eax,0x48(%rsp)
mov    %eax,0x3c(%rsp)
mov    %eax,0x30(%rsp)
mov    %esi,%eax
shr    $0x1f,%eax
add    %esi,%eax
sar    %eax
mov    %eax,%ecx
neg    %ecx
mov    %ecx,0x40(%rsp)
mov    %ecx,0x34(%rsp)
mov    %ecx,0x10(%rsp)
mov    %ecx,0x4(%rsp)
mov    %eax,0x58(%rsp)
mov    %eax,0x4c(%rsp)
mov    %eax,0x28(%rsp)
mov    %eax,0x1c(%rsp)
mov    %edx,%eax
shr    $0x1f,%eax
add    %edx,%eax
sar    %eax
mov    %eax,%ecx
neg    %ecx
mov    %ecx,0x5c(%rsp)
mov    %ecx,0x38(%rsp)
mov    %ecx,0x2c(%rsp)
mov    %ecx,0x8(%rsp)
mov    %eax,0x50(%rsp)
mov    %eax,0x44(%rsp)
mov    %eax,0x20(%rsp)
mov    %eax,0x14(%rsp)
lea    0x2e78(%rip),%r14
mov    $0xc,%ebx
mov    0x2e04(%rip),%r15
lea    0xe15(%rip),%r12
nopl   0x0(%rax,%rax,1)
mov    (%r15),%edi
call   1060 <glBegin@plt>
mov    %r14,%rdi
call   1030 <glNormal3fv@plt>
movslq -0xc(%rbx,%r12,1),%rax
lea    (%rax,%rax,2),%rax
lea    (%rsp,%rax,4),%rdi
call   1050 <glVertex3fv@plt>
movslq -0x8(%rbx,%r12,1),%rax
lea    (%rax,%rax,2),%rax
lea    (%rsp,%rax,4),%rdi
call   1050 <glVertex3fv@plt>
movslq -0x4(%rbx,%r12,1),%rax
lea    (%rax,%rax,2),%rax
lea    (%rsp,%rax,4),%rdi
call   1050 <glVertex3fv@plt>
movslq (%rbx,%r12,1),%rax
lea    (%rax,%rax,2),%rax
lea    (%rsp,%rax,4),%rdi
call   1050 <glVertex3fv@plt>
xor    %eax,%eax
call   1040 <glEnd@plt>
add    $0xc,%r14
add    $0x10,%rbx
cmp    $0x6c,%rbx
jne    11f0 <drawBox+0xb0>
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

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

LLVM IR (-O2):
@drawBox.n = internal global [6 x [3 x i32]] [[3 x i32] [i32 -1, i32 0, i32 0], [3 x i32] [i32 0, i32 1, i32 0], [3 x i32] [i32 1, i32 0, i32 0], [3 x i32] [i32 0, i32 -1, i32 0], [3 x i32] [i32 0, i32 0, i32 1], [3 x i32] [i32 0, i32 0, i32 -1]]
@drawBox.faces = internal unnamed_addr constant [6 x [4 x i32]] [[4 x i32] [i32 0, i32 1, i32 2, i32 3], [4 x i32] [i32 3, i32 2, i32 6, i32 7], [4 x i32] [i32 7, i32 6, i32 5, i32 4], [4 x i32] [i32 4, i32 5, i32 1, i32 0], [4 x i32] [i32 5, i32 6, i32 2, i32 1], [4 x i32] [i32 7, i32 4, i32 0, i32 3]]
@GL_QUADS = global i32 0
define void @drawBox(i32 %0, i32 %1, i32 %2) {
%4 = alloca [8 x [3 x i32]]
%5 = bitcast [8 x [3 x i32]]* %4 to i8*
%6 = sdiv i32 %0, -2
%7 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 3, i64 0
store i32 %6, i32* %7
%8 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 2, i64 0
store i32 %6, i32* %8
%9 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 1, i64 0
store i32 %6, i32* %9
%10 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 0, i64 0
store i32 %6, i32* %10
%11 = sdiv i32 %0, 2
%12 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 7, i64 0
store i32 %11, i32* %12
%13 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 6, i64 0
store i32 %11, i32* %13
%14 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 5, i64 0
store i32 %11, i32* %14
%15 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 4, i64 0
store i32 %11, i32* %15
%16 = sdiv i32 %1, -2
%17 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 5, i64 1
store i32 %16, i32* %17
%18 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 4, i64 1
store i32 %16, i32* %18
%19 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 1, i64 1
store i32 %16, i32* %19
%20 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 0, i64 1
store i32 %16, i32* %20
%21 = sdiv i32 %1, 2
%22 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 7, i64 1
store i32 %21, i32* %22
%23 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 6, i64 1
store i32 %21, i32* %23
%24 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 3, i64 1
store i32 %21, i32* %24
%25 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 2, i64 1
store i32 %21, i32* %25
%26 = sdiv i32 %2, -2
%27 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 7, i64 2
store i32 %26, i32* %27
%28 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 4, i64 2
store i32 %26, i32* %28
%29 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 3, i64 2
store i32 %26, i32* %29
%30 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 0, i64 2
store i32 %26, i32* %30
%31 = sdiv i32 %2, 2
%32 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 6, i64 2
store i32 %31, i32* %32
%33 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 5, i64 2
store i32 %31, i32* %33
%34 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 2, i64 2
store i32 %31, i32* %34
%35 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 1, i64 2
store i32 %31, i32* %35
br label %36
36: ; preds = %3, %36
%37 = phi i64 [ 0, %3 ], [ %63, %36 ]
%38 = load i32, i32* @GL_QUADS
%39 = call i32 @glBegin(i32 %38)
%40 = getelementptr inbounds [6 x [3 x i32]], [6 x [3 x i32]]* @drawBox.n, i64 0, i64 %37, i64 0
%41 = call i32 @glNormal3fv(i32* %40)
%42 = getelementptr inbounds [6 x [4 x i32]], [6 x [4 x i32]]* @drawBox.faces, i64 0, i64 %37, i64 0
%43 = load i32, i32* %42
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 %44, i64 0
%46 = call i32 @glVertex3fv(i32* %45)
%47 = getelementptr inbounds [6 x [4 x i32]], [6 x [4 x i32]]* @drawBox.faces, i64 0, i64 %37, i64 1
%48 = load i32, i32* %47
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 %49, i64 0
%51 = call i32 @glVertex3fv(i32* %50)
%52 = getelementptr inbounds [6 x [4 x i32]], [6 x [4 x i32]]* @drawBox.faces, i64 0, i64 %37, i64 2
%53 = load i32, i32* %52
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 %54, i64 0
%56 = call i32 @glVertex3fv(i32* %55)
%57 = getelementptr inbounds [6 x [4 x i32]], [6 x [4 x i32]]* @drawBox.faces, i64 0, i64 %37, i64 3
%58 = load i32, i32* %57
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds [8 x [3 x i32]], [8 x [3 x i32]]* %4, i64 0, i64 %59, i64 0
%61 = call i32 @glVertex3fv(i32* %60)
%62 = call i32 (...) @glEnd()
%63 = add nuw nsw i64 %37, 1
%64 = icmp eq i64 %63, 6
br i1 %64, label %65, label %36
65: ; preds = %36
ret void
}