#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*/ plotpoints(int, int, int, int);
void bellipse(int xc, int yc, float r1, float r2) {
  float p, slope = 0, sqr;
  int x, y, lasty;
  if (r1 != 0)
    sqr = (r2 * r2) / (r1 * r1);
  else
    return;
  p = 2 * sqr - 2 * r2 + 1;
  x = 0;
  y = r2;
  while (y && slope > -1) {
    plotpoints(xc, yc, x, y);
    if (p < 0)
      p += 4 * sqr * x + 6 * sqr;
    else {
      p += 4 * sqr * x - 4 * y + 6 * sqr + 4;
      y--;
    }
    x++;
    if (y == 0 || sqr == 0)
      return;
    slope = (float)x / y * sqr * (-1);
  }
  lasty = y, y = 0, x = r1;
  if (r2 != 0)
    sqr = (r1 * r1) / (r2 * r2);
  else
    return;
  slope = -2;
  p = 2 * sqr - 2 * r1 + 1;
  while (x && y <= lasty) {
    plotpoints(xc, yc, x, y);
    if (p < 0)
      p += 4 * sqr * y + 6 * sqr;
    else {
      p += 4 * sqr * y - 4 * x + 6 * sqr + 4;
      x--;
    }
    y++;
  }
}


x86 assembly (clang, -O0):
<bellipse>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
movss  %xmm0,-0xc(%rbp)
movss  %xmm1,-0x10(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0xc(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    114c <bellipse+0x3c>
jp     114c <bellipse+0x3c>
jmp    116e <bellipse+0x5e>
movss  -0x10(%rbp),%xmm0
mulss  -0x10(%rbp),%xmm0
movss  -0xc(%rbp),%xmm1
mulss  -0xc(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x1c(%rbp)
jmp    1173 <bellipse+0x63>
jmp    148f <bellipse+0x37f>
movss  -0x1c(%rbp),%xmm0
movss  0xe84(%rip),%xmm1
mulss  -0x10(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
addss  %xmm0,%xmm0
addss  %xmm1,%xmm0
movss  0xe5e(%rip),%xmm1
addss  %xmm1,%xmm0
movss  %xmm0,-0x14(%rbp)
movl   $0x0,-0x20(%rbp)
cvttss2si -0x10(%rbp),%eax
mov    %eax,-0x24(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x24(%rbp)
mov    %al,-0x29(%rbp)
je     11df <bellipse+0xcf>
movss  -0x18(%rbp),%xmm0
movss  0xe32(%rip),%xmm1
ucomiss %xmm1,%xmm0
seta   %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    11ef <bellipse+0xdf>
jmp    1300 <bellipse+0x1f0>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x20(%rbp),%edx
mov    -0x24(%rbp),%ecx
call   1030 <plotpoints@plt>
xorps  %xmm0,%xmm0
ucomiss -0x14(%rbp),%xmm0
jbe    1243 <bellipse+0x133>
movss  0xdfb(%rip),%xmm0
mulss  -0x1c(%rbp),%xmm0
cvtsi2ssl -0x20(%rbp),%xmm2
movss  0xded(%rip),%xmm1
mulss  -0x1c(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
addss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x14(%rbp)
jmp    12a8 <bellipse+0x198>
movss  0xdc5(%rip),%xmm1
mulss  -0x1c(%rbp),%xmm1
cvtsi2ssl -0x20(%rbp),%xmm2
mov    -0x24(%rbp),%eax
shl    $0x2,%eax
cvtsi2ss %eax,%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x1c(%rbp),%xmm0
movss  0xd93(%rip),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  0xd7f(%rip),%xmm1
addss  %xmm1,%xmm0
addss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x14(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x24(%rbp)
je     12d2 <bellipse+0x1c2>
movss  -0x1c(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    12d7 <bellipse+0x1c7>
jp     12d7 <bellipse+0x1c7>
jmp    148f <bellipse+0x37f>
cvtsi2ssl -0x20(%rbp),%xmm0
cvtsi2ssl -0x24(%rbp),%xmm1
divss  %xmm1,%xmm0
mulss  -0x1c(%rbp),%xmm0
movss  0xd16(%rip),%xmm1
mulss  %xmm1,%xmm0
movss  %xmm0,-0x18(%rbp)
jmp    11ba <bellipse+0xaa>
mov    -0x24(%rbp),%eax
mov    %eax,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
cvttss2si -0xc(%rbp),%eax
mov    %eax,-0x20(%rbp)
movss  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomiss %xmm1,%xmm0
jne    1331 <bellipse+0x221>
jp     1331 <bellipse+0x221>
jmp    1353 <bellipse+0x243>
movss  -0xc(%rbp),%xmm0
mulss  -0xc(%rbp),%xmm0
movss  -0x10(%rbp),%xmm1
mulss  -0x10(%rbp),%xmm1
divss  %xmm1,%xmm0
movss  %xmm0,-0x1c(%rbp)
jmp    1358 <bellipse+0x248>
jmp    148f <bellipse+0x37f>
movss  0xcac(%rip),%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0x1c(%rbp),%xmm0
movss  0xc92(%rip),%xmm1
mulss  -0xc(%rbp),%xmm1
movd   %xmm1,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm1
addss  %xmm0,%xmm0
addss  %xmm1,%xmm0
movss  0xc6c(%rip),%xmm1
addss  %xmm1,%xmm0
movss  %xmm0,-0x14(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x20(%rbp)
mov    %al,-0x2a(%rbp)
je     13b8 <bellipse+0x2a8>
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
setle  %al
mov    %al,-0x2a(%rbp)
mov    -0x2a(%rbp),%al
test   $0x1,%al
jne    13c8 <bellipse+0x2b8>
jmp    148f <bellipse+0x37f>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%esi
mov    -0x20(%rbp),%edx
mov    -0x24(%rbp),%ecx
call   1030 <plotpoints@plt>
xorps  %xmm0,%xmm0
ucomiss -0x14(%rbp),%xmm0
jbe    141c <bellipse+0x30c>
movss  0xc22(%rip),%xmm0
mulss  -0x1c(%rbp),%xmm0
cvtsi2ssl -0x24(%rbp),%xmm2
movss  0xc14(%rip),%xmm1
mulss  -0x1c(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
addss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x14(%rbp)
jmp    1481 <bellipse+0x371>
movss  0xbec(%rip),%xmm1
mulss  -0x1c(%rbp),%xmm1
cvtsi2ssl -0x24(%rbp),%xmm2
mov    -0x20(%rbp),%eax
shl    $0x2,%eax
cvtsi2ss %eax,%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movss  -0x1c(%rbp),%xmm0
movss  0xbba(%rip),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  0xba6(%rip),%xmm1
addss  %xmm1,%xmm0
addss  -0x14(%rbp),%xmm0
movss  %xmm0,-0x14(%rbp)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    139d <bellipse+0x28d>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bellipse>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
xorps  %xmm2,%xmm2
movss  %xmm0,0x10(%rsp)
ucomiss %xmm2,%xmm0
jne    1132 <bellipse+0x22>
jnp    137e <bellipse+0x26e>
mov    %esi,%r14d
mov    %edi,%r15d
movaps %xmm1,%xmm2
mulss  %xmm1,%xmm2
movss  0x10(%rsp),%xmm0
mulss  %xmm0,%xmm0
cvttss2si %xmm1,%r13d
test   %r13d,%r13d
movss  %xmm0,0xc(%rsp)
movss  %xmm2,0x24(%rsp)
je     127f <bellipse+0x16f>
movaps %xmm2,%xmm3
divss  %xmm0,%xmm3
movaps %xmm1,%xmm0
addss  %xmm1,%xmm0
movaps %xmm3,%xmm4
addss  %xmm3,%xmm4
subss  %xmm0,%xmm4
addss  0xe7c(%rip),%xmm4
movss  0xe78(%rip),%xmm0
mulss  %xmm3,%xmm0
movss  %xmm0,0x1c(%rsp)
movss  0xe6a(%rip),%xmm0
mulss  %xmm3,%xmm0
movss  %xmm0,0x18(%rsp)
mov    $0x1,%ebx
movss  %xmm1,0x8(%rsp)
movss  %xmm3,0x20(%rsp)
nopl   0x0(%rax)
movss  %xmm4,0x14(%rsp)
lea    -0x1(%rbx),%ebp
mov    %r15d,%edi
mov    %r14d,%esi
mov    %ebp,%edx
mov    %r13d,%ecx
call   1030 <plotpoints@plt>
xorps  %xmm2,%xmm2
movss  0x14(%rsp),%xmm4
ucomiss %xmm4,%xmm2
xorps  %xmm0,%xmm0
cvtsi2ss %ebp,%xmm0
jbe    1200 <bellipse+0xf0>
mulss  0x1c(%rsp),%xmm0
addss  0x18(%rsp),%xmm0
jmp    122b <bellipse+0x11b>
nopl   0x0(%rax)
lea    0x0(,%r13,4),%eax
xorps  %xmm1,%xmm1
cvtsi2ss %eax,%xmm1
mulss  0x1c(%rsp),%xmm0
subss  %xmm1,%xmm0
addss  0x18(%rsp),%xmm0
addss  0xddd(%rip),%xmm0
add    $0xffffffff,%r13d
movss  0x8(%rsp),%xmm1
movss  0x20(%rsp),%xmm3
ucomiss %xmm2,%xmm3
jne    1242 <bellipse+0x132>
jnp    137e <bellipse+0x26e>
test   %r13d,%r13d
je     137e <bellipse+0x26e>
addss  %xmm0,%xmm4
xorps  %xmm0,%xmm0
cvtsi2ss %ebx,%xmm0
xorps  0xdc3(%rip),%xmm0
xorps  %xmm2,%xmm2
cvtsi2ss %r13d,%xmm2
divss  %xmm2,%xmm0
mulss  %xmm3,%xmm0
add    $0x1,%ebx
ucomiss 0xd95(%rip),%xmm0
ja     11c0 <bellipse+0xb0>
jmp    1282 <bellipse+0x172>
xor    %r13d,%r13d
xorps  %xmm0,%xmm0
ucomiss %xmm0,%xmm1
jne    1290 <bellipse+0x180>
jnp    137e <bellipse+0x26e>
cvttss2si 0x10(%rsp),%r12d
test   %r12d,%r12d
je     137e <bellipse+0x26e>
test   %r13d,%r13d
js     137e <bellipse+0x26e>
movss  0xc(%rsp),%xmm0
divss  0x24(%rsp),%xmm0
movss  0x10(%rsp),%xmm1
addss  %xmm1,%xmm1
movaps %xmm0,%xmm2
addss  %xmm0,%xmm2
subss  %xmm1,%xmm2
addss  0xd2e(%rip),%xmm2
movss  0xd2a(%rip),%xmm1
mulss  %xmm0,%xmm1
movss  %xmm1,0x8(%rsp)
mulss  0xd1c(%rip),%xmm0
movss  %xmm0,0xc(%rsp)
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movss  %xmm2,0x14(%rsp)
mov    %r15d,%edi
mov    %r14d,%esi
mov    %r12d,%edx
mov    %ebp,%ecx
call   1030 <plotpoints@plt>
movss  0x14(%rsp),%xmm2
xorps  %xmm0,%xmm0
ucomiss %xmm2,%xmm0
xorps  %xmm0,%xmm0
cvtsi2ss %ebp,%xmm0
jbe    1340 <bellipse+0x230>
mulss  0x8(%rsp),%xmm0
addss  0xc(%rsp),%xmm0
test   %r12d,%r12d
jne    1370 <bellipse+0x260>
jmp    137e <bellipse+0x26e>
xchg   %ax,%ax
lea    0x0(,%r12,4),%eax
xorps  %xmm1,%xmm1
cvtsi2ss %eax,%xmm1
mulss  0x8(%rsp),%xmm0
subss  %xmm1,%xmm0
addss  0xc(%rsp),%xmm0
addss  0xc9d(%rip),%xmm0
add    $0xffffffff,%r12d
test   %r12d,%r12d
je     137e <bellipse+0x26e>
addss  %xmm0,%xmm2
lea    0x1(%rbp),%eax
cmp    %r13d,%ebp
mov    %eax,%ebp
jl     1300 <bellipse+0x1f0>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @bellipse(i32 %0, i32 %1, float %2, float %3) {
%5 = alloca i32
%6 = alloca i32
%7 = alloca float
%8 = alloca float
%9 = alloca float
%10 = alloca float
%11 = alloca float
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store float %2, float* %7
store float %3, float* %8
store float 0.000000e+00, float* %10
%15 = load float, float* %7
%16 = fcmp une float %15, 0.000000e+00
br i1 %16, label %17, label %25
17: ; preds = %4
%18 = load float, float* %8
%19 = load float, float* %8
%20 = fmul float %18, %19
%21 = load float, float* %7
%22 = load float, float* %7
%23 = fmul float %21, %22
%24 = fdiv float %20, %23
store float %24, float* %11
br label %26
25: ; preds = %4
br label %165
26: ; preds = %17
%27 = load float, float* %11
%28 = load float, float* %8
%29 = fmul float 2.000000e+00, %28
%30 = fneg float %29
%31 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %27, float %30)
%32 = fadd float %31, 1.000000e+00
store float %32, float* %9
store i32 0, i32* %12
%33 = load float, float* %8
%34 = fptosi float %33 to i32
store i32 %34, i32* %13
br label %35
35: ; preds = %87, %26
%36 = load i32, i32* %13
%37 = icmp ne i32 %36, 0
br i1 %37, label %38, label %41
38: ; preds = %35
%39 = load float, float* %10
%40 = fcmp ogt float %39, -1.000000e+00
br label %41
41: ; preds = %38, %35
%42 = phi i1 [ false, %35 ], [ %40, %38 ]
br i1 %42, label %43, label %96
43: ; preds = %41
%44 = load i32, i32* %5
%45 = load i32, i32* %6
%46 = load i32, i32* %12
%47 = load i32, i32* %13
%48 = call i32 @plotpoints(i32 %44, i32 %45, i32 %46, i32 %47)
%49 = load float, float* %9
%50 = fcmp olt float %49, 0.000000e+00
br i1 %50, label %51, label %61
51: ; preds = %43
%52 = load float, float* %11
%53 = fmul float 4.000000e+00, %52
%54 = load i32, i32* %12
%55 = sitofp i32 %54 to float
%56 = load float, float* %11
%57 = fmul float 6.000000e+00, %56
%58 = call float @llvm.fmuladd.f32(float %53, float %55, float %57)
%59 = load float, float* %9
%60 = fadd float %59, %58
store float %60, float* %9
br label %78
61: ; preds = %43
%62 = load float, float* %11
%63 = fmul float 4.000000e+00, %62
%64 = load i32, i32* %12
%65 = sitofp i32 %64 to float
%66 = load i32, i32* %13
%67 = mul nsw i32 4, %66
%68 = sitofp i32 %67 to float
%69 = fneg float %68
%70 = call float @llvm.fmuladd.f32(float %63, float %65, float %69)
%71 = load float, float* %11
%72 = call float @llvm.fmuladd.f32(float 6.000000e+00, float %71, float %70)
%73 = fadd float %72, 4.000000e+00
%74 = load float, float* %9
%75 = fadd float %74, %73
store float %75, float* %9
%76 = load i32, i32* %13
%77 = add nsw i32 %76, -1
store i32 %77, i32* %13
br label %78
78: ; preds = %61, %51
%79 = load i32, i32* %12
%80 = add nsw i32 %79, 1
store i32 %80, i32* %12
%81 = load i32, i32* %13
%82 = icmp eq i32 %81, 0
br i1 %82, label %86, label %83
83: ; preds = %78
%84 = load float, float* %11
%85 = fcmp oeq float %84, 0.000000e+00
br i1 %85, label %86, label %87
86: ; preds = %83, %78
br label %165
87: ; preds = %83
%88 = load i32, i32* %12
%89 = sitofp i32 %88 to float
%90 = load i32, i32* %13
%91 = sitofp i32 %90 to float
%92 = fdiv float %89, %91
%93 = load float, float* %11
%94 = fmul float %92, %93
%95 = fmul float %94, -1.000000e+00
store float %95, float* %10
br label %35
96: ; preds = %41
%97 = load i32, i32* %13
store i32 %97, i32* %14
store i32 0, i32* %13
%98 = load float, float* %7
%99 = fptosi float %98 to i32
store i32 %99, i32* %12
%100 = load float, float* %8
%101 = fcmp une float %100, 0.000000e+00
br i1 %101, label %102, label %110
102: ; preds = %96
%103 = load float, float* %7
%104 = load float, float* %7
%105 = fmul float %103, %104
%106 = load float, float* %8
%107 = load float, float* %8
%108 = fmul float %106, %107
%109 = fdiv float %105, %108
store float %109, float* %11
br label %111
110: ; preds = %96
br label %165
111: ; preds = %102
store float -2.000000e+00, float* %10
%112 = load float, float* %11
%113 = load float, float* %7
%114 = fmul float 2.000000e+00, %113
%115 = fneg float %114
%116 = call float @llvm.fmuladd.f32(float 2.000000e+00, float %112, float %115)
%117 = fadd float %116, 1.000000e+00
store float %117, float* %9
br label %118
118: ; preds = %162, %111
%119 = load i32, i32* %12
%120 = icmp ne i32 %119, 0
br i1 %120, label %121, label %125
121: ; preds = %118
%122 = load i32, i32* %13
%123 = load i32, i32* %14
%124 = icmp sle i32 %122, %123
br label %125
125: ; preds = %121, %118
%126 = phi i1 [ false, %118 ], [ %124, %121 ]
br i1 %126, label %127, label %165
127: ; preds = %125
%128 = load i32, i32* %5
%129 = load i32, i32* %6
%130 = load i32, i32* %12
%131 = load i32, i32* %13
%132 = call i32 @plotpoints(i32 %128, i32 %129, i32 %130, i32 %131)
%133 = load float, float* %9
%134 = fcmp olt float %133, 0.000000e+00
br i1 %134, label %135, label %145
135: ; preds = %127
%136 = load float, float* %11
%137 = fmul float 4.000000e+00, %136
%138 = load i32, i32* %13
%139 = sitofp i32 %138 to float
%140 = load float, float* %11
%141 = fmul float 6.000000e+00, %140
%142 = call float @llvm.fmuladd.f32(float %137, float %139, float %141)
%143 = load float, float* %9
%144 = fadd float %143, %142
store float %144, float* %9
br label %162
145: ; preds = %127
%146 = load float, float* %11
%147 = fmul float 4.000000e+00, %146
%148 = load i32, i32* %13
%149 = sitofp i32 %148 to float
%150 = load i32, i32* %12
%151 = mul nsw i32 4, %150
%152 = sitofp i32 %151 to float
%153 = fneg float %152
%154 = call float @llvm.fmuladd.f32(float %147, float %149, float %153)
%155 = load float, float* %11
%156 = call float @llvm.fmuladd.f32(float 6.000000e+00, float %155, float %154)
%157 = fadd float %156, 4.000000e+00
%158 = load float, float* %9
%159 = fadd float %158, %157
store float %159, float* %9
%160 = load i32, i32* %12
%161 = add nsw i32 %160, -1
store i32 %161, i32* %12
br label %162
162: ; preds = %145, %135
%163 = load i32, i32* %13
%164 = add nsw i32 %163, 1
store i32 %164, i32* %13
br label %118
165: ; preds = %25, %86, %110, %125
ret void
}

LLVM IR (-O2):
define void @bellipse(i32 %0, i32 %1, float %2, float %3) {
%5 = fcmp une float %2, 0.000000e+00
br i1 %5, label %6, label %90
6: ; preds = %4
%7 = fmul float %3, %3
%8 = fmul float %2, %2
%9 = fdiv float %7, %8
%10 = fptosi float %3 to i32
%11 = icmp eq i32 %10, 0
br i1 %11, label %50, label %12
12: ; preds = %6
%13 = fmul float %3, -2.000000e+00
%14 = tail call float @llvm.fmuladd.f32(float %9, float 2.000000e+00, float %13)
%15 = fadd float %14, 1.000000e+00
%16 = fmul float %9, 4.000000e+00
%17 = fmul float %9, 6.000000e+00
%18 = fcmp oeq float %9, 0.000000e+00
br label %19
19: ; preds = %12, %42
%20 = phi float [ %15, %12 ], [ %43, %42 ]
%21 = phi i32 [ %10, %12 ], [ %37, %42 ]
%22 = phi i32 [ 0, %12 ], [ %39, %42 ]
%23 = tail call i32 @plotpoints(i32 %0, i32 %1, i32 %22, i32 %21)
%24 = fcmp olt float %20, 0.000000e+00
%25 = sitofp i32 %22 to float
br i1 %24, label %26, label %28
26: ; preds = %19
%27 = tail call float @llvm.fmuladd.f32(float %16, float %25, float %17)
br label %36
28: ; preds = %19
%29 = shl nsw i32 %21, 2
%30 = sitofp i32 %29 to float
%31 = fneg float %30
%32 = tail call float @llvm.fmuladd.f32(float %16, float %25, float %31)
%33 = tail call float @llvm.fmuladd.f32(float %9, float 6.000000e+00, float %32)
%34 = fadd float %33, 4.000000e+00
%35 = add nsw i32 %21, -1
br label %36
36: ; preds = %28, %26
%37 = phi i32 [ %21, %26 ], [ %35, %28 ]
%38 = phi float [ %27, %26 ], [ %34, %28 ]
%39 = add nuw nsw i32 %22, 1
%40 = icmp eq i32 %37, 0
%41 = or i1 %18, %40
br i1 %41, label %90, label %42
42: ; preds = %36
%43 = fadd float %20, %38
%44 = sitofp i32 %39 to float
%45 = sitofp i32 %37 to float
%46 = fneg float %44
%47 = fdiv float %46, %45
%48 = fmul float %9, %47
%49 = fcmp ogt float %48, -1.000000e+00
br i1 %49, label %19, label %50
50: ; preds = %42, %6
%51 = phi i32 [ 0, %6 ], [ %37, %42 ]
%52 = fcmp une float %3, 0.000000e+00
br i1 %52, label %53, label %90
53: ; preds = %50
%54 = fptosi float %2 to i32
%55 = fdiv float %8, %7
%56 = icmp ne i32 %54, 0
%57 = icmp sgt i32 %51, -1
%58 = select i1 %56, i1 %57, i1 false
br i1 %58, label %59, label %90
59: ; preds = %53
%60 = fmul float %2, -2.000000e+00
%61 = tail call float @llvm.fmuladd.f32(float %55, float 2.000000e+00, float %60)
%62 = fadd float %61, 1.000000e+00
%63 = fmul float %55, 4.000000e+00
%64 = fmul float %55, 6.000000e+00
br label %65
65: ; preds = %59, %82
%66 = phi float [ %62, %59 ], [ %85, %82 ]
%67 = phi i32 [ 0, %59 ], [ %86, %82 ]
%68 = phi i32 [ %54, %59 ], [ %83, %82 ]
%69 = tail call i32 @plotpoints(i32 %0, i32 %1, i32 %68, i32 %67)
%70 = fcmp olt float %66, 0.000000e+00
%71 = sitofp i32 %67 to float
br i1 %70, label %72, label %74
72: ; preds = %65
%73 = tail call float @llvm.fmuladd.f32(float %63, float %71, float %64)
br label %82
74: ; preds = %65
%75 = shl nsw i32 %68, 2
%76 = sitofp i32 %75 to float
%77 = fneg float %76
%78 = tail call float @llvm.fmuladd.f32(float %63, float %71, float %77)
%79 = tail call float @llvm.fmuladd.f32(float %55, float 6.000000e+00, float %78)
%80 = fadd float %79, 4.000000e+00
%81 = add nsw i32 %68, -1
br label %82
82: ; preds = %74, %72
%83 = phi i32 [ %68, %72 ], [ %81, %74 ]
%84 = phi float [ %73, %72 ], [ %80, %74 ]
%85 = fadd float %66, %84
%86 = add nuw nsw i32 %67, 1
%87 = icmp ne i32 %83, 0
%88 = icmp slt i32 %67, %51
%89 = select i1 %87, i1 %88, i1 false
br i1 %89, label %65, label %90
90: ; preds = %36, %82, %53, %50, %4
ret void
}