int pointBeneathLine(double x0, double y0, double x1, double y1, double x2,
                     double y2) {
  double y;
  if (x0 == x1 && y0 == y1)
    return 2;
  if (x1 < x2) {
    if (x0 <= x1 || x0 > x2)
      return 0;
  } else if (x1 > x2) {
    if (x0 <= x2 || x0 > x1)
      return 0;
  } else {
    if (x0 != x1)
      return 0;
    if (y0 < y1 && y0 < y2)
      return 0;
    if (y0 > y1 && y0 > y2)
      return 0;
    return 2;
  }
  y = y1 + (y2 - y1) * (x0 - x1) / (x2 - x1);
  if (y0 == y)
    return 2;
  if (y0 < y)
    return 1;
  return 0;
}


x86 assembly (clang, -O0):
<pointBeneathLine>:
push   %rbp
mov    %rsp,%rbp
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  -0x10(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jne    115a <pointBeneathLine+0x5a>
jp     115a <pointBeneathLine+0x5a>
movsd  -0x18(%rbp),%xmm0
ucomisd -0x28(%rbp),%xmm0
jne    115a <pointBeneathLine+0x5a>
jp     115a <pointBeneathLine+0x5a>
movl   $0x2,-0x4(%rbp)
jmp    12fd <pointBeneathLine+0x1fd>
movsd  -0x20(%rbp),%xmm1
movsd  -0x30(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11a3 <pointBeneathLine+0xa3>
movsd  -0x10(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jae    1192 <pointBeneathLine+0x92>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x30(%rbp),%xmm0
jbe    119e <pointBeneathLine+0x9e>
movl   $0x0,-0x4(%rbp)
jmp    12fd <pointBeneathLine+0x1fd>
jmp    1280 <pointBeneathLine+0x180>
movsd  -0x20(%rbp),%xmm0
ucomisd -0x30(%rbp),%xmm0
jbe    11e8 <pointBeneathLine+0xe8>
movsd  -0x10(%rbp),%xmm1
movsd  -0x30(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jae    11d7 <pointBeneathLine+0xd7>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jbe    11e3 <pointBeneathLine+0xe3>
movl   $0x0,-0x4(%rbp)
jmp    12fd <pointBeneathLine+0x1fd>
jmp    127b <pointBeneathLine+0x17b>
movsd  -0x10(%rbp),%xmm0
ucomisd -0x20(%rbp),%xmm0
jne    1203 <pointBeneathLine+0x103>
jp     1203 <pointBeneathLine+0x103>
jmp    120f <pointBeneathLine+0x10f>
movl   $0x0,-0x4(%rbp)
jmp    12fd <pointBeneathLine+0x1fd>
movsd  -0x18(%rbp),%xmm1
movsd  -0x28(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1243 <pointBeneathLine+0x143>
movsd  -0x18(%rbp),%xmm1
movsd  -0x38(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    1243 <pointBeneathLine+0x143>
movl   $0x0,-0x4(%rbp)
jmp    12fd <pointBeneathLine+0x1fd>
movsd  -0x18(%rbp),%xmm0
ucomisd -0x28(%rbp),%xmm0
jbe    126f <pointBeneathLine+0x16f>
movsd  -0x18(%rbp),%xmm0
ucomisd -0x38(%rbp),%xmm0
jbe    126f <pointBeneathLine+0x16f>
movl   $0x0,-0x4(%rbp)
jmp    12fd <pointBeneathLine+0x1fd>
movl   $0x2,-0x4(%rbp)
jmp    12fd <pointBeneathLine+0x1fd>
jmp    1280 <pointBeneathLine+0x180>
movsd  -0x28(%rbp),%xmm0
movsd  -0x38(%rbp),%xmm1
subsd  -0x28(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm2
subsd  -0x20(%rbp),%xmm2
mulsd  %xmm2,%xmm1
movsd  -0x30(%rbp),%xmm2
subsd  -0x20(%rbp),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x40(%rbp)
movsd  -0x18(%rbp),%xmm0
ucomisd -0x40(%rbp),%xmm0
jne    12d6 <pointBeneathLine+0x1d6>
jp     12d6 <pointBeneathLine+0x1d6>
movl   $0x2,-0x4(%rbp)
jmp    12fd <pointBeneathLine+0x1fd>
movsd  -0x18(%rbp),%xmm1
movsd  -0x40(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    12f6 <pointBeneathLine+0x1f6>
movl   $0x1,-0x4(%rbp)
jmp    12fd <pointBeneathLine+0x1fd>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<pointBeneathLine>:
ucomisd %xmm2,%xmm0
mov    $0x2,%eax
jne    1116 <pointBeneathLine+0x16>
jp     1116 <pointBeneathLine+0x16>
ucomisd %xmm3,%xmm1
jne    1116 <pointBeneathLine+0x16>
jp     1116 <pointBeneathLine+0x16>
ret
xor    %eax,%eax
ucomisd %xmm2,%xmm4
jbe    112c <pointBeneathLine+0x2c>
ucomisd %xmm0,%xmm2
jae    1115 <pointBeneathLine+0x15>
ucomisd %xmm4,%xmm0
jbe    113e <pointBeneathLine+0x3e>
jmp    1115 <pointBeneathLine+0x15>
ucomisd %xmm4,%xmm2
jbe    116a <pointBeneathLine+0x6a>
ucomisd %xmm2,%xmm0
ja     1115 <pointBeneathLine+0x15>
ucomisd %xmm0,%xmm4
jae    1115 <pointBeneathLine+0x15>
subsd  %xmm3,%xmm5
subsd  %xmm2,%xmm0
mulsd  %xmm5,%xmm0
subsd  %xmm2,%xmm4
divsd  %xmm4,%xmm0
addsd  %xmm3,%xmm0
ucomisd %xmm1,%xmm0
mov    $0x2,%eax
jne    1163 <pointBeneathLine+0x63>
jnp    1115 <pointBeneathLine+0x15>
seta   %al
movzbl %al,%eax
ret
ucomisd %xmm2,%xmm0
jne    1115 <pointBeneathLine+0x15>
jp     1115 <pointBeneathLine+0x15>
ucomisd %xmm1,%xmm3
jbe    117e <pointBeneathLine+0x7e>
ucomisd %xmm1,%xmm5
ja     1115 <pointBeneathLine+0x15>
xor    %ecx,%ecx
ucomisd %xmm5,%xmm1
setbe  %cl
add    %ecx,%ecx
ucomisd %xmm3,%xmm1
mov    $0x2,%eax
cmova  %ecx,%eax
ret

LLVM IR (-O0):
define i32 @pointBeneathLine(double %0, double %1, double %2, double %3, double %4, double %5) {
%7 = alloca i32
%8 = alloca double
%9 = alloca double
%10 = alloca double
%11 = alloca double
%12 = alloca double
%13 = alloca double
%14 = alloca double
store double %0, double* %8
store double %1, double* %9
store double %2, double* %10
store double %3, double* %11
store double %4, double* %12
store double %5, double* %13
%15 = load double, double* %8
%16 = load double, double* %10
%17 = fcmp oeq double %15, %16
br i1 %17, label %18, label %23
18: ; preds = %6
%19 = load double, double* %9
%20 = load double, double* %11
%21 = fcmp oeq double %19, %20
br i1 %21, label %22, label %23
22: ; preds = %18
store i32 2, i32* %7
br label %100
23: ; preds = %18, %6
%24 = load double, double* %10
%25 = load double, double* %12
%26 = fcmp olt double %24, %25
br i1 %26, label %27, label %37
27: ; preds = %23
%28 = load double, double* %8
%29 = load double, double* %10
%30 = fcmp ole double %28, %29
br i1 %30, label %35, label %31
31: ; preds = %27
%32 = load double, double* %8
%33 = load double, double* %12
%34 = fcmp ogt double %32, %33
br i1 %34, label %35, label %36
35: ; preds = %31, %27
store i32 0, i32* %7
br label %100
36: ; preds = %31
br label %76
37: ; preds = %23
%38 = load double, double* %10
%39 = load double, double* %12
%40 = fcmp ogt double %38, %39
br i1 %40, label %41, label %51
41: ; preds = %37
%42 = load double, double* %8
%43 = load double, double* %12
%44 = fcmp ole double %42, %43
br i1 %44, label %49, label %45
45: ; preds = %41
%46 = load double, double* %8
%47 = load double, double* %10
%48 = fcmp ogt double %46, %47
br i1 %48, label %49, label %50
49: ; preds = %45, %41
store i32 0, i32* %7
br label %100
50: ; preds = %45
br label %75
51: ; preds = %37
%52 = load double, double* %8
%53 = load double, double* %10
%54 = fcmp une double %52, %53
br i1 %54, label %55, label %56
55: ; preds = %51
store i32 0, i32* %7
br label %100
56: ; preds = %51
%57 = load double, double* %9
%58 = load double, double* %11
%59 = fcmp olt double %57, %58
br i1 %59, label %60, label %65
60: ; preds = %56
%61 = load double, double* %9
%62 = load double, double* %13
%63 = fcmp olt double %61, %62
br i1 %63, label %64, label %65
64: ; preds = %60
store i32 0, i32* %7
br label %100
65: ; preds = %60, %56
%66 = load double, double* %9
%67 = load double, double* %11
%68 = fcmp ogt double %66, %67
br i1 %68, label %69, label %74
69: ; preds = %65
%70 = load double, double* %9
%71 = load double, double* %13
%72 = fcmp ogt double %70, %71
br i1 %72, label %73, label %74
73: ; preds = %69
store i32 0, i32* %7
br label %100
74: ; preds = %69, %65
store i32 2, i32* %7
br label %100
75: ; preds = %50
br label %76
76: ; preds = %75, %36
%77 = load double, double* %11
%78 = load double, double* %13
%79 = load double, double* %11
%80 = fsub double %78, %79
%81 = load double, double* %8
%82 = load double, double* %10
%83 = fsub double %81, %82
%84 = fmul double %80, %83
%85 = load double, double* %12
%86 = load double, double* %10
%87 = fsub double %85, %86
%88 = fdiv double %84, %87
%89 = fadd double %77, %88
store double %89, double* %14
%90 = load double, double* %9
%91 = load double, double* %14
%92 = fcmp oeq double %90, %91
br i1 %92, label %93, label %94
93: ; preds = %76
store i32 2, i32* %7
br label %100
94: ; preds = %76
%95 = load double, double* %9
%96 = load double, double* %14
%97 = fcmp olt double %95, %96
br i1 %97, label %98, label %99
98: ; preds = %94
store i32 1, i32* %7
br label %100
99: ; preds = %94
store i32 0, i32* %7
br label %100
100: ; preds = %99, %98, %93, %74, %73, %64, %55, %49, %35, %22
%101 = load i32, i32* %7
ret i32 %101
}

LLVM IR (-O2):
define i32 @pointBeneathLine(double %0, double %1, double %2, double %3, double %4, double %5) {
%7 = fcmp oeq double %0, %2
%8 = fcmp oeq double %1, %3
%9 = and i1 %7, %8
br i1 %9, label %44, label %10
10: ; preds = %6
%11 = fcmp olt double %2, %4
br i1 %11, label %12, label %16
12: ; preds = %10
%13 = fcmp ole double %0, %2
%14 = fcmp ogt double %0, %4
%15 = or i1 %13, %14
br i1 %15, label %44, label %33
16: ; preds = %10
%17 = fcmp ogt double %2, %4
br i1 %17, label %18, label %22
18: ; preds = %16
%19 = fcmp ole double %0, %4
%20 = fcmp ogt double %0, %2
%21 = or i1 %20, %19
br i1 %21, label %44, label %33
22: ; preds = %16
%23 = fcmp une double %0, %2
br i1 %23, label %44, label %24
24: ; preds = %22
%25 = fcmp olt double %1, %3
%26 = fcmp olt double %1, %5
%27 = and i1 %25, %26
br i1 %27, label %44, label %28
28: ; preds = %24
%29 = fcmp ogt double %1, %3
%30 = fcmp ogt double %1, %5
%31 = and i1 %29, %30
%32 = select i1 %31, i32 0, i32 2
br label %44
33: ; preds = %18, %12
%34 = fsub double %5, %3
%35 = fsub double %0, %2
%36 = fmul double %35, %34
%37 = fsub double %4, %2
%38 = fdiv double %36, %37
%39 = fadd double %38, %3
%40 = fcmp oeq double %39, %1
br i1 %40, label %44, label %41
41: ; preds = %33
%42 = fcmp ogt double %39, %1
%43 = zext i1 %42 to i32
br label %44
44: ; preds = %28, %41, %33, %24, %22, %18, %12, %6
%45 = phi i32 [ 2, %6 ], [ 0, %12 ], [ 0, %18 ], [ 0, %22 ], [ 0, %24 ], [ 2, %33 ], [ %43, %41 ], [ %32, %28 ]
ret i32 %45
}