diff options
author | NAKAMURA Takumi <geek4civic@gmail.com> | 2025-01-09 18:31:57 +0900 |
---|---|---|
committer | NAKAMURA Takumi <geek4civic@gmail.com> | 2025-01-09 18:33:27 +0900 |
commit | df025ebf872052c0761d44a3ef9b65e9675af8a8 (patch) | |
tree | 9b4e94583e2536546d6606270bcdf846c95e1ba2 /llvm/unittests/CodeGen | |
parent | 4428c9d0b1344179f85a72e183a44796976521e3 (diff) | |
parent | bdcf47e4bcb92889665825654bb80a8bbe30379e (diff) | |
download | llvm-users/chapuni/cov/single/loop.zip llvm-users/chapuni/cov/single/loop.tar.gz llvm-users/chapuni/cov/single/loop.tar.bz2 |
Merge branch 'users/chapuni/cov/single/base' into users/chapuni/cov/single/loopusers/chapuni/cov/single/loop
Conflicts:
clang/lib/CodeGen/CoverageMappingGen.cpp
Diffstat (limited to 'llvm/unittests/CodeGen')
-rw-r--r-- | llvm/unittests/CodeGen/GlobalISel/PatternMatchTest.cpp | 30 | ||||
-rw-r--r-- | llvm/unittests/CodeGen/SelectionDAGPatternMatchTest.cpp | 27 |
2 files changed, 57 insertions, 0 deletions
diff --git a/llvm/unittests/CodeGen/GlobalISel/PatternMatchTest.cpp b/llvm/unittests/CodeGen/GlobalISel/PatternMatchTest.cpp index fc76d40..40cd055 100644 --- a/llvm/unittests/CodeGen/GlobalISel/PatternMatchTest.cpp +++ b/llvm/unittests/CodeGen/GlobalISel/PatternMatchTest.cpp @@ -920,6 +920,36 @@ TEST_F(AArch64GISelMITest, MatchSpecificReg) { EXPECT_TRUE(mi_match(Add.getReg(0), *MRI, m_GAdd(m_SpecificReg(Reg), m_Reg()))); } +TEST_F(AArch64GISelMITest, DeferredMatching) { + setUp(); + if (!TM) + GTEST_SKIP(); + auto s64 = LLT::scalar(64); + auto s32 = LLT::scalar(32); + + auto Cst1 = B.buildConstant(s64, 42); + auto Cst2 = B.buildConstant(s64, 314); + auto Add = B.buildAdd(s64, Cst1, Cst2); + auto Sub = B.buildSub(s64, Add, Cst1); + + auto TruncAdd = B.buildTrunc(s32, Add); + auto TruncSub = B.buildTrunc(s32, Sub); + auto NarrowAdd = B.buildAdd(s32, TruncAdd, TruncSub); + + Register X; + EXPECT_TRUE(mi_match(Sub.getReg(0), *MRI, + m_GSub(m_GAdd(m_Reg(X), m_Reg()), m_DeferredReg(X)))); + LLT Ty; + EXPECT_TRUE( + mi_match(NarrowAdd.getReg(0), *MRI, + m_GAdd(m_GTrunc(m_Type(Ty)), m_GTrunc(m_DeferredType(Ty))))); + + // Test commutative. + auto Add2 = B.buildAdd(s64, Sub, Cst1); + EXPECT_TRUE(mi_match(Add2.getReg(0), *MRI, + m_GAdd(m_Reg(X), m_GSub(m_Reg(), m_DeferredReg(X))))); +} + } // namespace int main(int argc, char **argv) { diff --git a/llvm/unittests/CodeGen/SelectionDAGPatternMatchTest.cpp b/llvm/unittests/CodeGen/SelectionDAGPatternMatchTest.cpp index 259bdad..a2e1e58 100644 --- a/llvm/unittests/CodeGen/SelectionDAGPatternMatchTest.cpp +++ b/llvm/unittests/CodeGen/SelectionDAGPatternMatchTest.cpp @@ -119,6 +119,33 @@ TEST_F(SelectionDAGPatternMatchTest, matchValueType) { EXPECT_FALSE(sd_match(Op2, m_ScalableVectorVT())); } +TEST_F(SelectionDAGPatternMatchTest, matchVecShuffle) { + SDLoc DL; + auto Int32VT = EVT::getIntegerVT(Context, 32); + auto VInt32VT = EVT::getVectorVT(Context, Int32VT, 4); + const std::array<int, 4> MaskData = {2, 0, 3, 1}; + const std::array<int, 4> OtherMaskData = {1, 2, 3, 4}; + ArrayRef<int> Mask; + + SDValue V0 = DAG->getCopyFromReg(DAG->getEntryNode(), DL, 1, VInt32VT); + SDValue V1 = DAG->getCopyFromReg(DAG->getEntryNode(), DL, 2, VInt32VT); + SDValue VecShuffleWithMask = + DAG->getVectorShuffle(VInt32VT, DL, V0, V1, MaskData); + + using namespace SDPatternMatch; + EXPECT_TRUE(sd_match(VecShuffleWithMask, m_Shuffle(m_Value(), m_Value()))); + EXPECT_TRUE(sd_match(VecShuffleWithMask, + m_Shuffle(m_Value(), m_Value(), m_Mask(Mask)))); + EXPECT_TRUE( + sd_match(VecShuffleWithMask, + m_Shuffle(m_Value(), m_Value(), m_SpecificMask(MaskData)))); + EXPECT_FALSE( + sd_match(VecShuffleWithMask, + m_Shuffle(m_Value(), m_Value(), m_SpecificMask(OtherMaskData)))); + EXPECT_TRUE( + std::equal(MaskData.begin(), MaskData.end(), Mask.begin(), Mask.end())); +} + TEST_F(SelectionDAGPatternMatchTest, matchTernaryOp) { SDLoc DL; auto Int32VT = EVT::getIntegerVT(Context, 32); |