#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*/ road(double, double, double);
void roadplane() {
  double x = -2.0;
  double y = 0.001;
  double z = 0.0;
  for (int i = 0; i < 16; i++) {
    road(x, y, z);
    x += .2;
  }
  x = -0.6;
  z = -1.8;
  for (int j = 0; j < 20; j++) {
    road(x, y, z);
    z += .2;
  }
  x = -1.8;
  z = -1.8;
  for (int p = 0; p < 7; p++) {
    road(x, y, z);
    x += .2;
  }
  x = -1.2;
  z = 1.4;
  for (int q = 0; q < 10; q++) {
    road(x, y, z);
    x += .2;
  }
  x = 0.6;
  z = 1.4;
  for (int m = 0; m < 4; m++) {
    road(x, y, z);
    z += .2;
  }
  x = 1.2;
  z = -1.0;
  for (int r = 0; r < 16; r++) {
    road(x, y, z);
    z += .2;
  }
  x = 1.2;
  z = -1.0;
  for (int b = 0; b < 3; b++) {
    road(x, y, z);
    x += 0.2;
  }
  x = 1.6;
  z = -1.0;
  for (int n = 0; n < 5; n++) {
    road(x, y, z);
    z -= 0.2;
  }
}


x86 assembly (clang, -O0):
<roadplane>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movsd  0xee8(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  0xed3(%rip),%xmm0
movsd  %xmm0,-0x10(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
cmpl   $0x10,-0x1c(%rbp)
jge    117f <roadplane+0x6f>
movsd  -0x8(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
call   1030 <road@plt>
movsd  0xee9(%rip),%xmm0
addsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1141 <roadplane+0x31>
movsd  0xe91(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  0xe7c(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x14,-0x20(%rbp)
jge    11de <roadplane+0xce>
movsd  -0x8(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
call   1030 <road@plt>
movsd  0xe8a(%rip),%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11a0 <roadplane+0x90>
movsd  0xe2a(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  0xe1d(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x7,-0x24(%rbp)
jge    123d <roadplane+0x12d>
movsd  -0x8(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
call   1030 <road@plt>
movsd  0xe2b(%rip),%xmm0
addsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11ff <roadplane+0xef>
movsd  0xde3(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  0xdce(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movl   $0x0,-0x28(%rbp)
cmpl   $0xa,-0x28(%rbp)
jge    129c <roadplane+0x18c>
movsd  -0x8(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
call   1030 <road@plt>
movsd  0xdcc(%rip),%xmm0
addsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    125e <roadplane+0x14e>
movsd  0xd8c(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  0xd6f(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x4,-0x2c(%rbp)
jge    12fb <roadplane+0x1eb>
movsd  -0x8(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
call   1030 <road@plt>
movsd  0xd6d(%rip),%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12bd <roadplane+0x1ad>
movsd  0xd3d(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  0xd28(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movl   $0x0,-0x30(%rbp)
cmpl   $0x10,-0x30(%rbp)
jge    135a <roadplane+0x24a>
movsd  -0x8(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
call   1030 <road@plt>
movsd  0xd0e(%rip),%xmm0
addsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    131c <roadplane+0x20c>
movsd  0xcde(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  0xcc9(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movl   $0x0,-0x34(%rbp)
cmpl   $0x3,-0x34(%rbp)
jge    13b9 <roadplane+0x2a9>
movsd  -0x8(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
call   1030 <road@plt>
movsd  0xcaf(%rip),%xmm0
addsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    137b <roadplane+0x26b>
movsd  0xc87(%rip),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  0xc6a(%rip),%xmm0
movsd  %xmm0,-0x18(%rbp)
movl   $0x0,-0x38(%rbp)
cmpl   $0x5,-0x38(%rbp)
jge    141c <roadplane+0x30c>
movsd  -0x8(%rbp),%xmm0
movsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
call   1030 <road@plt>
movsd  -0x18(%rbp),%xmm0
movsd  0xc4b(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x18(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    13da <roadplane+0x2ca>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<roadplane>:
push   %rax
movsd  0xee7(%rip),%xmm0
movsd  0xee7(%rip),%xmm1
xorps  %xmm2,%xmm2
call   1030 <road@plt>
movsd  0xedf(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xecc(%rip),%xmm1
call   1030 <road@plt>
movsd  0xecf(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xeb4(%rip),%xmm1
call   1030 <road@plt>
movsd  0xebf(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xe9c(%rip),%xmm1
call   1030 <road@plt>
movsd  0xeaf(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xe84(%rip),%xmm1
call   1030 <road@plt>
movsd  0xe9f(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xe6c(%rip),%xmm1
call   1030 <road@plt>
movsd  0xe8f(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xe54(%rip),%xmm1
call   1030 <road@plt>
movsd  0xe7f(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xe3c(%rip),%xmm1
call   1030 <road@plt>
movsd  0xe6f(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xe24(%rip),%xmm1
call   1030 <road@plt>
movsd  0xe5f(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xe0c(%rip),%xmm1
call   1030 <road@plt>
movsd  0xe4f(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xdf4(%rip),%xmm1
call   1030 <road@plt>
movsd  0xe3f(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xddc(%rip),%xmm1
call   1030 <road@plt>
movsd  0xe2f(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xdc4(%rip),%xmm1
call   1030 <road@plt>
movsd  0xe1f(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xdac(%rip),%xmm1
call   1030 <road@plt>
movsd  0xe0f(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xd94(%rip),%xmm1
call   1030 <road@plt>
movsd  0xdff(%rip),%xmm0
xorps  %xmm2,%xmm2
movsd  0xd7c(%rip),%xmm1
call   1030 <road@plt>
movsd  0xdef(%rip),%xmm0
movsd  0xd67(%rip),%xmm1
movsd  0xd67(%rip),%xmm2
call   1030 <road@plt>
movsd  0xdd2(%rip),%xmm0
movsd  0xd4a(%rip),%xmm1
movsd  0xd52(%rip),%xmm2
call   1030 <road@plt>
movsd  0xdb5(%rip),%xmm0
movsd  0xd2d(%rip),%xmm1
movsd  0xd3d(%rip),%xmm2
call   1030 <road@plt>
movsd  0xd98(%rip),%xmm0
movsd  0xd10(%rip),%xmm1
movsd  0xd28(%rip),%xmm2
call   1030 <road@plt>
movsd  0xd7b(%rip),%xmm0
movsd  0xcf3(%rip),%xmm1
movsd  0xd13(%rip),%xmm2
call   1030 <road@plt>
movsd  0xd5e(%rip),%xmm0
movsd  0xcd6(%rip),%xmm1
movsd  0xcfe(%rip),%xmm2
call   1030 <road@plt>
movsd  0xd41(%rip),%xmm0
movsd  0xcb9(%rip),%xmm1
movsd  0xce9(%rip),%xmm2
call   1030 <road@plt>
movsd  0xd24(%rip),%xmm0
movsd  0xc9c(%rip),%xmm1
movsd  0xcd4(%rip),%xmm2
call   1030 <road@plt>
movsd  0xd07(%rip),%xmm0
movsd  0xc7f(%rip),%xmm1
movsd  0xcbf(%rip),%xmm2
call   1030 <road@plt>
movsd  0xcea(%rip),%xmm0
movsd  0xc62(%rip),%xmm1
movsd  0xcaa(%rip),%xmm2
call   1030 <road@plt>
movsd  0xccd(%rip),%xmm0
movsd  0xc45(%rip),%xmm1
movsd  0xc95(%rip),%xmm2
call   1030 <road@plt>
movsd  0xcb0(%rip),%xmm0
movsd  0xc28(%rip),%xmm1
movsd  0xc80(%rip),%xmm2
call   1030 <road@plt>
movsd  0xc93(%rip),%xmm0
movsd  0xc0b(%rip),%xmm1
movsd  0xc6b(%rip),%xmm2
call   1030 <road@plt>
movsd  0xc76(%rip),%xmm0
movsd  0xbee(%rip),%xmm1
movsd  0xc56(%rip),%xmm2
call   1030 <road@plt>
movsd  0xc59(%rip),%xmm0
movsd  0xbd1(%rip),%xmm1
movsd  0xc41(%rip),%xmm2
call   1030 <road@plt>
movsd  0xc44(%rip),%xmm2
movsd  0xc34(%rip),%xmm0
movsd  0xbac(%rip),%xmm1
call   1030 <road@plt>
movsd  0xc2f(%rip),%xmm2
movsd  0xc17(%rip),%xmm0
movsd  0xb8f(%rip),%xmm1
call   1030 <road@plt>
movsd  0xc1a(%rip),%xmm2
movsd  0xbfa(%rip),%xmm0
movsd  0xb72(%rip),%xmm1
call   1030 <road@plt>
movsd  0xc05(%rip),%xmm2
movsd  0xbdd(%rip),%xmm0
movsd  0xb55(%rip),%xmm1
call   1030 <road@plt>
movsd  0xbf0(%rip),%xmm2
movsd  0xbc0(%rip),%xmm0
movsd  0xb38(%rip),%xmm1
call   1030 <road@plt>
movsd  0xb33(%rip),%xmm0
movsd  0xb23(%rip),%xmm1
movaps %xmm0,%xmm2
call   1030 <road@plt>
movsd  0xb23(%rip),%xmm0
movsd  0xb0b(%rip),%xmm1
movsd  0xb0b(%rip),%xmm2
call   1030 <road@plt>
movsd  0xb0e(%rip),%xmm0
movsd  0xaee(%rip),%xmm1
movsd  0xaee(%rip),%xmm2
call   1030 <road@plt>
movsd  0xaf9(%rip),%xmm0
movsd  0xad1(%rip),%xmm1
movsd  0xad1(%rip),%xmm2
call   1030 <road@plt>
movsd  0xae4(%rip),%xmm0
movsd  0xab4(%rip),%xmm1
movsd  0xab4(%rip),%xmm2
call   1030 <road@plt>
movsd  0xacf(%rip),%xmm0
movsd  0xa97(%rip),%xmm1
movsd  0xa97(%rip),%xmm2
call   1030 <road@plt>
movsd  0xaba(%rip),%xmm0
movsd  0xa7a(%rip),%xmm1
movsd  0xa7a(%rip),%xmm2
call   1030 <road@plt>
movsd  0xb15(%rip),%xmm0
movsd  0xb15(%rip),%xmm2
movsd  0xa55(%rip),%xmm1
call   1030 <road@plt>
movsd  0xb08(%rip),%xmm0
movsd  0xa40(%rip),%xmm1
movsd  0xaf0(%rip),%xmm2
call   1030 <road@plt>
movsd  0xaf3(%rip),%xmm0
movsd  0xa23(%rip),%xmm1
movsd  0xad3(%rip),%xmm2
call   1030 <road@plt>
movsd  0xade(%rip),%xmm0
movsd  0xa06(%rip),%xmm1
movsd  0xab6(%rip),%xmm2
call   1030 <road@plt>
movsd  0xac9(%rip),%xmm0
movsd  0x9e9(%rip),%xmm1
movsd  0xa99(%rip),%xmm2
call   1030 <road@plt>
movsd  0xab4(%rip),%xmm0
movsd  0x9cc(%rip),%xmm1
movsd  0xa7c(%rip),%xmm2
call   1030 <road@plt>
movsd  0xa9f(%rip),%xmm0
movsd  0x9af(%rip),%xmm1
movsd  0xa5f(%rip),%xmm2
call   1030 <road@plt>
movsd  0xa8a(%rip),%xmm0
movsd  0x992(%rip),%xmm1
movsd  0xa42(%rip),%xmm2
call   1030 <road@plt>
movsd  0xa75(%rip),%xmm0
movsd  0x975(%rip),%xmm1
movsd  0xa25(%rip),%xmm2
call   1030 <road@plt>
movsd  0xa60(%rip),%xmm0
movsd  0x958(%rip),%xmm1
movsd  0xa08(%rip),%xmm2
call   1030 <road@plt>
movsd  0xa43(%rip),%xmm0
movsd  0x93b(%rip),%xmm1
movsd  0x9eb(%rip),%xmm2
call   1030 <road@plt>
movsd  0xa2e(%rip),%xmm2
movsd  0xa1e(%rip),%xmm0
movsd  0x916(%rip),%xmm1
call   1030 <road@plt>
movsd  0xa19(%rip),%xmm2
movsd  0xa01(%rip),%xmm0
movsd  0x8f9(%rip),%xmm1
call   1030 <road@plt>
movsd  0xa04(%rip),%xmm2
movsd  0x9e4(%rip),%xmm0
movsd  0x8dc(%rip),%xmm1
call   1030 <road@plt>
movsd  0x9ef(%rip),%xmm0
movsd  0x8c7(%rip),%xmm1
movsd  0x97f(%rip),%xmm2
call   1030 <road@plt>
movsd  0x9d2(%rip),%xmm0
movsd  0x8aa(%rip),%xmm1
movsd  0x96a(%rip),%xmm2
call   1030 <road@plt>
movsd  0x9b5(%rip),%xmm0
movsd  0x88d(%rip),%xmm1
movsd  0x955(%rip),%xmm2
call   1030 <road@plt>
movsd  0x998(%rip),%xmm0
movsd  0x870(%rip),%xmm1
movsd  0x940(%rip),%xmm2
call   1030 <road@plt>
movsd  0x97b(%rip),%xmm0
movsd  0x853(%rip),%xmm1
movsd  0x92b(%rip),%xmm2
call   1030 <road@plt>
movsd  0x95e(%rip),%xmm0
movsd  0x836(%rip),%xmm1
movsd  0x916(%rip),%xmm2
call   1030 <road@plt>
movsd  0x941(%rip),%xmm0
movsd  0x819(%rip),%xmm1
movsd  0x901(%rip),%xmm2
call   1030 <road@plt>
movsd  0x924(%rip),%xmm0
movsd  0x7fc(%rip),%xmm1
movsd  0x8ec(%rip),%xmm2
call   1030 <road@plt>
movsd  0x907(%rip),%xmm0
movsd  0x7df(%rip),%xmm1
movsd  0x8d7(%rip),%xmm2
call   1030 <road@plt>
movsd  0x8f2(%rip),%xmm2
movsd  0x8e2(%rip),%xmm0
movsd  0x7ba(%rip),%xmm1
call   1030 <road@plt>
movsd  0x8dd(%rip),%xmm2
movsd  0x8c5(%rip),%xmm0
movsd  0x79d(%rip),%xmm1
call   1030 <road@plt>
movsd  0x8b0(%rip),%xmm0
movsd  0x788(%rip),%xmm1
movaps %xmm0,%xmm2
call   1030 <road@plt>
movsd  0x898(%rip),%xmm0
movsd  0x770(%rip),%xmm1
movsd  0x820(%rip),%xmm2
call   1030 <road@plt>
movsd  0x87b(%rip),%xmm0
movsd  0x753(%rip),%xmm1
movsd  0x853(%rip),%xmm2
call   1030 <road@plt>
movsd  0x85e(%rip),%xmm0
movsd  0x736(%rip),%xmm1
movsd  0x83e(%rip),%xmm2
call   1030 <road@plt>
movsd  0x841(%rip),%xmm0
movsd  0x719(%rip),%xmm1
movsd  0x829(%rip),%xmm2
call   1030 <road@plt>
movsd  0x824(%rip),%xmm0
movsd  0x6fc(%rip),%xmm1
movsd  0x7b4(%rip),%xmm2
call   1030 <road@plt>
movsd  0x79f(%rip),%xmm0
movsd  0x6df(%rip),%xmm1
movsd  0x797(%rip),%xmm2
call   1030 <road@plt>
movsd  0x7d2(%rip),%xmm0
movsd  0x6c2(%rip),%xmm1
movsd  0x77a(%rip),%xmm2
call   1030 <road@plt>
movsd  0x7e5(%rip),%xmm0
movsd  0x6a5(%rip),%xmm1
movsd  0x75d(%rip),%xmm2
call   1030 <road@plt>
movsd  0x7c8(%rip),%xmm0
movsd  0x688(%rip),%xmm1
movsd  0x730(%rip),%xmm2
call   1030 <road@plt>
movsd  0x7b3(%rip),%xmm2
movsd  0x7a3(%rip),%xmm0
movsd  0x663(%rip),%xmm1
call   1030 <road@plt>
movsd  0x79e(%rip),%xmm2
movsd  0x786(%rip),%xmm0
movsd  0x646(%rip),%xmm1
call   1030 <road@plt>
movsd  0x789(%rip),%xmm2
movsd  0x769(%rip),%xmm0
movsd  0x629(%rip),%xmm1
pop    %rax
jmp    1030 <road@plt>

LLVM IR (-O0):
define void @roadplane() {
%1 = alloca double
%2 = alloca double
%3 = alloca double
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
store double -2.000000e+00, double* %1
store double 1.000000e-03, double* %2
store double 0.000000e+00, double* %3
store i32 0, i32* %4
br label %12
12: ; preds = %22, %0
%13 = load i32, i32* %4
%14 = icmp slt i32 %13, 16
br i1 %14, label %15, label %25
15: ; preds = %12
%16 = load double, double* %1
%17 = load double, double* %2
%18 = load double, double* %3
%19 = call i32 @road(double %16, double %17, double %18)
%20 = load double, double* %1
%21 = fadd double %20, 2.000000e-01
store double %21, double* %1
br label %22
22: ; preds = %15
%23 = load i32, i32* %4
%24 = add nsw i32 %23, 1
store i32 %24, i32* %4
br label %12
25: ; preds = %12
store double -6.000000e-01, double* %1
store double -1.800000e+00, double* %3
store i32 0, i32* %5
br label %26
26: ; preds = %36, %25
%27 = load i32, i32* %5
%28 = icmp slt i32 %27, 20
br i1 %28, label %29, label %39
29: ; preds = %26
%30 = load double, double* %1
%31 = load double, double* %2
%32 = load double, double* %3
%33 = call i32 @road(double %30, double %31, double %32)
%34 = load double, double* %3
%35 = fadd double %34, 2.000000e-01
store double %35, double* %3
br label %36
36: ; preds = %29
%37 = load i32, i32* %5
%38 = add nsw i32 %37, 1
store i32 %38, i32* %5
br label %26
39: ; preds = %26
store double -1.800000e+00, double* %1
store double -1.800000e+00, double* %3
store i32 0, i32* %6
br label %40
40: ; preds = %50, %39
%41 = load i32, i32* %6
%42 = icmp slt i32 %41, 7
br i1 %42, label %43, label %53
43: ; preds = %40
%44 = load double, double* %1
%45 = load double, double* %2
%46 = load double, double* %3
%47 = call i32 @road(double %44, double %45, double %46)
%48 = load double, double* %1
%49 = fadd double %48, 2.000000e-01
store double %49, double* %1
br label %50
50: ; preds = %43
%51 = load i32, i32* %6
%52 = add nsw i32 %51, 1
store i32 %52, i32* %6
br label %40
53: ; preds = %40
store double -1.200000e+00, double* %1
store double 1.400000e+00, double* %3
store i32 0, i32* %7
br label %54
54: ; preds = %64, %53
%55 = load i32, i32* %7
%56 = icmp slt i32 %55, 10
br i1 %56, label %57, label %67
57: ; preds = %54
%58 = load double, double* %1
%59 = load double, double* %2
%60 = load double, double* %3
%61 = call i32 @road(double %58, double %59, double %60)
%62 = load double, double* %1
%63 = fadd double %62, 2.000000e-01
store double %63, double* %1
br label %64
64: ; preds = %57
%65 = load i32, i32* %7
%66 = add nsw i32 %65, 1
store i32 %66, i32* %7
br label %54
67: ; preds = %54
store double 6.000000e-01, double* %1
store double 1.400000e+00, double* %3
store i32 0, i32* %8
br label %68
68: ; preds = %78, %67
%69 = load i32, i32* %8
%70 = icmp slt i32 %69, 4
br i1 %70, label %71, label %81
71: ; preds = %68
%72 = load double, double* %1
%73 = load double, double* %2
%74 = load double, double* %3
%75 = call i32 @road(double %72, double %73, double %74)
%76 = load double, double* %3
%77 = fadd double %76, 2.000000e-01
store double %77, double* %3
br label %78
78: ; preds = %71
%79 = load i32, i32* %8
%80 = add nsw i32 %79, 1
store i32 %80, i32* %8
br label %68
81: ; preds = %68
store double 1.200000e+00, double* %1
store double -1.000000e+00, double* %3
store i32 0, i32* %9
br label %82
82: ; preds = %92, %81
%83 = load i32, i32* %9
%84 = icmp slt i32 %83, 16
br i1 %84, label %85, label %95
85: ; preds = %82
%86 = load double, double* %1
%87 = load double, double* %2
%88 = load double, double* %3
%89 = call i32 @road(double %86, double %87, double %88)
%90 = load double, double* %3
%91 = fadd double %90, 2.000000e-01
store double %91, double* %3
br label %92
92: ; preds = %85
%93 = load i32, i32* %9
%94 = add nsw i32 %93, 1
store i32 %94, i32* %9
br label %82
95: ; preds = %82
store double 1.200000e+00, double* %1
store double -1.000000e+00, double* %3
store i32 0, i32* %10
br label %96
96: ; preds = %106, %95
%97 = load i32, i32* %10
%98 = icmp slt i32 %97, 3
br i1 %98, label %99, label %109
99: ; preds = %96
%100 = load double, double* %1
%101 = load double, double* %2
%102 = load double, double* %3
%103 = call i32 @road(double %100, double %101, double %102)
%104 = load double, double* %1
%105 = fadd double %104, 2.000000e-01
store double %105, double* %1
br label %106
106: ; preds = %99
%107 = load i32, i32* %10
%108 = add nsw i32 %107, 1
store i32 %108, i32* %10
br label %96
109: ; preds = %96
store double 1.600000e+00, double* %1
store double -1.000000e+00, double* %3
store i32 0, i32* %11
br label %110
110: ; preds = %120, %109
%111 = load i32, i32* %11
%112 = icmp slt i32 %111, 5
br i1 %112, label %113, label %123
113: ; preds = %110
%114 = load double, double* %1
%115 = load double, double* %2
%116 = load double, double* %3
%117 = call i32 @road(double %114, double %115, double %116)
%118 = load double, double* %3
%119 = fsub double %118, 2.000000e-01
store double %119, double* %3
br label %120
120: ; preds = %113
%121 = load i32, i32* %11
%122 = add nsw i32 %121, 1
store i32 %122, i32* %11
br label %110
123: ; preds = %110
ret void
}

LLVM IR (-O2):
define void @roadplane() {
%1 = tail call i32 @road(double -2.000000e+00, double 1.000000e-03, double 0.000000e+00)
%2 = tail call i32 @road(double -1.800000e+00, double 1.000000e-03, double 0.000000e+00)
%3 = tail call i32 @road(double -1.600000e+00, double 1.000000e-03, double 0.000000e+00)
%4 = tail call i32 @road(double 0xBFF6666666666667, double 1.000000e-03, double 0.000000e+00)
%5 = tail call i32 @road(double 0xBFF3333333333334, double 1.000000e-03, double 0.000000e+00)
%6 = tail call i32 @road(double 0xBFF0000000000001, double 1.000000e-03, double 0.000000e+00)
%7 = tail call i32 @road(double 0xBFE999999999999C, double 1.000000e-03, double 0.000000e+00)
%8 = tail call i32 @road(double 0xBFE3333333333336, double 1.000000e-03, double 0.000000e+00)
%9 = tail call i32 @road(double 0xBFD999999999999F, double 1.000000e-03, double 0.000000e+00)
%10 = tail call i32 @road(double 0xBFC99999999999A4, double 1.000000e-03, double 0.000000e+00)
%11 = tail call i32 @road(double 0xBCB4000000000000, double 1.000000e-03, double 0.000000e+00)
%12 = tail call i32 @road(double 0x3FC9999999999990, double 1.000000e-03, double 0.000000e+00)
%13 = tail call i32 @road(double 0x3FD9999999999995, double 1.000000e-03, double 0.000000e+00)
%14 = tail call i32 @road(double 0x3FE3333333333331, double 1.000000e-03, double 0.000000e+00)
%15 = tail call i32 @road(double 0x3FE9999999999998, double 1.000000e-03, double 0.000000e+00)
%16 = tail call i32 @road(double 0x3FEFFFFFFFFFFFFE, double 1.000000e-03, double 0.000000e+00)
%17 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double -1.800000e+00)
%18 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double -1.600000e+00)
%19 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0xBFF6666666666667)
%20 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0xBFF3333333333334)
%21 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0xBFF0000000000001)
%22 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0xBFE999999999999C)
%23 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0xBFE3333333333336)
%24 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0xBFD999999999999F)
%25 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0xBFC99999999999A4)
%26 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0xBCB4000000000000)
%27 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0x3FC9999999999990)
%28 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0x3FD9999999999995)
%29 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0x3FE3333333333331)
%30 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0x3FE9999999999998)
%31 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0x3FEFFFFFFFFFFFFE)
%32 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0x3FF3333333333332)
%33 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0x3FF6666666666665)
%34 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0x3FF9999999999998)
%35 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0x3FFCCCCCCCCCCCCB)
%36 = tail call i32 @road(double -6.000000e-01, double 1.000000e-03, double 0x3FFFFFFFFFFFFFFE)
%37 = tail call i32 @road(double -1.800000e+00, double 1.000000e-03, double -1.800000e+00)
%38 = tail call i32 @road(double -1.600000e+00, double 1.000000e-03, double -1.800000e+00)
%39 = tail call i32 @road(double 0xBFF6666666666667, double 1.000000e-03, double -1.800000e+00)
%40 = tail call i32 @road(double 0xBFF3333333333334, double 1.000000e-03, double -1.800000e+00)
%41 = tail call i32 @road(double 0xBFF0000000000001, double 1.000000e-03, double -1.800000e+00)
%42 = tail call i32 @road(double 0xBFE999999999999C, double 1.000000e-03, double -1.800000e+00)
%43 = tail call i32 @road(double 0xBFE3333333333336, double 1.000000e-03, double -1.800000e+00)
%44 = tail call i32 @road(double -1.200000e+00, double 1.000000e-03, double 1.400000e+00)
%45 = tail call i32 @road(double -1.000000e+00, double 1.000000e-03, double 1.400000e+00)
%46 = tail call i32 @road(double -8.000000e-01, double 1.000000e-03, double 1.400000e+00)
%47 = tail call i32 @road(double 0xBFE3333333333334, double 1.000000e-03, double 1.400000e+00)
%48 = tail call i32 @road(double 0xBFD999999999999B, double 1.000000e-03, double 1.400000e+00)
%49 = tail call i32 @road(double 0xBFC999999999999C, double 1.000000e-03, double 1.400000e+00)
%50 = tail call i32 @road(double 0xBC90000000000000, double 1.000000e-03, double 1.400000e+00)
%51 = tail call i32 @road(double 0x3FC9999999999998, double 1.000000e-03, double 1.400000e+00)
%52 = tail call i32 @road(double 0x3FD9999999999999, double 1.000000e-03, double 1.400000e+00)
%53 = tail call i32 @road(double 6.000000e-01, double 1.000000e-03, double 1.400000e+00)
%54 = tail call i32 @road(double 6.000000e-01, double 1.000000e-03, double 1.400000e+00)
%55 = tail call i32 @road(double 6.000000e-01, double 1.000000e-03, double 0x3FF9999999999999)
%56 = tail call i32 @road(double 6.000000e-01, double 1.000000e-03, double 0x3FFCCCCCCCCCCCCC)
%57 = tail call i32 @road(double 6.000000e-01, double 1.000000e-03, double 0x3FFFFFFFFFFFFFFF)
%58 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double -1.000000e+00)
%59 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double -8.000000e-01)
%60 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double 0xBFE3333333333334)
%61 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double 0xBFD999999999999B)
%62 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double 0xBFC999999999999C)
%63 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double 0xBC90000000000000)
%64 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double 0x3FC9999999999998)
%65 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double 0x3FD9999999999999)
%66 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double 6.000000e-01)
%67 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double 8.000000e-01)
%68 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double 1.000000e+00)
%69 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double 1.200000e+00)
%70 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double 1.400000e+00)
%71 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double 0x3FF9999999999999)
%72 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double 0x3FFCCCCCCCCCCCCC)
%73 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double 0x3FFFFFFFFFFFFFFF)
%74 = tail call i32 @road(double 1.200000e+00, double 1.000000e-03, double -1.000000e+00)
%75 = tail call i32 @road(double 1.400000e+00, double 1.000000e-03, double -1.000000e+00)
%76 = tail call i32 @road(double 0x3FF9999999999999, double 1.000000e-03, double -1.000000e+00)
%77 = tail call i32 @road(double 1.600000e+00, double 1.000000e-03, double -1.000000e+00)
%78 = tail call i32 @road(double 1.600000e+00, double 1.000000e-03, double -1.200000e+00)
%79 = tail call i32 @road(double 1.600000e+00, double 1.000000e-03, double -1.400000e+00)
%80 = tail call i32 @road(double 1.600000e+00, double 1.000000e-03, double 0xBFF9999999999999)
%81 = tail call i32 @road(double 1.600000e+00, double 1.000000e-03, double 0xBFFCCCCCCCCCCCCC)
ret void
}