Recommitted at 96400ae2a45c5038ebb4f012f90ffc6dfb30369f ~Craig
On Thu, Feb 6, 2020 at 4:23 PM Craig Topper <craig.top...@gmail.com> wrote: > You can't generate assembly from a frontend test unless you also put > "REQUIRES: x86-registered-target" in the test > > ~Craig > > > On Thu, Feb 6, 2020 at 4:17 PM Kevin P. Neal via cfe-commits < > cfe-commits@lists.llvm.org> wrote: > >> >> Author: Kevin P. Neal >> Date: 2020-02-06T19:17:14-05:00 >> New Revision: ad0e03fd4c8066843f4138e44661ee0287ceb631 >> >> URL: >> https://github.com/llvm/llvm-project/commit/ad0e03fd4c8066843f4138e44661ee0287ceb631 >> DIFF: >> https://github.com/llvm/llvm-project/commit/ad0e03fd4c8066843f4138e44661ee0287ceb631.diff >> >> LOG: Revert "[FPEnv][X86] Platform-specific builtin constrained FP >> enablement" >> >> This reverts commit 208470dd5d0a46bc3c24b66489b687eda4954262. >> >> Tests fail: >> error: unable to create target: 'No available targets are compatible with >> triple "x86_64-apple-darwin"' >> >> This happens on clang-hexagon-elf, clang-cmake-armv7-quick, and >> clang-cmake-armv7-quick bots. >> >> If anyone has any suggestions on why then I'm all ears. >> >> Differential Revision: https://reviews.llvm.org/D73570 >> >> Revert "[FPEnv][X86] Speculative fix for failures introduced by >> eda495426." >> >> This reverts commit 80e17e5fcc09dc5baa940022e6988fcb08c5d92d. >> >> The speculative fix didn't solve the test failures on Hexagon, ARMv6, and >> MSVC AArch64. >> >> Added: >> >> >> Modified: >> clang/lib/CodeGen/CGBuiltin.cpp >> >> Removed: >> clang/test/CodeGen/avx512f-builtins-constrained.c >> clang/test/CodeGen/fma-builtins-constrained.c >> clang/test/CodeGen/sse-builtins-constrained.c >> >> >> >> ################################################################################ >> diff --git a/clang/lib/CodeGen/CGBuiltin.cpp >> b/clang/lib/CodeGen/CGBuiltin.cpp >> index ca41413ae278..44947b4b1d64 100644 >> --- a/clang/lib/CodeGen/CGBuiltin.cpp >> +++ b/clang/lib/CodeGen/CGBuiltin.cpp >> @@ -10094,14 +10094,8 @@ static Value *EmitX86FMAExpr(CodeGenFunction >> &CGF, ArrayRef<Value *> Ops, >> Res = CGF.Builder.CreateCall(Intr, {A, B, C, Ops.back() }); >> } else { >> llvm::Type *Ty = A->getType(); >> - Function *FMA; >> - if (CGF.Builder.getIsFPConstrained()) { >> - FMA = >> CGF.CGM.getIntrinsic(Intrinsic::experimental_constrained_fma, Ty); >> - Res = CGF.Builder.CreateConstrainedFPCall(FMA, {A, B, C}); >> - } else { >> - FMA = CGF.CGM.getIntrinsic(Intrinsic::fma, Ty); >> - Res = CGF.Builder.CreateCall(FMA, {A, B, C}); >> - } >> + Function *FMA = CGF.CGM.getIntrinsic(Intrinsic::fma, Ty); >> + Res = CGF.Builder.CreateCall(FMA, {A, B, C} ); >> >> if (IsAddSub) { >> // Negate even elts in C using a mask. >> @@ -10111,11 +10105,7 @@ static Value *EmitX86FMAExpr(CodeGenFunction >> &CGF, ArrayRef<Value *> Ops, >> Indices[i] = i + (i % 2) * NumElts; >> >> Value *NegC = CGF.Builder.CreateFNeg(C); >> - Value *FMSub; >> - if (CGF.Builder.getIsFPConstrained()) >> - FMSub = CGF.Builder.CreateConstrainedFPCall(FMA, {A, B, NegC} ); >> - else >> - FMSub = CGF.Builder.CreateCall(FMA, {A, B, NegC} ); >> + Value *FMSub = CGF.Builder.CreateCall(FMA, {A, B, NegC} ); >> Res = CGF.Builder.CreateShuffleVector(FMSub, Res, Indices); >> } >> } >> @@ -10174,10 +10164,6 @@ EmitScalarFMAExpr(CodeGenFunction &CGF, >> MutableArrayRef<Value *> Ops, >> Intrinsic::x86_avx512_vfmadd_f64; >> Res = CGF.Builder.CreateCall(CGF.CGM.getIntrinsic(IID), >> {Ops[0], Ops[1], Ops[2], Ops[4]}); >> - } else if (CGF.Builder.getIsFPConstrained()) { >> - Function *FMA = CGF.CGM.getIntrinsic( >> - Intrinsic::experimental_constrained_fma, Ops[0]->getType()); >> - Res = CGF.Builder.CreateConstrainedFPCall(FMA, Ops.slice(0, 3)); >> } else { >> Function *FMA = CGF.CGM.getIntrinsic(Intrinsic::fma, >> Ops[0]->getType()); >> Res = CGF.Builder.CreateCall(FMA, Ops.slice(0, 3)); >> @@ -11906,15 +11892,8 @@ Value >> *CodeGenFunction::EmitX86BuiltinExpr(unsigned BuiltinID, >> case X86::BI__builtin_ia32_sqrtss: >> case X86::BI__builtin_ia32_sqrtsd: { >> Value *A = Builder.CreateExtractElement(Ops[0], (uint64_t)0); >> - Function *F; >> - if (Builder.getIsFPConstrained()) { >> - F = CGM.getIntrinsic(Intrinsic::experimental_constrained_sqrt, >> - A->getType()); >> - A = Builder.CreateConstrainedFPCall(F, {A}); >> - } else { >> - F = CGM.getIntrinsic(Intrinsic::sqrt, A->getType()); >> - A = Builder.CreateCall(F, {A}); >> - } >> + Function *F = CGM.getIntrinsic(Intrinsic::sqrt, A->getType()); >> + A = Builder.CreateCall(F, {A}); >> return Builder.CreateInsertElement(Ops[0], A, (uint64_t)0); >> } >> case X86::BI__builtin_ia32_sqrtsd_round_mask: >> @@ -11929,15 +11908,8 @@ Value >> *CodeGenFunction::EmitX86BuiltinExpr(unsigned BuiltinID, >> return Builder.CreateCall(CGM.getIntrinsic(IID), Ops); >> } >> Value *A = Builder.CreateExtractElement(Ops[1], (uint64_t)0); >> - Function *F; >> - if (Builder.getIsFPConstrained()) { >> - F = CGM.getIntrinsic(Intrinsic::experimental_constrained_sqrt, >> - A->getType()); >> - A = Builder.CreateConstrainedFPCall(F, A); >> - } else { >> - F = CGM.getIntrinsic(Intrinsic::sqrt, A->getType()); >> - A = Builder.CreateCall(F, A); >> - } >> + Function *F = CGM.getIntrinsic(Intrinsic::sqrt, A->getType()); >> + A = Builder.CreateCall(F, A); >> Value *Src = Builder.CreateExtractElement(Ops[2], (uint64_t)0); >> A = EmitX86ScalarSelect(*this, Ops[3], A, Src); >> return Builder.CreateInsertElement(Ops[0], A, (uint64_t)0); >> @@ -11959,14 +11931,8 @@ Value >> *CodeGenFunction::EmitX86BuiltinExpr(unsigned BuiltinID, >> return Builder.CreateCall(CGM.getIntrinsic(IID), Ops); >> } >> } >> - if (Builder.getIsFPConstrained()) { >> - Function *F = >> CGM.getIntrinsic(Intrinsic::experimental_constrained_sqrt, >> - Ops[0]->getType()); >> - return Builder.CreateConstrainedFPCall(F, Ops[0]); >> - } else { >> - Function *F = CGM.getIntrinsic(Intrinsic::sqrt, Ops[0]->getType()); >> - return Builder.CreateCall(F, Ops[0]); >> - } >> + Function *F = CGM.getIntrinsic(Intrinsic::sqrt, Ops[0]->getType()); >> + return Builder.CreateCall(F, Ops[0]); >> } >> case X86::BI__builtin_ia32_pabsb128: >> case X86::BI__builtin_ia32_pabsw128: >> >> diff --git a/clang/test/CodeGen/avx512f-builtins-constrained.c >> b/clang/test/CodeGen/avx512f-builtins-constrained.c >> deleted file mode 100644 >> index 75fad73d60f6..000000000000 >> --- a/clang/test/CodeGen/avx512f-builtins-constrained.c >> +++ /dev/null >> @@ -1,126 +0,0 @@ >> -// RUN: %clang_cc1 -fexperimental-new-pass-manager >> -flax-vector-conversions=none -ffreestanding %s >> -triple=x86_64-unknown-linux-gnu -target-feature +avx512f -emit-llvm -o - >> -Wall -Werror | FileCheck --check-prefix=COMMON --check-prefix=COMMONIR >> --check-prefix=UNCONSTRAINED %s >> -// RUN: %clang_cc1 -fexperimental-new-pass-manager >> -flax-vector-conversions=none -fms-extensions -fms-compatibility >> -ffreestanding %s -triple=x86_64-windows-msvc -target-feature +avx512f >> -emit-llvm -o - -Wall -Werror | FileCheck --check-prefix=COMMON >> --check-prefix=COMMONIR --check-prefix=UNCONSTRAINED %s >> -// RUN: %clang_cc1 -fexperimental-new-pass-manager >> -flax-vector-conversions=none -ffreestanding %s >> -triple=x86_64-unknown-linux-gnu -target-feature +avx512f >> -ffp-exception-behavior=strict -emit-llvm -o - -Wall -Werror | FileCheck >> --check-prefix=COMMON --check-prefix=COMMONIR --check-prefix=CONSTRAINED %s >> -// RUN: %clang_cc1 -fexperimental-new-pass-manager >> -flax-vector-conversions=none -fms-compatibility -ffreestanding %s >> -triple=x86_64-unknown-linux-gnu -target-feature +avx512f >> -ffp-exception-behavior=strict -emit-llvm -o - -Wall -Werror | FileCheck >> --check-prefix=COMMON --check-prefix=COMMONIR --check-prefix=CONSTRAINED %s >> -// RUN: %clang_cc1 -fexperimental-new-pass-manager >> -flax-vector-conversions=none -ffreestanding %s >> -triple=x86_64-unknown-linux-gnu -target-feature +avx512f -S -o - -Wall >> -Werror | FileCheck --check-prefix=COMMON --check-prefix=CHECK-ASM %s >> -// RUN: %clang_cc1 -fexperimental-new-pass-manager >> -flax-vector-conversions=none -ffreestanding %s >> -triple=x86_64-unknown-linux-gnu -target-feature +avx512f >> -ffp-exception-behavior=strict -S -o - -Wall -Werror | FileCheck >> --check-prefix=COMMON --check-prefix=CHECK-ASM %s >> - >> -#include <immintrin.h> >> - >> -__m512d test_mm512_sqrt_pd(__m512d a) >> -{ >> - // COMMON-LABEL: test_mm512_sqrt_pd >> - // UNCONSTRAINED: call <8 x double> @llvm.sqrt.v8f64(<8 x double> >> %{{.*}}) >> - // CONSTRAINED: call <8 x double> >> @llvm.experimental.constrained.sqrt.v8f64(<8 x double> %{{.*}}, metadata >> !{{.*}}) >> - // CHECK-ASM: vsqrtpd >> - return _mm512_sqrt_pd(a); >> -} >> - >> -__m512d test_mm512_mask_sqrt_pd (__m512d __W, __mmask8 __U, __m512d __A) >> -{ >> - // COMMON-LABEL: test_mm512_mask_sqrt_pd >> - // UNCONSTRAINED: call <8 x double> @llvm.sqrt.v8f64(<8 x double> >> %{{.*}}) >> - // CONSTRAINED: call <8 x double> >> @llvm.experimental.constrained.sqrt.v8f64(<8 x double> %{{.*}}, metadata >> !{{.*}}) >> - // CHECK-ASM: vsqrtpd >> - // COMMONIR: bitcast i8 %{{.*}} to <8 x i1> >> - // COMMONIR: select <8 x i1> %{{.*}}, <8 x double> %{{.*}}, <8 x >> double> %{{.*}} >> - return _mm512_mask_sqrt_pd (__W,__U,__A); >> -} >> - >> -__m512d test_mm512_maskz_sqrt_pd (__mmask8 __U, __m512d __A) >> -{ >> - // COMMON-LABEL: test_mm512_maskz_sqrt_pd >> - // UNCONSTRAINED: call <8 x double> @llvm.sqrt.v8f64(<8 x double> >> %{{.*}}) >> - // CONSTRAINED: call <8 x double> >> @llvm.experimental.constrained.sqrt.v8f64(<8 x double> %{{.*}}, metadata >> !{{.*}}) >> - // CHECK-ASM: vsqrtpd >> - // COMMONIR: bitcast i8 %{{.*}} to <8 x i1> >> - // COMMONIR: select <8 x i1> %{{.*}}, <8 x double> %{{.*}}, <8 x >> double> {{.*}} >> - return _mm512_maskz_sqrt_pd (__U,__A); >> -} >> - >> -__m512 test_mm512_sqrt_ps(__m512 a) >> -{ >> - // COMMON-LABEL: test_mm512_sqrt_ps >> - // UNCONSTRAINED: call <16 x float> @llvm.sqrt.v16f32(<16 x float> >> %{{.*}}) >> - // CONSTRAINED: call <16 x float> >> @llvm.experimental.constrained.sqrt.v16f32(<16 x float> %{{.*}}, metadata >> !{{.*}}) >> - // CHECK-ASM: vsqrtps >> - return _mm512_sqrt_ps(a); >> -} >> - >> -__m512 test_mm512_mask_sqrt_ps(__m512 __W, __mmask16 __U, __m512 __A) >> -{ >> - // COMMON-LABEL: test_mm512_mask_sqrt_ps >> - // UNCONSTRAINED: call <16 x float> @llvm.sqrt.v16f32(<16 x float> >> %{{.*}}) >> - // CONSTRAINED: call <16 x float> >> @llvm.experimental.constrained.sqrt.v16f32(<16 x float> %{{.*}}, metadata >> !{{.*}}) >> - // CHECK-ASM: vsqrtps >> - // COMMONIR: bitcast i16 %{{.*}} to <16 x i1> >> - // COMMONIR: select <16 x i1> %{{.*}}, <16 x float> %{{.*}}, <16 x >> float> %{{.*}} >> - return _mm512_mask_sqrt_ps( __W, __U, __A); >> -} >> - >> -__m512 test_mm512_maskz_sqrt_ps( __mmask16 __U, __m512 __A) >> -{ >> - // COMMON-LABEL: test_mm512_maskz_sqrt_ps >> - // UNCONSTRAINED: call <16 x float> @llvm.sqrt.v16f32(<16 x float> >> %{{.*}}) >> - // CONSTRAINED: call <16 x float> >> @llvm.experimental.constrained.sqrt.v16f32(<16 x float> %{{.*}}, metadata >> !{{.*}}) >> - // CHECK-ASM: vsqrtps >> - // COMMONIR: bitcast i16 %{{.*}} to <16 x i1> >> - // COMMONIR: select <16 x i1> %{{.*}}, <16 x float> %{{.*}}, <16 x >> float> {{.*}} >> - return _mm512_maskz_sqrt_ps(__U ,__A); >> -} >> - >> -__m128d test_mm_mask_sqrt_sd(__m128d __W, __mmask8 __U, __m128d __A, >> __m128d __B){ >> - // COMMON-LABEL: test_mm_mask_sqrt_sd >> - // COMMONIR: extractelement <2 x double> %{{.*}}, i64 0 >> - // UNCONSTRAINED-NEXT: call double @llvm.sqrt.f64(double %{{.*}}) >> - // CONSTRAINED-NEXT: call double >> @llvm.experimental.constrained.sqrt.f64(double %{{.*}}, metadata !{{.*}}) >> - // CHECK-ASM: vsqrtsd >> - // COMMONIR-NEXT: extractelement <2 x double> %{{.*}}, i64 0 >> - // COMMONIR-NEXT: bitcast i8 %{{.*}} to <8 x i1> >> - // COMMONIR-NEXT: extractelement <8 x i1> %{{.*}}, i64 0 >> - // COMMONIR-NEXT: select i1 {{.*}}, double {{.*}}, double {{.*}} >> - // COMMONIR-NEXT: insertelement <2 x double> %{{.*}}, double {{.*}}, >> i64 0 >> - return _mm_mask_sqrt_sd(__W,__U,__A,__B); >> -} >> - >> -__m128d test_mm_maskz_sqrt_sd(__mmask8 __U, __m128d __A, __m128d __B){ >> - // COMMON-LABEL: test_mm_maskz_sqrt_sd >> - // COMMONIR: extractelement <2 x double> %{{.*}}, i64 0 >> - // UNCONSTRAINED-NEXT: call double @llvm.sqrt.f64(double %{{.*}}) >> - // CONSTRAINED-NEXT: call double >> @llvm.experimental.constrained.sqrt.f64(double %{{.*}}, metadata !{{.*}}) >> - // CHECK-ASM: vsqrtsd >> - // COMMONIR-NEXT: extractelement <2 x double> %{{.*}}, i64 0 >> - // COMMONIR-NEXT: bitcast i8 %{{.*}} to <8 x i1> >> - // COMMONIR-NEXT: extractelement <8 x i1> %{{.*}}, i64 0 >> - // COMMONIR-NEXT: select i1 {{.*}}, double {{.*}}, double {{.*}} >> - // COMMONIR-NEXT: insertelement <2 x double> %{{.*}}, double {{.*}}, >> i64 0 >> - return _mm_maskz_sqrt_sd(__U,__A,__B); >> -} >> - >> -__m128 test_mm_mask_sqrt_ss(__m128 __W, __mmask8 __U, __m128 __A, __m128 >> __B){ >> - // COMMON-LABEL: test_mm_mask_sqrt_ss >> - // COMMONIR: extractelement <4 x float> %{{.*}}, i64 0 >> - // UNCONSTRAINED-NEXT: call float @llvm.sqrt.f32(float %{{.*}}) >> - // CONSTRAINED-NEXT: call float >> @llvm.experimental.constrained.sqrt.f32(float %{{.*}}, metadata !{{.*}}) >> - // CHECK-ASM: vsqrtss >> - // COMMONIR-NEXT: extractelement <4 x float> %{{.*}}, i64 0 >> - // COMMONIR-NEXT: bitcast i8 %{{.*}} to <8 x i1> >> - // COMMONIR-NEXT: extractelement <8 x i1> %{{.*}}, i64 0 >> - // COMMONIR-NEXT: select i1 {{.*}}, float {{.*}}, float {{.*}} >> - // COMMONIR-NEXT: insertelement <4 x float> %{{.*}}, float {{.*}}, i64 >> 0 >> - return _mm_mask_sqrt_ss(__W,__U,__A,__B); >> -} >> - >> -__m128 test_mm_maskz_sqrt_ss(__mmask8 __U, __m128 __A, __m128 __B){ >> - // COMMON-LABEL: test_mm_maskz_sqrt_ss >> - // COMMONIR: extractelement <4 x float> %{{.*}}, i64 0 >> - // UNCONSTRAINED-NEXT: call float @llvm.sqrt.f32(float %{{.*}}) >> - // CONSTRAINED-NEXT: call float >> @llvm.experimental.constrained.sqrt.f32(float %{{.*}}, metadata !{{.*}}) >> - // CHECK-ASM: vsqrtss >> - // COMMONIR-NEXT: extractelement <4 x float> %{{.*}}, i64 0 >> - // COMMONIR-NEXT: bitcast i8 %{{.*}} to <8 x i1> >> - // COMMONIR-NEXT: extractelement <8 x i1> %{{.*}}, i64 0 >> - // COMMONIR-NEXT: select i1 {{.*}}, float {{.*}}, float {{.*}} >> - // COMMONIR-NEXT: insertelement <4 x float> %{{.*}}, float {{.*}}, i64 >> 0 >> - return _mm_maskz_sqrt_ss(__U,__A,__B); >> -} >> >> diff --git a/clang/test/CodeGen/fma-builtins-constrained.c >> b/clang/test/CodeGen/fma-builtins-constrained.c >> deleted file mode 100644 >> index 8a3ce821a568..000000000000 >> --- a/clang/test/CodeGen/fma-builtins-constrained.c >> +++ /dev/null >> @@ -1,352 +0,0 @@ >> -// RUN: %clang_cc1 -ffreestanding %s -triple=x86_64-unknown-linux-gnu >> -target-feature +fma -O -emit-llvm -o - | FileCheck --check-prefix=COMMON >> --check-prefix=COMMONIR --check-prefix=UNCONSTRAINED %s >> -// RUN: %clang_cc1 -ffreestanding %s -triple=x86_64-unknown-linux-gnu >> -target-feature +fma -ffp-exception-behavior=strict -O -emit-llvm -o - | >> FileCheck --check-prefix=COMMON --check-prefix=COMMONIR >> --check-prefix=CONSTRAINED %s >> -// RUN: %clang_cc1 -ffreestanding %s -triple=x86_64-unknown-linux-gnu >> -target-feature +fma -O -S -o - | FileCheck --check-prefix=COMMON >> --check-prefix=CHECK-ASM %s >> -// RUN: %clang_cc1 -ffreestanding %s -triple=x86_64-unknown-linux-gnu >> -target-feature +fma -O -ffp-exception-behavior=strict -S -o - | FileCheck >> --check-prefix=COMMON --check-prefix=CHECK-ASM %s >> - >> -// FIXME: Several of these tests are broken when constrained. >> - >> -#include <immintrin.h> >> - >> -__m128 test_mm_fmadd_ps(__m128 a, __m128 b, __m128 c) { >> - // COMMON-LABEL: test_mm_fmadd_ps >> - // UNCONSTRAINED: call <4 x float> @llvm.fma.v4f32(<4 x float> >> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %{{.*}}) >> - // CONSTRAINED: call <4 x float> >> @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> >> %{{.*}}, <4 x float> %{{.*}}, metadata !{{.*}}) >> - // CHECK-ASM: vfmadd213ps >> - return _mm_fmadd_ps(a, b, c); >> -} >> - >> -__m128d test_mm_fmadd_pd(__m128d a, __m128d b, __m128d c) { >> - // COMMON-LABEL: test_mm_fmadd_pd >> - // UNCONSTRAINED: call <2 x double> @llvm.fma.v2f64(<2 x double> >> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}}) >> - // CONSTRAINED: call <2 x double> >> @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> >> %{{.*}}, <2 x double> %{{.*}}, metadata !{{.*}}) >> - // CHECK-ASM: vfmadd213pd >> - return _mm_fmadd_pd(a, b, c); >> -} >> - >> -__m128 test_mm_fmadd_ss(__m128 a, __m128 b, __m128 c) { >> - // COMMON-LABEL: test_mm_fmadd_ss >> - // COMMONIR: extractelement <4 x float> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <4 x float> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <4 x float> %{{.*}}, i64 0 >> - // UNCONSTRAINED: call float @llvm.fma.f32(float %{{.*}}, float >> %{{.*}}, float %{{.*}}) >> - // CONSTRAINED: call float >> @llvm.experimental.constrained.fma.f32(float %{{.*}}, float %{{.*}}, float >> %{{.*}}, metadata !{{.*}}) >> - // CHECK-ASM: vfmadd213ss >> - // COMMONIR: insertelement <4 x float> %{{.*}}, float %{{.*}}, i64 0 >> - return _mm_fmadd_ss(a, b, c); >> -} >> - >> -__m128d test_mm_fmadd_sd(__m128d a, __m128d b, __m128d c) { >> - // COMMON-LABEL: test_mm_fmadd_sd >> - // COMMONIR: extractelement <2 x double> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <2 x double> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <2 x double> %{{.*}}, i64 0 >> - // UNCONSTRAINED: call double @llvm.fma.f64(double %{{.*}}, double >> %{{.*}}, double %{{.*}}) >> - // CONSTRAINED: call double >> @llvm.experimental.constrained.fma.f64(double %{{.*}}, double %{{.*}}, >> double %{{.*}}, metadata !{{.*}}) >> - // CHECK-ASM: vfmadd213sd >> - // COMMONIR: insertelement <2 x double> %{{.*}}, double %{{.*}}, i64 0 >> - return _mm_fmadd_sd(a, b, c); >> -} >> - >> -__m128 test_mm_fmsub_ps(__m128 a, __m128 b, __m128 c) { >> - // COMMON-LABEL: test_mm_fmsub_ps >> - // COMMONIR: [[NEG:%.+]] = fneg <4 x float> %{{.+}} >> - // UNCONSTRAINED: call <4 x float> @llvm.fma.v4f32(<4 x float> >> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %{{.*}}) >> - // CONSTRAINED: call <4 x float> >> @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> >> %{{.*}}, <4 x float> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfmsub213ps >> - return _mm_fmsub_ps(a, b, c); >> -} >> - >> -__m128d test_mm_fmsub_pd(__m128d a, __m128d b, __m128d c) { >> - // COMMON-LABEL: test_mm_fmsub_pd >> - // COMMONIR: [[NEG:%.+]] = fneg <2 x double> %{{.+}} >> - // UNCONSTRAINED: call <2 x double> @llvm.fma.v2f64(<2 x double> >> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}}) >> - // CONSTRAINED: call <2 x double> >> @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> >> %{{.*}}, <2 x double> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfmsub213pd >> - return _mm_fmsub_pd(a, b, c); >> -} >> - >> -__m128 test_mm_fmsub_ss(__m128 a, __m128 b, __m128 c) { >> - // COMMON-LABEL: test_mm_fmsub_ss >> - // COMMONIR: [[NEG:%.+]] = fneg <4 x float> %{{.+}} >> - // COMMONIR: extractelement <4 x float> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <4 x float> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <4 x float> %{{.*}}, i64 0 >> - // UNCONSTRAINED: call float @llvm.fma.f32(float %{{.*}}, float >> %{{.*}}, float %{{.*}}) >> - // CONSTRAINED: call float >> @llvm.experimental.constrained.fma.f32(float %{{.*}}, float %{{.*}}, float >> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfmsub213ss >> - // COMMONIR: insertelement <4 x float> %{{.*}}, float %{{.*}}, i64 0 >> - return _mm_fmsub_ss(a, b, c); >> -} >> - >> -__m128d test_mm_fmsub_sd(__m128d a, __m128d b, __m128d c) { >> - // COMMON-LABEL: test_mm_fmsub_sd >> - // COMMONIR: [[NEG:%.+]] = fneg <2 x double> %{{.+}} >> - // COMMONIR: extractelement <2 x double> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <2 x double> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <2 x double> %{{.*}}, i64 0 >> - // UNCONSTRAINED: call double @llvm.fma.f64(double %{{.*}}, double >> %{{.*}}, double %{{.*}}) >> - // CONSTRAINED: call double >> @llvm.experimental.constrained.fma.f64(double %{{.*}}, double %{{.*}}, >> double %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfmsub213sd >> - // COMMONIR: insertelement <2 x double> %{{.*}}, double %{{.*}}, i64 0 >> - return _mm_fmsub_sd(a, b, c); >> -} >> - >> -__m128 test_mm_fnmadd_ps(__m128 a, __m128 b, __m128 c) { >> - // COMMON-LABEL: test_mm_fnmadd_ps >> - // COMMONIR: [[NEG:%.+]] = fneg <4 x float> %{{.+}} >> - // UNCONSTRAINED: call <4 x float> @llvm.fma.v4f32(<4 x float> >> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %{{.*}}) >> - // CONSTRAINED: call <4 x float> >> @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> >> %{{.*}}, <4 x float> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfnmadd213ps >> - return _mm_fnmadd_ps(a, b, c); >> -} >> - >> -__m128d test_mm_fnmadd_pd(__m128d a, __m128d b, __m128d c) { >> - // COMMON-LABEL: test_mm_fnmadd_pd >> - // COMMONIR: [[NEG:%.+]] = fneg <2 x double> %{{.+}} >> - // UNCONSTRAINED: call <2 x double> @llvm.fma.v2f64(<2 x double> >> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}}) >> - // CONSTRAINED: call <2 x double> >> @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> >> %{{.*}}, <2 x double> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfnmadd213pd >> - return _mm_fnmadd_pd(a, b, c); >> -} >> - >> -__m128 test_mm_fnmadd_ss(__m128 a, __m128 b, __m128 c) { >> - // COMMON-LABEL: test_mm_fnmadd_ss >> - // COMMONIR: [[NEG:%.+]] = fneg <4 x float> %{{.+}} >> - // COMMONIR: extractelement <4 x float> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <4 x float> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <4 x float> %{{.*}}, i64 0 >> - // UNCONSTRAINED: call float @llvm.fma.f32(float %{{.*}}, float >> %{{.*}}, float %{{.*}}) >> - // CONSTRAINED: call float >> @llvm.experimental.constrained.fma.f32(float %{{.*}}, float %{{.*}}, float >> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfnmadd213ss >> - // COMMONIR: insertelement <4 x float> %{{.*}}, float %{{.*}}, i64 0 >> - return _mm_fnmadd_ss(a, b, c); >> -} >> - >> -__m128d test_mm_fnmadd_sd(__m128d a, __m128d b, __m128d c) { >> - // COMMON-LABEL: test_mm_fnmadd_sd >> - // COMMONIR: [[NEG:%.+]] = fneg <2 x double> %{{.+}} >> - // COMMONIR: extractelement <2 x double> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <2 x double> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <2 x double> %{{.*}}, i64 0 >> - // UNCONSTRAINED: call double @llvm.fma.f64(double %{{.*}}, double >> %{{.*}}, double %{{.*}}) >> - // CONSTRAINED: call double >> @llvm.experimental.constrained.fma.f64(double %{{.*}}, double %{{.*}}, >> double %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfnmadd213sd >> - // COMMONIR: insertelement <2 x double> %{{.*}}, double %{{.*}}, i64 0 >> - return _mm_fnmadd_sd(a, b, c); >> -} >> - >> -__m128 test_mm_fnmsub_ps(__m128 a, __m128 b, __m128 c) { >> - // COMMON-LABEL: test_mm_fnmsub_ps >> - // COMMONIR: [[NEG:%.+]] = fneg <4 x float> %{{.+}} >> - // COMMONIR: [[NEG2:%.+]] = fneg <4 x float> %{{.+}} >> - // UNCONSTRAINED: call <4 x float> @llvm.fma.v4f32(<4 x float> >> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %{{.*}}) >> - // CONSTRAINED: call <4 x float> >> @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> >> %{{.*}}, <4 x float> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfnmsub213ps >> - return _mm_fnmsub_ps(a, b, c); >> -} >> - >> -__m128d test_mm_fnmsub_pd(__m128d a, __m128d b, __m128d c) { >> - // COMMON-LABEL: test_mm_fnmsub_pd >> - // COMMONIR: [[NEG:%.+]] = fneg <2 x double> %{{.+}} >> - // COMMONIR: [[NEG2:%.+]] = fneg <2 x double> %{{.+}} >> - // UNCONSTRAINED: call <2 x double> @llvm.fma.v2f64(<2 x double> >> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}}) >> - // CONSTRAINED: call <2 x double> >> @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> >> %{{.*}}, <2 x double> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfnmsub213pd >> - return _mm_fnmsub_pd(a, b, c); >> -} >> - >> -__m128 test_mm_fnmsub_ss(__m128 a, __m128 b, __m128 c) { >> - // COMMON-LABEL: test_mm_fnmsub_ss >> - // COMMONIR: [[NEG:%.+]] = fneg <4 x float> %{{.+}} >> - // COMMONIR: [[NEG2:%.+]] = fneg <4 x float> %{{.+}} >> - // COMMONIR: extractelement <4 x float> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <4 x float> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <4 x float> %{{.*}}, i64 0 >> - // UNCONSTRAINED: call float @llvm.fma.f32(float %{{.*}}, float >> %{{.*}}, float %{{.*}}) >> - // CONSTRAINED: call float >> @llvm.experimental.constrained.fma.f32(float %{{.*}}, float %{{.*}}, float >> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfnmsub213ss >> - // COMMONIR: insertelement <4 x float> %{{.*}}, float %{{.*}}, i64 0 >> - return _mm_fnmsub_ss(a, b, c); >> -} >> - >> -__m128d test_mm_fnmsub_sd(__m128d a, __m128d b, __m128d c) { >> - // COMMON-LABEL: test_mm_fnmsub_sd >> - // COMMONIR: [[NEG:%.+]] = fneg <2 x double> %{{.+}} >> - // COMMONIR: [[NEG2:%.+]] = fneg <2 x double> %{{.+}} >> - // COMMONIR: extractelement <2 x double> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <2 x double> %{{.*}}, i64 0 >> - // COMMONIR: extractelement <2 x double> %{{.*}}, i64 0 >> - // UNCONSTRAINED: call double @llvm.fma.f64(double %{{.*}}, double >> %{{.*}}, double %{{.*}}) >> - // CONSTRAINED: call double >> @llvm.experimental.constrained.fma.f64(double %{{.*}}, double %{{.*}}, >> double %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfnmsub213sd >> - // COMMONIR: insertelement <2 x double> %{{.*}}, double %{{.*}}, i64 0 >> - return _mm_fnmsub_sd(a, b, c); >> -} >> - >> -__m128 test_mm_fmaddsub_ps(__m128 a, __m128 b, __m128 c) { >> - // COMMON-LABEL: test_mm_fmaddsub_ps >> - // UNCONSTRAINED: [[ADD:%.+]] = tail call <4 x float> >> @llvm.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> >> %{{.*}}) >> - // CONSTRAINED: [[ADD:%.+]] = tail call <4 x float> >> @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> >> %{{.*}}, <4 x float> %{{.*}}, metadata !{{.*}}) >> - // COMMONIR: [[NEG:%.+]] = fneg <4 x float> %{{.+}} >> - // UNCONSTRAINED: [[SUB:%.+]] = tail call <4 x float> >> @llvm.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> >> [[NEG]]) >> - // CONSTRAINED: [[SUB:%.+]] = tail call <4 x float> >> @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> >> %{{.*}}, <4 x float> [[NEG]], metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfmaddsub213ps >> - // COMMONIR: shufflevector <4 x float> [[SUB]], <4 x float> [[ADD]], >> <4 x i32> <i32 0, i32 5, i32 2, i32 7> >> - return _mm_fmaddsub_ps(a, b, c); >> -} >> - >> -__m128d test_mm_fmaddsub_pd(__m128d a, __m128d b, __m128d c) { >> - // COMMON-LABEL: test_mm_fmaddsub_pd >> - // UNCONSTRAINED: [[ADD:%.+]] = tail call <2 x double> >> @llvm.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> >> %{{.*}}) >> - // CONSTRAINED: [[ADD:%.+]] = tail call <2 x double> >> @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> >> %{{.*}}, <2 x double> %{{.*}}, metadata !{{.*}}) >> - // COMMONIR: [[NEG:%.+]] = fneg <2 x double> %{{.+}} >> - // UNCONSTRAINED: [[SUB:%.+]] = tail call <2 x double> >> @llvm.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> >> [[NEG]]) >> - // CONSTRAINED: [[SUB:%.+]] = tail call <2 x double> >> @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> >> %{{.*}}, <2 x double> [[NEG]], metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfmaddsub213pd >> - // COMMONIR: shufflevector <2 x double> [[SUB]], <2 x double> [[ADD]], >> <2 x i32> <i32 0, i32 3> >> - return _mm_fmaddsub_pd(a, b, c); >> -} >> - >> -__m128 test_mm_fmsubadd_ps(__m128 a, __m128 b, __m128 c) { >> - // COMMON-LABEL: test_mm_fmsubadd_ps >> - // COMMONIR: [[NEG:%.+]] = fneg <4 x float> %{{.+}} >> - // UNCONSTRAINED: [[SUB:%.+]] = tail call <4 x float> >> @llvm.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> >> [[NEG]] >> - // CONSTRAINED: [[SUB:%.+]] = tail call <4 x float> >> @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> >> %{{.*}}, <4 x float> [[NEG]], metadata !{{.*}}) >> - // UNCONSTRAINED: [[ADD:%.+]] = tail call <4 x float> >> @llvm.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> >> %{{.*}}) >> - // CONSTRAINED: [[ADD:%.+]] = tail call <4 x float> >> @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> >> %{{.*}}, <4 x float> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfmsubadd213ps >> - // COMMONIR: shufflevector <4 x float> [[ADD]], <4 x float> [[SUB]], >> <4 x i32> <i32 0, i32 5, i32 2, i32 7> >> - return _mm_fmsubadd_ps(a, b, c); >> -} >> - >> -__m128d test_mm_fmsubadd_pd(__m128d a, __m128d b, __m128d c) { >> - // COMMON-LABEL: test_mm_fmsubadd_pd >> - // COMMONIR: [[NEG:%.+]] = fneg <2 x double> %{{.+}} >> - // UNCONSTRAINED: [[SUB:%.+]] = tail call <2 x double> >> @llvm.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> >> [[NEG]]) >> - // CONSTRAINED: [[SUB:%.+]] = tail call <2 x double> >> @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> >> %{{.*}}, <2 x double> [[NEG]], metadata !{{.*}}) >> - // UNCONSTRAINED: [[ADD:%.+]] = tail call <2 x double> >> @llvm.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> >> %{{.*}}) >> - // CONSTRAINED: [[ADD:%.+]] = tail call <2 x double> >> @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> >> %{{.*}}, <2 x double> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfmsubadd213pd >> - // COMMONIR: shufflevector <2 x double> [[ADD]], <2 x double> [[SUB]], >> <2 x i32> <i32 0, i32 3> >> - return _mm_fmsubadd_pd(a, b, c); >> -} >> - >> -__m256 test_mm256_fmadd_ps(__m256 a, __m256 b, __m256 c) { >> - // COMMON-LABEL: test_mm256_fmadd_ps >> - // UNCONSTRAINED: call <8 x float> @llvm.fma.v8f32(<8 x float> >> %{{.*}}, <8 x float> %{{.*}}, <8 x float> %{{.*}}) >> - // CONSTRAINED: call <8 x float> >> @llvm.experimental.constrained.fma.v8f32(<8 x float> %{{.*}}, <8 x float> >> %{{.*}}, <8 x float> %{{.*}}, metadata !{{.*}}) >> - // CHECK-ASM: vfmadd213ps >> - return _mm256_fmadd_ps(a, b, c); >> -} >> - >> -__m256d test_mm256_fmadd_pd(__m256d a, __m256d b, __m256d c) { >> - // COMMON-LABEL: test_mm256_fmadd_pd >> - // UNCONSTRAINED: call <4 x double> @llvm.fma.v4f64(<4 x double> >> %{{.*}}, <4 x double> %{{.*}}, <4 x double> %{{.*}}) >> - // CONSTRAINED: call <4 x double> >> @llvm.experimental.constrained.fma.v4f64(<4 x double> %{{.*}}, <4 x double> >> %{{.*}}, <4 x double> %{{.*}}, metadata !{{.*}}) >> - // CHECK-ASM: vfmadd213pd >> - return _mm256_fmadd_pd(a, b, c); >> -} >> - >> -__m256 test_mm256_fmsub_ps(__m256 a, __m256 b, __m256 c) { >> - // COMMON-LABEL: test_mm256_fmsub_ps >> - // COMMONIR: [[NEG:%.+]] = fneg <8 x float> %{{.*}} >> - // UNCONSTRAINED: call <8 x float> @llvm.fma.v8f32(<8 x float> >> %{{.*}}, <8 x float> %{{.*}}, <8 x float> %{{.*}}) >> - // CONSTRAINED: call <8 x float> >> @llvm.experimental.constrained.fma.v8f32(<8 x float> %{{.*}}, <8 x float> >> %{{.*}}, <8 x float> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfmsub213ps >> - return _mm256_fmsub_ps(a, b, c); >> -} >> - >> -__m256d test_mm256_fmsub_pd(__m256d a, __m256d b, __m256d c) { >> - // COMMON-LABEL: test_mm256_fmsub_pd >> - // COMMONIR: [[NEG:%.+]] = fneg <4 x double> %{{.+}} >> - // UNCONSTRAINED: call <4 x double> @llvm.fma.v4f64(<4 x double> >> %{{.*}}, <4 x double> %{{.*}}, <4 x double> %{{.*}}) >> - // CONSTRAINED: call <4 x double> >> @llvm.experimental.constrained.fma.v4f64(<4 x double> %{{.*}}, <4 x double> >> %{{.*}}, <4 x double> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfmsub213pd >> - return _mm256_fmsub_pd(a, b, c); >> -} >> - >> -__m256 test_mm256_fnmadd_ps(__m256 a, __m256 b, __m256 c) { >> - // COMMON-LABEL: test_mm256_fnmadd_ps >> - // COMMONIR: [[NEG:%.+]] = fneg <8 x float> %{{.*}} >> - // UNCONSTRAINED: call <8 x float> @llvm.fma.v8f32(<8 x float> >> %{{.*}}, <8 x float> %{{.*}}, <8 x float> %{{.*}}) >> - // CONSTRAINED: call <8 x float> >> @llvm.experimental.constrained.fma.v8f32(<8 x float> %{{.*}}, <8 x float> >> %{{.*}}, <8 x float> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfnmadd213ps >> - return _mm256_fnmadd_ps(a, b, c); >> -} >> - >> -__m256d test_mm256_fnmadd_pd(__m256d a, __m256d b, __m256d c) { >> - // COMMON-LABEL: test_mm256_fnmadd_pd >> - // COMMONIR: [[NEG:%.+]] = fneg <4 x double> %{{.+}} >> - // UNCONSTRAINED: call <4 x double> @llvm.fma.v4f64(<4 x double> >> %{{.*}}, <4 x double> %{{.*}}, <4 x double> %{{.*}}) >> - // CONSTRAINED: call <4 x double> >> @llvm.experimental.constrained.fma.v4f64(<4 x double> %{{.*}}, <4 x double> >> %{{.*}}, <4 x double> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfnmadd213pd >> - return _mm256_fnmadd_pd(a, b, c); >> -} >> - >> -__m256 test_mm256_fnmsub_ps(__m256 a, __m256 b, __m256 c) { >> - // COMMON-LABEL: test_mm256_fnmsub_ps >> - // COMMONIR: [[NEG:%.+]] = fneg <8 x float> %{{.*}} >> - // COMMONIR: [[NEG2:%.+]] = fneg <8 x float> %{{.*}} >> - // UNCONSTRAINED: call <8 x float> @llvm.fma.v8f32(<8 x float> >> %{{.*}}, <8 x float> %{{.*}}, <8 x float> %{{.*}}) >> - // CONSTRAINED: call <8 x float> >> @llvm.experimental.constrained.fma.v8f32(<8 x float> %{{.*}}, <8 x float> >> %{{.*}}, <8 x float> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfnmsub213ps >> - return _mm256_fnmsub_ps(a, b, c); >> -} >> - >> -__m256d test_mm256_fnmsub_pd(__m256d a, __m256d b, __m256d c) { >> - // COMMON-LABEL: test_mm256_fnmsub_pd >> - // COMMONIR: [[NEG:%.+]] = fneg <4 x double> %{{.+}} >> - // COMMONIR: [[NEG2:%.+]] = fneg <4 x double> %{{.+}} >> - // UNCONSTRAINED: call <4 x double> @llvm.fma.v4f64(<4 x double> >> %{{.*}}, <4 x double> %{{.*}}, <4 x double> %{{.*}}) >> - // CONSTRAINED: call <4 x double> >> @llvm.experimental.constrained.fma.v4f64(<4 x double> %{{.*}}, <4 x double> >> %{{.*}}, <4 x double> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfnmsub213pd >> - return _mm256_fnmsub_pd(a, b, c); >> -} >> - >> -__m256 test_mm256_fmaddsub_ps(__m256 a, __m256 b, __m256 c) { >> - // COMMON-LABEL: test_mm256_fmaddsub_ps >> - // UNCONSTRAINED: [[ADD:%.+]] = tail call <8 x float> >> @llvm.fma.v8f32(<8 x float> %{{.*}}, <8 x float> %{{.*}}, <8 x float> >> %{{.*}}) >> - // CONSTRAINED: [[ADD:%.+]] = tail call <8 x float> >> @llvm.experimental.constrained.fma.v8f32(<8 x float> %{{.*}}, <8 x float> >> %{{.*}}, <8 x float> %{{.*}}) >> - // COMMONIR: [[NEG:%.+]] = fneg <8 x float> %{{.*}} >> - // UNCONSTRAINED: [[SUB:%.+]] = tail call <8 x float> >> @llvm.fma.v8f32(<8 x float> %{{.*}}, <8 x float> %{{.*}}, <8 x float> >> [[NEG]]) >> - // CONSTRAINED: [[SUB:%.+]] = tail call <8 x float> >> @llvm.experimental.constrained.fma.v8f32(<8 x float> %{{.*}}, <8 x float> >> %{{.*}}, <8 x float> [[NEG]], metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfmaddsub213ps >> - // COMMONIR: shufflevector <8 x float> [[SUB]], <8 x float> [[ADD]], >> <8 x i32> <i32 0, i32 9, i32 2, i32 11, i32 4, i32 13, i32 6, i32 15> >> - return _mm256_fmaddsub_ps(a, b, c); >> -} >> - >> -__m256d test_mm256_fmaddsub_pd(__m256d a, __m256d b, __m256d c) { >> - // COMMON-LABEL: test_mm256_fmaddsub_pd >> - // UNCONSTRAINED: [[ADD:%.+]] = tail call <4 x double> >> @llvm.fma.v4f64(<4 x double> %{{.*}}, <4 x double> %{{.*}}, <4 x double> >> %{{.*}}) >> - // CONSTRAINED: [[ADD:%.+]] = tail call <4 x double> >> @llvm.experimental.constrained.fma.v4f64(<4 x double> %{{.*}}, <4 x double> >> %{{.*}}, <4 x double> %{{.*}}, metadata !{{.*}}) >> - // COMMONIR: [[NEG:%.+]] = fneg <4 x double> %{{.+}} >> - // UNCONSTRAINED: [[SUB:%.+]] = tail call <4 x double> >> @llvm.fma.v4f64(<4 x double> %{{.*}}, <4 x double> %{{.*}}, <4 x double> >> %{{.*}}) >> - // CONSTRAINED: [[SUB:%.+]] = tail call <4 x double> >> @llvm.experimental.constrained.fma.v4f64(<4 x double> %{{.*}}, <4 x double> >> %{{.*}}, <4 x double> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfmaddsub213pd >> - // COMMONIR: shufflevector <4 x double> [[SUB]], <4 x double> [[ADD]], >> <4 x i32> <i32 0, i32 5, i32 2, i32 7> >> - return _mm256_fmaddsub_pd(a, b, c); >> -} >> - >> -__m256 test_mm256_fmsubadd_ps(__m256 a, __m256 b, __m256 c) { >> - // COMMON-LABEL: test_mm256_fmsubadd_ps >> - // COMMONIR: [[NEG:%.+]] = fneg <8 x float> %{{.*}} >> - // UNCONSTRAINED: [[SUB:%.+]] = tail call <8 x float> >> @llvm.fma.v8f32(<8 x float> %{{.*}}, <8 x float> %{{.*}}, <8 x float> >> [[NEG]]) >> - // CONSTRAINED: [[SUB:%.+]] = tail call <8 x float> >> @llvm.experimental.constrained.fma.v8f32(<8 x float> %{{.*}}, <8 x float> >> %{{.*}}, <8 x float> [[NEG]], metadata !{{.*}}) >> - // UNCONSTRAINED: [[ADD:%.+]] = tail call <8 x float> >> @llvm.fma.v8f32(<8 x float> %{{.*}}, <8 x float> %{{.*}}, <8 x float> >> %{{.*}}) >> - // CONSTRAINED: [[ADD:%.+]] = tail call <8 x float> >> @llvm.experimental.constrained.fma.v8f32(<8 x float> %{{.*}}, <8 x float> >> %{{.*}}, <8 x float> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfmsubadd213ps >> - // COMMONIR: shufflevector <8 x float> [[ADD]], <8 x float> [[SUB]], >> <8 x i32> <i32 0, i32 9, i32 2, i32 11, i32 4, i32 13, i32 6, i32 15> >> - return _mm256_fmsubadd_ps(a, b, c); >> -} >> - >> -__m256d test_mm256_fmsubadd_pd(__m256d a, __m256d b, __m256d c) { >> - // COMMON-LABEL: test_mm256_fmsubadd_pd >> - // COMMONIR: [[NEG:%.+]] = fneg <4 x double> %{{.+}} >> - // UNCONSTRAINED: [[SUB:%.+]] = tail call <4 x double> >> @llvm.fma.v4f64(<4 x double> %{{.*}}, <4 x double> %{{.*}}, <4 x double> >> [[NEG]]) >> - // CONSTRAINED: [[SUB:%.+]] = tail call <4 x double> >> @llvm.experimental.constrained.fma.v4f64(<4 x double> %{{.*}}, <4 x double> >> %{{.*}}, <4 x double> [[NEG]], metadata !{{.*}}) >> - // UNCONSTRAINED: [[ADD:%.+]] = tail call <4 x double> >> @llvm.fma.v4f64(<4 x double> %{{.*}}, <4 x double> %{{.*}}, <4 x double> >> %{{.*}}) >> - // CONSTRAINED: [[ADD:%.+]] = tail call <4 x double> >> @llvm.experimental.constrained.fma.v4f64(<4 x double> %{{.*}}, <4 x double> >> %{{.*}}, <4 x double> %{{.*}}, metadata !{{.*}}) >> - // FIXME-CHECK-ASM: vfmsubadd213pd >> - // COMMONIR: shufflevector <4 x double> [[ADD]], <4 x double> [[SUB]], >> <4 x i32> <i32 0, i32 5, i32 2, i32 7> >> - return _mm256_fmsubadd_pd(a, b, c); >> -} >> >> diff --git a/clang/test/CodeGen/sse-builtins-constrained.c >> b/clang/test/CodeGen/sse-builtins-constrained.c >> deleted file mode 100644 >> index af8e6e3a5dd7..000000000000 >> --- a/clang/test/CodeGen/sse-builtins-constrained.c >> +++ /dev/null >> @@ -1,26 +0,0 @@ >> -// RUN: %clang_cc1 -ffreestanding %s -triple=x86_64-unknown-linux-gnu >> -target-feature +sse -emit-llvm -o - -Wall -Werror | FileCheck %s >> --check-prefix=UNCONSTRAINED --check-prefix=COMMON --check-prefix=COMMONIR >> -// RUN: %clang_cc1 -ffreestanding %s -triple=x86_64-unknown-linux-gnu >> -target-feature +sse -ffp-exception-behavior=strict -emit-llvm -o - -Wall >> -Werror | FileCheck %s --check-prefix=CONSTRAINED --check-prefix=COMMON >> --check-prefix=COMMONIR >> -// RUN: %clang_cc1 -ffreestanding %s -triple=x86_64-unknown-linux-gnu >> -target-feature +sse -S %s -o - -Wall -Werror | FileCheck %s >> --check-prefix=CHECK-ASM --check-prefix=COMMON >> -// RUN: %clang_cc1 -ffreestanding %s -triple=x86_64-unknown-linux-gnu >> -target-feature +sse -ffp-exception-behavior=strict -S %s -o - -Wall >> -Werror | FileCheck %s --check-prefix=CHECK-ASM --check-prefix=COMMON >> - >> - >> -#include <immintrin.h> >> - >> -__m128 test_mm_sqrt_ps(__m128 x) { >> - // COMMON-LABEL: test_mm_sqrt_ps >> - // UNCONSTRAINED: call <4 x float> @llvm.sqrt.v4f32(<4 x float> {{.*}}) >> - // CONSTRAINED: call <4 x float> >> @llvm.experimental.constrained.sqrt.v4f32(<4 x float> {{.*}}, metadata >> !{{.*}}) >> - // CHECK-ASM: sqrtps >> - return _mm_sqrt_ps(x); >> -} >> - >> -__m128 test_sqrt_ss(__m128 x) { >> - // COMMON-LABEL: test_sqrt_ss >> - // COMMONIR: extractelement <4 x float> {{.*}}, i64 0 >> - // UNCONSTRAINED: call float @llvm.sqrt.f32(float {{.*}}) >> - // CONSTRAINED: call float >> @llvm.experimental.constrained.sqrt.f32(float {{.*}}, metadata !{{.*}}) >> - // CHECK-ASM: sqrtss >> - // COMMONIR: insertelement <4 x float> {{.*}}, float {{.*}}, i64 0 >> - return _mm_sqrt_ss(x); >> -} >> - >> >> >> >> _______________________________________________ >> cfe-commits mailing list >> cfe-commits@lists.llvm.org >> https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits >> >
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
