#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 */
scalar_t__ fabs(double);
double sqrt(double);
int line_in_circle_with_coords(double lx1, double ly1, double lx2, double ly2,
                               double cx, double cy, double cr, float *out_x,
                               float *out_y) {
  double x1 = lx1 - cx;
  double y1 = ly1 - cy;
  if (x1 * x1 + y1 * y1 < cr * cr) {
    *out_x = x1;
    *out_y = y1;
    return 1;
  }
  double x2 = lx2 - cx;
  double y2 = ly2 - cy;
  if (x2 * x2 + y2 * y2 < cr * cr) {
    *out_x = x2;
    *out_y = y2;
    return 1;
  }
  double dx = x2 - x1;
  double dy = y2 - y1;
  double dr2 = dx * dx + dy * dy;
  double D = x1 * y2 - x2 * y1;
  double discr = cr * cr * dr2 - D * D;
  if (discr >= 0.0) {
    if (fabs(dx) > fabs(dy)) {
      double thing = dx * sqrt(discr);
      double x = (D * dy - thing) / dr2;
      double t = (x + cx - lx1) / (lx2 - lx1);
      if (t > 0.0 && t < 1.0) {
        *out_x = x + cx;
        *out_y = ly1 + t * (ly2 - ly1);
        return 1;
      }
      x = (D * dy + thing) / dr2;
      t = (x + cx - lx1) / (lx2 - lx1);
      if (t > 0.0 && t < 1.0) {
        *out_x = x + cx;
        *out_y = ly1 + t * (ly2 - ly1);
        return 1;
      }
    } else {
      double thing = dy * sqrt(discr);
      double y = -(D * dx + thing) / dr2;
      double t = (y + cy - ly1) / (ly2 - ly1);
      if (t > 0.0 && t < 1.0) {
        *out_x = lx1 + t * (lx2 - lx1);
        *out_y = y + cy;
        return 1;
      }
      y = -(D * dx - thing) / dr2;
      t = (y + cy - ly1) / (ly2 - ly1);
      if (t > 0.0 && t < 1.0) {
        *out_x = lx1 + t * (lx2 - lx1);
        *out_y = y + cy;
        return 1;
      }
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<line_in_circle_with_coords>:
push   %rbp
mov    %rsp,%rbp
sub    $0xe0,%rsp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  %xmm2,-0x20(%rbp)
movsd  %xmm3,-0x28(%rbp)
movsd  %xmm4,-0x30(%rbp)
movsd  %xmm5,-0x38(%rbp)
movsd  %xmm6,-0x40(%rbp)
mov    %rdi,-0x48(%rbp)
mov    %rsi,-0x50(%rbp)
movsd  -0x10(%rbp),%xmm0
subsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x18(%rbp),%xmm0
subsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x58(%rbp),%xmm1
movsd  -0x58(%rbp),%xmm2
movsd  -0x60(%rbp),%xmm0
mulsd  -0x60(%rbp),%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x40(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11d2 <line_in_circle_with_coords+0xb2>
movsd  -0x58(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x48(%rbp),%rax
movss  %xmm0,(%rax)
movsd  -0x60(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x50(%rbp),%rax
movss  %xmm0,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    176b <line_in_circle_with_coords+0x64b>
movsd  -0x20(%rbp),%xmm0
subsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
movsd  -0x28(%rbp),%xmm0
subsd  -0x38(%rbp),%xmm0
movsd  %xmm0,-0x70(%rbp)
movsd  -0x68(%rbp),%xmm1
movsd  -0x68(%rbp),%xmm2
movsd  -0x70(%rbp),%xmm0
mulsd  -0x70(%rbp),%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x40(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    124e <line_in_circle_with_coords+0x12e>
movsd  -0x68(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x48(%rbp),%rax
movss  %xmm0,(%rax)
movsd  -0x70(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x50(%rbp),%rax
movss  %xmm0,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    176b <line_in_circle_with_coords+0x64b>
movsd  -0x68(%rbp),%xmm0
subsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
movsd  -0x70(%rbp),%xmm0
subsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x80(%rbp)
movsd  -0x78(%rbp),%xmm0
movsd  -0x78(%rbp),%xmm2
movsd  -0x80(%rbp),%xmm1
mulsd  -0x80(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
movsd  -0x58(%rbp),%xmm0
movsd  -0x70(%rbp),%xmm2
movsd  -0x68(%rbp),%xmm1
mulsd  -0x60(%rbp),%xmm1
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x90(%rbp)
ff
movsd  -0x40(%rbp),%xmm0
mulsd  -0x40(%rbp),%xmm0
movsd  -0x88(%rbp),%xmm2
ff
movsd  -0x90(%rbp),%xmm1
ff
mulsd  -0x90(%rbp),%xmm1
ff
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x98(%rbp)
ff
movsd  -0x98(%rbp),%xmm0
ff
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     1764 <line_in_circle_with_coords+0x644>
movsd  -0x78(%rbp),%xmm0
call   1030 <fabs@plt>
mov    %rax,-0xd0(%rbp)
movsd  -0x80(%rbp),%xmm0
call   1030 <fabs@plt>
mov    %rax,%rcx
mov    -0xd0(%rbp),%rax
cmp    %rcx,%rax
jle    1544 <line_in_circle_with_coords+0x424>
movsd  -0x78(%rbp),%xmm0
movsd  %xmm0,-0xd8(%rbp)
ff
movsd  -0x98(%rbp),%xmm0
ff
call   1040 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0xd8(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xa0(%rbp)
ff
movsd  -0x90(%rbp),%xmm0
ff
movsd  -0x80(%rbp),%xmm2
movsd  -0xa0(%rbp),%xmm1
ff
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
divsd  -0x88(%rbp),%xmm0
ff
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0xa8(%rbp),%xmm0
ff
addsd  -0x30(%rbp),%xmm0
subsd  -0x10(%rbp),%xmm0
movsd  -0x20(%rbp),%xmm1
subsd  -0x10(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0xb0(%rbp),%xmm0
ff
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    146f <line_in_circle_with_coords+0x34f>
movsd  0xbef(%rip),%xmm0
ucomisd -0xb0(%rbp),%xmm0
ff
jbe    146f <line_in_circle_with_coords+0x34f>
movsd  -0xa8(%rbp),%xmm0
ff
addsd  -0x30(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x48(%rbp),%rax
movss  %xmm0,(%rax)
movsd  -0x18(%rbp),%xmm1
movsd  -0xb0(%rbp),%xmm0
ff
movsd  -0x28(%rbp),%xmm2
subsd  -0x18(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x50(%rbp),%rax
movss  %xmm0,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    176b <line_in_circle_with_coords+0x64b>
movsd  -0x90(%rbp),%xmm0
ff
movsd  -0x80(%rbp),%xmm2
movsd  -0xa0(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
divsd  -0x88(%rbp),%xmm0
ff
movsd  %xmm0,-0xa8(%rbp)
ff
movsd  -0xa8(%rbp),%xmm0
ff
addsd  -0x30(%rbp),%xmm0
subsd  -0x10(%rbp),%xmm0
movsd  -0x20(%rbp),%xmm1
subsd  -0x10(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xb0(%rbp)
ff
movsd  -0xb0(%rbp),%xmm0
ff
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    153f <line_in_circle_with_coords+0x41f>
movsd  0xb1f(%rip),%xmm0
ucomisd -0xb0(%rbp),%xmm0
ff
jbe    153f <line_in_circle_with_coords+0x41f>
movsd  -0xa8(%rbp),%xmm0
ff
addsd  -0x30(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x48(%rbp),%rax
movss  %xmm0,(%rax)
movsd  -0x18(%rbp),%xmm1
movsd  -0xb0(%rbp),%xmm0
ff
movsd  -0x28(%rbp),%xmm2
subsd  -0x18(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x50(%rbp),%rax
movss  %xmm0,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    176b <line_in_circle_with_coords+0x64b>
jmp    175f <line_in_circle_with_coords+0x63f>
movsd  -0x80(%rbp),%xmm0
movsd  %xmm0,-0xe0(%rbp)
ff
movsd  -0x98(%rbp),%xmm0
ff
call   1040 <sqrt@plt>
movaps %xmm0,%xmm1
movsd  -0xe0(%rbp),%xmm0
ff
mulsd  %xmm1,%xmm0
movsd  %xmm0,-0xb8(%rbp)
ff
movsd  -0x90(%rbp),%xmm0
ff
movsd  -0x78(%rbp),%xmm2
movsd  -0xb8(%rbp),%xmm1
ff
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
divsd  -0x88(%rbp),%xmm0
ff
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0xc0(%rbp),%xmm0
ff
addsd  -0x38(%rbp),%xmm0
subsd  -0x18(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm1
subsd  -0x18(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0xc8(%rbp),%xmm0
ff
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    165c <line_in_circle_with_coords+0x53c>
movsd  0xa02(%rip),%xmm0
ucomisd -0xc8(%rbp),%xmm0
ff
jbe    165c <line_in_circle_with_coords+0x53c>
movsd  -0x10(%rbp),%xmm1
movsd  -0xc8(%rbp),%xmm0
ff
movsd  -0x20(%rbp),%xmm2
subsd  -0x10(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x48(%rbp),%rax
movss  %xmm0,(%rax)
movsd  -0xc0(%rbp),%xmm0
ff
addsd  -0x38(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x50(%rbp),%rax
movss  %xmm0,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    176b <line_in_circle_with_coords+0x64b>
movsd  -0x90(%rbp),%xmm0
ff
movsd  -0x78(%rbp),%xmm2
movsd  -0xb8(%rbp),%xmm1
ff
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movq   %xmm0,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm0
divsd  -0x88(%rbp),%xmm0
ff
movsd  %xmm0,-0xc0(%rbp)
ff
movsd  -0xc0(%rbp),%xmm0
ff
addsd  -0x38(%rbp),%xmm0
subsd  -0x18(%rbp),%xmm0
movsd  -0x28(%rbp),%xmm1
subsd  -0x18(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0xc8(%rbp)
ff
movsd  -0xc8(%rbp),%xmm0
ff
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jbe    175a <line_in_circle_with_coords+0x63a>
movsd  0x904(%rip),%xmm0
ucomisd -0xc8(%rbp),%xmm0
ff
jbe    175a <line_in_circle_with_coords+0x63a>
movsd  -0x10(%rbp),%xmm1
movsd  -0xc8(%rbp),%xmm0
ff
movsd  -0x20(%rbp),%xmm2
subsd  -0x10(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x48(%rbp),%rax
movss  %xmm0,(%rax)
movsd  -0xc0(%rbp),%xmm0
ff
addsd  -0x38(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x50(%rbp),%rax
movss  %xmm0,(%rax)
movl   $0x1,-0x4(%rbp)
jmp    176b <line_in_circle_with_coords+0x64b>
jmp    175f <line_in_circle_with_coords+0x63f>
jmp    1764 <line_in_circle_with_coords+0x644>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<line_in_circle_with_coords>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x60,%rsp
mov    %rsi,%r14
mov    %rdi,%rbx
movapd %xmm0,%xmm10
subsd  %xmm4,%xmm10
movapd %xmm1,%xmm9
subsd  %xmm5,%xmm9
movapd %xmm9,%xmm8
mulsd  %xmm9,%xmm8
movapd %xmm10,%xmm7
mulsd  %xmm10,%xmm7
addsd  %xmm8,%xmm7
mulsd  %xmm6,%xmm6
ucomisd %xmm7,%xmm6
jbe    1177 <line_in_circle_with_coords+0x57>
xorps  %xmm1,%xmm1
cvtsd2ss %xmm10,%xmm1
movss  %xmm1,(%rbx)
jmp    11bb <line_in_circle_with_coords+0x9b>
movapd %xmm2,%xmm8
subsd  %xmm4,%xmm8
movapd %xmm3,%xmm11
subsd  %xmm5,%xmm11
movapd %xmm11,%xmm12
mulsd  %xmm11,%xmm12
movapd %xmm8,%xmm7
mulsd  %xmm8,%xmm7
addsd  %xmm12,%xmm7
ucomisd %xmm7,%xmm6
jbe    11dc <line_in_circle_with_coords+0xbc>
xorps  %xmm0,%xmm0
cvtsd2ss %xmm8,%xmm0
movss  %xmm0,(%rbx)
movapd %xmm11,%xmm9
xorps  %xmm0,%xmm0
cvtsd2ss %xmm9,%xmm0
movss  %xmm0,(%r14)
mov    $0x1,%ebp
mov    %ebp,%eax
add    $0x60,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
movapd %xmm8,%xmm12
subsd  %xmm10,%xmm12
mulsd  %xmm11,%xmm10
subsd  %xmm9,%xmm11
movapd %xmm11,%xmm13
mulsd  %xmm11,%xmm13
movapd %xmm12,%xmm14
mulsd  %xmm12,%xmm14
addsd  %xmm13,%xmm14
mulsd  %xmm8,%xmm9
subsd  %xmm9,%xmm10
movapd %xmm10,%xmm8
mulsd  %xmm10,%xmm8
mulsd  %xmm14,%xmm6
subsd  %xmm8,%xmm6
xor    %ebp,%ebp
xorpd  %xmm7,%xmm7
ucomisd %xmm7,%xmm6
jb     11cd <line_in_circle_with_coords+0xad>
movsd  %xmm14,0x18(%rsp)
movsd  %xmm4,0x20(%rsp)
movsd  %xmm5,0x28(%rsp)
movsd  %xmm10,0x30(%rsp)
movsd  %xmm2,0x38(%rsp)
movsd  %xmm0,0x40(%rsp)
movsd  %xmm3,0x48(%rsp)
movsd  %xmm1,0x50(%rsp)
movsd  %xmm12,0x10(%rsp)
movapd %xmm12,%xmm0
movsd  %xmm11,0x8(%rsp)
movsd  %xmm6,0x58(%rsp)
call   1030 <fabs@plt>
mov    %rax,%r15
movsd  0x8(%rsp),%xmm0
call   1030 <fabs@plt>
movsd  0x58(%rsp),%xmm0
mov    %rax,%r12
ucomisd 0xd66(%rip),%xmm0
jb     12aa <line_in_circle_with_coords+0x18a>
sqrtsd %xmm0,%xmm0
jmp    12af <line_in_circle_with_coords+0x18f>
call   1040 <sqrt@plt>
movsd  0x50(%rsp),%xmm10
movsd  0x48(%rsp),%xmm5
movsd  0x40(%rsp),%xmm11
movsd  0x38(%rsp),%xmm2
movsd  0x30(%rsp),%xmm6
movsd  0x28(%rsp),%xmm13
movsd  0x20(%rsp),%xmm8
movsd  0x18(%rsp),%xmm12
movsd  0x8(%rsp),%xmm4
cmp    %r12,%r15
jle    134a <line_in_circle_with_coords+0x22a>
movsd  0x10(%rsp),%xmm7
mulsd  %xmm0,%xmm7
mulsd  %xmm4,%xmm6
movapd %xmm6,%xmm1
subsd  %xmm7,%xmm1
divsd  %xmm12,%xmm1
addsd  %xmm8,%xmm1
movapd %xmm1,%xmm9
subsd  %xmm11,%xmm9
subsd  %xmm11,%xmm2
divsd  %xmm2,%xmm9
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm9
jbe    13b7 <line_in_circle_with_coords+0x297>
movsd  0xcc6(%rip),%xmm3
ucomisd %xmm9,%xmm3
jbe    13b7 <line_in_circle_with_coords+0x297>
cvtsd2ss %xmm1,%xmm1
jmp    13f9 <line_in_circle_with_coords+0x2d9>
mulsd  %xmm0,%xmm4
mulsd  0x10(%rsp),%xmm6
movapd %xmm6,%xmm1
addsd  %xmm4,%xmm1
divsd  %xmm12,%xmm1
movapd %xmm13,%xmm9
subsd  %xmm1,%xmm9
movapd %xmm9,%xmm1
subsd  %xmm10,%xmm1
subsd  %xmm10,%xmm5
divsd  %xmm5,%xmm1
xorpd  %xmm8,%xmm8
ucomisd %xmm8,%xmm1
jbe    1411 <line_in_circle_with_coords+0x2f1>
movsd  0xc6a(%rip),%xmm3
ucomisd %xmm1,%xmm3
jbe    1411 <line_in_circle_with_coords+0x2f1>
subsd  %xmm11,%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm11,%xmm1
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,(%rbx)
jmp    11bb <line_in_circle_with_coords+0x9b>
addsd  %xmm7,%xmm6
divsd  %xmm12,%xmm6
addsd  %xmm8,%xmm6
movapd %xmm6,%xmm9
subsd  %xmm11,%xmm9
divsd  %xmm2,%xmm9
ucomisd %xmm0,%xmm9
jbe    11cd <line_in_circle_with_coords+0xad>
movsd  0xc19(%rip),%xmm1
ucomisd %xmm9,%xmm1
jbe    11cd <line_in_circle_with_coords+0xad>
xorps  %xmm1,%xmm1
cvtsd2ss %xmm6,%xmm1
movss  %xmm1,(%rbx)
subsd  %xmm10,%xmm5
mulsd  %xmm5,%xmm9
addsd  %xmm10,%xmm9
jmp    11bb <line_in_circle_with_coords+0x9b>
subsd  %xmm4,%xmm6
divsd  %xmm12,%xmm6
subsd  %xmm6,%xmm13
movapd %xmm13,%xmm0
subsd  %xmm10,%xmm0
divsd  %xmm5,%xmm0
ucomisd %xmm8,%xmm0
jbe    11cd <line_in_circle_with_coords+0xad>
movsd  0xbc0(%rip),%xmm1
ucomisd %xmm0,%xmm1
jbe    11cd <line_in_circle_with_coords+0xad>
subsd  %xmm11,%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm11,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,(%rbx)
movapd %xmm13,%xmm9
jmp    11bb <line_in_circle_with_coords+0x9b>

LLVM IR (-O0):
define i32 @line_in_circle_with_coords(double %0, double %1, double %2, double %3, double %4, double %5, double %6, float* %7, float* %8) {
%10 = alloca i32
%11 = alloca double
%12 = alloca double
%13 = alloca double
%14 = alloca double
%15 = alloca double
%16 = alloca double
%17 = alloca double
%18 = alloca float*
%19 = alloca float*
%20 = alloca double
%21 = alloca double
%22 = alloca double
%23 = alloca double
%24 = alloca double
%25 = alloca double
%26 = alloca double
%27 = alloca double
%28 = alloca double
%29 = alloca double
%30 = alloca double
%31 = alloca double
%32 = alloca double
%33 = alloca double
%34 = alloca double
store double %0, double* %11
store double %1, double* %12
store double %2, double* %13
store double %3, double* %14
store double %4, double* %15
store double %5, double* %16
store double %6, double* %17
store float* %7, float** %18
store float* %8, float** %19
%35 = load double, double* %11
%36 = load double, double* %15
%37 = fsub double %35, %36
store double %37, double* %20
%38 = load double, double* %12
%39 = load double, double* %16
%40 = fsub double %38, %39
store double %40, double* %21
%41 = load double, double* %20
%42 = load double, double* %20
%43 = load double, double* %21
%44 = load double, double* %21
%45 = fmul double %43, %44
%46 = call double @llvm.fmuladd.f64(double %41, double %42, double %45)
%47 = load double, double* %17
%48 = load double, double* %17
%49 = fmul double %47, %48
%50 = fcmp olt double %46, %49
br i1 %50, label %51, label %58
51: ; preds = %9
%52 = load double, double* %20
%53 = fptrunc double %52 to float
%54 = load float*, float** %18
store float %53, float* %54
%55 = load double, double* %21
%56 = fptrunc double %55 to float
%57 = load float*, float** %19
store float %56, float* %57
store i32 1, i32* %10
br label %275
58: ; preds = %9
%59 = load double, double* %13
%60 = load double, double* %15
%61 = fsub double %59, %60
store double %61, double* %22
%62 = load double, double* %14
%63 = load double, double* %16
%64 = fsub double %62, %63
store double %64, double* %23
%65 = load double, double* %22
%66 = load double, double* %22
%67 = load double, double* %23
%68 = load double, double* %23
%69 = fmul double %67, %68
%70 = call double @llvm.fmuladd.f64(double %65, double %66, double %69)
%71 = load double, double* %17
%72 = load double, double* %17
%73 = fmul double %71, %72
%74 = fcmp olt double %70, %73
br i1 %74, label %75, label %82
75: ; preds = %58
%76 = load double, double* %22
%77 = fptrunc double %76 to float
%78 = load float*, float** %18
store float %77, float* %78
%79 = load double, double* %23
%80 = fptrunc double %79 to float
%81 = load float*, float** %19
store float %80, float* %81
store i32 1, i32* %10
br label %275
82: ; preds = %58
%83 = load double, double* %22
%84 = load double, double* %20
%85 = fsub double %83, %84
store double %85, double* %24
%86 = load double, double* %23
%87 = load double, double* %21
%88 = fsub double %86, %87
store double %88, double* %25
%89 = load double, double* %24
%90 = load double, double* %24
%91 = load double, double* %25
%92 = load double, double* %25
%93 = fmul double %91, %92
%94 = call double @llvm.fmuladd.f64(double %89, double %90, double %93)
store double %94, double* %26
%95 = load double, double* %20
%96 = load double, double* %23
%97 = load double, double* %22
%98 = load double, double* %21
%99 = fmul double %97, %98
%100 = fneg double %99
%101 = call double @llvm.fmuladd.f64(double %95, double %96, double %100)
store double %101, double* %27
%102 = load double, double* %17
%103 = load double, double* %17
%104 = fmul double %102, %103
%105 = load double, double* %26
%106 = load double, double* %27
%107 = load double, double* %27
%108 = fmul double %106, %107
%109 = fneg double %108
%110 = call double @llvm.fmuladd.f64(double %104, double %105, double %109)
store double %110, double* %28
%111 = load double, double* %28
%112 = fcmp oge double %111, 0.000000e+00
br i1 %112, label %113, label %274
113: ; preds = %82
%114 = load double, double* %24
%115 = call i64 @fabs(double %114)
%116 = load double, double* %25
%117 = call i64 @fabs(double %116)
%118 = icmp sgt i64 %115, %117
br i1 %118, label %119, label %195
119: ; preds = %113
%120 = load double, double* %24
%121 = load double, double* %28
%122 = call double @sqrt(double %121)
%123 = fmul double %120, %122
store double %123, double* %29
%124 = load double, double* %27
%125 = load double, double* %25
%126 = load double, double* %29
%127 = fneg double %126
%128 = call double @llvm.fmuladd.f64(double %124, double %125, double %127)
%129 = load double, double* %26
%130 = fdiv double %128, %129
store double %130, double* %30
%131 = load double, double* %30
%132 = load double, double* %15
%133 = fadd double %131, %132
%134 = load double, double* %11
%135 = fsub double %133, %134
%136 = load double, double* %13
%137 = load double, double* %11
%138 = fsub double %136, %137
%139 = fdiv double %135, %138
store double %139, double* %31
%140 = load double, double* %31
%141 = fcmp ogt double %140, 0.000000e+00
br i1 %141, label %142, label %159
142: ; preds = %119
%143 = load double, double* %31
%144 = fcmp olt double %143, 1.000000e+00
br i1 %144, label %145, label %159
145: ; preds = %142
%146 = load double, double* %30
%147 = load double, double* %15
%148 = fadd double %146, %147
%149 = fptrunc double %148 to float
%150 = load float*, float** %18
store float %149, float* %150
%151 = load double, double* %12
%152 = load double, double* %31
%153 = load double, double* %14
%154 = load double, double* %12
%155 = fsub double %153, %154
%156 = call double @llvm.fmuladd.f64(double %152, double %155, double %151)
%157 = fptrunc double %156 to float
%158 = load float*, float** %19
store float %157, float* %158
store i32 1, i32* %10
br label %275
159: ; preds = %142, %119
%160 = load double, double* %27
%161 = load double, double* %25
%162 = load double, double* %29
%163 = call double @llvm.fmuladd.f64(double %160, double %161, double %162)
%164 = load double, double* %26
%165 = fdiv double %163, %164
store double %165, double* %30
%166 = load double, double* %30
%167 = load double, double* %15
%168 = fadd double %166, %167
%169 = load double, double* %11
%170 = fsub double %168, %169
%171 = load double, double* %13
%172 = load double, double* %11
%173 = fsub double %171, %172
%174 = fdiv double %170, %173
store double %174, double* %31
%175 = load double, double* %31
%176 = fcmp ogt double %175, 0.000000e+00
br i1 %176, label %177, label %194
177: ; preds = %159
%178 = load double, double* %31
%179 = fcmp olt double %178, 1.000000e+00
br i1 %179, label %180, label %194
180: ; preds = %177
%181 = load double, double* %30
%182 = load double, double* %15
%183 = fadd double %181, %182
%184 = fptrunc double %183 to float
%185 = load float*, float** %18
store float %184, float* %185
%186 = load double, double* %12
%187 = load double, double* %31
%188 = load double, double* %14
%189 = load double, double* %12
%190 = fsub double %188, %189
%191 = call double @llvm.fmuladd.f64(double %187, double %190, double %186)
%192 = fptrunc double %191 to float
%193 = load float*, float** %19
store float %192, float* %193
store i32 1, i32* %10
br label %275
194: ; preds = %177, %159
br label %273
195: ; preds = %113
%196 = load double, double* %25
%197 = load double, double* %28
%198 = call double @sqrt(double %197)
%199 = fmul double %196, %198
store double %199, double* %32
%200 = load double, double* %27
%201 = load double, double* %24
%202 = load double, double* %32
%203 = call double @llvm.fmuladd.f64(double %200, double %201, double %202)
%204 = fneg double %203
%205 = load double, double* %26
%206 = fdiv double %204, %205
store double %206, double* %33
%207 = load double, double* %33
%208 = load double, double* %16
%209 = fadd double %207, %208
%210 = load double, double* %12
%211 = fsub double %209, %210
%212 = load double, double* %14
%213 = load double, double* %12
%214 = fsub double %212, %213
%215 = fdiv double %211, %214
store double %215, double* %34
%216 = load double, double* %34
%217 = fcmp ogt double %216, 0.000000e+00
br i1 %217, label %218, label %235
218: ; preds = %195
%219 = load double, double* %34
%220 = fcmp olt double %219, 1.000000e+00
br i1 %220, label %221, label %235
221: ; preds = %218
%222 = load double, double* %11
%223 = load double, double* %34
%224 = load double, double* %13
%225 = load double, double* %11
%226 = fsub double %224, %225
%227 = call double @llvm.fmuladd.f64(double %223, double %226, double %222)
%228 = fptrunc double %227 to float
%229 = load float*, float** %18
store float %228, float* %229
%230 = load double, double* %33
%231 = load double, double* %16
%232 = fadd double %230, %231
%233 = fptrunc double %232 to float
%234 = load float*, float** %19
store float %233, float* %234
store i32 1, i32* %10
br label %275
235: ; preds = %218, %195
%236 = load double, double* %27
%237 = load double, double* %24
%238 = load double, double* %32
%239 = fneg double %238
%240 = call double @llvm.fmuladd.f64(double %236, double %237, double %239)
%241 = fneg double %240
%242 = load double, double* %26
%243 = fdiv double %241, %242
store double %243, double* %33
%244 = load double, double* %33
%245 = load double, double* %16
%246 = fadd double %244, %245
%247 = load double, double* %12
%248 = fsub double %246, %247
%249 = load double, double* %14
%250 = load double, double* %12
%251 = fsub double %249, %250
%252 = fdiv double %248, %251
store double %252, double* %34
%253 = load double, double* %34
%254 = fcmp ogt double %253, 0.000000e+00
br i1 %254, label %255, label %272
255: ; preds = %235
%256 = load double, double* %34
%257 = fcmp olt double %256, 1.000000e+00
br i1 %257, label %258, label %272
258: ; preds = %255
%259 = load double, double* %11
%260 = load double, double* %34
%261 = load double, double* %13
%262 = load double, double* %11
%263 = fsub double %261, %262
%264 = call double @llvm.fmuladd.f64(double %260, double %263, double %259)
%265 = fptrunc double %264 to float
%266 = load float*, float** %18
store float %265, float* %266
%267 = load double, double* %33
%268 = load double, double* %16
%269 = fadd double %267, %268
%270 = fptrunc double %269 to float
%271 = load float*, float** %19
store float %270, float* %271
store i32 1, i32* %10
br label %275
272: ; preds = %255, %235
br label %273
273: ; preds = %272, %194
br label %274
274: ; preds = %273, %82
store i32 0, i32* %10
br label %275
275: ; preds = %274, %258, %221, %180, %145, %75, %51
%276 = load i32, i32* %10
ret i32 %276
}

LLVM IR (-O2):
define i32 @line_in_circle_with_coords(double %0, double %1, double %2, double %3, double %4, double %5, double %6, float* nocapture writeonly %7, float* nocapture writeonly %8) {
%10 = fsub double %0, %4
%11 = fsub double %1, %5
%12 = fmul double %11, %11
%13 = tail call double @llvm.fmuladd.f64(double %10, double %10, double %12)
%14 = fmul double %6, %6
%15 = fcmp olt double %13, %14
br i1 %15, label %16, label %18
16: ; preds = %9
%17 = fptrunc double %10 to float
store float %17, float* %7
br label %101
18: ; preds = %9
%19 = fsub double %2, %4
%20 = fsub double %3, %5
%21 = fmul double %20, %20
%22 = tail call double @llvm.fmuladd.f64(double %19, double %19, double %21)
%23 = fcmp olt double %22, %14
br i1 %23, label %24, label %26
24: ; preds = %18
%25 = fptrunc double %19 to float
store float %25, float* %7
br label %101
26: ; preds = %18
%27 = fsub double %19, %10
%28 = fsub double %20, %11
%29 = fmul double %28, %28
%30 = tail call double @llvm.fmuladd.f64(double %27, double %27, double %29)
%31 = fneg double %19
%32 = fmul double %11, %31
%33 = tail call double @llvm.fmuladd.f64(double %10, double %20, double %32)
%34 = fneg double %33
%35 = fmul double %33, %34
%36 = tail call double @llvm.fmuladd.f64(double %14, double %30, double %35)
%37 = fcmp ult double %36, 0.000000e+00
br i1 %37, label %104, label %38
38: ; preds = %26
%39 = tail call i64 @fabs(double %27)
%40 = tail call i64 @fabs(double %28)
%41 = icmp sgt i64 %39, %40
%42 = tail call double @sqrt(double %36)
br i1 %41, label %43, label %72
43: ; preds = %38
%44 = fmul double %27, %42
%45 = fneg double %44
%46 = tail call double @llvm.fmuladd.f64(double %33, double %28, double %45)
%47 = fdiv double %46, %30
%48 = fadd double %47, %4
%49 = fsub double %48, %0
%50 = fsub double %2, %0
%51 = fdiv double %49, %50
%52 = fcmp ogt double %51, 0.000000e+00
%53 = fcmp olt double %51, 1.000000e+00
%54 = and i1 %52, %53
br i1 %54, label %55, label %59
55: ; preds = %43
%56 = fptrunc double %48 to float
store float %56, float* %7
%57 = fsub double %3, %1
%58 = tail call double @llvm.fmuladd.f64(double %51, double %57, double %1)
br label %101
59: ; preds = %43
%60 = tail call double @llvm.fmuladd.f64(double %33, double %28, double %44)
%61 = fdiv double %60, %30
%62 = fadd double %61, %4
%63 = fsub double %62, %0
%64 = fdiv double %63, %50
%65 = fcmp ogt double %64, 0.000000e+00
%66 = fcmp olt double %64, 1.000000e+00
%67 = and i1 %65, %66
br i1 %67, label %68, label %104
68: ; preds = %59
%69 = fptrunc double %62 to float
store float %69, float* %7
%70 = fsub double %3, %1
%71 = tail call double @llvm.fmuladd.f64(double %64, double %70, double %1)
br label %101
72: ; preds = %38
%73 = fmul double %28, %42
%74 = tail call double @llvm.fmuladd.f64(double %33, double %27, double %73)
%75 = fdiv double %74, %30
%76 = fsub double %5, %75
%77 = fsub double %76, %1
%78 = fsub double %3, %1
%79 = fdiv double %77, %78
%80 = fcmp ogt double %79, 0.000000e+00
%81 = fcmp olt double %79, 1.000000e+00
%82 = and i1 %80, %81
br i1 %82, label %83, label %87
83: ; preds = %72
%84 = fsub double %2, %0
%85 = tail call double @llvm.fmuladd.f64(double %79, double %84, double %0)
%86 = fptrunc double %85 to float
store float %86, float* %7
br label %101
87: ; preds = %72
%88 = fneg double %73
%89 = tail call double @llvm.fmuladd.f64(double %33, double %27, double %88)
%90 = fdiv double %89, %30
%91 = fsub double %5, %90
%92 = fsub double %91, %1
%93 = fdiv double %92, %78
%94 = fcmp ogt double %93, 0.000000e+00
%95 = fcmp olt double %93, 1.000000e+00
%96 = and i1 %94, %95
br i1 %96, label %97, label %104
97: ; preds = %87
%98 = fsub double %2, %0
%99 = tail call double @llvm.fmuladd.f64(double %93, double %98, double %0)
%100 = fptrunc double %99 to float
store float %100, float* %7
br label %101
101: ; preds = %16, %68, %55, %97, %83, %24
%102 = phi double [ %20, %24 ], [ %76, %83 ], [ %91, %97 ], [ %58, %55 ], [ %71, %68 ], [ %11, %16 ]
%103 = fptrunc double %102 to float
store float %103, float* %8
br label %104
104: ; preds = %101, %26, %59, %87
%105 = phi i32 [ 0, %87 ], [ 0, %59 ], [ 0, %26 ], [ 1, %101 ]
ret i32 %105
}