Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 1 | //===- PatternMatchTest.cpp -----------------------------------------------===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
Aditya Nandakumar | b1c467d | 2018-04-09 17:30:56 +0000 | [diff] [blame] | 9 | #include "llvm/CodeGen/GlobalISel/ConstantFoldingMIRBuilder.h" |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 10 | #include "llvm/CodeGen/GlobalISel/MIPatternMatch.h" |
| 11 | #include "llvm/CodeGen/GlobalISel/MachineIRBuilder.h" |
| 12 | #include "llvm/CodeGen/GlobalISel/Utils.h" |
| 13 | #include "llvm/CodeGen/MIRParser/MIRParser.h" |
| 14 | #include "llvm/CodeGen/MachineFunction.h" |
| 15 | #include "llvm/CodeGen/MachineModuleInfo.h" |
| 16 | #include "llvm/CodeGen/TargetFrameLowering.h" |
| 17 | #include "llvm/CodeGen/TargetInstrInfo.h" |
| 18 | #include "llvm/CodeGen/TargetLowering.h" |
| 19 | #include "llvm/CodeGen/TargetSubtargetInfo.h" |
| 20 | #include "llvm/Support/SourceMgr.h" |
| 21 | #include "llvm/Support/TargetRegistry.h" |
| 22 | #include "llvm/Support/TargetSelect.h" |
| 23 | #include "llvm/Target/TargetMachine.h" |
| 24 | #include "llvm/Target/TargetOptions.h" |
| 25 | #include "gtest/gtest.h" |
| 26 | |
| 27 | using namespace llvm; |
| 28 | using namespace MIPatternMatch; |
| 29 | |
| 30 | namespace { |
| 31 | |
| 32 | void initLLVM() { |
| 33 | InitializeAllTargets(); |
| 34 | InitializeAllTargetMCs(); |
| 35 | InitializeAllAsmPrinters(); |
| 36 | InitializeAllAsmParsers(); |
| 37 | |
| 38 | PassRegistry *Registry = PassRegistry::getPassRegistry(); |
| 39 | initializeCore(*Registry); |
| 40 | initializeCodeGen(*Registry); |
| 41 | } |
| 42 | |
| 43 | /// Create a TargetMachine. As we lack a dedicated always available target for |
| 44 | /// unittests, we go for "AArch64". |
Matthias Braun | 3d849f6 | 2018-11-05 23:49:13 +0000 | [diff] [blame] | 45 | std::unique_ptr<LLVMTargetMachine> createTargetMachine() { |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 46 | Triple TargetTriple("aarch64--"); |
| 47 | std::string Error; |
| 48 | const Target *T = TargetRegistry::lookupTarget("", TargetTriple, Error); |
| 49 | if (!T) |
| 50 | return nullptr; |
| 51 | |
| 52 | TargetOptions Options; |
Matthias Braun | 3d849f6 | 2018-11-05 23:49:13 +0000 | [diff] [blame] | 53 | return std::unique_ptr<LLVMTargetMachine>(static_cast<LLVMTargetMachine*>( |
| 54 | T->createTargetMachine("AArch64", "", "", Options, None, None, |
| 55 | CodeGenOpt::Aggressive))); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 56 | } |
| 57 | |
| 58 | std::unique_ptr<Module> parseMIR(LLVMContext &Context, |
| 59 | std::unique_ptr<MIRParser> &MIR, |
| 60 | const TargetMachine &TM, StringRef MIRCode, |
| 61 | const char *FuncName, MachineModuleInfo &MMI) { |
| 62 | SMDiagnostic Diagnostic; |
| 63 | std::unique_ptr<MemoryBuffer> MBuffer = MemoryBuffer::getMemBuffer(MIRCode); |
| 64 | MIR = createMIRParser(std::move(MBuffer), Context); |
| 65 | if (!MIR) |
| 66 | return nullptr; |
| 67 | |
| 68 | std::unique_ptr<Module> M = MIR->parseIRModule(); |
| 69 | if (!M) |
| 70 | return nullptr; |
| 71 | |
| 72 | M->setDataLayout(TM.createDataLayout()); |
| 73 | |
| 74 | if (MIR->parseMachineFunctions(*M, MMI)) |
| 75 | return nullptr; |
| 76 | |
| 77 | return M; |
| 78 | } |
| 79 | |
| 80 | std::pair<std::unique_ptr<Module>, std::unique_ptr<MachineModuleInfo>> |
Matthias Braun | 3d849f6 | 2018-11-05 23:49:13 +0000 | [diff] [blame] | 81 | createDummyModule(LLVMContext &Context, const LLVMTargetMachine &TM, |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 82 | StringRef MIRFunc) { |
| 83 | SmallString<512> S; |
| 84 | StringRef MIRString = (Twine(R"MIR( |
| 85 | --- |
| 86 | ... |
| 87 | name: func |
| 88 | registers: |
| 89 | - { id: 0, class: _ } |
| 90 | - { id: 1, class: _ } |
| 91 | - { id: 2, class: _ } |
| 92 | - { id: 3, class: _ } |
| 93 | body: | |
| 94 | bb.1: |
Puyan Lotfi | 43e94b1 | 2018-01-31 22:04:26 +0000 | [diff] [blame] | 95 | %0(s64) = COPY $x0 |
| 96 | %1(s64) = COPY $x1 |
| 97 | %2(s64) = COPY $x2 |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 98 | )MIR") + Twine(MIRFunc) + Twine("...\n")) |
| 99 | .toNullTerminatedStringRef(S); |
| 100 | std::unique_ptr<MIRParser> MIR; |
| 101 | auto MMI = make_unique<MachineModuleInfo>(&TM); |
| 102 | std::unique_ptr<Module> M = |
| 103 | parseMIR(Context, MIR, TM, MIRString, "func", *MMI); |
| 104 | return make_pair(std::move(M), std::move(MMI)); |
| 105 | } |
| 106 | |
| 107 | static MachineFunction *getMFFromMMI(const Module *M, |
| 108 | const MachineModuleInfo *MMI) { |
| 109 | Function *F = M->getFunction("func"); |
| 110 | auto *MF = MMI->getMachineFunction(*F); |
| 111 | return MF; |
| 112 | } |
| 113 | |
Matt Arsenault | faeaedf | 2019-06-24 16:16:12 +0000 | [diff] [blame] | 114 | static void collectCopies(SmallVectorImpl<Register> &Copies, |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 115 | MachineFunction *MF) { |
| 116 | for (auto &MBB : *MF) |
| 117 | for (MachineInstr &MI : MBB) { |
| 118 | if (MI.getOpcode() == TargetOpcode::COPY) |
| 119 | Copies.push_back(MI.getOperand(0).getReg()); |
| 120 | } |
| 121 | } |
| 122 | |
| 123 | TEST(PatternMatchInstr, MatchIntConstant) { |
| 124 | LLVMContext Context; |
Matthias Braun | 3d849f6 | 2018-11-05 23:49:13 +0000 | [diff] [blame] | 125 | std::unique_ptr<LLVMTargetMachine> TM = createTargetMachine(); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 126 | if (!TM) |
| 127 | return; |
| 128 | auto ModuleMMIPair = createDummyModule(Context, *TM, ""); |
| 129 | MachineFunction *MF = |
| 130 | getMFFromMMI(ModuleMMIPair.first.get(), ModuleMMIPair.second.get()); |
Matt Arsenault | faeaedf | 2019-06-24 16:16:12 +0000 | [diff] [blame] | 131 | SmallVector<Register, 4> Copies; |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 132 | collectCopies(Copies, MF); |
| 133 | MachineBasicBlock *EntryMBB = &*MF->begin(); |
| 134 | MachineIRBuilder B(*MF); |
| 135 | MachineRegisterInfo &MRI = MF->getRegInfo(); |
| 136 | B.setInsertPt(*EntryMBB, EntryMBB->end()); |
| 137 | auto MIBCst = B.buildConstant(LLT::scalar(64), 42); |
Aditya Nandakumar | b808e3a | 2018-03-13 23:21:13 +0000 | [diff] [blame] | 138 | int64_t Cst; |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 139 | bool match = mi_match(MIBCst->getOperand(0).getReg(), MRI, m_ICst(Cst)); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 140 | EXPECT_TRUE(match); |
| 141 | EXPECT_EQ(Cst, 42); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 142 | } |
| 143 | |
| 144 | TEST(PatternMatchInstr, MatchBinaryOp) { |
| 145 | LLVMContext Context; |
Matthias Braun | 3d849f6 | 2018-11-05 23:49:13 +0000 | [diff] [blame] | 146 | std::unique_ptr<LLVMTargetMachine> TM = createTargetMachine(); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 147 | if (!TM) |
| 148 | return; |
| 149 | auto ModuleMMIPair = createDummyModule(Context, *TM, ""); |
| 150 | MachineFunction *MF = |
| 151 | getMFFromMMI(ModuleMMIPair.first.get(), ModuleMMIPair.second.get()); |
Matt Arsenault | faeaedf | 2019-06-24 16:16:12 +0000 | [diff] [blame] | 152 | SmallVector<Register, 4> Copies; |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 153 | collectCopies(Copies, MF); |
| 154 | MachineBasicBlock *EntryMBB = &*MF->begin(); |
| 155 | MachineIRBuilder B(*MF); |
| 156 | MachineRegisterInfo &MRI = MF->getRegInfo(); |
| 157 | B.setInsertPt(*EntryMBB, EntryMBB->end()); |
| 158 | LLT s64 = LLT::scalar(64); |
| 159 | auto MIBAdd = B.buildAdd(s64, Copies[0], Copies[1]); |
| 160 | // Test case for no bind. |
| 161 | bool match = |
| 162 | mi_match(MIBAdd->getOperand(0).getReg(), MRI, m_GAdd(m_Reg(), m_Reg())); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 163 | EXPECT_TRUE(match); |
Matt Arsenault | e3a676e | 2019-06-24 15:50:29 +0000 | [diff] [blame] | 164 | Register Src0, Src1, Src2; |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 165 | match = mi_match(MIBAdd->getOperand(0).getReg(), MRI, |
| 166 | m_GAdd(m_Reg(Src0), m_Reg(Src1))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 167 | EXPECT_TRUE(match); |
| 168 | EXPECT_EQ(Src0, Copies[0]); |
| 169 | EXPECT_EQ(Src1, Copies[1]); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 170 | |
| 171 | // Build MUL(ADD %0, %1), %2 |
| 172 | auto MIBMul = B.buildMul(s64, MIBAdd, Copies[2]); |
| 173 | |
| 174 | // Try to match MUL. |
| 175 | match = mi_match(MIBMul->getOperand(0).getReg(), MRI, |
| 176 | m_GMul(m_Reg(Src0), m_Reg(Src1))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 177 | EXPECT_TRUE(match); |
| 178 | EXPECT_EQ(Src0, MIBAdd->getOperand(0).getReg()); |
| 179 | EXPECT_EQ(Src1, Copies[2]); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 180 | |
| 181 | // Try to match MUL(ADD) |
| 182 | match = mi_match(MIBMul->getOperand(0).getReg(), MRI, |
| 183 | m_GMul(m_GAdd(m_Reg(Src0), m_Reg(Src1)), m_Reg(Src2))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 184 | EXPECT_TRUE(match); |
| 185 | EXPECT_EQ(Src0, Copies[0]); |
| 186 | EXPECT_EQ(Src1, Copies[1]); |
| 187 | EXPECT_EQ(Src2, Copies[2]); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 188 | |
| 189 | // Test Commutativity. |
| 190 | auto MIBMul2 = B.buildMul(s64, Copies[0], B.buildConstant(s64, 42)); |
| 191 | // Try to match MUL(Cst, Reg) on src of MUL(Reg, Cst) to validate |
| 192 | // commutativity. |
Aditya Nandakumar | b808e3a | 2018-03-13 23:21:13 +0000 | [diff] [blame] | 193 | int64_t Cst; |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 194 | match = mi_match(MIBMul2->getOperand(0).getReg(), MRI, |
| 195 | m_GMul(m_ICst(Cst), m_Reg(Src0))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 196 | EXPECT_TRUE(match); |
| 197 | EXPECT_EQ(Cst, 42); |
| 198 | EXPECT_EQ(Src0, Copies[0]); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 199 | |
| 200 | // Make sure commutative doesn't work with something like SUB. |
| 201 | auto MIBSub = B.buildSub(s64, Copies[0], B.buildConstant(s64, 42)); |
| 202 | match = mi_match(MIBSub->getOperand(0).getReg(), MRI, |
| 203 | m_GSub(m_ICst(Cst), m_Reg(Src0))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 204 | EXPECT_FALSE(match); |
Aditya Nandakumar | 6250b18 | 2018-02-13 20:09:13 +0000 | [diff] [blame] | 205 | |
Aditya Nandakumar | cef44a2 | 2018-12-11 00:48:50 +0000 | [diff] [blame] | 206 | auto MIBFMul = B.buildInstr(TargetOpcode::G_FMUL, {s64}, |
| 207 | {Copies[0], B.buildConstant(s64, 42)}); |
Aditya Nandakumar | 6250b18 | 2018-02-13 20:09:13 +0000 | [diff] [blame] | 208 | // Match and test commutativity for FMUL. |
| 209 | match = mi_match(MIBFMul->getOperand(0).getReg(), MRI, |
| 210 | m_GFMul(m_ICst(Cst), m_Reg(Src0))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 211 | EXPECT_TRUE(match); |
| 212 | EXPECT_EQ(Cst, 42); |
| 213 | EXPECT_EQ(Src0, Copies[0]); |
Volkan Keles | 02bb174 | 2018-02-14 19:58:36 +0000 | [diff] [blame] | 214 | |
Aditya Nandakumar | 2980b01 | 2018-05-31 19:30:01 +0000 | [diff] [blame] | 215 | // FSUB |
Aditya Nandakumar | cef44a2 | 2018-12-11 00:48:50 +0000 | [diff] [blame] | 216 | auto MIBFSub = B.buildInstr(TargetOpcode::G_FSUB, {s64}, |
| 217 | {Copies[0], B.buildConstant(s64, 42)}); |
Aditya Nandakumar | 2980b01 | 2018-05-31 19:30:01 +0000 | [diff] [blame] | 218 | match = mi_match(MIBFSub->getOperand(0).getReg(), MRI, |
| 219 | m_GFSub(m_Reg(Src0), m_Reg())); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 220 | EXPECT_TRUE(match); |
| 221 | EXPECT_EQ(Src0, Copies[0]); |
Aditya Nandakumar | 2980b01 | 2018-05-31 19:30:01 +0000 | [diff] [blame] | 222 | |
Volkan Keles | 02bb174 | 2018-02-14 19:58:36 +0000 | [diff] [blame] | 223 | // Build AND %0, %1 |
| 224 | auto MIBAnd = B.buildAnd(s64, Copies[0], Copies[1]); |
| 225 | // Try to match AND. |
| 226 | match = mi_match(MIBAnd->getOperand(0).getReg(), MRI, |
| 227 | m_GAnd(m_Reg(Src0), m_Reg(Src1))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 228 | EXPECT_TRUE(match); |
| 229 | EXPECT_EQ(Src0, Copies[0]); |
| 230 | EXPECT_EQ(Src1, Copies[1]); |
Volkan Keles | 02bb174 | 2018-02-14 19:58:36 +0000 | [diff] [blame] | 231 | |
| 232 | // Build OR %0, %1 |
| 233 | auto MIBOr = B.buildOr(s64, Copies[0], Copies[1]); |
| 234 | // Try to match OR. |
| 235 | match = mi_match(MIBOr->getOperand(0).getReg(), MRI, |
| 236 | m_GOr(m_Reg(Src0), m_Reg(Src1))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 237 | EXPECT_TRUE(match); |
| 238 | EXPECT_EQ(Src0, Copies[0]); |
| 239 | EXPECT_EQ(Src1, Copies[1]); |
Aditya Nandakumar | b1c467d | 2018-04-09 17:30:56 +0000 | [diff] [blame] | 240 | |
| 241 | // Try to use the FoldableInstructionsBuilder to build binary ops. |
| 242 | ConstantFoldingMIRBuilder CFB(B.getState()); |
| 243 | LLT s32 = LLT::scalar(32); |
| 244 | auto MIBCAdd = |
| 245 | CFB.buildAdd(s32, CFB.buildConstant(s32, 0), CFB.buildConstant(s32, 1)); |
| 246 | // This should be a constant now. |
| 247 | match = mi_match(MIBCAdd->getOperand(0).getReg(), MRI, m_ICst(Cst)); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 248 | EXPECT_TRUE(match); |
| 249 | EXPECT_EQ(Cst, 1); |
Aditya Nandakumar | b1c467d | 2018-04-09 17:30:56 +0000 | [diff] [blame] | 250 | auto MIBCAdd1 = |
Aditya Nandakumar | cef44a2 | 2018-12-11 00:48:50 +0000 | [diff] [blame] | 251 | CFB.buildInstr(TargetOpcode::G_ADD, {s32}, |
| 252 | {CFB.buildConstant(s32, 0), CFB.buildConstant(s32, 1)}); |
Aditya Nandakumar | b1c467d | 2018-04-09 17:30:56 +0000 | [diff] [blame] | 253 | // This should be a constant now. |
| 254 | match = mi_match(MIBCAdd1->getOperand(0).getReg(), MRI, m_ICst(Cst)); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 255 | EXPECT_TRUE(match); |
| 256 | EXPECT_EQ(Cst, 1); |
Aditya Nandakumar | b1c467d | 2018-04-09 17:30:56 +0000 | [diff] [blame] | 257 | |
| 258 | // Try one of the other constructors of MachineIRBuilder to make sure it's |
| 259 | // compatible. |
| 260 | ConstantFoldingMIRBuilder CFB1(*MF); |
| 261 | CFB1.setInsertPt(*EntryMBB, EntryMBB->end()); |
| 262 | auto MIBCSub = |
Aditya Nandakumar | cef44a2 | 2018-12-11 00:48:50 +0000 | [diff] [blame] | 263 | CFB1.buildInstr(TargetOpcode::G_SUB, {s32}, |
| 264 | {CFB1.buildConstant(s32, 1), CFB1.buildConstant(s32, 1)}); |
Aditya Nandakumar | b1c467d | 2018-04-09 17:30:56 +0000 | [diff] [blame] | 265 | // This should be a constant now. |
| 266 | match = mi_match(MIBCSub->getOperand(0).getReg(), MRI, m_ICst(Cst)); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 267 | EXPECT_TRUE(match); |
| 268 | EXPECT_EQ(Cst, 0); |
Daniel Sanders | e9a57c2 | 2019-08-09 21:11:20 +0000 | [diff] [blame^] | 269 | |
| 270 | auto MIBCSext1 = |
| 271 | CFB1.buildInstr(TargetOpcode::G_SEXT_INREG, {s32}, |
| 272 | {CFB1.buildConstant(s32, 0x01), uint64_t(8)}); |
| 273 | // This should be a constant now. |
| 274 | match = mi_match(MIBCSext1->getOperand(0).getReg(), MRI, m_ICst(Cst)); |
| 275 | EXPECT_TRUE(match); |
| 276 | EXPECT_EQ(1, Cst); |
| 277 | |
| 278 | auto MIBCSext2 = |
| 279 | CFB1.buildInstr(TargetOpcode::G_SEXT_INREG, {s32}, |
| 280 | {CFB1.buildConstant(s32, 0x80), uint64_t(8)}); |
| 281 | // This should be a constant now. |
| 282 | match = mi_match(MIBCSext2->getOperand(0).getReg(), MRI, m_ICst(Cst)); |
| 283 | EXPECT_TRUE(match); |
| 284 | EXPECT_EQ(-0x80, Cst); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 285 | } |
| 286 | |
Volkan Keles | 2bc42e9 | 2018-03-05 22:31:55 +0000 | [diff] [blame] | 287 | TEST(PatternMatchInstr, MatchFPUnaryOp) { |
| 288 | LLVMContext Context; |
Matthias Braun | 3d849f6 | 2018-11-05 23:49:13 +0000 | [diff] [blame] | 289 | std::unique_ptr<LLVMTargetMachine> TM = createTargetMachine(); |
Volkan Keles | 2bc42e9 | 2018-03-05 22:31:55 +0000 | [diff] [blame] | 290 | if (!TM) |
| 291 | return; |
| 292 | auto ModuleMMIPair = createDummyModule(Context, *TM, ""); |
| 293 | MachineFunction *MF = |
| 294 | getMFFromMMI(ModuleMMIPair.first.get(), ModuleMMIPair.second.get()); |
Matt Arsenault | faeaedf | 2019-06-24 16:16:12 +0000 | [diff] [blame] | 295 | SmallVector<Register, 4> Copies; |
Volkan Keles | 2bc42e9 | 2018-03-05 22:31:55 +0000 | [diff] [blame] | 296 | collectCopies(Copies, MF); |
| 297 | MachineBasicBlock *EntryMBB = &*MF->begin(); |
| 298 | MachineIRBuilder B(*MF); |
| 299 | MachineRegisterInfo &MRI = MF->getRegInfo(); |
| 300 | B.setInsertPt(*EntryMBB, EntryMBB->end()); |
| 301 | |
| 302 | // Truncate s64 to s32. |
| 303 | LLT s32 = LLT::scalar(32); |
| 304 | auto Copy0s32 = B.buildFPTrunc(s32, Copies[0]); |
| 305 | |
| 306 | // Match G_FABS. |
Aditya Nandakumar | cef44a2 | 2018-12-11 00:48:50 +0000 | [diff] [blame] | 307 | auto MIBFabs = B.buildInstr(TargetOpcode::G_FABS, {s32}, {Copy0s32}); |
Volkan Keles | 2bc42e9 | 2018-03-05 22:31:55 +0000 | [diff] [blame] | 308 | bool match = mi_match(MIBFabs->getOperand(0).getReg(), MRI, m_GFabs(m_Reg())); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 309 | EXPECT_TRUE(match); |
Aditya Nandakumar | 2980b01 | 2018-05-31 19:30:01 +0000 | [diff] [blame] | 310 | |
Matt Arsenault | e3a676e | 2019-06-24 15:50:29 +0000 | [diff] [blame] | 311 | Register Src; |
Aditya Nandakumar | cef44a2 | 2018-12-11 00:48:50 +0000 | [diff] [blame] | 312 | auto MIBFNeg = B.buildInstr(TargetOpcode::G_FNEG, {s32}, {Copy0s32}); |
Aditya Nandakumar | 2980b01 | 2018-05-31 19:30:01 +0000 | [diff] [blame] | 313 | match = mi_match(MIBFNeg->getOperand(0).getReg(), MRI, m_GFNeg(m_Reg(Src))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 314 | EXPECT_TRUE(match); |
| 315 | EXPECT_EQ(Src, Copy0s32->getOperand(0).getReg()); |
Aditya Nandakumar | 2980b01 | 2018-05-31 19:30:01 +0000 | [diff] [blame] | 316 | |
Volkan Keles | 2bc42e9 | 2018-03-05 22:31:55 +0000 | [diff] [blame] | 317 | match = mi_match(MIBFabs->getOperand(0).getReg(), MRI, m_GFabs(m_Reg(Src))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 318 | EXPECT_TRUE(match); |
| 319 | EXPECT_EQ(Src, Copy0s32->getOperand(0).getReg()); |
Aditya Nandakumar | 91fc4e0 | 2018-03-09 17:31:51 +0000 | [diff] [blame] | 320 | |
| 321 | // Build and match FConstant. |
| 322 | auto MIBFCst = B.buildFConstant(s32, .5); |
| 323 | const ConstantFP *TmpFP{}; |
| 324 | match = mi_match(MIBFCst->getOperand(0).getReg(), MRI, m_GFCst(TmpFP)); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 325 | EXPECT_TRUE(match); |
| 326 | EXPECT_TRUE(TmpFP); |
Aditya Nandakumar | 91fc4e0 | 2018-03-09 17:31:51 +0000 | [diff] [blame] | 327 | APFloat APF((float).5); |
| 328 | auto *CFP = ConstantFP::get(Context, APF); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 329 | EXPECT_EQ(CFP, TmpFP); |
Aditya Nandakumar | 91fc4e0 | 2018-03-09 17:31:51 +0000 | [diff] [blame] | 330 | |
| 331 | // Build double float. |
| 332 | LLT s64 = LLT::scalar(64); |
| 333 | auto MIBFCst64 = B.buildFConstant(s64, .5); |
| 334 | const ConstantFP *TmpFP64{}; |
| 335 | match = mi_match(MIBFCst64->getOperand(0).getReg(), MRI, m_GFCst(TmpFP64)); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 336 | EXPECT_TRUE(match); |
| 337 | EXPECT_TRUE(TmpFP64); |
Aditya Nandakumar | 91fc4e0 | 2018-03-09 17:31:51 +0000 | [diff] [blame] | 338 | APFloat APF64(.5); |
| 339 | auto CFP64 = ConstantFP::get(Context, APF64); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 340 | EXPECT_EQ(CFP64, TmpFP64); |
| 341 | EXPECT_NE(TmpFP64, TmpFP); |
Aditya Nandakumar | 91fc4e0 | 2018-03-09 17:31:51 +0000 | [diff] [blame] | 342 | |
| 343 | // Build half float. |
| 344 | LLT s16 = LLT::scalar(16); |
| 345 | auto MIBFCst16 = B.buildFConstant(s16, .5); |
| 346 | const ConstantFP *TmpFP16{}; |
| 347 | match = mi_match(MIBFCst16->getOperand(0).getReg(), MRI, m_GFCst(TmpFP16)); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 348 | EXPECT_TRUE(match); |
| 349 | EXPECT_TRUE(TmpFP16); |
Aditya Nandakumar | 91fc4e0 | 2018-03-09 17:31:51 +0000 | [diff] [blame] | 350 | bool Ignored; |
| 351 | APFloat APF16(.5); |
| 352 | APF16.convert(APFloat::IEEEhalf(), APFloat::rmNearestTiesToEven, &Ignored); |
| 353 | auto CFP16 = ConstantFP::get(Context, APF16); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 354 | EXPECT_EQ(TmpFP16, CFP16); |
| 355 | EXPECT_NE(TmpFP16, TmpFP); |
Volkan Keles | 2bc42e9 | 2018-03-05 22:31:55 +0000 | [diff] [blame] | 356 | } |
| 357 | |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 358 | TEST(PatternMatchInstr, MatchExtendsTrunc) { |
| 359 | LLVMContext Context; |
Matthias Braun | 3d849f6 | 2018-11-05 23:49:13 +0000 | [diff] [blame] | 360 | std::unique_ptr<LLVMTargetMachine> TM = createTargetMachine(); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 361 | if (!TM) |
| 362 | return; |
| 363 | auto ModuleMMIPair = createDummyModule(Context, *TM, ""); |
| 364 | MachineFunction *MF = |
| 365 | getMFFromMMI(ModuleMMIPair.first.get(), ModuleMMIPair.second.get()); |
Matt Arsenault | faeaedf | 2019-06-24 16:16:12 +0000 | [diff] [blame] | 366 | SmallVector<Register, 4> Copies; |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 367 | collectCopies(Copies, MF); |
| 368 | MachineBasicBlock *EntryMBB = &*MF->begin(); |
| 369 | MachineIRBuilder B(*MF); |
| 370 | MachineRegisterInfo &MRI = MF->getRegInfo(); |
| 371 | B.setInsertPt(*EntryMBB, EntryMBB->end()); |
| 372 | LLT s64 = LLT::scalar(64); |
| 373 | LLT s32 = LLT::scalar(32); |
| 374 | |
| 375 | auto MIBTrunc = B.buildTrunc(s32, Copies[0]); |
| 376 | auto MIBAExt = B.buildAnyExt(s64, MIBTrunc); |
| 377 | auto MIBZExt = B.buildZExt(s64, MIBTrunc); |
| 378 | auto MIBSExt = B.buildSExt(s64, MIBTrunc); |
Matt Arsenault | e3a676e | 2019-06-24 15:50:29 +0000 | [diff] [blame] | 379 | Register Src0; |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 380 | bool match = |
| 381 | mi_match(MIBTrunc->getOperand(0).getReg(), MRI, m_GTrunc(m_Reg(Src0))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 382 | EXPECT_TRUE(match); |
| 383 | EXPECT_EQ(Src0, Copies[0]); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 384 | match = |
| 385 | mi_match(MIBAExt->getOperand(0).getReg(), MRI, m_GAnyExt(m_Reg(Src0))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 386 | EXPECT_TRUE(match); |
| 387 | EXPECT_EQ(Src0, MIBTrunc->getOperand(0).getReg()); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 388 | |
| 389 | match = mi_match(MIBSExt->getOperand(0).getReg(), MRI, m_GSExt(m_Reg(Src0))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 390 | EXPECT_TRUE(match); |
| 391 | EXPECT_EQ(Src0, MIBTrunc->getOperand(0).getReg()); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 392 | |
| 393 | match = mi_match(MIBZExt->getOperand(0).getReg(), MRI, m_GZExt(m_Reg(Src0))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 394 | EXPECT_TRUE(match); |
| 395 | EXPECT_EQ(Src0, MIBTrunc->getOperand(0).getReg()); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 396 | |
| 397 | // Match ext(trunc src) |
| 398 | match = mi_match(MIBAExt->getOperand(0).getReg(), MRI, |
| 399 | m_GAnyExt(m_GTrunc(m_Reg(Src0)))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 400 | EXPECT_TRUE(match); |
| 401 | EXPECT_EQ(Src0, Copies[0]); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 402 | |
| 403 | match = mi_match(MIBSExt->getOperand(0).getReg(), MRI, |
| 404 | m_GSExt(m_GTrunc(m_Reg(Src0)))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 405 | EXPECT_TRUE(match); |
| 406 | EXPECT_EQ(Src0, Copies[0]); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 407 | |
| 408 | match = mi_match(MIBZExt->getOperand(0).getReg(), MRI, |
| 409 | m_GZExt(m_GTrunc(m_Reg(Src0)))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 410 | EXPECT_TRUE(match); |
| 411 | EXPECT_EQ(Src0, Copies[0]); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 412 | } |
| 413 | |
| 414 | TEST(PatternMatchInstr, MatchSpecificType) { |
| 415 | LLVMContext Context; |
Matthias Braun | 3d849f6 | 2018-11-05 23:49:13 +0000 | [diff] [blame] | 416 | std::unique_ptr<LLVMTargetMachine> TM = createTargetMachine(); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 417 | if (!TM) |
| 418 | return; |
| 419 | auto ModuleMMIPair = createDummyModule(Context, *TM, ""); |
| 420 | MachineFunction *MF = |
| 421 | getMFFromMMI(ModuleMMIPair.first.get(), ModuleMMIPair.second.get()); |
Matt Arsenault | faeaedf | 2019-06-24 16:16:12 +0000 | [diff] [blame] | 422 | SmallVector<Register, 4> Copies; |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 423 | collectCopies(Copies, MF); |
| 424 | MachineBasicBlock *EntryMBB = &*MF->begin(); |
| 425 | MachineIRBuilder B(*MF); |
| 426 | MachineRegisterInfo &MRI = MF->getRegInfo(); |
| 427 | B.setInsertPt(*EntryMBB, EntryMBB->end()); |
Volkan Keles | 02bb174 | 2018-02-14 19:58:36 +0000 | [diff] [blame] | 428 | |
| 429 | // Try to match a 64bit add. |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 430 | LLT s64 = LLT::scalar(64); |
| 431 | LLT s32 = LLT::scalar(32); |
| 432 | auto MIBAdd = B.buildAdd(s64, Copies[0], Copies[1]); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 433 | EXPECT_FALSE(mi_match(MIBAdd->getOperand(0).getReg(), MRI, |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 434 | m_GAdd(m_SpecificType(s32), m_Reg()))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 435 | EXPECT_TRUE(mi_match(MIBAdd->getOperand(0).getReg(), MRI, |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 436 | m_GAdd(m_SpecificType(s64), m_Reg()))); |
Volkan Keles | 02bb174 | 2018-02-14 19:58:36 +0000 | [diff] [blame] | 437 | |
| 438 | // Try to match the destination type of a bitcast. |
| 439 | LLT v2s32 = LLT::vector(2, 32); |
| 440 | auto MIBCast = B.buildCast(v2s32, Copies[0]); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 441 | EXPECT_TRUE( |
Aditya Nandakumar | bab2d3e | 2018-02-19 23:11:53 +0000 | [diff] [blame] | 442 | mi_match(MIBCast->getOperand(0).getReg(), MRI, m_GBitcast(m_Reg()))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 443 | EXPECT_TRUE( |
Volkan Keles | 02bb174 | 2018-02-14 19:58:36 +0000 | [diff] [blame] | 444 | mi_match(MIBCast->getOperand(0).getReg(), MRI, m_SpecificType(v2s32))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 445 | EXPECT_TRUE( |
Volkan Keles | 02bb174 | 2018-02-14 19:58:36 +0000 | [diff] [blame] | 446 | mi_match(MIBCast->getOperand(1).getReg(), MRI, m_SpecificType(s64))); |
Aditya Nandakumar | bab2d3e | 2018-02-19 23:11:53 +0000 | [diff] [blame] | 447 | |
| 448 | // Build a PTRToInt and INTTOPTR and match and test them. |
| 449 | LLT PtrTy = LLT::pointer(0, 64); |
| 450 | auto MIBIntToPtr = B.buildCast(PtrTy, Copies[0]); |
| 451 | auto MIBPtrToInt = B.buildCast(s64, MIBIntToPtr); |
Matt Arsenault | e3a676e | 2019-06-24 15:50:29 +0000 | [diff] [blame] | 452 | Register Src0; |
Aditya Nandakumar | bab2d3e | 2018-02-19 23:11:53 +0000 | [diff] [blame] | 453 | |
| 454 | // match the ptrtoint(inttoptr reg) |
| 455 | bool match = mi_match(MIBPtrToInt->getOperand(0).getReg(), MRI, |
| 456 | m_GPtrToInt(m_GIntToPtr(m_Reg(Src0)))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 457 | EXPECT_TRUE(match); |
| 458 | EXPECT_EQ(Src0, Copies[0]); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 459 | } |
| 460 | |
| 461 | TEST(PatternMatchInstr, MatchCombinators) { |
| 462 | LLVMContext Context; |
Matthias Braun | 3d849f6 | 2018-11-05 23:49:13 +0000 | [diff] [blame] | 463 | std::unique_ptr<LLVMTargetMachine> TM = createTargetMachine(); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 464 | if (!TM) |
| 465 | return; |
| 466 | auto ModuleMMIPair = createDummyModule(Context, *TM, ""); |
| 467 | MachineFunction *MF = |
| 468 | getMFFromMMI(ModuleMMIPair.first.get(), ModuleMMIPair.second.get()); |
Matt Arsenault | faeaedf | 2019-06-24 16:16:12 +0000 | [diff] [blame] | 469 | SmallVector<Register, 4> Copies; |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 470 | collectCopies(Copies, MF); |
| 471 | MachineBasicBlock *EntryMBB = &*MF->begin(); |
| 472 | MachineIRBuilder B(*MF); |
| 473 | MachineRegisterInfo &MRI = MF->getRegInfo(); |
| 474 | B.setInsertPt(*EntryMBB, EntryMBB->end()); |
| 475 | LLT s64 = LLT::scalar(64); |
| 476 | LLT s32 = LLT::scalar(32); |
| 477 | auto MIBAdd = B.buildAdd(s64, Copies[0], Copies[1]); |
Matt Arsenault | e3a676e | 2019-06-24 15:50:29 +0000 | [diff] [blame] | 478 | Register Src0, Src1; |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 479 | bool match = |
| 480 | mi_match(MIBAdd->getOperand(0).getReg(), MRI, |
| 481 | m_all_of(m_SpecificType(s64), m_GAdd(m_Reg(Src0), m_Reg(Src1)))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 482 | EXPECT_TRUE(match); |
| 483 | EXPECT_EQ(Src0, Copies[0]); |
| 484 | EXPECT_EQ(Src1, Copies[1]); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 485 | // Check for s32 (which should fail). |
| 486 | match = |
| 487 | mi_match(MIBAdd->getOperand(0).getReg(), MRI, |
| 488 | m_all_of(m_SpecificType(s32), m_GAdd(m_Reg(Src0), m_Reg(Src1)))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 489 | EXPECT_FALSE(match); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 490 | match = |
| 491 | mi_match(MIBAdd->getOperand(0).getReg(), MRI, |
| 492 | m_any_of(m_SpecificType(s32), m_GAdd(m_Reg(Src0), m_Reg(Src1)))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 493 | EXPECT_TRUE(match); |
| 494 | EXPECT_EQ(Src0, Copies[0]); |
| 495 | EXPECT_EQ(Src1, Copies[1]); |
Aditya Nandakumar | cf85f31 | 2018-02-23 01:01:59 +0000 | [diff] [blame] | 496 | |
| 497 | // Match a case where none of the predicates hold true. |
| 498 | match = mi_match( |
| 499 | MIBAdd->getOperand(0).getReg(), MRI, |
| 500 | m_any_of(m_SpecificType(LLT::scalar(16)), m_GSub(m_Reg(), m_Reg()))); |
Matt Arsenault | b3e8670 | 2019-02-04 18:58:27 +0000 | [diff] [blame] | 501 | EXPECT_FALSE(match); |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 502 | } |
Aditya Nandakumar | 5c7fcbd | 2019-06-14 17:19:37 +0000 | [diff] [blame] | 503 | |
| 504 | TEST(PatternMatchInstr, MatchMiscellaneous) { |
| 505 | LLVMContext Context; |
| 506 | std::unique_ptr<LLVMTargetMachine> TM = createTargetMachine(); |
| 507 | if (!TM) |
| 508 | return; |
| 509 | auto ModuleMMIPair = createDummyModule(Context, *TM, ""); |
| 510 | MachineFunction *MF = |
| 511 | getMFFromMMI(ModuleMMIPair.first.get(), ModuleMMIPair.second.get()); |
Matt Arsenault | faeaedf | 2019-06-24 16:16:12 +0000 | [diff] [blame] | 512 | SmallVector<Register, 4> Copies; |
Aditya Nandakumar | 5c7fcbd | 2019-06-14 17:19:37 +0000 | [diff] [blame] | 513 | collectCopies(Copies, MF); |
| 514 | MachineBasicBlock *EntryMBB = &*MF->begin(); |
| 515 | MachineIRBuilder B(*MF); |
| 516 | MachineRegisterInfo &MRI = MF->getRegInfo(); |
| 517 | B.setInsertPt(*EntryMBB, EntryMBB->end()); |
| 518 | LLT s64 = LLT::scalar(64); |
| 519 | auto MIBAdd = B.buildAdd(s64, Copies[0], Copies[1]); |
| 520 | // Make multiple uses of this add. |
| 521 | B.buildCast(LLT::pointer(0, 32), MIBAdd); |
| 522 | B.buildCast(LLT::pointer(1, 32), MIBAdd); |
| 523 | bool match = mi_match(MIBAdd.getReg(0), MRI, m_GAdd(m_Reg(), m_Reg())); |
| 524 | EXPECT_TRUE(match); |
| 525 | match = mi_match(MIBAdd.getReg(0), MRI, m_OneUse(m_GAdd(m_Reg(), m_Reg()))); |
| 526 | EXPECT_FALSE(match); |
| 527 | } |
Aditya Nandakumar | 2036f44 | 2018-01-25 02:53:06 +0000 | [diff] [blame] | 528 | } // namespace |
| 529 | |
| 530 | int main(int argc, char **argv) { |
| 531 | ::testing::InitGoogleTest(&argc, argv); |
| 532 | initLLVM(); |
| 533 | return RUN_ALL_TESTS(); |
| 534 | } |