; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -O3 -mtriple=x86_64-pc-linux < %s | FileCheck --check-prefix=COMMON --check-prefix=NO-FMA --check-prefix=FMACALL64 --check-prefix=FMACALL32 %s
; RUN: llc -O3 -mtriple=x86_64-pc-linux -mattr=+fma < %s | FileCheck -check-prefix=COMMON --check-prefix=HAS-FMA --check-prefix=FMA64 --check-prefix=FMA32 %s

define <2 x double> @constrained_vector_fdiv() {
; NO-FMA-LABEL: constrained_vector_fdiv:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    movapd {{.*#+}} xmm0 = [1.000000e+00,2.000000e+00]
; NO-FMA-NEXT:    divpd {{.*}}(%rip), %xmm0
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_fdiv:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    vmovapd {{.*#+}} xmm0 = [1.000000e+00,2.000000e+00]
; HAS-FMA-NEXT:    vdivpd {{.*}}(%rip), %xmm0, %xmm0
; HAS-FMA-NEXT:    retq
entry:
  %div = call <2 x double> @llvm.experimental.constrained.fdiv.v2f64(
           <2 x double> <double 1.000000e+00, double 2.000000e+00>,
           <2 x double> <double 1.000000e+01, double 1.000000e+01>,
           metadata !"round.dynamic",
           metadata !"fpexcept.strict")
  ret <2 x double> %div
}

define <2 x double> @constrained_vector_fmul(<2 x double> %a) {
; NO-FMA-LABEL: constrained_vector_fmul:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    movapd {{.*#+}} xmm0 = [1.797693e+308,1.797693e+308]
; NO-FMA-NEXT:    mulpd {{.*}}(%rip), %xmm0
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_fmul:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    vmovapd {{.*#+}} xmm0 = [1.797693e+308,1.797693e+308]
; HAS-FMA-NEXT:    vmulpd {{.*}}(%rip), %xmm0, %xmm0
; HAS-FMA-NEXT:    retq
entry:
  %mul = call <2 x double> @llvm.experimental.constrained.fmul.v2f64(
           <2 x double> <double 0x7FEFFFFFFFFFFFFF, double 0x7FEFFFFFFFFFFFFF>,
           <2 x double> <double 2.000000e+00, double 3.000000e+00>,
           metadata !"round.dynamic",
           metadata !"fpexcept.strict")
  ret <2 x double> %mul
}

define <2 x double> @constrained_vector_fadd() {
; NO-FMA-LABEL: constrained_vector_fadd:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    movapd {{.*#+}} xmm0 = [1.797693e+308,1.797693e+308]
; NO-FMA-NEXT:    addpd {{.*}}(%rip), %xmm0
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_fadd:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    vmovapd {{.*#+}} xmm0 = [1.797693e+308,1.797693e+308]
; HAS-FMA-NEXT:    vaddpd {{.*}}(%rip), %xmm0, %xmm0
; HAS-FMA-NEXT:    retq
entry:
  %add = call <2 x double> @llvm.experimental.constrained.fadd.v2f64(
           <2 x double> <double 0x7FEFFFFFFFFFFFFF, double 0x7FEFFFFFFFFFFFFF>,
           <2 x double> <double 1.000000e+00, double 1.000000e-01>,
           metadata !"round.dynamic",
           metadata !"fpexcept.strict")
  ret <2 x double> %add
}

define <2 x double> @constrained_vector_fsub() {
; NO-FMA-LABEL: constrained_vector_fsub:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    movapd {{.*#+}} xmm0 = [-1.797693e+308,-1.797693e+308]
; NO-FMA-NEXT:    subpd {{.*}}(%rip), %xmm0
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_fsub:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    vmovapd {{.*#+}} xmm0 = [-1.797693e+308,-1.797693e+308]
; HAS-FMA-NEXT:    vsubpd {{.*}}(%rip), %xmm0, %xmm0
; HAS-FMA-NEXT:    retq
entry:
  %sub = call <2 x double> @llvm.experimental.constrained.fsub.v2f64(
           <2 x double> <double 0xFFEFFFFFFFFFFFFF, double 0xFFEFFFFFFFFFFFFF>,
           <2 x double> <double 1.000000e+00, double 1.000000e-01>,
           metadata !"round.dynamic",
           metadata !"fpexcept.strict")
  ret <2 x double> %sub
}

define <2 x double> @constrained_vector_fma_v2f64() {
; NO-FMA-LABEL: constrained_vector_fma_v2f64:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    subq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 32
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    movsd {{.*#+}} xmm1 = mem[0],zero
; NO-FMA-NEXT:    movsd {{.*#+}} xmm2 = mem[0],zero
; NO-FMA-NEXT:    callq fma
; NO-FMA-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    movsd {{.*#+}} xmm1 = mem[0],zero
; NO-FMA-NEXT:    movsd {{.*#+}} xmm2 = mem[0],zero
; NO-FMA-NEXT:    callq fma
; NO-FMA-NEXT:    unpcklpd (%rsp), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; NO-FMA-NEXT:    addq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 8
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_fma_v2f64:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    vmovapd {{.*#+}} xmm1 = [1.500000e+00,5.000000e-01]
; HAS-FMA-NEXT:    vmovapd {{.*#+}} xmm0 = [3.500000e+00,2.500000e+00]
; HAS-FMA-NEXT:    vfmadd213pd {{.*#+}} xmm0 = (xmm1 * xmm0) + mem
; HAS-FMA-NEXT:    retq
entry:
  %fma = call <2 x double> @llvm.experimental.constrained.fma.v2f64(
           <2 x double> <double 1.5, double 0.5>,
           <2 x double> <double 3.5, double 2.5>,
           <2 x double> <double 5.5, double 4.5>,
           metadata !"round.dynamic",
           metadata !"fpexcept.strict")
  ret <2 x double> %fma
}

define <4 x float> @constrained_vector_fma_v4f32() {
; NO-FMA-LABEL: constrained_vector_fma_v4f32:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    subq $40, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 48
; NO-FMA-NEXT:    movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
; NO-FMA-NEXT:    movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
; NO-FMA-NEXT:    movss {{.*#+}} xmm2 = mem[0],zero,zero,zero
; NO-FMA-NEXT:    callq fmaf
; NO-FMA-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
; NO-FMA-NEXT:    movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
; NO-FMA-NEXT:    movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
; NO-FMA-NEXT:    movss {{.*#+}} xmm2 = mem[0],zero,zero,zero
; NO-FMA-NEXT:    callq fmaf
; NO-FMA-NEXT:    unpcklps (%rsp), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
; NO-FMA-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
; NO-FMA-NEXT:    movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
; NO-FMA-NEXT:    movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
; NO-FMA-NEXT:    movss {{.*#+}} xmm2 = mem[0],zero,zero,zero
; NO-FMA-NEXT:    callq fmaf
; NO-FMA-NEXT:    movaps %xmm0, {{[-0-9]+}}(%r{{[sb]}}p) # 16-byte Spill
; NO-FMA-NEXT:    movss {{.*#+}} xmm0 = mem[0],zero,zero,zero
; NO-FMA-NEXT:    movss {{.*#+}} xmm1 = mem[0],zero,zero,zero
; NO-FMA-NEXT:    movss {{.*#+}} xmm2 = mem[0],zero,zero,zero
; NO-FMA-NEXT:    callq fmaf
; NO-FMA-NEXT:    unpcklps {{[-0-9]+}}(%r{{[sb]}}p), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
; NO-FMA-NEXT:    unpcklpd (%rsp), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; NO-FMA-NEXT:    addq $40, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 8
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_fma_v4f32:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    vmovaps {{.*#+}} xmm1 = [3.500000e+00,2.500000e+00,1.500000e+00,5.000000e-01]
; HAS-FMA-NEXT:    vmovaps {{.*#+}} xmm0 = [7.500000e+00,6.500000e+00,5.500000e+00,4.500000e+00]
; HAS-FMA-NEXT:    vfmadd213ps {{.*#+}} xmm0 = (xmm1 * xmm0) + mem
; HAS-FMA-NEXT:    retq
entry:
  %fma = call <4 x float> @llvm.experimental.constrained.fma.v4f32(
           <4 x float> <float 3.5, float 2.5, float 1.5, float 0.5>,
           <4 x float> <float 7.5, float 6.5, float 5.5, float 4.5>,
           <4 x float> <float 11.5, float 10.5, float 9.5, float 8.5>,
           metadata !"round.dynamic",
           metadata !"fpexcept.strict")
  ret <4 x float> %fma
}

define <2 x double> @constrained_vector_sqrt() {
; NO-FMA-LABEL: constrained_vector_sqrt:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    sqrtpd {{.*}}(%rip), %xmm0
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_sqrt:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    vsqrtpd {{.*}}(%rip), %xmm0
; HAS-FMA-NEXT:    retq
entry:
  %sqrt = call <2 x double> @llvm.experimental.constrained.sqrt.v2f64(
                              <2 x double> <double 42.0, double 42.1>,
                              metadata !"round.dynamic",
                              metadata !"fpexcept.strict")
  ret <2 x double> %sqrt
}

define <2 x double> @constrained_vector_pow() {
; NO-FMA-LABEL: constrained_vector_pow:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    subq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 32
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    movsd {{.*#+}} xmm1 = mem[0],zero
; NO-FMA-NEXT:    callq pow
; NO-FMA-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    movsd {{.*#+}} xmm1 = mem[0],zero
; NO-FMA-NEXT:    callq pow
; NO-FMA-NEXT:    unpcklpd (%rsp), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; NO-FMA-NEXT:    addq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 8
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_pow:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    subq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 32
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm1 = mem[0],zero
; HAS-FMA-NEXT:    callq pow
; HAS-FMA-NEXT:    vmovaps %xmm0, (%rsp) # 16-byte Spill
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm1 = mem[0],zero
; HAS-FMA-NEXT:    callq pow
; HAS-FMA-NEXT:    vunpcklpd (%rsp), %xmm0, %xmm0 # 16-byte Folded Reload
; HAS-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; HAS-FMA-NEXT:    addq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 8
; HAS-FMA-NEXT:    retq
entry:
  %pow = call <2 x double> @llvm.experimental.constrained.pow.v2f64(
                             <2 x double> <double 42.1, double 42.2>,
                             <2 x double> <double 3.0, double 3.0>,
                             metadata !"round.dynamic",
                             metadata !"fpexcept.strict")
  ret <2 x double> %pow
}

define <2 x double> @constrained_vector_powi() {
; NO-FMA-LABEL: constrained_vector_powi:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    subq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 32
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    movl $3, %edi
; NO-FMA-NEXT:    callq __powidf2
; NO-FMA-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    movl $3, %edi
; NO-FMA-NEXT:    callq __powidf2
; NO-FMA-NEXT:    unpcklpd (%rsp), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; NO-FMA-NEXT:    addq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 8
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_powi:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    subq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 32
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    movl $3, %edi
; HAS-FMA-NEXT:    callq __powidf2
; HAS-FMA-NEXT:    vmovaps %xmm0, (%rsp) # 16-byte Spill
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    movl $3, %edi
; HAS-FMA-NEXT:    callq __powidf2
; HAS-FMA-NEXT:    vunpcklpd (%rsp), %xmm0, %xmm0 # 16-byte Folded Reload
; HAS-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; HAS-FMA-NEXT:    addq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 8
; HAS-FMA-NEXT:    retq
entry:
  %powi = call <2 x double> @llvm.experimental.constrained.powi.v2f64(
                              <2 x double> <double 42.1, double 42.2>,
                              i32 3,
                              metadata !"round.dynamic",
                              metadata !"fpexcept.strict")
  ret <2 x double> %powi
}

define <2 x double> @constrained_vector_sin() {
; NO-FMA-LABEL: constrained_vector_sin:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    subq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 32
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq sin
; NO-FMA-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq sin
; NO-FMA-NEXT:    unpcklpd (%rsp), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; NO-FMA-NEXT:    addq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 8
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_sin:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    subq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 32
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    callq sin
; HAS-FMA-NEXT:    vmovaps %xmm0, (%rsp) # 16-byte Spill
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    callq sin
; HAS-FMA-NEXT:    vunpcklpd (%rsp), %xmm0, %xmm0 # 16-byte Folded Reload
; HAS-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; HAS-FMA-NEXT:    addq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 8
; HAS-FMA-NEXT:    retq
entry:
  %sin = call <2 x double> @llvm.experimental.constrained.sin.v2f64(
                             <2 x double> <double 42.0, double 42.1>,
                             metadata !"round.dynamic",
                             metadata !"fpexcept.strict")
  ret <2 x double> %sin
}

define <2 x double> @constrained_vector_cos() {
; NO-FMA-LABEL: constrained_vector_cos:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    subq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 32
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq cos
; NO-FMA-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq cos
; NO-FMA-NEXT:    unpcklpd (%rsp), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; NO-FMA-NEXT:    addq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 8
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_cos:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    subq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 32
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    callq cos
; HAS-FMA-NEXT:    vmovaps %xmm0, (%rsp) # 16-byte Spill
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    callq cos
; HAS-FMA-NEXT:    vunpcklpd (%rsp), %xmm0, %xmm0 # 16-byte Folded Reload
; HAS-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; HAS-FMA-NEXT:    addq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 8
; HAS-FMA-NEXT:    retq
entry:
  %cos = call <2 x double> @llvm.experimental.constrained.cos.v2f64(
                             <2 x double> <double 42.0, double 42.1>,
                             metadata !"round.dynamic",
                             metadata !"fpexcept.strict")
  ret <2 x double> %cos
}

define <2 x double> @constrained_vector_exp() {
; NO-FMA-LABEL: constrained_vector_exp:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    subq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 32
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq exp
; NO-FMA-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq exp
; NO-FMA-NEXT:    unpcklpd (%rsp), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; NO-FMA-NEXT:    addq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 8
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_exp:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    subq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 32
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    callq exp
; HAS-FMA-NEXT:    vmovaps %xmm0, (%rsp) # 16-byte Spill
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    callq exp
; HAS-FMA-NEXT:    vunpcklpd (%rsp), %xmm0, %xmm0 # 16-byte Folded Reload
; HAS-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; HAS-FMA-NEXT:    addq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 8
; HAS-FMA-NEXT:    retq
entry:
  %exp = call <2 x double> @llvm.experimental.constrained.exp.v2f64(
                             <2 x double> <double 42.0, double 42.1>,
                             metadata !"round.dynamic",
                             metadata !"fpexcept.strict")
  ret <2 x double> %exp
}

define <2 x double> @constrained_vector_exp2() {
; NO-FMA-LABEL: constrained_vector_exp2:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    subq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 32
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq exp2
; NO-FMA-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq exp2
; NO-FMA-NEXT:    unpcklpd (%rsp), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; NO-FMA-NEXT:    addq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 8
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_exp2:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    subq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 32
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    callq exp2
; HAS-FMA-NEXT:    vmovaps %xmm0, (%rsp) # 16-byte Spill
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    callq exp2
; HAS-FMA-NEXT:    vunpcklpd (%rsp), %xmm0, %xmm0 # 16-byte Folded Reload
; HAS-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; HAS-FMA-NEXT:    addq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 8
; HAS-FMA-NEXT:    retq
entry:
  %exp2 = call <2 x double> @llvm.experimental.constrained.exp2.v2f64(
                              <2 x double> <double 42.1, double 42.0>,
                              metadata !"round.dynamic",
                              metadata !"fpexcept.strict")
  ret <2 x double> %exp2
}

define <2 x double> @constrained_vector_log() {
; NO-FMA-LABEL: constrained_vector_log:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    subq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 32
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq log
; NO-FMA-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq log
; NO-FMA-NEXT:    unpcklpd (%rsp), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; NO-FMA-NEXT:    addq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 8
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_log:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    subq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 32
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    callq log
; HAS-FMA-NEXT:    vmovaps %xmm0, (%rsp) # 16-byte Spill
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    callq log
; HAS-FMA-NEXT:    vunpcklpd (%rsp), %xmm0, %xmm0 # 16-byte Folded Reload
; HAS-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; HAS-FMA-NEXT:    addq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 8
; HAS-FMA-NEXT:    retq
entry:
  %log = call <2 x double> @llvm.experimental.constrained.log.v2f64(
                             <2 x double> <double 42.0, double 42.1>,
                             metadata !"round.dynamic",
                             metadata !"fpexcept.strict")
  ret <2 x double> %log
}

define <2 x double> @constrained_vector_log10() {
; NO-FMA-LABEL: constrained_vector_log10:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    subq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 32
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq log10
; NO-FMA-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq log10
; NO-FMA-NEXT:    unpcklpd (%rsp), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; NO-FMA-NEXT:    addq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 8
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_log10:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    subq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 32
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    callq log10
; HAS-FMA-NEXT:    vmovaps %xmm0, (%rsp) # 16-byte Spill
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    callq log10
; HAS-FMA-NEXT:    vunpcklpd (%rsp), %xmm0, %xmm0 # 16-byte Folded Reload
; HAS-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; HAS-FMA-NEXT:    addq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 8
; HAS-FMA-NEXT:    retq
entry:
  %log10 = call <2 x double> @llvm.experimental.constrained.log10.v2f64(
                               <2 x double> <double 42.0, double 42.1>,
                               metadata !"round.dynamic",
                               metadata !"fpexcept.strict")
  ret <2 x double> %log10
}

define <2 x double> @constrained_vector_log2() {
; NO-FMA-LABEL: constrained_vector_log2:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    subq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 32
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq log2
; NO-FMA-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq log2
; NO-FMA-NEXT:    unpcklpd (%rsp), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; NO-FMA-NEXT:    addq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 8
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_log2:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    subq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 32
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    callq log2
; HAS-FMA-NEXT:    vmovaps %xmm0, (%rsp) # 16-byte Spill
; HAS-FMA-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
; HAS-FMA-NEXT:    callq log2
; HAS-FMA-NEXT:    vunpcklpd (%rsp), %xmm0, %xmm0 # 16-byte Folded Reload
; HAS-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; HAS-FMA-NEXT:    addq $24, %rsp
; HAS-FMA-NEXT:    .cfi_def_cfa_offset 8
; HAS-FMA-NEXT:    retq
entry:
  %log2 = call <2 x double> @llvm.experimental.constrained.log2.v2f64(
                              <2 x double> <double 42.0, double 42.1>,
                              metadata !"round.dynamic",
                              metadata !"fpexcept.strict")
  ret <2 x double> %log2
}

define <2 x double> @constrained_vector_rint() {
; NO-FMA-LABEL: constrained_vector_rint:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    subq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 32
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq rint
; NO-FMA-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq rint
; NO-FMA-NEXT:    unpcklpd (%rsp), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; NO-FMA-NEXT:    addq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 8
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_rint:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    vroundpd $4, {{.*}}(%rip), %xmm0
; HAS-FMA-NEXT:    retq
entry:
  %rint = call <2 x double> @llvm.experimental.constrained.rint.v2f64(
                        <2 x double> <double 42.1, double 42.0>,
                        metadata !"round.dynamic",
                        metadata !"fpexcept.strict")
  ret <2 x double> %rint
}

define <2 x double> @constrained_vector_nearbyint() {
; NO-FMA-LABEL: constrained_vector_nearbyint:
; NO-FMA:       # %bb.0: # %entry
; NO-FMA-NEXT:    subq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 32
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq nearbyint
; NO-FMA-NEXT:    movaps %xmm0, (%rsp) # 16-byte Spill
; NO-FMA-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
; NO-FMA-NEXT:    callq nearbyint
; NO-FMA-NEXT:    unpcklpd (%rsp), %xmm0 # 16-byte Folded Reload
; NO-FMA-NEXT:    # xmm0 = xmm0[0],mem[0]
; NO-FMA-NEXT:    addq $24, %rsp
; NO-FMA-NEXT:    .cfi_def_cfa_offset 8
; NO-FMA-NEXT:    retq
;
; HAS-FMA-LABEL: constrained_vector_nearbyint:
; HAS-FMA:       # %bb.0: # %entry
; HAS-FMA-NEXT:    vroundpd $12, {{.*}}(%rip), %xmm0
; HAS-FMA-NEXT:    retq
entry:
  %nearby = call <2 x double> @llvm.experimental.constrained.nearbyint.v2f64(
                                <2 x double> <double 42.1, double 42.0>,
                                metadata !"round.dynamic",
                                metadata !"fpexcept.strict")
  ret <2 x double> %nearby
}


declare <2 x double> @llvm.experimental.constrained.fdiv.v2f64(<2 x double>, <2 x double>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.fmul.v2f64(<2 x double>, <2 x double>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.fadd.v2f64(<2 x double>, <2 x double>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.fsub.v2f64(<2 x double>, <2 x double>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.fma.v2f64(<2 x double>, <2 x double>, <2 x double>, metadata, metadata)
declare <4 x float> @llvm.experimental.constrained.fma.v4f32(<4 x float>, <4 x float>, <4 x float>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.sqrt.v2f64(<2 x double>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.pow.v2f64(<2 x double>, <2 x double>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.powi.v2f64(<2 x double>, i32, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.sin.v2f64(<2 x double>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.cos.v2f64(<2 x double>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.exp.v2f64(<2 x double>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.exp2.v2f64(<2 x double>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.log.v2f64(<2 x double>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.log10.v2f64(<2 x double>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.log2.v2f64(<2 x double>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.rint.v2f64(<2 x double>, metadata, metadata)
declare <2 x double> @llvm.experimental.constrained.nearbyint.v2f64(<2 x double>, metadata, metadata)