#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*/ DSENSITIVITY(double);
double __BUILTIN_DAED_DBETWEEN_WITH_ULP(double, double);
int main(void) {
  double x, y;
  double res;
  x = __BUILTIN_DAED_DBETWEEN_WITH_ULP(-5.0, 5.0);
  y = __BUILTIN_DAED_DBETWEEN_WITH_ULP(-5.0, 5.0);
  if (y <= 0)
    if (x <= 0)
      res = -1.4717 + 2.83079 * x + 0.786996 * x * x + 2.83079 * y -
            1.07939 * 1e-16 * x * y + 0.786996 * y * y;
    else
      res = -1.4717 - 2.33079 * x + 0.786996 * x * x + 2.83079 * y +
            9.1748 * 1e-16 * x * y + 0.786996 * y * y;
  else if (x <= 0)
    res = -1.4717 + 2.83079 * x + 0.786996 * x * x - 2.33079 * y +
          3.23816 * 1e-16 * x * y + 0.786996 * y * y;
  else
    res = -1.4717 - 2.33079 * x + 0.786996 * x * x - 2.33079 * y +
          1.72702 * 1e-15 * x * y + 0.786996 * y * y;
  DSENSITIVITY(res);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movl   $0x0,-0x4(%rbp)
movsd  0xec9(%rip),%xmm0
movsd  0xec9(%rip),%xmm1
call   1030 <__BUILTIN_DAED_DBETWEEN_WITH_ULP@plt>
movsd  %xmm0,-0x10(%rbp)
movsd  0xeaf(%rip),%xmm0
movsd  0xeaf(%rip),%xmm1
call   1030 <__BUILTIN_DAED_DBETWEEN_WITH_ULP@plt>
movsd  %xmm0,-0x18(%rbp)
xorps  %xmm0,%xmm0
ucomisd -0x18(%rbp),%xmm0
jb     12aa <main+0x18a>
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
jb     1220 <main+0x100>
movsd  -0x10(%rbp),%xmm0
movsd  0xeac(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xe90(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  0xe6c(%rip),%xmm1
mulsd  -0x10(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
movsd  0xe75(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0xe75(%rip),%xmm1
mulsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
movq   %xmm1,%rax
movabs $0x8000000000000000,%rcx
xor    %rcx,%rax
movq   %rax,%xmm1
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  0xe0c(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
jmp    12a5 <main+0x185>
movsd  -0x10(%rbp),%xmm0
movsd  0xdf3(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xdef(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  0xdcb(%rip),%xmm1
mulsd  -0x10(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
movsd  0xdd4(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0xdcc(%rip),%xmm1
mulsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  0xd82(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
jmp    13cc <main+0x2ac>
xorps  %xmm0,%xmm0
ucomisd -0x10(%rbp),%xmm0
jb     1342 <main+0x222>
movsd  -0x10(%rbp),%xmm0
movsd  0xd73(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xd57(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  0xd33(%rip),%xmm1
mulsd  -0x10(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
movsd  0xd24(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0xd24(%rip),%xmm1
mulsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  0xcea(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
jmp    13c7 <main+0x2a7>
movsd  -0x10(%rbp),%xmm0
movsd  0xcd1(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xccd(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  0xca9(%rip),%xmm1
mulsd  -0x10(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
movsd  0xc9a(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  0xc82(%rip),%xmm1
mulsd  -0x10(%rbp),%xmm1
movsd  -0x18(%rbp),%xmm2
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
movsd  0xc60(%rip),%xmm0
mulsd  -0x18(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
jmp    13cc <main+0x2ac>
movsd  -0x20(%rbp),%xmm0
call   1040 <DSENSITIVITY@plt>
xor    %eax,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
movsd  0xed7(%rip),%xmm0
movsd  0xed7(%rip),%xmm1
call   1030 <__BUILTIN_DAED_DBETWEEN_WITH_ULP@plt>
movsd  %xmm0,(%rsp)
movsd  0xebd(%rip),%xmm0
movsd  0xebd(%rip),%xmm1
call   1030 <__BUILTIN_DAED_DBETWEEN_WITH_ULP@plt>
xorpd  %xmm1,%xmm1
ucomisd %xmm0,%xmm1
jae    11aa <main+0x8a>
movsd  (%rsp),%xmm4
ucomisd %xmm4,%xmm1
jae    11fb <main+0xdb>
movsd  0xebf(%rip),%xmm1
movapd %xmm4,%xmm2
mulsd  %xmm1,%xmm2
addsd  0xe97(%rip),%xmm2
movsd  0xe97(%rip),%xmm3
mulsd  %xmm4,%xmm3
mulsd  %xmm4,%xmm3
addsd  %xmm2,%xmm3
mulsd  %xmm0,%xmm1
addsd  %xmm3,%xmm1
movsd  0xea3(%rip),%xmm2
jmp    1279 <main+0x159>
movsd  (%rsp),%xmm4
ucomisd %xmm4,%xmm1
jae    123d <main+0x11d>
movsd  0xe6f(%rip),%xmm1
mulsd  %xmm4,%xmm1
addsd  0xe4b(%rip),%xmm1
movsd  0xe4b(%rip),%xmm2
mulsd  %xmm4,%xmm2
mulsd  %xmm4,%xmm2
addsd  %xmm1,%xmm2
movsd  0xe27(%rip),%xmm1
mulsd  %xmm0,%xmm1
addsd  %xmm2,%xmm1
movsd  0xe3f(%rip),%xmm2
jmp    1279 <main+0x159>
movsd  0xe0d(%rip),%xmm1
mulsd  %xmm4,%xmm1
addsd  0xe09(%rip),%xmm1
movsd  0xe09(%rip),%xmm2
mulsd  %xmm4,%xmm2
mulsd  %xmm4,%xmm2
addsd  %xmm1,%xmm2
movsd  0xe05(%rip),%xmm1
mulsd  %xmm0,%xmm1
addsd  %xmm2,%xmm1
movsd  0xe05(%rip),%xmm2
jmp    1279 <main+0x159>
movsd  0xdcb(%rip),%xmm1
movapd %xmm4,%xmm2
mulsd  %xmm1,%xmm2
addsd  0xdc3(%rip),%xmm2
movsd  0xdc3(%rip),%xmm3
mulsd  %xmm4,%xmm3
mulsd  %xmm4,%xmm3
addsd  %xmm2,%xmm3
mulsd  %xmm0,%xmm1
addsd  %xmm3,%xmm1
movsd  0xdaf(%rip),%xmm2
mulsd  %xmm2,%xmm4
mulsd  %xmm0,%xmm4
addsd  %xmm1,%xmm4
movsd  0xd93(%rip),%xmm1
mulsd  %xmm0,%xmm1
mulsd  %xmm0,%xmm1
addsd  %xmm4,%xmm1
movapd %xmm1,%xmm0
call   1040 <DSENSITIVITY@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca double
%3 = alloca double
%4 = alloca double
store i32 0, i32* %1
%5 = call double @__BUILTIN_DAED_DBETWEEN_WITH_ULP(double -5.000000e+00, double 5.000000e+00)
store double %5, double* %2
%6 = call double @__BUILTIN_DAED_DBETWEEN_WITH_ULP(double -5.000000e+00, double 5.000000e+00)
store double %6, double* %3
%7 = load double, double* %3
%8 = fcmp ole double %7, 0.000000e+00
br i1 %8, label %9, label %48
9: ; preds = %0
%10 = load double, double* %2
%11 = fcmp ole double %10, 0.000000e+00
br i1 %11, label %12, label %30
12: ; preds = %9
%13 = load double, double* %2
%14 = call double @llvm.fmuladd.f64(double 2.830790e+00, double %13, double -1.471700e+00)
%15 = load double, double* %2
%16 = fmul double 7.869960e-01, %15
%17 = load double, double* %2
%18 = call double @llvm.fmuladd.f64(double %16, double %17, double %14)
%19 = load double, double* %3
%20 = call double @llvm.fmuladd.f64(double 2.830790e+00, double %19, double %18)
%21 = load double, double* %2
%22 = fmul double 1.079390e-16, %21
%23 = load double, double* %3
%24 = fneg double %22
%25 = call double @llvm.fmuladd.f64(double %24, double %23, double %20)
%26 = load double, double* %3
%27 = fmul double 7.869960e-01, %26
%28 = load double, double* %3
%29 = call double @llvm.fmuladd.f64(double %27, double %28, double %25)
store double %29, double* %4
br label %47
30: ; preds = %9
%31 = load double, double* %2
%32 = call double @llvm.fmuladd.f64(double -2.330790e+00, double %31, double -1.471700e+00)
%33 = load double, double* %2
%34 = fmul double 7.869960e-01, %33
%35 = load double, double* %2
%36 = call double @llvm.fmuladd.f64(double %34, double %35, double %32)
%37 = load double, double* %3
%38 = call double @llvm.fmuladd.f64(double 2.830790e+00, double %37, double %36)
%39 = load double, double* %2
%40 = fmul double 0x3CD08721333EB8CF, %39
%41 = load double, double* %3
%42 = call double @llvm.fmuladd.f64(double %40, double %41, double %38)
%43 = load double, double* %3
%44 = fmul double 7.869960e-01, %43
%45 = load double, double* %3
%46 = call double @llvm.fmuladd.f64(double %44, double %45, double %42)
store double %46, double* %4
br label %47
47: ; preds = %30, %12
br label %86
48: ; preds = %0
%49 = load double, double* %2
%50 = fcmp ole double %49, 0.000000e+00
br i1 %50, label %51, label %68
51: ; preds = %48
%52 = load double, double* %2
%53 = call double @llvm.fmuladd.f64(double 2.830790e+00, double %52, double -1.471700e+00)
%54 = load double, double* %2
%55 = fmul double 7.869960e-01, %54
%56 = load double, double* %2
%57 = call double @llvm.fmuladd.f64(double %55, double %56, double %53)
%58 = load double, double* %3
%59 = call double @llvm.fmuladd.f64(double -2.330790e+00, double %58, double %57)
%60 = load double, double* %2
%61 = fmul double 3.238160e-16, %60
%62 = load double, double* %3
%63 = call double @llvm.fmuladd.f64(double %61, double %62, double %59)
%64 = load double, double* %3
%65 = fmul double 7.869960e-01, %64
%66 = load double, double* %3
%67 = call double @llvm.fmuladd.f64(double %65, double %66, double %63)
store double %67, double* %4
br label %85
68: ; preds = %48
%69 = load double, double* %2
%70 = call double @llvm.fmuladd.f64(double -2.330790e+00, double %69, double -1.471700e+00)
%71 = load double, double* %2
%72 = fmul double 7.869960e-01, %71
%73 = load double, double* %2
%74 = call double @llvm.fmuladd.f64(double %72, double %73, double %70)
%75 = load double, double* %3
%76 = call double @llvm.fmuladd.f64(double -2.330790e+00, double %75, double %74)
%77 = load double, double* %2
%78 = fmul double 0x3CDF1C79573F6A34, %77
%79 = load double, double* %3
%80 = call double @llvm.fmuladd.f64(double %78, double %79, double %76)
%81 = load double, double* %3
%82 = fmul double 7.869960e-01, %81
%83 = load double, double* %3
%84 = call double @llvm.fmuladd.f64(double %82, double %83, double %80)
store double %84, double* %4
br label %85
85: ; preds = %68, %51
br label %86
86: ; preds = %85, %47
%87 = load double, double* %4
%88 = call i32 @DSENSITIVITY(double %87)
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call double @__BUILTIN_DAED_DBETWEEN_WITH_ULP(double -5.000000e+00, double 5.000000e+00)
%2 = tail call double @__BUILTIN_DAED_DBETWEEN_WITH_ULP(double -5.000000e+00, double 5.000000e+00)
%3 = fcmp ugt double %2, 0.000000e+00
%4 = fcmp ugt double %1, 0.000000e+00
br i1 %3, label %16, label %5
5: ; preds = %0
br i1 %4, label %11, label %6
6: ; preds = %5
%7 = tail call double @llvm.fmuladd.f64(double %1, double 2.830790e+00, double -1.471700e+00)
%8 = fmul double %1, 7.869960e-01
%9 = tail call double @llvm.fmuladd.f64(double %8, double %1, double %7)
%10 = tail call double @llvm.fmuladd.f64(double %2, double 2.830790e+00, double %9)
br label %27
11: ; preds = %5
%12 = tail call double @llvm.fmuladd.f64(double %1, double -2.330790e+00, double -1.471700e+00)
%13 = fmul double %1, 7.869960e-01
%14 = tail call double @llvm.fmuladd.f64(double %13, double %1, double %12)
%15 = tail call double @llvm.fmuladd.f64(double %2, double 2.830790e+00, double %14)
br label %27
16: ; preds = %0
br i1 %4, label %22, label %17
17: ; preds = %16
%18 = tail call double @llvm.fmuladd.f64(double %1, double 2.830790e+00, double -1.471700e+00)
%19 = fmul double %1, 7.869960e-01
%20 = tail call double @llvm.fmuladd.f64(double %19, double %1, double %18)
%21 = tail call double @llvm.fmuladd.f64(double %2, double -2.330790e+00, double %20)
br label %27
22: ; preds = %16
%23 = tail call double @llvm.fmuladd.f64(double %1, double -2.330790e+00, double -1.471700e+00)
%24 = fmul double %1, 7.869960e-01
%25 = tail call double @llvm.fmuladd.f64(double %24, double %1, double %23)
%26 = tail call double @llvm.fmuladd.f64(double %2, double -2.330790e+00, double %25)
br label %27
27: ; preds = %17, %22, %6, %11
%28 = phi double [ 3.238160e-16, %17 ], [ 0x3CDF1C79573F6A34, %22 ], [ -1.079390e-16, %6 ], [ 0x3CD08721333EB8CF, %11 ]
%29 = phi double [ %21, %17 ], [ %26, %22 ], [ %10, %6 ], [ %15, %11 ]
%30 = fmul double %1, %28
%31 = tail call double @llvm.fmuladd.f64(double %30, double %2, double %29)
%32 = fmul double %2, 7.869960e-01
%33 = tail call double @llvm.fmuladd.f64(double %32, double %2, double %31)
%34 = tail call i32 @DSENSITIVITY(double %33)
ret i32 0
}