_Bool isPhocaea(double q, double e, double i) {
  if (q < 1.5 || i < 20 || i > 27)
    return 0;
  double a = q / (1 - e);
  return a < 2.45 && a > 2.2;
}


x86 assembly (clang, -O0):
<isPhocaea>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  %xmm2,-0x20(%rbp)
movsd  0xee5(%rip),%xmm0
ucomisd -0x10(%rbp),%xmm0
ja     1150 <isPhocaea+0x50>
movsd  0xeda(%rip),%xmm0
ucomisd -0x20(%rbp),%xmm0
ja     1150 <isPhocaea+0x50>
movsd  -0x20(%rbp),%xmm0
movsd  0xeca(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1159 <isPhocaea+0x59>
movb   $0x0,-0x1(%rbp)
jmp    11ab <isPhocaea+0xab>
movsd  -0x10(%rbp),%xmm0
movsd  0xeba(%rip),%xmm1
subsd  -0x18(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
xor    %eax,%eax
movsd  0xe9a(%rip),%xmm0
ucomisd -0x28(%rbp),%xmm0
mov    %al,-0x29(%rbp)
jbe    11a3 <isPhocaea+0xa3>
movsd  -0x28(%rbp),%xmm0
movsd  0xe8f(%rip),%xmm1
ucomisd %xmm1,%xmm0
seta   %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
and    $0x1,%al
mov    %al,-0x1(%rbp)
mov    -0x1(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isPhocaea>:
xor    %eax,%eax
ucomisd 0xef6(%rip),%xmm2
ja     1154 <isPhocaea+0x54>
movsd  0xef4(%rip),%xmm3
ucomisd %xmm0,%xmm3
ja     1154 <isPhocaea+0x54>
movsd  0xeee(%rip),%xmm3
ucomisd %xmm2,%xmm3
ja     1154 <isPhocaea+0x54>
movsd  0xee8(%rip),%xmm2
subsd  %xmm1,%xmm2
divsd  %xmm2,%xmm0
movsd  0xee0(%rip),%xmm1
ucomisd %xmm0,%xmm1
seta   %cl
ucomisd 0xed9(%rip),%xmm0
seta   %al
and    %cl,%al
ret

LLVM IR (-O0):
define zeroext i1 @isPhocaea(double %0, double %1, double %2) {
%4 = alloca i1
%5 = alloca double
%6 = alloca double
%7 = alloca double
%8 = alloca double
store double %0, double* %5
store double %1, double* %6
store double %2, double* %7
%9 = load double, double* %5
%10 = fcmp olt double %9, 1.500000e+00
br i1 %10, label %17, label %11
11: ; preds = %3
%12 = load double, double* %7
%13 = fcmp olt double %12, 2.000000e+01
br i1 %13, label %17, label %14
14: ; preds = %11
%15 = load double, double* %7
%16 = fcmp ogt double %15, 2.700000e+01
br i1 %16, label %17, label %18
17: ; preds = %14, %11, %3
store i1 false, i1* %4
br label %30
18: ; preds = %14
%19 = load double, double* %5
%20 = load double, double* %6
%21 = fsub double 1.000000e+00, %20
%22 = fdiv double %19, %21
store double %22, double* %8
%23 = load double, double* %8
%24 = fcmp olt double %23, 2.450000e+00
br i1 %24, label %25, label %28
25: ; preds = %18
%26 = load double, double* %8
%27 = fcmp ogt double %26, 2.200000e+00
br label %28
28: ; preds = %25, %18
%29 = phi i1 [ false, %18 ], [ %27, %25 ]
store i1 %29, i1* %4
br label %30
30: ; preds = %28, %17
%31 = load i1, i1* %4
ret i1 %31
}

LLVM IR (-O2):
define zeroext i1 @isPhocaea(double %0, double %1, double %2) {
%4 = fcmp olt double %0, 1.500000e+00
%5 = fcmp olt double %2, 2.000000e+01
%6 = or i1 %4, %5
%7 = fcmp ogt double %2, 2.700000e+01
%8 = or i1 %7, %6
br i1 %8, label %15, label %9
9: ; preds = %3
%10 = fsub double 1.000000e+00, %1
%11 = fdiv double %0, %10
%12 = fcmp olt double %11, 2.450000e+00
%13 = fcmp ogt double %11, 2.200000e+00
%14 = and i1 %12, %13
br label %15
15: ; preds = %3, %9
%16 = phi i1 [ %14, %9 ], [ false, %3 ]
ret i1 %16
}