2018-01-25 10:53:06 +08:00
|
|
|
//===- PatternMatchTest.cpp -----------------------------------------------===//
|
|
|
|
//
|
2019-01-19 16:50:56 +08:00
|
|
|
// 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
|
2018-01-25 10:53:06 +08:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2018-04-10 01:30:56 +08:00
|
|
|
#include "llvm/CodeGen/GlobalISel/ConstantFoldingMIRBuilder.h"
|
2018-01-25 10:53:06 +08:00
|
|
|
#include "llvm/CodeGen/GlobalISel/MIPatternMatch.h"
|
|
|
|
#include "llvm/CodeGen/GlobalISel/MachineIRBuilder.h"
|
|
|
|
#include "llvm/CodeGen/GlobalISel/Utils.h"
|
|
|
|
#include "llvm/CodeGen/MIRParser/MIRParser.h"
|
|
|
|
#include "llvm/CodeGen/MachineFunction.h"
|
|
|
|
#include "llvm/CodeGen/MachineModuleInfo.h"
|
|
|
|
#include "llvm/CodeGen/TargetFrameLowering.h"
|
|
|
|
#include "llvm/CodeGen/TargetInstrInfo.h"
|
|
|
|
#include "llvm/CodeGen/TargetLowering.h"
|
|
|
|
#include "llvm/CodeGen/TargetSubtargetInfo.h"
|
|
|
|
#include "llvm/Support/SourceMgr.h"
|
|
|
|
#include "llvm/Support/TargetRegistry.h"
|
|
|
|
#include "llvm/Support/TargetSelect.h"
|
|
|
|
#include "llvm/Target/TargetMachine.h"
|
|
|
|
#include "llvm/Target/TargetOptions.h"
|
|
|
|
#include "gtest/gtest.h"
|
|
|
|
|
|
|
|
using namespace llvm;
|
|
|
|
using namespace MIPatternMatch;
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
|
|
|
void initLLVM() {
|
|
|
|
InitializeAllTargets();
|
|
|
|
InitializeAllTargetMCs();
|
|
|
|
InitializeAllAsmPrinters();
|
|
|
|
InitializeAllAsmParsers();
|
|
|
|
|
|
|
|
PassRegistry *Registry = PassRegistry::getPassRegistry();
|
|
|
|
initializeCore(*Registry);
|
|
|
|
initializeCodeGen(*Registry);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Create a TargetMachine. As we lack a dedicated always available target for
|
|
|
|
/// unittests, we go for "AArch64".
|
2018-11-06 07:49:13 +08:00
|
|
|
std::unique_ptr<LLVMTargetMachine> createTargetMachine() {
|
2018-01-25 10:53:06 +08:00
|
|
|
Triple TargetTriple("aarch64--");
|
|
|
|
std::string Error;
|
|
|
|
const Target *T = TargetRegistry::lookupTarget("", TargetTriple, Error);
|
|
|
|
if (!T)
|
|
|
|
return nullptr;
|
|
|
|
|
|
|
|
TargetOptions Options;
|
2018-11-06 07:49:13 +08:00
|
|
|
return std::unique_ptr<LLVMTargetMachine>(static_cast<LLVMTargetMachine*>(
|
|
|
|
T->createTargetMachine("AArch64", "", "", Options, None, None,
|
|
|
|
CodeGenOpt::Aggressive)));
|
2018-01-25 10:53:06 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
std::unique_ptr<Module> parseMIR(LLVMContext &Context,
|
|
|
|
std::unique_ptr<MIRParser> &MIR,
|
|
|
|
const TargetMachine &TM, StringRef MIRCode,
|
|
|
|
const char *FuncName, MachineModuleInfo &MMI) {
|
|
|
|
SMDiagnostic Diagnostic;
|
|
|
|
std::unique_ptr<MemoryBuffer> MBuffer = MemoryBuffer::getMemBuffer(MIRCode);
|
|
|
|
MIR = createMIRParser(std::move(MBuffer), Context);
|
|
|
|
if (!MIR)
|
|
|
|
return nullptr;
|
|
|
|
|
|
|
|
std::unique_ptr<Module> M = MIR->parseIRModule();
|
|
|
|
if (!M)
|
|
|
|
return nullptr;
|
|
|
|
|
|
|
|
M->setDataLayout(TM.createDataLayout());
|
|
|
|
|
|
|
|
if (MIR->parseMachineFunctions(*M, MMI))
|
|
|
|
return nullptr;
|
|
|
|
|
|
|
|
return M;
|
|
|
|
}
|
|
|
|
|
|
|
|
std::pair<std::unique_ptr<Module>, std::unique_ptr<MachineModuleInfo>>
|
2018-11-06 07:49:13 +08:00
|
|
|
createDummyModule(LLVMContext &Context, const LLVMTargetMachine &TM,
|
2018-01-25 10:53:06 +08:00
|
|
|
StringRef MIRFunc) {
|
|
|
|
SmallString<512> S;
|
|
|
|
StringRef MIRString = (Twine(R"MIR(
|
|
|
|
---
|
|
|
|
...
|
|
|
|
name: func
|
|
|
|
registers:
|
|
|
|
- { id: 0, class: _ }
|
|
|
|
- { id: 1, class: _ }
|
|
|
|
- { id: 2, class: _ }
|
|
|
|
- { id: 3, class: _ }
|
|
|
|
body: |
|
|
|
|
bb.1:
|
2018-02-01 06:04:26 +08:00
|
|
|
%0(s64) = COPY $x0
|
|
|
|
%1(s64) = COPY $x1
|
|
|
|
%2(s64) = COPY $x2
|
2018-01-25 10:53:06 +08:00
|
|
|
)MIR") + Twine(MIRFunc) + Twine("...\n"))
|
|
|
|
.toNullTerminatedStringRef(S);
|
|
|
|
std::unique_ptr<MIRParser> MIR;
|
2019-08-15 23:54:37 +08:00
|
|
|
auto MMI = std::make_unique<MachineModuleInfo>(&TM);
|
2018-01-25 10:53:06 +08:00
|
|
|
std::unique_ptr<Module> M =
|
|
|
|
parseMIR(Context, MIR, TM, MIRString, "func", *MMI);
|
|
|
|
return make_pair(std::move(M), std::move(MMI));
|
|
|
|
}
|
|
|
|
|
|
|
|
static MachineFunction *getMFFromMMI(const Module *M,
|
|
|
|
const MachineModuleInfo *MMI) {
|
|
|
|
Function *F = M->getFunction("func");
|
|
|
|
auto *MF = MMI->getMachineFunction(*F);
|
|
|
|
return MF;
|
|
|
|
}
|
|
|
|
|
2019-06-25 00:16:12 +08:00
|
|
|
static void collectCopies(SmallVectorImpl<Register> &Copies,
|
2018-01-25 10:53:06 +08:00
|
|
|
MachineFunction *MF) {
|
|
|
|
for (auto &MBB : *MF)
|
|
|
|
for (MachineInstr &MI : MBB) {
|
|
|
|
if (MI.getOpcode() == TargetOpcode::COPY)
|
|
|
|
Copies.push_back(MI.getOperand(0).getReg());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
TEST(PatternMatchInstr, MatchIntConstant) {
|
|
|
|
LLVMContext Context;
|
2018-11-06 07:49:13 +08:00
|
|
|
std::unique_ptr<LLVMTargetMachine> TM = createTargetMachine();
|
2018-01-25 10:53:06 +08:00
|
|
|
if (!TM)
|
|
|
|
return;
|
|
|
|
auto ModuleMMIPair = createDummyModule(Context, *TM, "");
|
|
|
|
MachineFunction *MF =
|
|
|
|
getMFFromMMI(ModuleMMIPair.first.get(), ModuleMMIPair.second.get());
|
2019-06-25 00:16:12 +08:00
|
|
|
SmallVector<Register, 4> Copies;
|
2018-01-25 10:53:06 +08:00
|
|
|
collectCopies(Copies, MF);
|
|
|
|
MachineBasicBlock *EntryMBB = &*MF->begin();
|
|
|
|
MachineIRBuilder B(*MF);
|
|
|
|
MachineRegisterInfo &MRI = MF->getRegInfo();
|
|
|
|
B.setInsertPt(*EntryMBB, EntryMBB->end());
|
|
|
|
auto MIBCst = B.buildConstant(LLT::scalar(64), 42);
|
2018-03-14 07:21:13 +08:00
|
|
|
int64_t Cst;
|
2018-01-25 10:53:06 +08:00
|
|
|
bool match = mi_match(MIBCst->getOperand(0).getReg(), MRI, m_ICst(Cst));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Cst, 42);
|
2018-01-25 10:53:06 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
TEST(PatternMatchInstr, MatchBinaryOp) {
|
|
|
|
LLVMContext Context;
|
2018-11-06 07:49:13 +08:00
|
|
|
std::unique_ptr<LLVMTargetMachine> TM = createTargetMachine();
|
2018-01-25 10:53:06 +08:00
|
|
|
if (!TM)
|
|
|
|
return;
|
|
|
|
auto ModuleMMIPair = createDummyModule(Context, *TM, "");
|
|
|
|
MachineFunction *MF =
|
|
|
|
getMFFromMMI(ModuleMMIPair.first.get(), ModuleMMIPair.second.get());
|
2019-06-25 00:16:12 +08:00
|
|
|
SmallVector<Register, 4> Copies;
|
2018-01-25 10:53:06 +08:00
|
|
|
collectCopies(Copies, MF);
|
|
|
|
MachineBasicBlock *EntryMBB = &*MF->begin();
|
|
|
|
MachineIRBuilder B(*MF);
|
|
|
|
MachineRegisterInfo &MRI = MF->getRegInfo();
|
|
|
|
B.setInsertPt(*EntryMBB, EntryMBB->end());
|
|
|
|
LLT s64 = LLT::scalar(64);
|
|
|
|
auto MIBAdd = B.buildAdd(s64, Copies[0], Copies[1]);
|
|
|
|
// Test case for no bind.
|
|
|
|
bool match =
|
|
|
|
mi_match(MIBAdd->getOperand(0).getReg(), MRI, m_GAdd(m_Reg(), m_Reg()));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
2019-06-24 23:50:29 +08:00
|
|
|
Register Src0, Src1, Src2;
|
2018-01-25 10:53:06 +08:00
|
|
|
match = mi_match(MIBAdd->getOperand(0).getReg(), MRI,
|
|
|
|
m_GAdd(m_Reg(Src0), m_Reg(Src1)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, Copies[0]);
|
|
|
|
EXPECT_EQ(Src1, Copies[1]);
|
2018-01-25 10:53:06 +08:00
|
|
|
|
|
|
|
// Build MUL(ADD %0, %1), %2
|
|
|
|
auto MIBMul = B.buildMul(s64, MIBAdd, Copies[2]);
|
|
|
|
|
|
|
|
// Try to match MUL.
|
|
|
|
match = mi_match(MIBMul->getOperand(0).getReg(), MRI,
|
|
|
|
m_GMul(m_Reg(Src0), m_Reg(Src1)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, MIBAdd->getOperand(0).getReg());
|
|
|
|
EXPECT_EQ(Src1, Copies[2]);
|
2018-01-25 10:53:06 +08:00
|
|
|
|
|
|
|
// Try to match MUL(ADD)
|
|
|
|
match = mi_match(MIBMul->getOperand(0).getReg(), MRI,
|
|
|
|
m_GMul(m_GAdd(m_Reg(Src0), m_Reg(Src1)), m_Reg(Src2)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, Copies[0]);
|
|
|
|
EXPECT_EQ(Src1, Copies[1]);
|
|
|
|
EXPECT_EQ(Src2, Copies[2]);
|
2018-01-25 10:53:06 +08:00
|
|
|
|
|
|
|
// Test Commutativity.
|
|
|
|
auto MIBMul2 = B.buildMul(s64, Copies[0], B.buildConstant(s64, 42));
|
|
|
|
// Try to match MUL(Cst, Reg) on src of MUL(Reg, Cst) to validate
|
|
|
|
// commutativity.
|
2018-03-14 07:21:13 +08:00
|
|
|
int64_t Cst;
|
2018-01-25 10:53:06 +08:00
|
|
|
match = mi_match(MIBMul2->getOperand(0).getReg(), MRI,
|
|
|
|
m_GMul(m_ICst(Cst), m_Reg(Src0)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Cst, 42);
|
|
|
|
EXPECT_EQ(Src0, Copies[0]);
|
2018-01-25 10:53:06 +08:00
|
|
|
|
|
|
|
// Make sure commutative doesn't work with something like SUB.
|
|
|
|
auto MIBSub = B.buildSub(s64, Copies[0], B.buildConstant(s64, 42));
|
|
|
|
match = mi_match(MIBSub->getOperand(0).getReg(), MRI,
|
|
|
|
m_GSub(m_ICst(Cst), m_Reg(Src0)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_FALSE(match);
|
2018-02-14 04:09:13 +08:00
|
|
|
|
[GISel]: Refactor MachineIRBuilder to allow passing additional parameters to build Instrs
https://reviews.llvm.org/D55294
Previously MachineIRBuilder::buildInstr used to accept variadic
arguments for sources (which were either unsigned or
MachineInstrBuilder). While this worked well in common cases, it doesn't
allow us to build instructions that have multiple destinations.
Additionally passing in other optional parameters in the end (such as
flags) is not possible trivially. Also a trivial call such as
B.buildInstr(Opc, Reg1, Reg2, Reg3)
can be interpreted differently based on the opcode (2defs + 1 src for
unmerge vs 1 def + 2srcs).
This patch refactors the buildInstr to
buildInstr(Opc, ArrayRef<DstOps>, ArrayRef<SrcOps>)
where DstOps and SrcOps are typed unions that know how to add itself to
MachineInstrBuilder.
After this patch, most invocations would look like
B.buildInstr(Opc, {s32, DstReg}, {SrcRegs..., SrcMIBs..});
Now all the other calls (such as buildAdd, buildSub etc) forward to
buildInstr. It also makes it possible to build instructions with
multiple defs.
Additionally in a subsequent patch, we should make it possible to add
flags directly while building instructions.
Additionally, the main buildInstr method is now virtual and other
builders now only have to override buildInstr (for say constant
folding/cseing) is straightforward.
Also attached here (https://reviews.llvm.org/F7675680) is a clang-tidy
patch that should upgrade the API calls if necessary.
llvm-svn: 348815
2018-12-11 08:48:50 +08:00
|
|
|
auto MIBFMul = B.buildInstr(TargetOpcode::G_FMUL, {s64},
|
|
|
|
{Copies[0], B.buildConstant(s64, 42)});
|
2018-02-14 04:09:13 +08:00
|
|
|
// Match and test commutativity for FMUL.
|
|
|
|
match = mi_match(MIBFMul->getOperand(0).getReg(), MRI,
|
|
|
|
m_GFMul(m_ICst(Cst), m_Reg(Src0)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Cst, 42);
|
|
|
|
EXPECT_EQ(Src0, Copies[0]);
|
2018-02-15 03:58:36 +08:00
|
|
|
|
2018-06-01 03:30:01 +08:00
|
|
|
// FSUB
|
[GISel]: Refactor MachineIRBuilder to allow passing additional parameters to build Instrs
https://reviews.llvm.org/D55294
Previously MachineIRBuilder::buildInstr used to accept variadic
arguments for sources (which were either unsigned or
MachineInstrBuilder). While this worked well in common cases, it doesn't
allow us to build instructions that have multiple destinations.
Additionally passing in other optional parameters in the end (such as
flags) is not possible trivially. Also a trivial call such as
B.buildInstr(Opc, Reg1, Reg2, Reg3)
can be interpreted differently based on the opcode (2defs + 1 src for
unmerge vs 1 def + 2srcs).
This patch refactors the buildInstr to
buildInstr(Opc, ArrayRef<DstOps>, ArrayRef<SrcOps>)
where DstOps and SrcOps are typed unions that know how to add itself to
MachineInstrBuilder.
After this patch, most invocations would look like
B.buildInstr(Opc, {s32, DstReg}, {SrcRegs..., SrcMIBs..});
Now all the other calls (such as buildAdd, buildSub etc) forward to
buildInstr. It also makes it possible to build instructions with
multiple defs.
Additionally in a subsequent patch, we should make it possible to add
flags directly while building instructions.
Additionally, the main buildInstr method is now virtual and other
builders now only have to override buildInstr (for say constant
folding/cseing) is straightforward.
Also attached here (https://reviews.llvm.org/F7675680) is a clang-tidy
patch that should upgrade the API calls if necessary.
llvm-svn: 348815
2018-12-11 08:48:50 +08:00
|
|
|
auto MIBFSub = B.buildInstr(TargetOpcode::G_FSUB, {s64},
|
|
|
|
{Copies[0], B.buildConstant(s64, 42)});
|
2018-06-01 03:30:01 +08:00
|
|
|
match = mi_match(MIBFSub->getOperand(0).getReg(), MRI,
|
|
|
|
m_GFSub(m_Reg(Src0), m_Reg()));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, Copies[0]);
|
2018-06-01 03:30:01 +08:00
|
|
|
|
2018-02-15 03:58:36 +08:00
|
|
|
// Build AND %0, %1
|
|
|
|
auto MIBAnd = B.buildAnd(s64, Copies[0], Copies[1]);
|
|
|
|
// Try to match AND.
|
|
|
|
match = mi_match(MIBAnd->getOperand(0).getReg(), MRI,
|
|
|
|
m_GAnd(m_Reg(Src0), m_Reg(Src1)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, Copies[0]);
|
|
|
|
EXPECT_EQ(Src1, Copies[1]);
|
2018-02-15 03:58:36 +08:00
|
|
|
|
|
|
|
// Build OR %0, %1
|
|
|
|
auto MIBOr = B.buildOr(s64, Copies[0], Copies[1]);
|
|
|
|
// Try to match OR.
|
|
|
|
match = mi_match(MIBOr->getOperand(0).getReg(), MRI,
|
|
|
|
m_GOr(m_Reg(Src0), m_Reg(Src1)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, Copies[0]);
|
|
|
|
EXPECT_EQ(Src1, Copies[1]);
|
2018-04-10 01:30:56 +08:00
|
|
|
|
|
|
|
// Try to use the FoldableInstructionsBuilder to build binary ops.
|
|
|
|
ConstantFoldingMIRBuilder CFB(B.getState());
|
|
|
|
LLT s32 = LLT::scalar(32);
|
|
|
|
auto MIBCAdd =
|
|
|
|
CFB.buildAdd(s32, CFB.buildConstant(s32, 0), CFB.buildConstant(s32, 1));
|
|
|
|
// This should be a constant now.
|
|
|
|
match = mi_match(MIBCAdd->getOperand(0).getReg(), MRI, m_ICst(Cst));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Cst, 1);
|
2018-04-10 01:30:56 +08:00
|
|
|
auto MIBCAdd1 =
|
[GISel]: Refactor MachineIRBuilder to allow passing additional parameters to build Instrs
https://reviews.llvm.org/D55294
Previously MachineIRBuilder::buildInstr used to accept variadic
arguments for sources (which were either unsigned or
MachineInstrBuilder). While this worked well in common cases, it doesn't
allow us to build instructions that have multiple destinations.
Additionally passing in other optional parameters in the end (such as
flags) is not possible trivially. Also a trivial call such as
B.buildInstr(Opc, Reg1, Reg2, Reg3)
can be interpreted differently based on the opcode (2defs + 1 src for
unmerge vs 1 def + 2srcs).
This patch refactors the buildInstr to
buildInstr(Opc, ArrayRef<DstOps>, ArrayRef<SrcOps>)
where DstOps and SrcOps are typed unions that know how to add itself to
MachineInstrBuilder.
After this patch, most invocations would look like
B.buildInstr(Opc, {s32, DstReg}, {SrcRegs..., SrcMIBs..});
Now all the other calls (such as buildAdd, buildSub etc) forward to
buildInstr. It also makes it possible to build instructions with
multiple defs.
Additionally in a subsequent patch, we should make it possible to add
flags directly while building instructions.
Additionally, the main buildInstr method is now virtual and other
builders now only have to override buildInstr (for say constant
folding/cseing) is straightforward.
Also attached here (https://reviews.llvm.org/F7675680) is a clang-tidy
patch that should upgrade the API calls if necessary.
llvm-svn: 348815
2018-12-11 08:48:50 +08:00
|
|
|
CFB.buildInstr(TargetOpcode::G_ADD, {s32},
|
|
|
|
{CFB.buildConstant(s32, 0), CFB.buildConstant(s32, 1)});
|
2018-04-10 01:30:56 +08:00
|
|
|
// This should be a constant now.
|
|
|
|
match = mi_match(MIBCAdd1->getOperand(0).getReg(), MRI, m_ICst(Cst));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Cst, 1);
|
2018-04-10 01:30:56 +08:00
|
|
|
|
|
|
|
// Try one of the other constructors of MachineIRBuilder to make sure it's
|
|
|
|
// compatible.
|
|
|
|
ConstantFoldingMIRBuilder CFB1(*MF);
|
|
|
|
CFB1.setInsertPt(*EntryMBB, EntryMBB->end());
|
|
|
|
auto MIBCSub =
|
[GISel]: Refactor MachineIRBuilder to allow passing additional parameters to build Instrs
https://reviews.llvm.org/D55294
Previously MachineIRBuilder::buildInstr used to accept variadic
arguments for sources (which were either unsigned or
MachineInstrBuilder). While this worked well in common cases, it doesn't
allow us to build instructions that have multiple destinations.
Additionally passing in other optional parameters in the end (such as
flags) is not possible trivially. Also a trivial call such as
B.buildInstr(Opc, Reg1, Reg2, Reg3)
can be interpreted differently based on the opcode (2defs + 1 src for
unmerge vs 1 def + 2srcs).
This patch refactors the buildInstr to
buildInstr(Opc, ArrayRef<DstOps>, ArrayRef<SrcOps>)
where DstOps and SrcOps are typed unions that know how to add itself to
MachineInstrBuilder.
After this patch, most invocations would look like
B.buildInstr(Opc, {s32, DstReg}, {SrcRegs..., SrcMIBs..});
Now all the other calls (such as buildAdd, buildSub etc) forward to
buildInstr. It also makes it possible to build instructions with
multiple defs.
Additionally in a subsequent patch, we should make it possible to add
flags directly while building instructions.
Additionally, the main buildInstr method is now virtual and other
builders now only have to override buildInstr (for say constant
folding/cseing) is straightforward.
Also attached here (https://reviews.llvm.org/F7675680) is a clang-tidy
patch that should upgrade the API calls if necessary.
llvm-svn: 348815
2018-12-11 08:48:50 +08:00
|
|
|
CFB1.buildInstr(TargetOpcode::G_SUB, {s32},
|
|
|
|
{CFB1.buildConstant(s32, 1), CFB1.buildConstant(s32, 1)});
|
2018-04-10 01:30:56 +08:00
|
|
|
// This should be a constant now.
|
|
|
|
match = mi_match(MIBCSub->getOperand(0).getReg(), MRI, m_ICst(Cst));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Cst, 0);
|
[globalisel] Add G_SEXT_INREG
Summary:
Targets often have instructions that can sign-extend certain cases faster
than the equivalent shift-left/arithmetic-shift-right. Such cases can be
identified by matching a shift-left/shift-right pair but there are some
issues with this in the context of combines. For example, suppose you can
sign-extend 8-bit up to 32-bit with a target extend instruction.
%1:_(s32) = G_SHL %0:_(s32), i32 24 # (I've inlined the G_CONSTANT for brevity)
%2:_(s32) = G_ASHR %1:_(s32), i32 24
%3:_(s32) = G_ASHR %2:_(s32), i32 1
would reasonably combine to:
%1:_(s32) = G_SHL %0:_(s32), i32 24
%2:_(s32) = G_ASHR %1:_(s32), i32 25
which no longer matches the special case. If your shifts and extend are
equal cost, this would break even as a pair of shifts but if your shift is
more expensive than the extend then it's cheaper as:
%2:_(s32) = G_SEXT_INREG %0:_(s32), i32 8
%3:_(s32) = G_ASHR %2:_(s32), i32 1
It's possible to match the shift-pair in ISel and emit an extend and ashr.
However, this is far from the only way to break this shift pair and make
it hard to match the extends. Another example is that with the right
known-zeros, this:
%1:_(s32) = G_SHL %0:_(s32), i32 24
%2:_(s32) = G_ASHR %1:_(s32), i32 24
%3:_(s32) = G_MUL %2:_(s32), i32 2
can become:
%1:_(s32) = G_SHL %0:_(s32), i32 24
%2:_(s32) = G_ASHR %1:_(s32), i32 23
All upstream targets have been configured to lower it to the current
G_SHL,G_ASHR pair but will likely want to make it legal in some cases to
handle their faster cases.
To follow-up: Provide a way to legalize based on the constant. At the
moment, I'm thinking that the best way to achieve this is to provide the
MI in LegalityQuery but that opens the door to breaking core principles
of the legalizer (legality is not context sensitive). That said, it's
worth noting that looking at other instructions and acting on that
information doesn't violate this principle in itself. It's only a
violation if, at the end of legalization, a pass that checks legality
without being able to see the context would say an instruction might not be
legal. That's a fairly subtle distinction so to give a concrete example,
saying %2 in:
%1 = G_CONSTANT 16
%2 = G_SEXT_INREG %0, %1
is legal is in violation of that principle if the legality of %2 depends
on %1 being constant and/or being 16. However, legalizing to either:
%2 = G_SEXT_INREG %0, 16
or:
%1 = G_CONSTANT 16
%2:_(s32) = G_SHL %0, %1
%3:_(s32) = G_ASHR %2, %1
depending on whether %1 is constant and 16 does not violate that principle
since both outputs are genuinely legal.
Reviewers: bogner, aditya_nandakumar, volkan, aemerson, paquette, arsenm
Subscribers: sdardis, jvesely, wdng, nhaehnle, rovka, kristof.beyls, javed.absar, hiraditya, jrtc27, atanasyan, Petar.Avramovic, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D61289
llvm-svn: 368487
2019-08-10 05:11:20 +08:00
|
|
|
|
|
|
|
auto MIBCSext1 =
|
|
|
|
CFB1.buildInstr(TargetOpcode::G_SEXT_INREG, {s32},
|
|
|
|
{CFB1.buildConstant(s32, 0x01), uint64_t(8)});
|
|
|
|
// This should be a constant now.
|
|
|
|
match = mi_match(MIBCSext1->getOperand(0).getReg(), MRI, m_ICst(Cst));
|
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(1, Cst);
|
|
|
|
|
|
|
|
auto MIBCSext2 =
|
|
|
|
CFB1.buildInstr(TargetOpcode::G_SEXT_INREG, {s32},
|
|
|
|
{CFB1.buildConstant(s32, 0x80), uint64_t(8)});
|
|
|
|
// This should be a constant now.
|
|
|
|
match = mi_match(MIBCSext2->getOperand(0).getReg(), MRI, m_ICst(Cst));
|
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(-0x80, Cst);
|
2018-01-25 10:53:06 +08:00
|
|
|
}
|
|
|
|
|
2018-03-06 06:31:55 +08:00
|
|
|
TEST(PatternMatchInstr, MatchFPUnaryOp) {
|
|
|
|
LLVMContext Context;
|
2018-11-06 07:49:13 +08:00
|
|
|
std::unique_ptr<LLVMTargetMachine> TM = createTargetMachine();
|
2018-03-06 06:31:55 +08:00
|
|
|
if (!TM)
|
|
|
|
return;
|
|
|
|
auto ModuleMMIPair = createDummyModule(Context, *TM, "");
|
|
|
|
MachineFunction *MF =
|
|
|
|
getMFFromMMI(ModuleMMIPair.first.get(), ModuleMMIPair.second.get());
|
2019-06-25 00:16:12 +08:00
|
|
|
SmallVector<Register, 4> Copies;
|
2018-03-06 06:31:55 +08:00
|
|
|
collectCopies(Copies, MF);
|
|
|
|
MachineBasicBlock *EntryMBB = &*MF->begin();
|
|
|
|
MachineIRBuilder B(*MF);
|
|
|
|
MachineRegisterInfo &MRI = MF->getRegInfo();
|
|
|
|
B.setInsertPt(*EntryMBB, EntryMBB->end());
|
|
|
|
|
|
|
|
// Truncate s64 to s32.
|
|
|
|
LLT s32 = LLT::scalar(32);
|
|
|
|
auto Copy0s32 = B.buildFPTrunc(s32, Copies[0]);
|
|
|
|
|
|
|
|
// Match G_FABS.
|
[GISel]: Refactor MachineIRBuilder to allow passing additional parameters to build Instrs
https://reviews.llvm.org/D55294
Previously MachineIRBuilder::buildInstr used to accept variadic
arguments for sources (which were either unsigned or
MachineInstrBuilder). While this worked well in common cases, it doesn't
allow us to build instructions that have multiple destinations.
Additionally passing in other optional parameters in the end (such as
flags) is not possible trivially. Also a trivial call such as
B.buildInstr(Opc, Reg1, Reg2, Reg3)
can be interpreted differently based on the opcode (2defs + 1 src for
unmerge vs 1 def + 2srcs).
This patch refactors the buildInstr to
buildInstr(Opc, ArrayRef<DstOps>, ArrayRef<SrcOps>)
where DstOps and SrcOps are typed unions that know how to add itself to
MachineInstrBuilder.
After this patch, most invocations would look like
B.buildInstr(Opc, {s32, DstReg}, {SrcRegs..., SrcMIBs..});
Now all the other calls (such as buildAdd, buildSub etc) forward to
buildInstr. It also makes it possible to build instructions with
multiple defs.
Additionally in a subsequent patch, we should make it possible to add
flags directly while building instructions.
Additionally, the main buildInstr method is now virtual and other
builders now only have to override buildInstr (for say constant
folding/cseing) is straightforward.
Also attached here (https://reviews.llvm.org/F7675680) is a clang-tidy
patch that should upgrade the API calls if necessary.
llvm-svn: 348815
2018-12-11 08:48:50 +08:00
|
|
|
auto MIBFabs = B.buildInstr(TargetOpcode::G_FABS, {s32}, {Copy0s32});
|
2018-03-06 06:31:55 +08:00
|
|
|
bool match = mi_match(MIBFabs->getOperand(0).getReg(), MRI, m_GFabs(m_Reg()));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
2018-06-01 03:30:01 +08:00
|
|
|
|
2019-06-24 23:50:29 +08:00
|
|
|
Register Src;
|
[GISel]: Refactor MachineIRBuilder to allow passing additional parameters to build Instrs
https://reviews.llvm.org/D55294
Previously MachineIRBuilder::buildInstr used to accept variadic
arguments for sources (which were either unsigned or
MachineInstrBuilder). While this worked well in common cases, it doesn't
allow us to build instructions that have multiple destinations.
Additionally passing in other optional parameters in the end (such as
flags) is not possible trivially. Also a trivial call such as
B.buildInstr(Opc, Reg1, Reg2, Reg3)
can be interpreted differently based on the opcode (2defs + 1 src for
unmerge vs 1 def + 2srcs).
This patch refactors the buildInstr to
buildInstr(Opc, ArrayRef<DstOps>, ArrayRef<SrcOps>)
where DstOps and SrcOps are typed unions that know how to add itself to
MachineInstrBuilder.
After this patch, most invocations would look like
B.buildInstr(Opc, {s32, DstReg}, {SrcRegs..., SrcMIBs..});
Now all the other calls (such as buildAdd, buildSub etc) forward to
buildInstr. It also makes it possible to build instructions with
multiple defs.
Additionally in a subsequent patch, we should make it possible to add
flags directly while building instructions.
Additionally, the main buildInstr method is now virtual and other
builders now only have to override buildInstr (for say constant
folding/cseing) is straightforward.
Also attached here (https://reviews.llvm.org/F7675680) is a clang-tidy
patch that should upgrade the API calls if necessary.
llvm-svn: 348815
2018-12-11 08:48:50 +08:00
|
|
|
auto MIBFNeg = B.buildInstr(TargetOpcode::G_FNEG, {s32}, {Copy0s32});
|
2018-06-01 03:30:01 +08:00
|
|
|
match = mi_match(MIBFNeg->getOperand(0).getReg(), MRI, m_GFNeg(m_Reg(Src)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src, Copy0s32->getOperand(0).getReg());
|
2018-06-01 03:30:01 +08:00
|
|
|
|
2018-03-06 06:31:55 +08:00
|
|
|
match = mi_match(MIBFabs->getOperand(0).getReg(), MRI, m_GFabs(m_Reg(Src)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src, Copy0s32->getOperand(0).getReg());
|
2018-03-10 01:31:51 +08:00
|
|
|
|
|
|
|
// Build and match FConstant.
|
|
|
|
auto MIBFCst = B.buildFConstant(s32, .5);
|
|
|
|
const ConstantFP *TmpFP{};
|
|
|
|
match = mi_match(MIBFCst->getOperand(0).getReg(), MRI, m_GFCst(TmpFP));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_TRUE(TmpFP);
|
2018-03-10 01:31:51 +08:00
|
|
|
APFloat APF((float).5);
|
|
|
|
auto *CFP = ConstantFP::get(Context, APF);
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_EQ(CFP, TmpFP);
|
2018-03-10 01:31:51 +08:00
|
|
|
|
|
|
|
// Build double float.
|
|
|
|
LLT s64 = LLT::scalar(64);
|
|
|
|
auto MIBFCst64 = B.buildFConstant(s64, .5);
|
|
|
|
const ConstantFP *TmpFP64{};
|
|
|
|
match = mi_match(MIBFCst64->getOperand(0).getReg(), MRI, m_GFCst(TmpFP64));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_TRUE(TmpFP64);
|
2018-03-10 01:31:51 +08:00
|
|
|
APFloat APF64(.5);
|
|
|
|
auto CFP64 = ConstantFP::get(Context, APF64);
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_EQ(CFP64, TmpFP64);
|
|
|
|
EXPECT_NE(TmpFP64, TmpFP);
|
2018-03-10 01:31:51 +08:00
|
|
|
|
|
|
|
// Build half float.
|
|
|
|
LLT s16 = LLT::scalar(16);
|
|
|
|
auto MIBFCst16 = B.buildFConstant(s16, .5);
|
|
|
|
const ConstantFP *TmpFP16{};
|
|
|
|
match = mi_match(MIBFCst16->getOperand(0).getReg(), MRI, m_GFCst(TmpFP16));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_TRUE(TmpFP16);
|
2018-03-10 01:31:51 +08:00
|
|
|
bool Ignored;
|
|
|
|
APFloat APF16(.5);
|
|
|
|
APF16.convert(APFloat::IEEEhalf(), APFloat::rmNearestTiesToEven, &Ignored);
|
|
|
|
auto CFP16 = ConstantFP::get(Context, APF16);
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_EQ(TmpFP16, CFP16);
|
|
|
|
EXPECT_NE(TmpFP16, TmpFP);
|
2018-03-06 06:31:55 +08:00
|
|
|
}
|
|
|
|
|
2018-01-25 10:53:06 +08:00
|
|
|
TEST(PatternMatchInstr, MatchExtendsTrunc) {
|
|
|
|
LLVMContext Context;
|
2018-11-06 07:49:13 +08:00
|
|
|
std::unique_ptr<LLVMTargetMachine> TM = createTargetMachine();
|
2018-01-25 10:53:06 +08:00
|
|
|
if (!TM)
|
|
|
|
return;
|
|
|
|
auto ModuleMMIPair = createDummyModule(Context, *TM, "");
|
|
|
|
MachineFunction *MF =
|
|
|
|
getMFFromMMI(ModuleMMIPair.first.get(), ModuleMMIPair.second.get());
|
2019-06-25 00:16:12 +08:00
|
|
|
SmallVector<Register, 4> Copies;
|
2018-01-25 10:53:06 +08:00
|
|
|
collectCopies(Copies, MF);
|
|
|
|
MachineBasicBlock *EntryMBB = &*MF->begin();
|
|
|
|
MachineIRBuilder B(*MF);
|
|
|
|
MachineRegisterInfo &MRI = MF->getRegInfo();
|
|
|
|
B.setInsertPt(*EntryMBB, EntryMBB->end());
|
|
|
|
LLT s64 = LLT::scalar(64);
|
|
|
|
LLT s32 = LLT::scalar(32);
|
|
|
|
|
|
|
|
auto MIBTrunc = B.buildTrunc(s32, Copies[0]);
|
|
|
|
auto MIBAExt = B.buildAnyExt(s64, MIBTrunc);
|
|
|
|
auto MIBZExt = B.buildZExt(s64, MIBTrunc);
|
|
|
|
auto MIBSExt = B.buildSExt(s64, MIBTrunc);
|
2019-06-24 23:50:29 +08:00
|
|
|
Register Src0;
|
2018-01-25 10:53:06 +08:00
|
|
|
bool match =
|
|
|
|
mi_match(MIBTrunc->getOperand(0).getReg(), MRI, m_GTrunc(m_Reg(Src0)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, Copies[0]);
|
2018-01-25 10:53:06 +08:00
|
|
|
match =
|
|
|
|
mi_match(MIBAExt->getOperand(0).getReg(), MRI, m_GAnyExt(m_Reg(Src0)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, MIBTrunc->getOperand(0).getReg());
|
2018-01-25 10:53:06 +08:00
|
|
|
|
|
|
|
match = mi_match(MIBSExt->getOperand(0).getReg(), MRI, m_GSExt(m_Reg(Src0)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, MIBTrunc->getOperand(0).getReg());
|
2018-01-25 10:53:06 +08:00
|
|
|
|
|
|
|
match = mi_match(MIBZExt->getOperand(0).getReg(), MRI, m_GZExt(m_Reg(Src0)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, MIBTrunc->getOperand(0).getReg());
|
2018-01-25 10:53:06 +08:00
|
|
|
|
|
|
|
// Match ext(trunc src)
|
|
|
|
match = mi_match(MIBAExt->getOperand(0).getReg(), MRI,
|
|
|
|
m_GAnyExt(m_GTrunc(m_Reg(Src0))));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, Copies[0]);
|
2018-01-25 10:53:06 +08:00
|
|
|
|
|
|
|
match = mi_match(MIBSExt->getOperand(0).getReg(), MRI,
|
|
|
|
m_GSExt(m_GTrunc(m_Reg(Src0))));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, Copies[0]);
|
2018-01-25 10:53:06 +08:00
|
|
|
|
|
|
|
match = mi_match(MIBZExt->getOperand(0).getReg(), MRI,
|
|
|
|
m_GZExt(m_GTrunc(m_Reg(Src0))));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, Copies[0]);
|
2018-01-25 10:53:06 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
TEST(PatternMatchInstr, MatchSpecificType) {
|
|
|
|
LLVMContext Context;
|
2018-11-06 07:49:13 +08:00
|
|
|
std::unique_ptr<LLVMTargetMachine> TM = createTargetMachine();
|
2018-01-25 10:53:06 +08:00
|
|
|
if (!TM)
|
|
|
|
return;
|
|
|
|
auto ModuleMMIPair = createDummyModule(Context, *TM, "");
|
|
|
|
MachineFunction *MF =
|
|
|
|
getMFFromMMI(ModuleMMIPair.first.get(), ModuleMMIPair.second.get());
|
2019-06-25 00:16:12 +08:00
|
|
|
SmallVector<Register, 4> Copies;
|
2018-01-25 10:53:06 +08:00
|
|
|
collectCopies(Copies, MF);
|
|
|
|
MachineBasicBlock *EntryMBB = &*MF->begin();
|
|
|
|
MachineIRBuilder B(*MF);
|
|
|
|
MachineRegisterInfo &MRI = MF->getRegInfo();
|
|
|
|
B.setInsertPt(*EntryMBB, EntryMBB->end());
|
2018-02-15 03:58:36 +08:00
|
|
|
|
|
|
|
// Try to match a 64bit add.
|
2018-01-25 10:53:06 +08:00
|
|
|
LLT s64 = LLT::scalar(64);
|
|
|
|
LLT s32 = LLT::scalar(32);
|
|
|
|
auto MIBAdd = B.buildAdd(s64, Copies[0], Copies[1]);
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_FALSE(mi_match(MIBAdd->getOperand(0).getReg(), MRI,
|
2018-01-25 10:53:06 +08:00
|
|
|
m_GAdd(m_SpecificType(s32), m_Reg())));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(mi_match(MIBAdd->getOperand(0).getReg(), MRI,
|
2018-01-25 10:53:06 +08:00
|
|
|
m_GAdd(m_SpecificType(s64), m_Reg())));
|
2018-02-15 03:58:36 +08:00
|
|
|
|
|
|
|
// Try to match the destination type of a bitcast.
|
|
|
|
LLT v2s32 = LLT::vector(2, 32);
|
|
|
|
auto MIBCast = B.buildCast(v2s32, Copies[0]);
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(
|
2018-02-20 07:11:53 +08:00
|
|
|
mi_match(MIBCast->getOperand(0).getReg(), MRI, m_GBitcast(m_Reg())));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(
|
2018-02-15 03:58:36 +08:00
|
|
|
mi_match(MIBCast->getOperand(0).getReg(), MRI, m_SpecificType(v2s32)));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(
|
2018-02-15 03:58:36 +08:00
|
|
|
mi_match(MIBCast->getOperand(1).getReg(), MRI, m_SpecificType(s64)));
|
2018-02-20 07:11:53 +08:00
|
|
|
|
|
|
|
// Build a PTRToInt and INTTOPTR and match and test them.
|
|
|
|
LLT PtrTy = LLT::pointer(0, 64);
|
|
|
|
auto MIBIntToPtr = B.buildCast(PtrTy, Copies[0]);
|
|
|
|
auto MIBPtrToInt = B.buildCast(s64, MIBIntToPtr);
|
2019-06-24 23:50:29 +08:00
|
|
|
Register Src0;
|
2018-02-20 07:11:53 +08:00
|
|
|
|
|
|
|
// match the ptrtoint(inttoptr reg)
|
|
|
|
bool match = mi_match(MIBPtrToInt->getOperand(0).getReg(), MRI,
|
|
|
|
m_GPtrToInt(m_GIntToPtr(m_Reg(Src0))));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, Copies[0]);
|
2018-01-25 10:53:06 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
TEST(PatternMatchInstr, MatchCombinators) {
|
|
|
|
LLVMContext Context;
|
2018-11-06 07:49:13 +08:00
|
|
|
std::unique_ptr<LLVMTargetMachine> TM = createTargetMachine();
|
2018-01-25 10:53:06 +08:00
|
|
|
if (!TM)
|
|
|
|
return;
|
|
|
|
auto ModuleMMIPair = createDummyModule(Context, *TM, "");
|
|
|
|
MachineFunction *MF =
|
|
|
|
getMFFromMMI(ModuleMMIPair.first.get(), ModuleMMIPair.second.get());
|
2019-06-25 00:16:12 +08:00
|
|
|
SmallVector<Register, 4> Copies;
|
2018-01-25 10:53:06 +08:00
|
|
|
collectCopies(Copies, MF);
|
|
|
|
MachineBasicBlock *EntryMBB = &*MF->begin();
|
|
|
|
MachineIRBuilder B(*MF);
|
|
|
|
MachineRegisterInfo &MRI = MF->getRegInfo();
|
|
|
|
B.setInsertPt(*EntryMBB, EntryMBB->end());
|
|
|
|
LLT s64 = LLT::scalar(64);
|
|
|
|
LLT s32 = LLT::scalar(32);
|
|
|
|
auto MIBAdd = B.buildAdd(s64, Copies[0], Copies[1]);
|
2019-06-24 23:50:29 +08:00
|
|
|
Register Src0, Src1;
|
2018-01-25 10:53:06 +08:00
|
|
|
bool match =
|
|
|
|
mi_match(MIBAdd->getOperand(0).getReg(), MRI,
|
|
|
|
m_all_of(m_SpecificType(s64), m_GAdd(m_Reg(Src0), m_Reg(Src1))));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, Copies[0]);
|
|
|
|
EXPECT_EQ(Src1, Copies[1]);
|
2018-01-25 10:53:06 +08:00
|
|
|
// Check for s32 (which should fail).
|
|
|
|
match =
|
|
|
|
mi_match(MIBAdd->getOperand(0).getReg(), MRI,
|
|
|
|
m_all_of(m_SpecificType(s32), m_GAdd(m_Reg(Src0), m_Reg(Src1))));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_FALSE(match);
|
2018-01-25 10:53:06 +08:00
|
|
|
match =
|
|
|
|
mi_match(MIBAdd->getOperand(0).getReg(), MRI,
|
|
|
|
m_any_of(m_SpecificType(s32), m_GAdd(m_Reg(Src0), m_Reg(Src1))));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_TRUE(match);
|
|
|
|
EXPECT_EQ(Src0, Copies[0]);
|
|
|
|
EXPECT_EQ(Src1, Copies[1]);
|
2018-02-23 09:01:59 +08:00
|
|
|
|
|
|
|
// Match a case where none of the predicates hold true.
|
|
|
|
match = mi_match(
|
|
|
|
MIBAdd->getOperand(0).getReg(), MRI,
|
|
|
|
m_any_of(m_SpecificType(LLT::scalar(16)), m_GSub(m_Reg(), m_Reg())));
|
2019-02-05 02:58:27 +08:00
|
|
|
EXPECT_FALSE(match);
|
2018-01-25 10:53:06 +08:00
|
|
|
}
|
2019-06-15 01:19:37 +08:00
|
|
|
|
|
|
|
TEST(PatternMatchInstr, MatchMiscellaneous) {
|
|
|
|
LLVMContext Context;
|
|
|
|
std::unique_ptr<LLVMTargetMachine> TM = createTargetMachine();
|
|
|
|
if (!TM)
|
|
|
|
return;
|
|
|
|
auto ModuleMMIPair = createDummyModule(Context, *TM, "");
|
|
|
|
MachineFunction *MF =
|
|
|
|
getMFFromMMI(ModuleMMIPair.first.get(), ModuleMMIPair.second.get());
|
2019-06-25 00:16:12 +08:00
|
|
|
SmallVector<Register, 4> Copies;
|
2019-06-15 01:19:37 +08:00
|
|
|
collectCopies(Copies, MF);
|
|
|
|
MachineBasicBlock *EntryMBB = &*MF->begin();
|
|
|
|
MachineIRBuilder B(*MF);
|
|
|
|
MachineRegisterInfo &MRI = MF->getRegInfo();
|
|
|
|
B.setInsertPt(*EntryMBB, EntryMBB->end());
|
|
|
|
LLT s64 = LLT::scalar(64);
|
|
|
|
auto MIBAdd = B.buildAdd(s64, Copies[0], Copies[1]);
|
|
|
|
// Make multiple uses of this add.
|
|
|
|
B.buildCast(LLT::pointer(0, 32), MIBAdd);
|
|
|
|
B.buildCast(LLT::pointer(1, 32), MIBAdd);
|
|
|
|
bool match = mi_match(MIBAdd.getReg(0), MRI, m_GAdd(m_Reg(), m_Reg()));
|
|
|
|
EXPECT_TRUE(match);
|
|
|
|
match = mi_match(MIBAdd.getReg(0), MRI, m_OneUse(m_GAdd(m_Reg(), m_Reg())));
|
|
|
|
EXPECT_FALSE(match);
|
|
|
|
}
|
2018-01-25 10:53:06 +08:00
|
|
|
} // namespace
|
|
|
|
|
|
|
|
int main(int argc, char **argv) {
|
|
|
|
::testing::InitGoogleTest(&argc, argv);
|
|
|
|
initLLVM();
|
|
|
|
return RUN_ALL_TESTS();
|
|
|
|
}
|