_Bool isPallas(double q, double e, double i) {
  if (e > .35 || i < 24 || i > 37)
    return 0;
  double a = q / (1 - e);
  return a < 2.8 && a > 2.5;
}


x86 assembly (clang, -O0):
<isPallas>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  %xmm2,-0x20(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  0xee0(%rip),%xmm1
ucomisd %xmm1,%xmm0
ja     1154 <isPallas+0x54>
movsd  0xed6(%rip),%xmm0
ucomisd -0x20(%rbp),%xmm0
ja     1154 <isPallas+0x54>
movsd  -0x20(%rbp),%xmm0
movsd  0xec6(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    115d <isPallas+0x5d>
movb   $0x0,-0x1(%rbp)
jmp    11af <isPallas+0xaf>
movsd  -0x10(%rbp),%xmm0
movsd  0xeb6(%rip),%xmm1
subsd  -0x18(%rbp),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
xor    %eax,%eax
movsd  0xe96(%rip),%xmm0
ucomisd -0x28(%rbp),%xmm0
mov    %al,-0x29(%rbp)
jbe    11a7 <isPallas+0xa7>
movsd  -0x28(%rbp),%xmm0
movsd  0xe8b(%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):
<isPallas>:
xor    %eax,%eax
ucomisd 0xef6(%rip),%xmm2
ja     1150 <isPallas+0x50>
ucomisd 0xef4(%rip),%xmm1
ja     1150 <isPallas+0x50>
movsd  0xef2(%rip),%xmm3
ucomisd %xmm2,%xmm3
ja     1150 <isPallas+0x50>
movsd  0xeec(%rip),%xmm2
subsd  %xmm1,%xmm2
divsd  %xmm2,%xmm0
movsd  0xee4(%rip),%xmm1
ucomisd %xmm0,%xmm1
seta   %cl
ucomisd 0xedd(%rip),%xmm0
seta   %al
and    %cl,%al
ret

LLVM IR (-O0):
define zeroext i1 @isPallas(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* %6
%10 = fcmp ogt double %9, 3.500000e-01
br i1 %10, label %17, label %11
11: ; preds = %3
%12 = load double, double* %7
%13 = fcmp olt double %12, 2.400000e+01
br i1 %13, label %17, label %14
14: ; preds = %11
%15 = load double, double* %7
%16 = fcmp ogt double %15, 3.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.800000e+00
br i1 %24, label %25, label %28
25: ; preds = %18
%26 = load double, double* %8
%27 = fcmp ogt double %26, 2.500000e+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 @isPallas(double %0, double %1, double %2) {
%4 = fcmp ogt double %1, 3.500000e-01
%5 = fcmp olt double %2, 2.400000e+01
%6 = or i1 %4, %5
%7 = fcmp ogt double %2, 3.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.800000e+00
%13 = fcmp ogt double %11, 2.500000e+00
%14 = and i1 %12, %13
br label %15
15: ; preds = %3, %9
%16 = phi i1 [ %14, %9 ], [ false, %3 ]
ret i1 %16
}