#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 GL_COLOR_BUFFER_BIT;
int GL_DEPTH_BUFFER_BIT;
int /*<<< orphan*/ glClear(int);
int /*<<< orphan*/ glFlush();
int /*<<< orphan*/ renderTeapot(double, double, double, double, double, double,
                                double, double, double, double, double, double);
void display(void) {
  glClear(GL_COLOR_BUFFER_BIT | GL_DEPTH_BUFFER_BIT);
  renderTeapot(2.0, 17.0, 0.0215, 0.1745, 0.0215, 0.07568, 0.61424, 0.07568,
               0.633, 0.727811, 0.633, 0.6);
  renderTeapot(2.0, 14.0, 0.135, 0.2225, 0.1575, 0.54, 0.89, 0.63, 0.316228,
               0.316228, 0.316228, 0.1);
  renderTeapot(2.0, 11.0, 0.05375, 0.05, 0.06625, 0.18275, 0.17, 0.22525,
               0.332741, 0.328634, 0.346435, 0.3);
  renderTeapot(2.0, 8.0, 0.25, 0.20725, 0.20725, 1, 0.829, 0.829, 0.296648,
               0.296648, 0.296648, 0.088);
  renderTeapot(2.0, 5.0, 0.1745, 0.01175, 0.01175, 0.61424, 0.04136, 0.04136,
               0.727811, 0.626959, 0.626959, 0.6);
  renderTeapot(2.0, 2.0, 0.1, 0.18725, 0.1745, 0.396, 0.74151, 0.69102,
               0.297254, 0.30829, 0.306678, 0.1);
  renderTeapot(6.0, 17.0, 0.329412, 0.223529, 0.027451, 0.780392, 0.568627,
               0.113725, 0.992157, 0.941176, 0.807843, 0.21794872);
  renderTeapot(6.0, 14.0, 0.2125, 0.1275, 0.054, 0.714, 0.4284, 0.18144,
               0.393548, 0.271906, 0.166721, 0.2);
  renderTeapot(6.0, 11.0, 0.25, 0.25, 0.25, 0.4, 0.4, 0.4, 0.774597, 0.774597,
               0.774597, 0.6);
  renderTeapot(6.0, 8.0, 0.19125, 0.0735, 0.0225, 0.7038, 0.27048, 0.0828,
               0.256777, 0.137622, 0.086014, 0.1);
  renderTeapot(6.0, 5.0, 0.24725, 0.1995, 0.0745, 0.75164, 0.60648, 0.22648,
               0.628281, 0.555802, 0.366065, 0.4);
  renderTeapot(6.0, 2.0, 0.19225, 0.19225, 0.19225, 0.50754, 0.50754, 0.50754,
               0.508273, 0.508273, 0.508273, 0.4);
  renderTeapot(10.0, 17.0, 0.0, 0.0, 0.0, 0.01, 0.01, 0.01, 0.50, 0.50, 0.50,
               .25);
  renderTeapot(10.0, 14.0, 0.0, 0.1, 0.06, 0.0, 0.50980392, 0.50980392,
               0.50196078, 0.50196078, 0.50196078, .25);
  renderTeapot(10.0, 11.0, 0.0, 0.0, 0.0, 0.1, 0.35, 0.1, 0.45, 0.55, 0.45,
               .25);
  renderTeapot(10.0, 8.0, 0.0, 0.0, 0.0, 0.5, 0.0, 0.0, 0.7, 0.6, 0.6, .25);
  renderTeapot(10.0, 5.0, 0.0, 0.0, 0.0, 0.55, 0.55, 0.55, 0.70, 0.70, 0.70,
               .25);
  renderTeapot(10.0, 2.0, 0.0, 0.0, 0.0, 0.5, 0.5, 0.0, 0.60, 0.60, 0.50, .25);
  renderTeapot(14.0, 17.0, 0.02, 0.02, 0.02, 0.01, 0.01, 0.01, 0.4, 0.4, 0.4,
               .078125);
  renderTeapot(14.0, 14.0, 0.0, 0.05, 0.05, 0.4, 0.5, 0.5, 0.04, 0.7, 0.7,
               .078125);
  renderTeapot(14.0, 11.0, 0.0, 0.05, 0.0, 0.4, 0.5, 0.4, 0.04, 0.7, 0.04,
               .078125);
  renderTeapot(14.0, 8.0, 0.05, 0.0, 0.0, 0.5, 0.4, 0.4, 0.7, 0.04, 0.04,
               .078125);
  renderTeapot(14.0, 5.0, 0.05, 0.05, 0.05, 0.5, 0.5, 0.5, 0.7, 0.7, 0.7,
               .078125);
  renderTeapot(14.0, 2.0, 0.05, 0.05, 0.0, 0.5, 0.5, 0.4, 0.7, 0.7, 0.04,
               .078125);
  glFlush();
}


x86 assembly (clang, -O0):
<display>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    0x2e99(%rip),%rax
mov    (%rax),%edi
mov    0x2ea0(%rip),%rax
or     (%rax),%edi
call   1030 <glClear@plt>
movsd  0xeb1(%rip),%xmm0
movsd  0xef9(%rip),%xmm1
movsd  0x11c1(%rip),%xmm4
movsd  0x10b1(%rip),%xmm3
movsd  0x11b9(%rip),%xmm7
movsd  0x10e1(%rip),%xmm6
movsd  0x11b0(%rip),%xmm9
movsd  0x10df(%rip),%xmm10
movsd  0xede(%rip),%xmm8
movaps %xmm4,%xmm2
movaps %xmm7,%xmm5
movsd  %xmm9,(%rsp)
movsd  %xmm10,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0xe40(%rip),%xmm0
movsd  0xe30(%rip),%xmm1
movsd  0x1118(%rip),%xmm2
movsd  0x1118(%rip),%xmm3
movsd  0x1118(%rip),%xmm4
movsd  0x1118(%rip),%xmm5
movsd  0x1118(%rip),%xmm6
movsd  0x1118(%rip),%xmm7
movsd  0x1117(%rip),%xmm9
movsd  0xe7e(%rip),%xmm8
movsd  %xmm9,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0xdce(%rip),%xmm0
movsd  0xe0e(%rip),%xmm1
movsd  0x105e(%rip),%xmm2
movsd  0xdbe(%rip),%xmm3
movsd  0x1056(%rip),%xmm4
movsd  0x1056(%rip),%xmm5
movsd  0x1056(%rip),%xmm6
movsd  0x1056(%rip),%xmm7
movsd  0x1055(%rip),%xmm11
movsd  0x1054(%rip),%xmm10
movsd  0x1053(%rip),%xmm9
movsd  0x1052(%rip),%xmm8
movsd  %xmm11,(%rsp)
movsd  %xmm10,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0xd4a(%rip),%xmm0
movsd  0xd82(%rip),%xmm1
movsd  0xdb2(%rip),%xmm2
movsd  0xfaa(%rip),%xmm4
movsd  0xfaa(%rip),%xmm5
movsd  0xfaa(%rip),%xmm7
movsd  0xfa9(%rip),%xmm9
movsd  0xfa8(%rip),%xmm8
movaps %xmm4,%xmm3
movaps %xmm7,%xmm6
movsd  %xmm9,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0xce2(%rip),%xmm0
movsd  0xd12(%rip),%xmm1
movsd  0xeea(%rip),%xmm2
movsd  0xf1a(%rip),%xmm4
movsd  0xf1a(%rip),%xmm5
movsd  0xf1a(%rip),%xmm7
movsd  0xf19(%rip),%xmm10
movsd  0xf18(%rip),%xmm9
movsd  0xd0f(%rip),%xmm8
movaps %xmm4,%xmm3
movaps %xmm7,%xmm6
movsd  %xmm10,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0xc71(%rip),%xmm1
movsd  0xcf0(%rip),%xmm8
movsd  0xe70(%rip),%xmm3
movsd  0xe70(%rip),%xmm4
movsd  0xe70(%rip),%xmm5
movsd  0xe70(%rip),%xmm6
movsd  0xe70(%rip),%xmm7
movsd  0xe6f(%rip),%xmm11
movsd  0xe6e(%rip),%xmm10
movsd  0xe6d(%rip),%xmm9
movaps %xmm1,%xmm0
movaps %xmm8,%xmm2
movsd  %xmm11,(%rsp)
movsd  %xmm10,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0xcae(%rip),%xmm0
movsd  0xc3e(%rip),%xmm1
movsd  0xda6(%rip),%xmm2
movsd  0xda6(%rip),%xmm3
movsd  0xda6(%rip),%xmm4
movsd  0xda6(%rip),%xmm5
movsd  0xda6(%rip),%xmm6
movsd  0xda6(%rip),%xmm7
movsd  0xda5(%rip),%xmm11
movsd  0xda4(%rip),%xmm10
movsd  0xda3(%rip),%xmm9
movsd  0xda2(%rip),%xmm8
movsd  %xmm11,(%rsp)
movsd  %xmm10,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0xc2a(%rip),%xmm0
movsd  0xb62(%rip),%xmm1
movsd  0xcd2(%rip),%xmm2
movsd  0xcd2(%rip),%xmm3
movsd  0xcd2(%rip),%xmm4
movsd  0xcd2(%rip),%xmm5
movsd  0xcd2(%rip),%xmm6
movsd  0xcd2(%rip),%xmm7
movsd  0xcd1(%rip),%xmm11
movsd  0xcd0(%rip),%xmm10
movsd  0xccf(%rip),%xmm9
movsd  0xcce(%rip),%xmm8
movsd  %xmm11,(%rsp)
movsd  %xmm10,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0xba6(%rip),%xmm0
movsd  0xb2e(%rip),%xmm1
movsd  0xb56(%rip),%xmm4
movsd  0xaee(%rip),%xmm7
movsd  0xc35(%rip),%xmm9
movsd  0xb34(%rip),%xmm8
movaps %xmm4,%xmm2
movaps %xmm4,%xmm3
movaps %xmm7,%xmm5
movaps %xmm7,%xmm6
movsd  %xmm9,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0xb48(%rip),%xmm0
movsd  0xac8(%rip),%xmm1
movsd  0xba0(%rip),%xmm2
movsd  0xba0(%rip),%xmm3
movsd  0xba0(%rip),%xmm4
movsd  0xba0(%rip),%xmm5
movsd  0xba0(%rip),%xmm6
movsd  0xba0(%rip),%xmm7
movsd  0xb9f(%rip),%xmm11
movsd  0xb9e(%rip),%xmm10
movsd  0xb9d(%rip),%xmm9
movsd  0xabc(%rip),%xmm8
movsd  %xmm11,(%rsp)
movsd  %xmm10,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0xac4(%rip),%xmm0
movsd  0xa3c(%rip),%xmm1
movsd  0xad4(%rip),%xmm2
movsd  0xad4(%rip),%xmm3
movsd  0xad4(%rip),%xmm4
movsd  0xad4(%rip),%xmm5
movsd  0xad4(%rip),%xmm6
movsd  0xad4(%rip),%xmm7
movsd  0xad3(%rip),%xmm11
movsd  0xad2(%rip),%xmm10
movsd  0xad1(%rip),%xmm9
movsd  0x9c8(%rip),%xmm8
movsd  %xmm11,(%rsp)
movsd  %xmm10,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0xa40(%rip),%xmm0
movsd  0x980(%rip),%xmm1
movsd  0xa38(%rip),%xmm4
movsd  0xa38(%rip),%xmm7
movsd  0xa37(%rip),%xmm9
movsd  0x976(%rip),%xmm8
movaps %xmm4,%xmm2
movaps %xmm4,%xmm3
movaps %xmm7,%xmm5
movaps %xmm7,%xmm6
movsd  %xmm9,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0x992(%rip),%xmm0
movsd  0x972(%rip),%xmm1
xorps  %xmm4,%xmm4
movsd  0x977(%rip),%xmm7
movsd  0x91e(%rip),%xmm9
movsd  0x97d(%rip),%xmm8
movaps %xmm4,%xmm2
movaps %xmm4,%xmm3
movaps %xmm7,%xmm5
movaps %xmm7,%xmm6
movsd  %xmm9,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0x939(%rip),%xmm0
movsd  0x8c1(%rip),%xmm1
xorps  %xmm5,%xmm5
movsd  0x946(%rip),%xmm3
movsd  0x956(%rip),%xmm4
movsd  0x956(%rip),%xmm7
movsd  0x955(%rip),%xmm9
movsd  0x914(%rip),%xmm8
movaps %xmm5,%xmm2
movaps %xmm7,%xmm6
movsd  %xmm9,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0x8d6(%rip),%xmm0
movsd  0x8ae(%rip),%xmm1
xorps  %xmm4,%xmm4
movsd  0x8e3(%rip),%xmm7
movsd  0x8e3(%rip),%xmm6
movsd  0x8e2(%rip),%xmm9
movsd  0x8c1(%rip),%xmm10
movsd  0x8b0(%rip),%xmm8
movaps %xmm4,%xmm2
movaps %xmm4,%xmm3
movaps %xmm7,%xmm5
movsd  %xmm9,(%rsp)
movsd  %xmm10,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0x86f(%rip),%xmm0
movsd  0x83f(%rip),%xmm1
xorps  %xmm7,%xmm7
movsd  0x804(%rip),%xmm5
movsd  0x80b(%rip),%xmm10
movsd  0x852(%rip),%xmm9
movsd  0x851(%rip),%xmm8
movaps %xmm7,%xmm2
movaps %xmm7,%xmm3
movaps %xmm7,%xmm4
movaps %xmm7,%xmm6
movsd  %xmm10,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0x80d(%rip),%xmm0
movsd  0x7d5(%rip),%xmm1
xorps  %xmm4,%xmm4
movsd  0x812(%rip),%xmm7
movsd  0x7a9(%rip),%xmm9
movsd  0x7f8(%rip),%xmm8
movaps %xmm4,%xmm2
movaps %xmm4,%xmm3
movaps %xmm7,%xmm5
movaps %xmm7,%xmm6
movsd  %xmm9,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0x7b4(%rip),%xmm0
movsd  0x744(%rip),%xmm1
xorps  %xmm7,%xmm7
movsd  0x748(%rip),%xmm9
movsd  0x79f(%rip),%xmm10
movsd  0x79e(%rip),%xmm8
movaps %xmm7,%xmm2
movaps %xmm7,%xmm3
movaps %xmm7,%xmm4
movaps %xmm9,%xmm5
movaps %xmm9,%xmm6
movsd  %xmm10,(%rsp)
movsd  %xmm10,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0x6e5(%rip),%xmm0
movsd  0x735(%rip),%xmm1
movsd  0x735(%rip),%xmm4
movsd  0x735(%rip),%xmm7
movsd  0x6e4(%rip),%xmm9
movsd  0x6f3(%rip),%xmm8
movaps %xmm4,%xmm2
movaps %xmm4,%xmm3
movaps %xmm7,%xmm5
movaps %xmm7,%xmm6
movsd  %xmm9,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0x687(%rip),%xmm1
xorps  %xmm2,%xmm2
movsd  0x68c(%rip),%xmm4
movsd  0x694(%rip),%xmm5
movsd  0x684(%rip),%xmm7
movsd  0x693(%rip),%xmm10
movsd  0x682(%rip),%xmm9
movsd  0x689(%rip),%xmm8
movaps %xmm1,%xmm0
movaps %xmm4,%xmm3
movaps %xmm7,%xmm6
movsd  %xmm10,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0x620(%rip),%xmm0
movsd  0x668(%rip),%xmm1
xorps  %xmm4,%xmm4
movsd  0x61d(%rip),%xmm3
movsd  0x625(%rip),%xmm7
movsd  0x615(%rip),%xmm6
movsd  0x624(%rip),%xmm9
movsd  0x613(%rip),%xmm10
movsd  0x61a(%rip),%xmm8
movaps %xmm4,%xmm2
movaps %xmm7,%xmm5
movsd  %xmm9,(%rsp)
movsd  %xmm10,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0x5b4(%rip),%xmm0
movsd  0x5f4(%rip),%xmm1
movsd  0x5b4(%rip),%xmm2
xorps  %xmm4,%xmm4
movsd  0x5b1(%rip),%xmm5
movsd  0x5b1(%rip),%xmm7
movsd  0x5b0(%rip),%xmm10
movsd  0x5af(%rip),%xmm9
movsd  0x5ae(%rip),%xmm8
movaps %xmm4,%xmm3
movaps %xmm7,%xmm6
movsd  %xmm10,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0x548(%rip),%xmm0
movsd  0x580(%rip),%xmm1
movsd  0x548(%rip),%xmm4
movsd  0x548(%rip),%xmm7
movsd  0x54f(%rip),%xmm9
movsd  0x556(%rip),%xmm8
movaps %xmm4,%xmm2
movaps %xmm4,%xmm3
movaps %xmm7,%xmm5
movaps %xmm7,%xmm6
movsd  %xmm9,(%rsp)
movsd  %xmm9,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
movsd  0x4ea(%rip),%xmm0
movsd  0x4ea(%rip),%xmm1
movsd  0x4ea(%rip),%xmm3
xorps  %xmm4,%xmm4
movsd  0x4e7(%rip),%xmm6
movsd  0x4e7(%rip),%xmm7
movsd  0x4e6(%rip),%xmm10
movsd  0x4e5(%rip),%xmm9
movsd  0x4e4(%rip),%xmm8
movaps %xmm3,%xmm2
movaps %xmm6,%xmm5
movsd  %xmm10,(%rsp)
movsd  %xmm10,0x8(%rsp)
movsd  %xmm9,0x10(%rsp)
movsd  %xmm8,0x18(%rsp)
call   1040 <renderTeapot@plt>
mov    $0x0,%al
call   1050 <glFlush@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<display>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    0x2e98(%rip),%rax
mov    0x2ea1(%rip),%rcx
mov    (%rcx),%edi
or     (%rax),%edi
call   1030 <glClear@plt>
movabs $0x3fe3333333333333,%r15
33 e3 3f
movabs $0x3fe44189374bc6a8,%rax
41 e4 3f
movabs $0x3fe74a3a4b5568e8,%rbx
4a e7 3f
movsd  0xe8a(%rip),%xmm0
movsd  0xe8a(%rip),%xmm1
movsd  0xe8a(%rip),%xmm3
movsd  0xe8a(%rip),%xmm2
movsd  0xe8a(%rip),%xmm6
movsd  0xe8a(%rip),%xmm5
movaps %xmm2,%xmm4
movaps %xmm5,%xmm7
push   %r15
push   %rax
push   %rbx
push   %rax
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fb999999999999a,%r14
99 b9 3f
movabs $0x3fd43d145d851655,%rax
3d d4 3f
movsd  0xe62(%rip),%xmm1
movsd  0xe62(%rip),%xmm2
movsd  0xe62(%rip),%xmm3
movsd  0xe62(%rip),%xmm4
movsd  0xe62(%rip),%xmm5
movsd  0xe62(%rip),%xmm6
movsd  0xe62(%rip),%xmm7
movsd  0xdfa(%rip),%xmm0
push   %r14
push   %rax
push   %rax
push   %rax
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fd3333333333333,%rax
33 d3 3f
movabs $0x3fd62bfdb4cc2507,%rcx
2b d6 3f
movabs $0x3fd50856e696a26e,%rdx
08 d5 3f
movabs $0x3fd54ba0e8427419,%rsi
4b d5 3f
movsd  0xe24(%rip),%xmm1
movsd  0xe24(%rip),%xmm2
movsd  0xe24(%rip),%xmm3
movsd  0xe24(%rip),%xmm4
movsd  0xe24(%rip),%xmm5
movsd  0xe24(%rip),%xmm6
movsd  0xe24(%rip),%xmm7
movsd  0xd84(%rip),%xmm0
push   %rax
push   %rcx
push   %rdx
push   %rsi
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fb6872b020c49ba,%rax
87 b6 3f
movabs $0x3fd2fc47e49b1fac,%rcx
fc d2 3f
movsd  0xdfb(%rip),%xmm1
movsd  0xdfb(%rip),%xmm2
movsd  0xdfb(%rip),%xmm3
movsd  0xdfb(%rip),%xmm5
movsd  0xdfb(%rip),%xmm6
movsd  0xd33(%rip),%xmm0
movaps %xmm3,%xmm4
movaps %xmm6,%xmm7
push   %rax
push   %rcx
push   %rcx
push   %rcx
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fe4100c521dda06,%rax
10 e4 3f
movsd  0xdd6(%rip),%xmm1
movsd  0xdd6(%rip),%xmm3
movsd  0xdd6(%rip),%xmm6
movsd  0xcf6(%rip),%xmm0
movsd  0xcfe(%rip),%xmm2
movaps %xmm3,%xmm4
movsd  0xd03(%rip),%xmm5
movaps %xmm6,%xmm7
push   %r15
push   %rax
push   %rax
push   %rbx
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fd3a09cc319c5a4,%rax
a0 d3 3f
movabs $0x3fd3bb05faebc409,%rcx
bb d3 3f
movabs $0x3fd30635a426bb56,%rdx
06 d3 3f
movsd  0xd8c(%rip),%xmm2
movsd  0xd8c(%rip),%xmm3
movsd  0xd8c(%rip),%xmm5
movsd  0xd8c(%rip),%xmm6
movsd  0xd8c(%rip),%xmm7
movsd  0xc84(%rip),%xmm0
movaps %xmm0,%xmm1
movsd  0xc89(%rip),%xmm4
push   %r14
push   %rax
push   %rcx
push   %rdx
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fcbe5be604d72a5,%rax
e5 cb 3f
movabs $0x3fe9d9d99029ae4f,%rcx
d9 e9 3f
movabs $0x3fee1e1d2178f68c,%rdx
1e ee 3f
movabs $0x3fefbfc0096feb4a,%rsi
bf ef 3f
movsd  0xd43(%rip),%xmm0
movsd  0xd43(%rip),%xmm2
movsd  0xd43(%rip),%xmm3
movsd  0xd43(%rip),%xmm4
movsd  0xd43(%rip),%xmm5
movsd  0xd43(%rip),%xmm6
movsd  0xd43(%rip),%xmm7
movsd  0xc0b(%rip),%xmm1
push   %rax
push   %rcx
push   %rdx
push   %rsi
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fc999999999999a,%rax
99 c9 3f
movabs $0x3fc5571d1d4738a4,%rcx
57 c5 3f
movabs $0x3fd166e86c6583e8,%rdx
66 d1 3f
movabs $0x3fd92fe3f359ff50,%rsi
2f d9 3f
movsd  0xd06(%rip),%xmm2
movsd  0xd06(%rip),%xmm3
movsd  0xd06(%rip),%xmm4
movsd  0xd06(%rip),%xmm5
movsd  0xd06(%rip),%xmm6
movsd  0xd06(%rip),%xmm7
movsd  0xc9e(%rip),%xmm0
movsd  0xbbe(%rip),%xmm1
push   %rax
push   %rcx
push   %rdx
push   %rsi
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fe8c97fa5d28d00,%rax
c9 e8 3f
movsd  0xcdf(%rip),%xmm5
movsd  0xc6f(%rip),%xmm0
movsd  0xbc7(%rip),%xmm1
movsd  0xbff(%rip),%xmm2
movaps %xmm2,%xmm3
movaps %xmm2,%xmm4
movaps %xmm5,%xmm6
movaps %xmm5,%xmm7
push   %r15
push   %rax
push   %rax
push   %rax
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fb6050374ff865d,%rax
05 b6 3f
movabs $0x3fc19d99029ae4f3,%rcx
9d c1 3f
movabs $0x3fd06f08cc575c07,%rdx
6f d0 3f
movsd  0xc8f(%rip),%xmm2
movsd  0xc8f(%rip),%xmm3
movsd  0xc8f(%rip),%xmm4
movsd  0xc8f(%rip),%xmm5
movsd  0xc8f(%rip),%xmm6
movsd  0xc8f(%rip),%xmm7
movsd  0xbef(%rip),%xmm0
movsd  0xb7f(%rip),%xmm1
push   %r14
push   %rax
push   %rcx
push   %rdx
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fd999999999999a,%r14
99 d9 3f
movabs $0x3fd76d9be4cd7492,%rax
6d d7 3f
movabs $0x3fe1c92146a1a501,%rcx
c9 e1 3f
movabs $0x3fe41ae0c1765775,%rdx
1a e4 3f
movsd  0xc49(%rip),%xmm2
movsd  0xc49(%rip),%xmm3
movsd  0xc49(%rip),%xmm4
movsd  0xc49(%rip),%xmm5
movsd  0xc49(%rip),%xmm6
movsd  0xc49(%rip),%xmm7
movsd  0xb79(%rip),%xmm0
movsd  0xb31(%rip),%xmm1
push   %r14
push   %rax
push   %rcx
push   %rdx
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fe043c5bd0e12e8,%rax
43 e0 3f
movsd  0xc21(%rip),%xmm2
movsd  0xc21(%rip),%xmm5
movsd  0xb41(%rip),%xmm0
movsd  0xa31(%rip),%xmm1
movaps %xmm2,%xmm3
movaps %xmm2,%xmm4
movaps %xmm5,%xmm6
movaps %xmm5,%xmm7
push   %r14
push   %rax
push   %rax
push   %rax
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fd0000000000000,%r12
movabs $0x3fe0000000000000,%r13
movsd  0xbe3(%rip),%xmm0
movsd  0xbe3(%rip),%xmm5
xorps  %xmm2,%xmm2
xorps  %xmm3,%xmm3
xorps  %xmm4,%xmm4
movsd  0x9ea(%rip),%xmm1
movaps %xmm5,%xmm6
movaps %xmm5,%xmm7
push   %r12
push   %r13
push   %r13
push   %r13
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fe010100dbf3057,%rax
10 e0 3f
movsd  0xbb1(%rip),%xmm4
movsd  0xbb1(%rip),%xmm6
xorps  %xmm2,%xmm2
xorps  %xmm5,%xmm5
movsd  0xb8b(%rip),%xmm0
movsd  0x9cb(%rip),%xmm1
movsd  0xa73(%rip),%xmm3
movaps %xmm6,%xmm7
push   %r12
push   %rax
push   %rax
push   %rax
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fdccccccccccccd,%rax
cc dc 3f
movabs $0x3fe199999999999a,%rcx
99 e1 3f
movsd  0xb6e(%rip),%xmm6
xorps  %xmm2,%xmm2
xorps  %xmm3,%xmm3
xorps  %xmm4,%xmm4
movsd  0xb3d(%rip),%xmm0
movsd  0x9b5(%rip),%xmm1
movsd  0xa25(%rip),%xmm5
movaps %xmm5,%xmm7
push   %r12
push   %rax
push   %rcx
push   %rax
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fe6666666666666,%rbx
66 e6 3f
movsd  0xb32(%rip),%xmm5
xorps  %xmm2,%xmm2
xorps  %xmm3,%xmm3
xorps  %xmm4,%xmm4
xorps  %xmm6,%xmm6
xorps  %xmm7,%xmm7
movsd  0xaf3(%rip),%xmm0
movsd  0x9a3(%rip),%xmm1
push   %r12
push   %r15
push   %r15
push   %rbx
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movsd  0xb03(%rip),%xmm5
xorps  %xmm2,%xmm2
xorps  %xmm3,%xmm3
xorps  %xmm4,%xmm4
movsd  0xac2(%rip),%xmm0
movsd  0x99a(%rip),%xmm1
movaps %xmm5,%xmm6
movaps %xmm5,%xmm7
push   %r12
push   %rbx
push   %rbx
push   %rbx
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
xorps  %xmm2,%xmm2
xorps  %xmm3,%xmm3
xorps  %xmm4,%xmm4
xorps  %xmm7,%xmm7
movsd  0xa92(%rip),%xmm0
movsd  0x8a2(%rip),%xmm1
movsd  0xaaa(%rip),%xmm5
movaps %xmm5,%xmm6
push   %r12
push   %r13
push   %r15
push   %r15
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fb4000000000000,%r15
movsd  0xa94(%rip),%xmm2
movsd  0x89c(%rip),%xmm0
movsd  0x86c(%rip),%xmm1
movaps %xmm2,%xmm3
movaps %xmm2,%xmm4
movsd  0xa46(%rip),%xmm5
movaps %xmm5,%xmm6
movaps %xmm5,%xmm7
push   %r15
push   %r14
push   %r14
push   %r14
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movabs $0x3fa47ae147ae147b,%r14
7a a4 3f
xorps  %xmm2,%xmm2
movsd  0x85a(%rip),%xmm0
movaps %xmm0,%xmm1
movsd  0x897(%rip),%xmm3
movaps %xmm3,%xmm4
movsd  0x984(%rip),%xmm5
movsd  0xa1c(%rip),%xmm6
movaps %xmm6,%xmm7
push   %r15
push   %rbx
push   %rbx
push   %r14
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
xorps  %xmm2,%xmm2
xorps  %xmm4,%xmm4
movsd  0x81c(%rip),%xmm0
movsd  0x84c(%rip),%xmm1
movsd  0x854(%rip),%xmm3
movsd  0x944(%rip),%xmm5
movsd  0x9dc(%rip),%xmm6
movaps %xmm5,%xmm7
push   %r15
push   %r14
push   %rbx
push   %r14
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
xorps  %xmm3,%xmm3
xorps  %xmm4,%xmm4
movsd  0x7db(%rip),%xmm0
movsd  0x843(%rip),%xmm1
movsd  0x813(%rip),%xmm2
movsd  0x9a3(%rip),%xmm5
movsd  0x8fb(%rip),%xmm6
movaps %xmm6,%xmm7
push   %r15
push   %r14
push   %r14
push   %rbx
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
movsd  0x7a0(%rip),%xmm0
movsd  0x830(%rip),%xmm1
movsd  0x7d8(%rip),%xmm2
movaps %xmm2,%xmm3
movaps %xmm2,%xmm4
movsd  0x962(%rip),%xmm5
movaps %xmm5,%xmm6
movaps %xmm5,%xmm7
push   %r15
push   %rbx
push   %rbx
push   %rbx
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
xorps  %xmm4,%xmm4
movsd  0x763(%rip),%xmm0
movsd  0x72b(%rip),%xmm1
movsd  0x79b(%rip),%xmm2
movaps %xmm2,%xmm3
movsd  0x928(%rip),%xmm5
movaps %xmm5,%xmm6
movsd  0x87d(%rip),%xmm7
push   %r15
push   %r14
push   %rbx
push   %rbx
call   1040 <renderTeapot@plt>
add    $0x20,%rsp
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
jmp    1050 <glFlush@plt>

LLVM IR (-O0):
@GL_COLOR_BUFFER_BIT = global i32 0
@GL_DEPTH_BUFFER_BIT = global i32 0
define void @display() {
%1 = load i32, i32* @GL_COLOR_BUFFER_BIT
%2 = load i32, i32* @GL_DEPTH_BUFFER_BIT
%3 = or i32 %1, %2
%4 = call i32 @glClear(i32 %3)
%5 = call i32 @renderTeapot(double 2.000000e+00, double 1.700000e+01, double 2.150000e-02, double 1.745000e-01, double 2.150000e-02, double 7.568000e-02, double 6.142400e-01, double 7.568000e-02, double 6.330000e-01, double 7.278110e-01, double 6.330000e-01, double 6.000000e-01)
%6 = call i32 @renderTeapot(double 2.000000e+00, double 1.400000e+01, double 1.350000e-01, double 2.225000e-01, double 1.575000e-01, double 5.400000e-01, double 8.900000e-01, double 6.300000e-01, double 3.162280e-01, double 3.162280e-01, double 3.162280e-01, double 1.000000e-01)
%7 = call i32 @renderTeapot(double 2.000000e+00, double 1.100000e+01, double 5.375000e-02, double 5.000000e-02, double 6.625000e-02, double 1.827500e-01, double 1.700000e-01, double 2.252500e-01, double 3.327410e-01, double 3.286340e-01, double 3.464350e-01, double 3.000000e-01)
%8 = call i32 @renderTeapot(double 2.000000e+00, double 8.000000e+00, double 2.500000e-01, double 2.072500e-01, double 2.072500e-01, double 1.000000e+00, double 0x3FEA872B020C49BA, double 0x3FEA872B020C49BA, double 2.966480e-01, double 2.966480e-01, double 2.966480e-01, double 0x3FB6872B020C49BA)
%9 = call i32 @renderTeapot(double 2.000000e+00, double 5.000000e+00, double 1.745000e-01, double 1.175000e-02, double 1.175000e-02, double 6.142400e-01, double 4.136000e-02, double 4.136000e-02, double 7.278110e-01, double 6.269590e-01, double 6.269590e-01, double 6.000000e-01)
%10 = call i32 @renderTeapot(double 2.000000e+00, double 2.000000e+00, double 1.000000e-01, double 1.872500e-01, double 1.745000e-01, double 3.960000e-01, double 7.415100e-01, double 0x3FE61CD5F99C38B0, double 2.972540e-01, double 3.082900e-01, double 3.066780e-01, double 1.000000e-01)
%11 = call i32 @renderTeapot(double 6.000000e+00, double 1.700000e+01, double 3.294120e-01, double 2.235290e-01, double 2.745100e-02, double 7.803920e-01, double 5.686270e-01, double 1.137250e-01, double 0x3FEFBFC0096FEB4A, double 9.411760e-01, double 8.078430e-01, double 0x3FCBE5BE604D72A5)
%12 = call i32 @renderTeapot(double 6.000000e+00, double 1.400000e+01, double 2.125000e-01, double 1.275000e-01, double 5.400000e-02, double 7.140000e-01, double 4.284000e-01, double 1.814400e-01, double 3.935480e-01, double 2.719060e-01, double 1.667210e-01, double 2.000000e-01)
%13 = call i32 @renderTeapot(double 6.000000e+00, double 1.100000e+01, double 2.500000e-01, double 2.500000e-01, double 2.500000e-01, double 4.000000e-01, double 4.000000e-01, double 4.000000e-01, double 0x3FE8C97FA5D28D00, double 0x3FE8C97FA5D28D00, double 0x3FE8C97FA5D28D00, double 6.000000e-01)
%14 = call i32 @renderTeapot(double 6.000000e+00, double 8.000000e+00, double 1.912500e-01, double 0x3FB2D0E560418937, double 2.250000e-02, double 0x3FE6858793DD97F6, double 2.704800e-01, double 0x3FB532617C1BDA51, double 2.567770e-01, double 1.376220e-01, double 0x3FB6050374FF865D, double 1.000000e-01)
%15 = call i32 @renderTeapot(double 6.000000e+00, double 5.000000e+00, double 2.472500e-01, double 1.995000e-01, double 0x3FB3126E978D4FDF, double 7.516400e-01, double 6.064800e-01, double 2.264800e-01, double 6.282810e-01, double 5.558020e-01, double 3.660650e-01, double 4.000000e-01)
%16 = call i32 @renderTeapot(double 6.000000e+00, double 2.000000e+00, double 1.922500e-01, double 1.922500e-01, double 1.922500e-01, double 5.075400e-01, double 5.075400e-01, double 5.075400e-01, double 5.082730e-01, double 5.082730e-01, double 5.082730e-01, double 4.000000e-01)
%17 = call i32 @renderTeapot(double 1.000000e+01, double 1.700000e+01, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e-02, double 1.000000e-02, double 1.000000e-02, double 5.000000e-01, double 5.000000e-01, double 5.000000e-01, double 2.500000e-01)
%18 = call i32 @renderTeapot(double 1.000000e+01, double 1.400000e+01, double 0.000000e+00, double 1.000000e-01, double 6.000000e-02, double 0.000000e+00, double 0x3FE050504F78B924, double 0x3FE050504F78B924, double 0x3FE010100DBF3057, double 0x3FE010100DBF3057, double 0x3FE010100DBF3057, double 2.500000e-01)
%19 = call i32 @renderTeapot(double 1.000000e+01, double 1.100000e+01, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e-01, double 3.500000e-01, double 1.000000e-01, double 4.500000e-01, double 5.500000e-01, double 4.500000e-01, double 2.500000e-01)
%20 = call i32 @renderTeapot(double 1.000000e+01, double 8.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 5.000000e-01, double 0.000000e+00, double 0.000000e+00, double 0x3FE6666666666666, double 6.000000e-01, double 6.000000e-01, double 2.500000e-01)
%21 = call i32 @renderTeapot(double 1.000000e+01, double 5.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 5.500000e-01, double 5.500000e-01, double 5.500000e-01, double 0x3FE6666666666666, double 0x3FE6666666666666, double 0x3FE6666666666666, double 2.500000e-01)
%22 = call i32 @renderTeapot(double 1.000000e+01, double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 5.000000e-01, double 5.000000e-01, double 0.000000e+00, double 6.000000e-01, double 6.000000e-01, double 5.000000e-01, double 2.500000e-01)
%23 = call i32 @renderTeapot(double 1.400000e+01, double 1.700000e+01, double 2.000000e-02, double 2.000000e-02, double 2.000000e-02, double 1.000000e-02, double 1.000000e-02, double 1.000000e-02, double 4.000000e-01, double 4.000000e-01, double 4.000000e-01, double 7.812500e-02)
%24 = call i32 @renderTeapot(double 1.400000e+01, double 1.400000e+01, double 0.000000e+00, double 5.000000e-02, double 5.000000e-02, double 4.000000e-01, double 5.000000e-01, double 5.000000e-01, double 4.000000e-02, double 0x3FE6666666666666, double 0x3FE6666666666666, double 7.812500e-02)
%25 = call i32 @renderTeapot(double 1.400000e+01, double 1.100000e+01, double 0.000000e+00, double 5.000000e-02, double 0.000000e+00, double 4.000000e-01, double 5.000000e-01, double 4.000000e-01, double 4.000000e-02, double 0x3FE6666666666666, double 4.000000e-02, double 7.812500e-02)
%26 = call i32 @renderTeapot(double 1.400000e+01, double 8.000000e+00, double 5.000000e-02, double 0.000000e+00, double 0.000000e+00, double 5.000000e-01, double 4.000000e-01, double 4.000000e-01, double 0x3FE6666666666666, double 4.000000e-02, double 4.000000e-02, double 7.812500e-02)
%27 = call i32 @renderTeapot(double 1.400000e+01, double 5.000000e+00, double 5.000000e-02, double 5.000000e-02, double 5.000000e-02, double 5.000000e-01, double 5.000000e-01, double 5.000000e-01, double 0x3FE6666666666666, double 0x3FE6666666666666, double 0x3FE6666666666666, double 7.812500e-02)
%28 = call i32 @renderTeapot(double 1.400000e+01, double 2.000000e+00, double 5.000000e-02, double 5.000000e-02, double 0.000000e+00, double 5.000000e-01, double 5.000000e-01, double 4.000000e-01, double 0x3FE6666666666666, double 0x3FE6666666666666, double 4.000000e-02, double 7.812500e-02)
%29 = call i32 (...) @glFlush()
ret void
}

LLVM IR (-O2):
@GL_COLOR_BUFFER_BIT = global i32 0
@GL_DEPTH_BUFFER_BIT = global i32 0
define void @display() {
%1 = load i32, i32* @GL_COLOR_BUFFER_BIT
%2 = load i32, i32* @GL_DEPTH_BUFFER_BIT
%3 = or i32 %2, %1
%4 = tail call i32 @glClear(i32 %3)
%5 = tail call i32 @renderTeapot(double 2.000000e+00, double 1.700000e+01, double 2.150000e-02, double 1.745000e-01, double 2.150000e-02, double 7.568000e-02, double 6.142400e-01, double 7.568000e-02, double 6.330000e-01, double 7.278110e-01, double 6.330000e-01, double 6.000000e-01)
%6 = tail call i32 @renderTeapot(double 2.000000e+00, double 1.400000e+01, double 1.350000e-01, double 2.225000e-01, double 1.575000e-01, double 5.400000e-01, double 8.900000e-01, double 6.300000e-01, double 3.162280e-01, double 3.162280e-01, double 3.162280e-01, double 1.000000e-01)
%7 = tail call i32 @renderTeapot(double 2.000000e+00, double 1.100000e+01, double 5.375000e-02, double 5.000000e-02, double 6.625000e-02, double 1.827500e-01, double 1.700000e-01, double 2.252500e-01, double 3.327410e-01, double 3.286340e-01, double 3.464350e-01, double 3.000000e-01)
%8 = tail call i32 @renderTeapot(double 2.000000e+00, double 8.000000e+00, double 2.500000e-01, double 2.072500e-01, double 2.072500e-01, double 1.000000e+00, double 0x3FEA872B020C49BA, double 0x3FEA872B020C49BA, double 2.966480e-01, double 2.966480e-01, double 2.966480e-01, double 0x3FB6872B020C49BA)
%9 = tail call i32 @renderTeapot(double 2.000000e+00, double 5.000000e+00, double 1.745000e-01, double 1.175000e-02, double 1.175000e-02, double 6.142400e-01, double 4.136000e-02, double 4.136000e-02, double 7.278110e-01, double 6.269590e-01, double 6.269590e-01, double 6.000000e-01)
%10 = tail call i32 @renderTeapot(double 2.000000e+00, double 2.000000e+00, double 1.000000e-01, double 1.872500e-01, double 1.745000e-01, double 3.960000e-01, double 7.415100e-01, double 0x3FE61CD5F99C38B0, double 2.972540e-01, double 3.082900e-01, double 3.066780e-01, double 1.000000e-01)
%11 = tail call i32 @renderTeapot(double 6.000000e+00, double 1.700000e+01, double 3.294120e-01, double 2.235290e-01, double 2.745100e-02, double 7.803920e-01, double 5.686270e-01, double 1.137250e-01, double 0x3FEFBFC0096FEB4A, double 9.411760e-01, double 8.078430e-01, double 0x3FCBE5BE604D72A5)
%12 = tail call i32 @renderTeapot(double 6.000000e+00, double 1.400000e+01, double 2.125000e-01, double 1.275000e-01, double 5.400000e-02, double 7.140000e-01, double 4.284000e-01, double 1.814400e-01, double 3.935480e-01, double 2.719060e-01, double 1.667210e-01, double 2.000000e-01)
%13 = tail call i32 @renderTeapot(double 6.000000e+00, double 1.100000e+01, double 2.500000e-01, double 2.500000e-01, double 2.500000e-01, double 4.000000e-01, double 4.000000e-01, double 4.000000e-01, double 0x3FE8C97FA5D28D00, double 0x3FE8C97FA5D28D00, double 0x3FE8C97FA5D28D00, double 6.000000e-01)
%14 = tail call i32 @renderTeapot(double 6.000000e+00, double 8.000000e+00, double 1.912500e-01, double 0x3FB2D0E560418937, double 2.250000e-02, double 0x3FE6858793DD97F6, double 2.704800e-01, double 0x3FB532617C1BDA51, double 2.567770e-01, double 1.376220e-01, double 0x3FB6050374FF865D, double 1.000000e-01)
%15 = tail call i32 @renderTeapot(double 6.000000e+00, double 5.000000e+00, double 2.472500e-01, double 1.995000e-01, double 0x3FB3126E978D4FDF, double 7.516400e-01, double 6.064800e-01, double 2.264800e-01, double 6.282810e-01, double 5.558020e-01, double 3.660650e-01, double 4.000000e-01)
%16 = tail call i32 @renderTeapot(double 6.000000e+00, double 2.000000e+00, double 1.922500e-01, double 1.922500e-01, double 1.922500e-01, double 5.075400e-01, double 5.075400e-01, double 5.075400e-01, double 5.082730e-01, double 5.082730e-01, double 5.082730e-01, double 4.000000e-01)
%17 = tail call i32 @renderTeapot(double 1.000000e+01, double 1.700000e+01, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e-02, double 1.000000e-02, double 1.000000e-02, double 5.000000e-01, double 5.000000e-01, double 5.000000e-01, double 2.500000e-01)
%18 = tail call i32 @renderTeapot(double 1.000000e+01, double 1.400000e+01, double 0.000000e+00, double 1.000000e-01, double 6.000000e-02, double 0.000000e+00, double 0x3FE050504F78B924, double 0x3FE050504F78B924, double 0x3FE010100DBF3057, double 0x3FE010100DBF3057, double 0x3FE010100DBF3057, double 2.500000e-01)
%19 = tail call i32 @renderTeapot(double 1.000000e+01, double 1.100000e+01, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 1.000000e-01, double 3.500000e-01, double 1.000000e-01, double 4.500000e-01, double 5.500000e-01, double 4.500000e-01, double 2.500000e-01)
%20 = tail call i32 @renderTeapot(double 1.000000e+01, double 8.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 5.000000e-01, double 0.000000e+00, double 0.000000e+00, double 0x3FE6666666666666, double 6.000000e-01, double 6.000000e-01, double 2.500000e-01)
%21 = tail call i32 @renderTeapot(double 1.000000e+01, double 5.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 5.500000e-01, double 5.500000e-01, double 5.500000e-01, double 0x3FE6666666666666, double 0x3FE6666666666666, double 0x3FE6666666666666, double 2.500000e-01)
%22 = tail call i32 @renderTeapot(double 1.000000e+01, double 2.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 5.000000e-01, double 5.000000e-01, double 0.000000e+00, double 6.000000e-01, double 6.000000e-01, double 5.000000e-01, double 2.500000e-01)
%23 = tail call i32 @renderTeapot(double 1.400000e+01, double 1.700000e+01, double 2.000000e-02, double 2.000000e-02, double 2.000000e-02, double 1.000000e-02, double 1.000000e-02, double 1.000000e-02, double 4.000000e-01, double 4.000000e-01, double 4.000000e-01, double 7.812500e-02)
%24 = tail call i32 @renderTeapot(double 1.400000e+01, double 1.400000e+01, double 0.000000e+00, double 5.000000e-02, double 5.000000e-02, double 4.000000e-01, double 5.000000e-01, double 5.000000e-01, double 4.000000e-02, double 0x3FE6666666666666, double 0x3FE6666666666666, double 7.812500e-02)
%25 = tail call i32 @renderTeapot(double 1.400000e+01, double 1.100000e+01, double 0.000000e+00, double 5.000000e-02, double 0.000000e+00, double 4.000000e-01, double 5.000000e-01, double 4.000000e-01, double 4.000000e-02, double 0x3FE6666666666666, double 4.000000e-02, double 7.812500e-02)
%26 = tail call i32 @renderTeapot(double 1.400000e+01, double 8.000000e+00, double 5.000000e-02, double 0.000000e+00, double 0.000000e+00, double 5.000000e-01, double 4.000000e-01, double 4.000000e-01, double 0x3FE6666666666666, double 4.000000e-02, double 4.000000e-02, double 7.812500e-02)
%27 = tail call i32 @renderTeapot(double 1.400000e+01, double 5.000000e+00, double 5.000000e-02, double 5.000000e-02, double 5.000000e-02, double 5.000000e-01, double 5.000000e-01, double 5.000000e-01, double 0x3FE6666666666666, double 0x3FE6666666666666, double 0x3FE6666666666666, double 7.812500e-02)
%28 = tail call i32 @renderTeapot(double 1.400000e+01, double 2.000000e+00, double 5.000000e-02, double 5.000000e-02, double 0.000000e+00, double 5.000000e-01, double 5.000000e-01, double 4.000000e-01, double 0x3FE6666666666666, double 0x3FE6666666666666, double 4.000000e-02, double 7.812500e-02)
%29 = tail call i32 (...) @glFlush()
ret void
}