#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 */
double abs(double);
double UC_11_5_6(double M_1_v_s_d, double M_2_v_s_d, double V_1_k_s_d,
                 double V_2_k_s_d, double F_v_d, double h_1_v, double h_2_v) {
  return (abs(((M_1_v_s_d / h_1_v) + (M_2_v_s_d / h_2_v) +
               0.5 * (V_1_k_s_d + V_2_k_s_d)) /
              F_v_d));
}


x86 assembly (clang, -O0):
<UC_11_5_6>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
movsd  %xmm2,-0x18(%rbp)
movsd  %xmm3,-0x20(%rbp)
movsd  %xmm4,-0x28(%rbp)
movsd  %xmm5,-0x30(%rbp)
movsd  %xmm6,-0x38(%rbp)
movsd  -0x8(%rbp),%xmm1
divsd  -0x30(%rbp),%xmm1
movsd  -0x10(%rbp),%xmm0
divsd  -0x38(%rbp),%xmm0
addsd  %xmm0,%xmm1
movsd  -0x18(%rbp),%xmm0
addsd  -0x20(%rbp),%xmm0
movsd  0xe9b(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
divsd  -0x28(%rbp),%xmm0
call   1030 <abs@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<UC_11_5_6>:
unpcklpd %xmm1,%xmm0
unpcklpd %xmm6,%xmm5
divpd  %xmm5,%xmm0
movapd %xmm0,%xmm1
unpckhpd %xmm0,%xmm1
addsd  %xmm1,%xmm0
addsd  %xmm3,%xmm2
mulsd  0xecc(%rip),%xmm2
addsd  %xmm2,%xmm0
divsd  %xmm4,%xmm0
jmp    1030 <abs@plt>

LLVM IR (-O0):
define double @UC_11_5_6(double %0, double %1, double %2, double %3, double %4, double %5, double %6) {
%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
store double %6, double* %14
%15 = load double, double* %8
%16 = load double, double* %13
%17 = fdiv double %15, %16
%18 = load double, double* %9
%19 = load double, double* %14
%20 = fdiv double %18, %19
%21 = fadd double %17, %20
%22 = load double, double* %10
%23 = load double, double* %11
%24 = fadd double %22, %23
%25 = call double @llvm.fmuladd.f64(double 5.000000e-01, double %24, double %21)
%26 = load double, double* %12
%27 = fdiv double %25, %26
%28 = call double @abs(double %27)
ret double %28
}

LLVM IR (-O2):
define double @UC_11_5_6(double %0, double %1, double %2, double %3, double %4, double %5, double %6) {
%8 = insertelement <2 x double> poison, double %0, i64 0
%9 = insertelement <2 x double> %8, double %1, i64 1
%10 = insertelement <2 x double> poison, double %5, i64 0
%11 = insertelement <2 x double> %10, double %6, i64 1
%12 = fdiv <2 x double> %9, %11
%13 = shufflevector <2 x double> %12, <2 x double> poison, <2 x i32> <i32 1, i32 undef>
%14 = fadd <2 x double> %12, %13
%15 = extractelement <2 x double> %14, i64 0
%16 = fadd double %2, %3
%17 = tail call double @llvm.fmuladd.f64(double %16, double 5.000000e-01, double %15)
%18 = fdiv double %17, %4
%19 = tail call double @abs(double %18)
ret double %19
}