#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 v, w, r;
  double res;
  v = __BUILTIN_DAED_DBETWEEN_WITH_ULP(-4.5, -0.3);
  w = __BUILTIN_DAED_DBETWEEN_WITH_ULP(0.4, 0.9);
  r = __BUILTIN_DAED_DBETWEEN_WITH_ULP(3.8, 7.8);
  res = 3 - 2 / (r * r) - 0.125 * (1 + 2 * v) * (w * w * r * r) / (1 - v) - 0.5;
  DSENSITIVITY(res);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
movsd  0xf11(%rip),%xmm0
movsd  0xf11(%rip),%xmm1
call   1030 <__BUILTIN_DAED_DBETWEEN_WITH_ULP@plt>
movsd  %xmm0,-0x10(%rbp)
movsd  0xee7(%rip),%xmm0
movsd  0xee7(%rip),%xmm1
call   1030 <__BUILTIN_DAED_DBETWEEN_WITH_ULP@plt>
movsd  %xmm0,-0x18(%rbp)
movsd  0xebd(%rip),%xmm0
movsd  0xebd(%rip),%xmm1
call   1030 <__BUILTIN_DAED_DBETWEEN_WITH_ULP@plt>
movsd  %xmm0,-0x20(%rbp)
movsd  -0x20(%rbp),%xmm0
mulsd  -0x20(%rbp),%xmm0
movsd  0xe91(%rip),%xmm1
divsd  %xmm0,%xmm1
movsd  0xe7d(%rip),%xmm0
subsd  %xmm1,%xmm0
movsd  -0x10(%rbp),%xmm2
addsd  %xmm2,%xmm2
movsd  0xe58(%rip),%xmm1
addsd  %xmm1,%xmm2
movsd  0xe54(%rip),%xmm1
mulsd  %xmm2,%xmm1
movsd  -0x18(%rbp),%xmm2
mulsd  -0x18(%rbp),%xmm2
mulsd  -0x20(%rbp),%xmm2
mulsd  -0x20(%rbp),%xmm2
mulsd  %xmm2,%xmm1
movsd  0xe28(%rip),%xmm2
subsd  -0x10(%rbp),%xmm2
divsd  %xmm2,%xmm1
subsd  %xmm1,%xmm0
movsd  0xe0b(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
movsd  -0x28(%rbp),%xmm0
call   1040 <DSENSITIVITY@plt>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0x28,%rsp
movsd  0xed4(%rip),%xmm0
movsd  0xed4(%rip),%xmm1
call   1030 <__BUILTIN_DAED_DBETWEEN_WITH_ULP@plt>
movaps %xmm0,(%rsp)
movsd  0xecb(%rip),%xmm0
movsd  0xecb(%rip),%xmm1
call   1030 <__BUILTIN_DAED_DBETWEEN_WITH_ULP@plt>
movaps %xmm0,0x10(%rsp)
movsd  0xec1(%rip),%xmm0
movsd  0xec1(%rip),%xmm1
call   1030 <__BUILTIN_DAED_DBETWEEN_WITH_ULP@plt>
movapd %xmm0,%xmm1
movapd (%rsp),%xmm2
unpcklpd %xmm2,%xmm1
addsd  %xmm2,%xmm2
addsd  0xeab(%rip),%xmm2
mulsd  0xeab(%rip),%xmm2
movapd %xmm2,%xmm3
movapd 0x10(%rsp),%xmm2
mulsd  %xmm2,%xmm2
mulsd  %xmm0,%xmm2
mulsd  %xmm0,%xmm2
mulsd  %xmm3,%xmm2
movapd %xmm2,%xmm3
movapd 0xe9d(%rip),%xmm2
subpd  %xmm1,%xmm2
mulpd  %xmm0,%xmm0
shufpd $0x2,%xmm2,%xmm0
movapd 0xe98(%rip),%xmm1
unpcklpd %xmm3,%xmm1
divpd  %xmm0,%xmm1
movsd  0xe68(%rip),%xmm0
subsd  %xmm1,%xmm0
unpckhpd %xmm1,%xmm1
subsd  %xmm1,%xmm0
addsd  0xe5c(%rip),%xmm0
call   1040 <DSENSITIVITY@plt>
xor    %eax,%eax
add    $0x28,%rsp
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca double
%3 = alloca double
%4 = alloca double
%5 = alloca double
store i32 0, i32* %1
%6 = call double @__BUILTIN_DAED_DBETWEEN_WITH_ULP(double -4.500000e+00, double -3.000000e-01)
store double %6, double* %2
%7 = call double @__BUILTIN_DAED_DBETWEEN_WITH_ULP(double 4.000000e-01, double 9.000000e-01)
store double %7, double* %3
%8 = call double @__BUILTIN_DAED_DBETWEEN_WITH_ULP(double 3.800000e+00, double 0x401F333333333333)
store double %8, double* %4
%9 = load double, double* %4
%10 = load double, double* %4
%11 = fmul double %9, %10
%12 = fdiv double 2.000000e+00, %11
%13 = fsub double 3.000000e+00, %12
%14 = load double, double* %2
%15 = call double @llvm.fmuladd.f64(double 2.000000e+00, double %14, double 1.000000e+00)
%16 = fmul double 1.250000e-01, %15
%17 = load double, double* %3
%18 = load double, double* %3
%19 = fmul double %17, %18
%20 = load double, double* %4
%21 = fmul double %19, %20
%22 = load double, double* %4
%23 = fmul double %21, %22
%24 = fmul double %16, %23
%25 = load double, double* %2
%26 = fsub double 1.000000e+00, %25
%27 = fdiv double %24, %26
%28 = fsub double %13, %27
%29 = fsub double %28, 5.000000e-01
store double %29, double* %5
%30 = load double, double* %5
%31 = call i32 @DSENSITIVITY(double %30)
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = tail call double @__BUILTIN_DAED_DBETWEEN_WITH_ULP(double -4.500000e+00, double -3.000000e-01)
%2 = tail call double @__BUILTIN_DAED_DBETWEEN_WITH_ULP(double 4.000000e-01, double 9.000000e-01)
%3 = tail call double @__BUILTIN_DAED_DBETWEEN_WITH_ULP(double 3.800000e+00, double 0x401F333333333333)
%4 = tail call double @llvm.fmuladd.f64(double %1, double 2.000000e+00, double 1.000000e+00)
%5 = fmul double %4, 1.250000e-01
%6 = fmul double %2, %2
%7 = fmul double %6, %3
%8 = fmul double %3, %7
%9 = fmul double %5, %8
%10 = insertelement <2 x double> <double poison, double 1.000000e+00>, double %3, i64 0
%11 = insertelement <2 x double> poison, double %3, i64 0
%12 = insertelement <2 x double> %11, double %1, i64 1
%13 = fmul <2 x double> %10, %12
%14 = fsub <2 x double> %10, %12
%15 = shufflevector <2 x double> %13, <2 x double> %14, <2 x i32> <i32 0, i32 3>
%16 = insertelement <2 x double> <double 2.000000e+00, double poison>, double %9, i64 1
%17 = fdiv <2 x double> %16, %15
%18 = extractelement <2 x double> %17, i64 0
%19 = fsub double 3.000000e+00, %18
%20 = extractelement <2 x double> %17, i64 1
%21 = fsub double %19, %20
%22 = fadd double %21, -5.000000e-01
%23 = tail call i32 @DSENSITIVITY(double %22)
ret i32 0
}