//===- llvm/unittest/CodeGen/AArch64SelectionDAGTest.cpp -------------------------===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // See https://llvm.org/LICENSE.txt for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// #include "llvm/Analysis/OptimizationRemarkEmitter.h" #include "llvm/AsmParser/Parser.h" #include "llvm/CodeGen/MachineModuleInfo.h" #include "llvm/CodeGen/SelectionDAG.h" #include "llvm/CodeGen/TargetLowering.h" #include "llvm/Support/KnownBits.h" #include "llvm/Support/SourceMgr.h" #include "llvm/Support/TargetRegistry.h" #include "llvm/Support/TargetSelect.h" #include "llvm/Target/TargetMachine.h" #include "gtest/gtest.h" namespace llvm { class AArch64SelectionDAGTest : public testing::Test { protected: static void SetUpTestCase() { InitializeAllTargets(); InitializeAllTargetMCs(); } void SetUp() override { StringRef Assembly = "define void @f() { ret void }"; Triple TargetTriple("aarch64--"); std::string Error; const Target *T = TargetRegistry::lookupTarget("", TargetTriple, Error); // FIXME: These tests do not depend on AArch64 specifically, but we have to // initialize a target. A skeleton Target for unittests would allow us to // always run these tests. if (!T) return; TargetOptions Options; TM = std::unique_ptr(static_cast( T->createTargetMachine("AArch64", "", "+sve", Options, None, None, CodeGenOpt::Aggressive))); if (!TM) return; SMDiagnostic SMError; M = parseAssemblyString(Assembly, SMError, Context); if (!M) report_fatal_error(SMError.getMessage()); M->setDataLayout(TM->createDataLayout()); F = M->getFunction("f"); if (!F) report_fatal_error("F?"); MachineModuleInfo MMI(TM.get()); MF = std::make_unique(*F, *TM, *TM->getSubtargetImpl(*F), 0, MMI); DAG = std::make_unique(*TM, CodeGenOpt::None); if (!DAG) report_fatal_error("DAG?"); OptimizationRemarkEmitter ORE(F); DAG->init(*MF, ORE, nullptr, nullptr, nullptr, nullptr, nullptr); } TargetLoweringBase::LegalizeTypeAction getTypeAction(EVT VT) { return DAG->getTargetLoweringInfo().getTypeAction(Context, VT); } EVT getTypeToTransformTo(EVT VT) { return DAG->getTargetLoweringInfo().getTypeToTransformTo(Context, VT); } LLVMContext Context; std::unique_ptr TM; std::unique_ptr M; Function *F; std::unique_ptr MF; std::unique_ptr DAG; }; TEST_F(AArch64SelectionDAGTest, computeKnownBits_ZERO_EXTEND_VECTOR_INREG) { if (!TM) return; SDLoc Loc; auto Int8VT = EVT::getIntegerVT(Context, 8); auto Int16VT = EVT::getIntegerVT(Context, 16); auto InVecVT = EVT::getVectorVT(Context, Int8VT, 4); auto OutVecVT = EVT::getVectorVT(Context, Int16VT, 2); auto InVec = DAG->getConstant(0, Loc, InVecVT); auto Op = DAG->getNode(ISD::ZERO_EXTEND_VECTOR_INREG, Loc, OutVecVT, InVec); auto DemandedElts = APInt(2, 3); KnownBits Known = DAG->computeKnownBits(Op, DemandedElts); EXPECT_TRUE(Known.isZero()); } TEST_F(AArch64SelectionDAGTest, computeKnownBitsSVE_ZERO_EXTEND_VECTOR_INREG) { if (!TM) return; SDLoc Loc; auto Int8VT = EVT::getIntegerVT(Context, 8); auto Int16VT = EVT::getIntegerVT(Context, 16); auto InVecVT = EVT::getVectorVT(Context, Int8VT, 4, true); auto OutVecVT = EVT::getVectorVT(Context, Int16VT, 2, true); auto InVec = DAG->getConstant(0, Loc, InVecVT); auto Op = DAG->getNode(ISD::ZERO_EXTEND_VECTOR_INREG, Loc, OutVecVT, InVec); auto DemandedElts = APInt(2, 3); KnownBits Known = DAG->computeKnownBits(Op, DemandedElts); // We don't know anything for SVE at the moment. EXPECT_EQ(Known.Zero, APInt(16, 0u)); EXPECT_EQ(Known.One, APInt(16, 0u)); EXPECT_FALSE(Known.isZero()); } TEST_F(AArch64SelectionDAGTest, computeKnownBits_EXTRACT_SUBVECTOR) { if (!TM) return; SDLoc Loc; auto IntVT = EVT::getIntegerVT(Context, 8); auto VecVT = EVT::getVectorVT(Context, IntVT, 3); auto IdxVT = EVT::getIntegerVT(Context, 64); auto Vec = DAG->getConstant(0, Loc, VecVT); auto ZeroIdx = DAG->getConstant(0, Loc, IdxVT); auto Op = DAG->getNode(ISD::EXTRACT_SUBVECTOR, Loc, VecVT, Vec, ZeroIdx); auto DemandedElts = APInt(3, 7); KnownBits Known = DAG->computeKnownBits(Op, DemandedElts); EXPECT_TRUE(Known.isZero()); } TEST_F(AArch64SelectionDAGTest, ComputeNumSignBits_SIGN_EXTEND_VECTOR_INREG) { if (!TM) return; SDLoc Loc; auto Int8VT = EVT::getIntegerVT(Context, 8); auto Int16VT = EVT::getIntegerVT(Context, 16); auto InVecVT = EVT::getVectorVT(Context, Int8VT, 4); auto OutVecVT = EVT::getVectorVT(Context, Int16VT, 2); auto InVec = DAG->getConstant(1, Loc, InVecVT); auto Op = DAG->getNode(ISD::SIGN_EXTEND_VECTOR_INREG, Loc, OutVecVT, InVec); auto DemandedElts = APInt(2, 3); EXPECT_EQ(DAG->ComputeNumSignBits(Op, DemandedElts), 15u); } TEST_F(AArch64SelectionDAGTest, ComputeNumSignBitsSVE_SIGN_EXTEND_VECTOR_INREG) { if (!TM) return; SDLoc Loc; auto Int8VT = EVT::getIntegerVT(Context, 8); auto Int16VT = EVT::getIntegerVT(Context, 16); auto InVecVT = EVT::getVectorVT(Context, Int8VT, 4, /*IsScalable=*/true); auto OutVecVT = EVT::getVectorVT(Context, Int16VT, 2, /*IsScalable=*/true); auto InVec = DAG->getConstant(1, Loc, InVecVT); auto Op = DAG->getNode(ISD::SIGN_EXTEND_VECTOR_INREG, Loc, OutVecVT, InVec); auto DemandedElts = APInt(2, 3); EXPECT_EQ(DAG->ComputeNumSignBits(Op, DemandedElts), 1u); } TEST_F(AArch64SelectionDAGTest, ComputeNumSignBits_EXTRACT_SUBVECTOR) { if (!TM) return; SDLoc Loc; auto IntVT = EVT::getIntegerVT(Context, 8); auto VecVT = EVT::getVectorVT(Context, IntVT, 3); auto IdxVT = EVT::getIntegerVT(Context, 64); auto Vec = DAG->getConstant(1, Loc, VecVT); auto ZeroIdx = DAG->getConstant(0, Loc, IdxVT); auto Op = DAG->getNode(ISD::EXTRACT_SUBVECTOR, Loc, VecVT, Vec, ZeroIdx); auto DemandedElts = APInt(3, 7); EXPECT_EQ(DAG->ComputeNumSignBits(Op, DemandedElts), 7u); } TEST_F(AArch64SelectionDAGTest, SimplifyDemandedVectorElts_EXTRACT_SUBVECTOR) { if (!TM) return; TargetLowering TL(*TM); SDLoc Loc; auto IntVT = EVT::getIntegerVT(Context, 8); auto VecVT = EVT::getVectorVT(Context, IntVT, 3); auto IdxVT = EVT::getIntegerVT(Context, 64); auto Vec = DAG->getConstant(1, Loc, VecVT); auto ZeroIdx = DAG->getConstant(0, Loc, IdxVT); auto Op = DAG->getNode(ISD::EXTRACT_SUBVECTOR, Loc, VecVT, Vec, ZeroIdx); auto DemandedElts = APInt(3, 7); auto KnownUndef = APInt(3, 0); auto KnownZero = APInt(3, 0); TargetLowering::TargetLoweringOpt TLO(*DAG, false, false); EXPECT_EQ(TL.SimplifyDemandedVectorElts(Op, DemandedElts, KnownUndef, KnownZero, TLO), false); } TEST_F(AArch64SelectionDAGTest, SimplifyDemandedBitsNEON) { if (!TM) return; TargetLowering TL(*TM); SDLoc Loc; auto Int8VT = EVT::getIntegerVT(Context, 8); auto InVecVT = EVT::getVectorVT(Context, Int8VT, 16); SDValue UnknownOp = DAG->getRegister(0, InVecVT); SDValue Mask1S = DAG->getConstant(0x8A, Loc, Int8VT); SDValue Mask1V = DAG->getSplatBuildVector(InVecVT, Loc, Mask1S); SDValue N0 = DAG->getNode(ISD::AND, Loc, InVecVT, Mask1V, UnknownOp); SDValue Mask2S = DAG->getConstant(0x55, Loc, Int8VT); SDValue Mask2V = DAG->getSplatBuildVector(InVecVT, Loc, Mask2S); SDValue Op = DAG->getNode(ISD::AND, Loc, InVecVT, N0, Mask2V); // N0 = ?000?0?0 // Mask2V = 01010101 // => // Known.Zero = 00100000 (0xAA) KnownBits Known; APInt DemandedBits = APInt(8, 0xFF); TargetLowering::TargetLoweringOpt TLO(*DAG, false, false); EXPECT_TRUE(TL.SimplifyDemandedBits(Op, DemandedBits, Known, TLO)); EXPECT_EQ(Known.Zero, APInt(8, 0xAA)); } TEST_F(AArch64SelectionDAGTest, SimplifyDemandedBitsSVE) { if (!TM) return; TargetLowering TL(*TM); SDLoc Loc; auto Int8VT = EVT::getIntegerVT(Context, 8); auto InVecVT = EVT::getVectorVT(Context, Int8VT, 16, /*IsScalable=*/true); SDValue UnknownOp = DAG->getRegister(0, InVecVT); SDValue Mask1S = DAG->getConstant(0x8A, Loc, Int8VT); SDValue Mask1V = DAG->getSplatVector(InVecVT, Loc, Mask1S); SDValue N0 = DAG->getNode(ISD::AND, Loc, InVecVT, Mask1V, UnknownOp); SDValue Mask2S = DAG->getConstant(0x55, Loc, Int8VT); SDValue Mask2V = DAG->getSplatVector(InVecVT, Loc, Mask2S); SDValue Op = DAG->getNode(ISD::AND, Loc, InVecVT, N0, Mask2V); KnownBits Known; APInt DemandedBits = APInt(8, 0xFF); TargetLowering::TargetLoweringOpt TLO(*DAG, false, false); EXPECT_FALSE(TL.SimplifyDemandedBits(Op, DemandedBits, Known, TLO)); EXPECT_EQ(Known.Zero, APInt(8, 0)); } // Piggy-backing on the AArch64 tests to verify SelectionDAG::computeKnownBits. TEST_F(AArch64SelectionDAGTest, ComputeKnownBits_ADD) { if (!TM) return; SDLoc Loc; auto IntVT = EVT::getIntegerVT(Context, 8); auto UnknownOp = DAG->getRegister(0, IntVT); auto Mask = DAG->getConstant(0x8A, Loc, IntVT); auto N0 = DAG->getNode(ISD::AND, Loc, IntVT, Mask, UnknownOp); auto N1 = DAG->getConstant(0x55, Loc, IntVT); auto Op = DAG->getNode(ISD::ADD, Loc, IntVT, N0, N1); // N0 = ?000?0?0 // N1 = 01010101 // => // Known.One = 01010101 (0x55) // Known.Zero = 00100000 (0x20) KnownBits Known = DAG->computeKnownBits(Op); EXPECT_EQ(Known.Zero, APInt(8, 0x20)); EXPECT_EQ(Known.One, APInt(8, 0x55)); } // Piggy-backing on the AArch64 tests to verify SelectionDAG::computeKnownBits. TEST_F(AArch64SelectionDAGTest, ComputeKnownBits_SUB) { if (!TM) return; SDLoc Loc; auto IntVT = EVT::getIntegerVT(Context, 8); auto N0 = DAG->getConstant(0x55, Loc, IntVT); auto UnknownOp = DAG->getRegister(0, IntVT); auto Mask = DAG->getConstant(0x2e, Loc, IntVT); auto N1 = DAG->getNode(ISD::AND, Loc, IntVT, Mask, UnknownOp); auto Op = DAG->getNode(ISD::SUB, Loc, IntVT, N0, N1); // N0 = 01010101 // N1 = 00?0???0 // => // Known.One = 00000001 (0x1) // Known.Zero = 10000000 (0x80) KnownBits Known = DAG->computeKnownBits(Op); EXPECT_EQ(Known.Zero, APInt(8, 0x80)); EXPECT_EQ(Known.One, APInt(8, 0x1)); } TEST_F(AArch64SelectionDAGTest, isSplatValue_Fixed_BUILD_VECTOR) { if (!TM) return; TargetLowering TL(*TM); SDLoc Loc; auto IntVT = EVT::getIntegerVT(Context, 8); auto VecVT = EVT::getVectorVT(Context, IntVT, 16, false); // Create a BUILD_VECTOR SDValue Op = DAG->getConstant(1, Loc, VecVT); EXPECT_EQ(Op->getOpcode(), ISD::BUILD_VECTOR); EXPECT_TRUE(DAG->isSplatValue(Op, /*AllowUndefs=*/false)); APInt UndefElts; APInt DemandedElts; EXPECT_FALSE(DAG->isSplatValue(Op, DemandedElts, UndefElts)); // Width=16, Mask=3 DemandedElts = APInt(16, 3); EXPECT_TRUE(DAG->isSplatValue(Op, DemandedElts, UndefElts)); } TEST_F(AArch64SelectionDAGTest, isSplatValue_Fixed_ADD_of_BUILD_VECTOR) { if (!TM) return; TargetLowering TL(*TM); SDLoc Loc; auto IntVT = EVT::getIntegerVT(Context, 8); auto VecVT = EVT::getVectorVT(Context, IntVT, 16, false); // Should create BUILD_VECTORs SDValue Val1 = DAG->getConstant(1, Loc, VecVT); SDValue Val2 = DAG->getConstant(3, Loc, VecVT); EXPECT_EQ(Val1->getOpcode(), ISD::BUILD_VECTOR); SDValue Op = DAG->getNode(ISD::ADD, Loc, VecVT, Val1, Val2); EXPECT_TRUE(DAG->isSplatValue(Op, /*AllowUndefs=*/false)); APInt UndefElts; APInt DemandedElts; EXPECT_FALSE(DAG->isSplatValue(Op, DemandedElts, UndefElts)); // Width=16, Mask=3 DemandedElts = APInt(16, 3); EXPECT_TRUE(DAG->isSplatValue(Op, DemandedElts, UndefElts)); } TEST_F(AArch64SelectionDAGTest, isSplatValue_Scalable_SPLAT_VECTOR) { if (!TM) return; TargetLowering TL(*TM); SDLoc Loc; auto IntVT = EVT::getIntegerVT(Context, 8); auto VecVT = EVT::getVectorVT(Context, IntVT, 16, true); // Create a SPLAT_VECTOR SDValue Op = DAG->getConstant(1, Loc, VecVT); EXPECT_EQ(Op->getOpcode(), ISD::SPLAT_VECTOR); EXPECT_TRUE(DAG->isSplatValue(Op, /*AllowUndefs=*/false)); APInt UndefElts; APInt DemandedElts; EXPECT_TRUE(DAG->isSplatValue(Op, DemandedElts, UndefElts)); // Width=16, Mask=3. These bits should be ignored. DemandedElts = APInt(16, 3); EXPECT_TRUE(DAG->isSplatValue(Op, DemandedElts, UndefElts)); } TEST_F(AArch64SelectionDAGTest, isSplatValue_Scalable_ADD_of_SPLAT_VECTOR) { if (!TM) return; TargetLowering TL(*TM); SDLoc Loc; auto IntVT = EVT::getIntegerVT(Context, 8); auto VecVT = EVT::getVectorVT(Context, IntVT, 16, true); // Should create SPLAT_VECTORS SDValue Val1 = DAG->getConstant(1, Loc, VecVT); SDValue Val2 = DAG->getConstant(3, Loc, VecVT); EXPECT_EQ(Val1->getOpcode(), ISD::SPLAT_VECTOR); SDValue Op = DAG->getNode(ISD::ADD, Loc, VecVT, Val1, Val2); EXPECT_TRUE(DAG->isSplatValue(Op, /*AllowUndefs=*/false)); APInt UndefElts; APInt DemandedElts; EXPECT_TRUE(DAG->isSplatValue(Op, DemandedElts, UndefElts)); // Width=16, Mask=3. These bits should be ignored. DemandedElts = APInt(16, 3); EXPECT_TRUE(DAG->isSplatValue(Op, DemandedElts, UndefElts)); } TEST_F(AArch64SelectionDAGTest, getSplatSourceVector_Fixed_BUILD_VECTOR) { if (!TM) return; TargetLowering TL(*TM); SDLoc Loc; auto IntVT = EVT::getIntegerVT(Context, 8); auto VecVT = EVT::getVectorVT(Context, IntVT, 16, false); // Create a BUILD_VECTOR SDValue Op = DAG->getConstant(1, Loc, VecVT); EXPECT_EQ(Op->getOpcode(), ISD::BUILD_VECTOR); int SplatIdx = -1; EXPECT_EQ(DAG->getSplatSourceVector(Op, SplatIdx), Op); EXPECT_EQ(SplatIdx, 0); } TEST_F(AArch64SelectionDAGTest, getSplatSourceVector_Fixed_ADD_of_BUILD_VECTOR) { if (!TM) return; TargetLowering TL(*TM); SDLoc Loc; auto IntVT = EVT::getIntegerVT(Context, 8); auto VecVT = EVT::getVectorVT(Context, IntVT, 16, false); // Should create BUILD_VECTORs SDValue Val1 = DAG->getConstant(1, Loc, VecVT); SDValue Val2 = DAG->getConstant(3, Loc, VecVT); EXPECT_EQ(Val1->getOpcode(), ISD::BUILD_VECTOR); SDValue Op = DAG->getNode(ISD::ADD, Loc, VecVT, Val1, Val2); int SplatIdx = -1; EXPECT_EQ(DAG->getSplatSourceVector(Op, SplatIdx), Op); EXPECT_EQ(SplatIdx, 0); } TEST_F(AArch64SelectionDAGTest, getSplatSourceVector_Scalable_SPLAT_VECTOR) { if (!TM) return; TargetLowering TL(*TM); SDLoc Loc; auto IntVT = EVT::getIntegerVT(Context, 8); auto VecVT = EVT::getVectorVT(Context, IntVT, 16, true); // Create a SPLAT_VECTOR SDValue Op = DAG->getConstant(1, Loc, VecVT); EXPECT_EQ(Op->getOpcode(), ISD::SPLAT_VECTOR); int SplatIdx = -1; EXPECT_EQ(DAG->getSplatSourceVector(Op, SplatIdx), Op); EXPECT_EQ(SplatIdx, 0); } TEST_F(AArch64SelectionDAGTest, getSplatSourceVector_Scalable_ADD_of_SPLAT_VECTOR) { if (!TM) return; TargetLowering TL(*TM); SDLoc Loc; auto IntVT = EVT::getIntegerVT(Context, 8); auto VecVT = EVT::getVectorVT(Context, IntVT, 16, true); // Should create SPLAT_VECTORS SDValue Val1 = DAG->getConstant(1, Loc, VecVT); SDValue Val2 = DAG->getConstant(3, Loc, VecVT); EXPECT_EQ(Val1->getOpcode(), ISD::SPLAT_VECTOR); SDValue Op = DAG->getNode(ISD::ADD, Loc, VecVT, Val1, Val2); int SplatIdx = -1; EXPECT_EQ(DAG->getSplatSourceVector(Op, SplatIdx), Op); EXPECT_EQ(SplatIdx, 0); } TEST_F(AArch64SelectionDAGTest, getRepeatedSequence_Patterns) { if (!TM) return; TargetLowering TL(*TM); SDLoc Loc; unsigned NumElts = 16; MVT IntVT = MVT::i8; MVT VecVT = MVT::getVectorVT(IntVT, NumElts); // Base scalar constants. SDValue Val0 = DAG->getConstant(0, Loc, IntVT); SDValue Val1 = DAG->getConstant(1, Loc, IntVT); SDValue Val2 = DAG->getConstant(2, Loc, IntVT); SDValue Val3 = DAG->getConstant(3, Loc, IntVT); SDValue UndefVal = DAG->getUNDEF(IntVT); // Build some repeating sequences. SmallVector Pattern1111, Pattern1133, Pattern0123; for(int I = 0; I != 4; ++I) { Pattern1111.append(4, Val1); Pattern1133.append(2, Val1); Pattern1133.append(2, Val3); Pattern0123.push_back(Val0); Pattern0123.push_back(Val1); Pattern0123.push_back(Val2); Pattern0123.push_back(Val3); } // Build a non-pow2 repeating sequence. SmallVector Pattern022; Pattern022.push_back(Val0); Pattern022.append(2, Val2); Pattern022.push_back(Val0); Pattern022.append(2, Val2); Pattern022.push_back(Val0); Pattern022.append(2, Val2); Pattern022.push_back(Val0); Pattern022.append(2, Val2); Pattern022.push_back(Val0); Pattern022.append(2, Val2); Pattern022.push_back(Val0); // Build a non-repeating sequence. SmallVector Pattern1_3; Pattern1_3.append(8, Val1); Pattern1_3.append(8, Val3); // Add some undefs to make it trickier. Pattern1111[1] = Pattern1111[2] = Pattern1111[15] = UndefVal; Pattern1133[0] = Pattern1133[2] = UndefVal; auto *BV1111 = cast(DAG->getBuildVector(VecVT, Loc, Pattern1111)); auto *BV1133 = cast(DAG->getBuildVector(VecVT, Loc, Pattern1133)); auto *BV0123= cast(DAG->getBuildVector(VecVT, Loc, Pattern0123)); auto *BV022 = cast(DAG->getBuildVector(VecVT, Loc, Pattern022)); auto *BV1_3 = cast(DAG->getBuildVector(VecVT, Loc, Pattern1_3)); // Check for sequences. SmallVector Seq1111, Seq1133, Seq0123, Seq022, Seq1_3; BitVector Undefs1111, Undefs1133, Undefs0123, Undefs022, Undefs1_3; EXPECT_TRUE(BV1111->getRepeatedSequence(Seq1111, &Undefs1111)); EXPECT_EQ(Undefs1111.count(), 3u); EXPECT_EQ(Seq1111.size(), 1u); EXPECT_EQ(Seq1111[0], Val1); EXPECT_TRUE(BV1133->getRepeatedSequence(Seq1133, &Undefs1133)); EXPECT_EQ(Undefs1133.count(), 2u); EXPECT_EQ(Seq1133.size(), 4u); EXPECT_EQ(Seq1133[0], Val1); EXPECT_EQ(Seq1133[1], Val1); EXPECT_EQ(Seq1133[2], Val3); EXPECT_EQ(Seq1133[3], Val3); EXPECT_TRUE(BV0123->getRepeatedSequence(Seq0123, &Undefs0123)); EXPECT_EQ(Undefs0123.count(), 0u); EXPECT_EQ(Seq0123.size(), 4u); EXPECT_EQ(Seq0123[0], Val0); EXPECT_EQ(Seq0123[1], Val1); EXPECT_EQ(Seq0123[2], Val2); EXPECT_EQ(Seq0123[3], Val3); EXPECT_FALSE(BV022->getRepeatedSequence(Seq022, &Undefs022)); EXPECT_FALSE(BV1_3->getRepeatedSequence(Seq1_3, &Undefs1_3)); // Try again with DemandedElts masks. APInt Mask1111_0 = APInt::getOneBitSet(NumElts, 0); EXPECT_TRUE(BV1111->getRepeatedSequence(Mask1111_0, Seq1111, &Undefs1111)); EXPECT_EQ(Undefs1111.count(), 0u); EXPECT_EQ(Seq1111.size(), 1u); EXPECT_EQ(Seq1111[0], Val1); APInt Mask1111_1 = APInt::getOneBitSet(NumElts, 2); EXPECT_TRUE(BV1111->getRepeatedSequence(Mask1111_1, Seq1111, &Undefs1111)); EXPECT_EQ(Undefs1111.count(), 1u); EXPECT_EQ(Seq1111.size(), 1u); EXPECT_EQ(Seq1111[0], UndefVal); APInt Mask0123 = APInt(NumElts, 0x7777); EXPECT_TRUE(BV0123->getRepeatedSequence(Mask0123, Seq0123, &Undefs0123)); EXPECT_EQ(Undefs0123.count(), 0u); EXPECT_EQ(Seq0123.size(), 4u); EXPECT_EQ(Seq0123[0], Val0); EXPECT_EQ(Seq0123[1], Val1); EXPECT_EQ(Seq0123[2], Val2); EXPECT_EQ(Seq0123[3], SDValue()); APInt Mask1_3 = APInt::getHighBitsSet(16, 8); EXPECT_TRUE(BV1_3->getRepeatedSequence(Mask1_3, Seq1_3, &Undefs1_3)); EXPECT_EQ(Undefs1_3.count(), 0u); EXPECT_EQ(Seq1_3.size(), 1u); EXPECT_EQ(Seq1_3[0], Val3); } TEST_F(AArch64SelectionDAGTest, getTypeConversion_SplitScalableMVT) { if (!TM) return; MVT VT = MVT::nxv4i64; EXPECT_EQ(getTypeAction(VT), TargetLoweringBase::TypeSplitVector); ASSERT_TRUE(getTypeToTransformTo(VT).isScalableVector()); } TEST_F(AArch64SelectionDAGTest, getTypeConversion_PromoteScalableMVT) { if (!TM) return; MVT VT = MVT::nxv2i32; EXPECT_EQ(getTypeAction(VT), TargetLoweringBase::TypePromoteInteger); ASSERT_TRUE(getTypeToTransformTo(VT).isScalableVector()); } TEST_F(AArch64SelectionDAGTest, getTypeConversion_NoScalarizeMVT_nxv1f32) { if (!TM) return; MVT VT = MVT::nxv1f32; EXPECT_NE(getTypeAction(VT), TargetLoweringBase::TypeScalarizeVector); ASSERT_TRUE(getTypeToTransformTo(VT).isScalableVector()); } TEST_F(AArch64SelectionDAGTest, getTypeConversion_SplitScalableEVT) { if (!TM) return; EVT VT = EVT::getVectorVT(Context, MVT::i64, 256, true); EXPECT_EQ(getTypeAction(VT), TargetLoweringBase::TypeSplitVector); EXPECT_EQ(getTypeToTransformTo(VT), VT.getHalfNumVectorElementsVT(Context)); } TEST_F(AArch64SelectionDAGTest, getTypeConversion_WidenScalableEVT) { if (!TM) return; EVT FromVT = EVT::getVectorVT(Context, MVT::i64, 6, true); EVT ToVT = EVT::getVectorVT(Context, MVT::i64, 8, true); EXPECT_EQ(getTypeAction(FromVT), TargetLoweringBase::TypeWidenVector); EXPECT_EQ(getTypeToTransformTo(FromVT), ToVT); } TEST_F(AArch64SelectionDAGTest, getTypeConversion_NoScalarizeEVT_nxv1f128) { if (!TM) return; EVT FromVT = EVT::getVectorVT(Context, MVT::f128, 1, true); EXPECT_DEATH(getTypeAction(FromVT), "Cannot legalize this vector"); } } // end namespace llvm