282 lines · plain
1// RUN: llvm-tblgen -gen-macro-fusion-pred -I %p/../../include %s | FileCheck %s --check-prefix=CHECK-PREDICATOR2// RUN: llvm-tblgen -gen-subtarget -I %p/../../include %s | FileCheck %s --check-prefix=CHECK-SUBTARGET3 4include "llvm/Target/Target.td"5 6def TestInstrInfo : InstrInfo { }7def TestAsmWriter : AsmWriter {8 int PassSubtarget = 1;9}10 11def Test : Target {12 let InstructionSet = TestInstrInfo;13 let AssemblyWriters = [TestAsmWriter];14}15 16let Namespace = "Test" in {17 foreach i = 0-32 in {18 def X#i : Register<"x"#i>;19 }20 21 def GPR : RegisterClass<"GPR", [i32], 32, (sequence "X%u", 0, 32)>;22 23 class TestInst<int Opc> : Instruction {24 field bits<32> Inst;25 field bits<32> SoftFail = 0;26 let Size = 4;27 let Inst = Opc;28 let OutOperandList = (outs);29 let InOperandList = (ins);30 let AsmString = NAME;31 }32}33 34def Inst0 : TestInst<0>;35def Inst1 : TestInst<1>;36let isCommutable = true in37def Inst2 : TestInst<2>;38 39def BothFusionPredicate: BothFusionPredicateWithMCInstPredicate<CheckRegOperand<0, X0>>;40def TestBothFusionPredicate: Fusion<"test-both-fusion-predicate", "HasBothFusionPredicate",41 "Test BothFusionPredicate",42 [BothFusionPredicate]>;43 44def TestFusion: SimpleFusion<"test-fusion", "HasTestFusion", "Test Fusion",45 CheckOpcode<[Inst0, Inst1]>,46 CheckAll<[47 CheckOpcode<[Inst1]>,48 CheckRegOperand<0, X0>49 ]>>;50 51let IsCommutable = 1 in52def TestCommutableFusion: SimpleFusion<"test-commutable-fusion", "HasTestCommutableFusion",53 "Test Commutable Fusion",54 CheckOpcode<[Inst0]>,55 CheckAll<[56 CheckOpcode<[Inst1]>,57 CheckRegOperand<0, X0>58 ]>>;59 60def TestSingleFusion: SingleFusion<"test-single-fusion", "HasTestSingleFusion",61 "Test SingleFusion",62 Inst0, Inst2,63 secondInstPred=CheckRegOperand<0, X0>>;64 65def TestFirstSameRegFusion: Fusion<"test-first-same-reg-fusion", "HasTestFirstSameRegFusion",66 "Test FirstSameReg",67 [FirstInstHasSameReg<0, 1>]> {68 bit IsCommutable = 1;69}70 71// CHECK-PREDICATOR: #ifdef GET_Test_MACRO_FUSION_PRED_DECL72// CHECK-PREDICATOR-NEXT: #undef GET_Test_MACRO_FUSION_PRED_DECL73// CHECK-PREDICATOR-EMPTY:74// CHECK-PREDICATOR-NEXT: namespace llvm {75// CHECK-PREDICATOR-NEXT: bool isTestBothFusionPredicate(const TargetInstrInfo &, const TargetSubtargetInfo &, const MachineInstr *, const MachineInstr &);76// CHECK-PREDICATOR-NEXT: bool isTestCommutableFusion(const TargetInstrInfo &, const TargetSubtargetInfo &, const MachineInstr *, const MachineInstr &);77// CHECK-PREDICATOR-NEXT: bool isTestFirstSameRegFusion(const TargetInstrInfo &, const TargetSubtargetInfo &, const MachineInstr *, const MachineInstr &);78// CHECK-PREDICATOR-NEXT: bool isTestFusion(const TargetInstrInfo &, const TargetSubtargetInfo &, const MachineInstr *, const MachineInstr &);79// CHECK-PREDICATOR-NEXT: bool isTestSingleFusion(const TargetInstrInfo &, const TargetSubtargetInfo &, const MachineInstr *, const MachineInstr &);80// CHECK-PREDICATOR-NEXT: } // end namespace llvm81// CHECK-PREDICATOR-EMPTY:82// CHECK-PREDICATOR-NEXT: #endif83 84// CHECK-PREDICATOR: #ifdef GET_Test_MACRO_FUSION_PRED_IMPL85// CHECK-PREDICATOR-NEXT: #undef GET_Test_MACRO_FUSION_PRED_IMPL86// CHECK-PREDICATOR-EMPTY:87// CHECK-PREDICATOR-NEXT: namespace llvm {88// CHECK-PREDICATOR-NEXT: bool isTestBothFusionPredicate(89// CHECK-PREDICATOR-NEXT: const TargetInstrInfo &TII,90// CHECK-PREDICATOR-NEXT: const TargetSubtargetInfo &STI,91// CHECK-PREDICATOR-NEXT: const MachineInstr *FirstMI,92// CHECK-PREDICATOR-NEXT: const MachineInstr &SecondMI) {93// CHECK-PREDICATOR-NEXT: {{[[]}}{{[[]}}maybe_unused{{[]]}}{{[]]}} auto &MRI = SecondMI.getMF()->getRegInfo();94// CHECK-PREDICATOR-NEXT: {95// CHECK-PREDICATOR-NEXT: const MachineInstr *MI = FirstMI;96// CHECK-PREDICATOR-NEXT: if (MI->getOperand(0).getReg() != Test::X0)97// CHECK-PREDICATOR-NEXT: return false;98// CHECK-PREDICATOR-NEXT: }99// CHECK-PREDICATOR-NEXT: {100// CHECK-PREDICATOR-NEXT: const MachineInstr *MI = &SecondMI;101// CHECK-PREDICATOR-NEXT: if (MI->getOperand(0).getReg() != Test::X0)102// CHECK-PREDICATOR-NEXT: return false;103// CHECK-PREDICATOR-NEXT: }104// CHECK-PREDICATOR-NEXT: return true;105// CHECK-PREDICATOR-NEXT: }106// CHECK-PREDICATOR-NEXT: bool isTestCommutableFusion(107// CHECK-PREDICATOR-NEXT: const TargetInstrInfo &TII,108// CHECK-PREDICATOR-NEXT: const TargetSubtargetInfo &STI,109// CHECK-PREDICATOR-NEXT: const MachineInstr *FirstMI,110// CHECK-PREDICATOR-NEXT: const MachineInstr &SecondMI) {111// CHECK-PREDICATOR-NEXT: {{[[]}}{{[[]}}maybe_unused{{[]]}}{{[]]}} auto &MRI = SecondMI.getMF()->getRegInfo();112// CHECK-PREDICATOR-NEXT: {113// CHECK-PREDICATOR-NEXT: const MachineInstr *MI = &SecondMI;114// CHECK-PREDICATOR-NEXT: if (!(115// CHECK-PREDICATOR-NEXT: ( MI->getOpcode() == Test::Inst1 )116// CHECK-PREDICATOR-NEXT: && MI->getOperand(0).getReg() == Test::X0117// CHECK-PREDICATOR-NEXT: ))118// CHECK-PREDICATOR-NEXT: return false;119// CHECK-PREDICATOR-NEXT: }120// CHECK-PREDICATOR-NEXT: if (!FirstMI)121// CHECK-PREDICATOR-NEXT: return true;122// CHECK-PREDICATOR-NEXT: {123// CHECK-PREDICATOR-NEXT: const MachineInstr *MI = FirstMI;124// CHECK-PREDICATOR-NEXT: if (( MI->getOpcode() != Test::Inst0 ))125// CHECK-PREDICATOR-NEXT: return false;126// CHECK-PREDICATOR-NEXT: }127// CHECK-PREDICATOR-NEXT: if (!SecondMI.getOperand(0).getReg().isVirtual()) {128// CHECK-PREDICATOR-NEXT: if (SecondMI.getOperand(0).getReg() != SecondMI.getOperand(1).getReg()) {129// CHECK-PREDICATOR-NEXT: if (!SecondMI.getDesc().isCommutable())130// CHECK-PREDICATOR-NEXT: return false;131// CHECK-PREDICATOR-NEXT: unsigned SrcOpIdx1 = 1, SrcOpIdx2 = TargetInstrInfo::CommuteAnyOperandIndex;132// CHECK-PREDICATOR-NEXT: if (TII.findCommutedOpIndices(SecondMI, SrcOpIdx1, SrcOpIdx2))133// CHECK-PREDICATOR-NEXT: if (SecondMI.getOperand(0).getReg() != SecondMI.getOperand(SrcOpIdx2).getReg())134// CHECK-PREDICATOR-NEXT: return false;135// CHECK-PREDICATOR-NEXT: }136// CHECK-PREDICATOR-NEXT: }137// CHECK-PREDICATOR-NEXT: {138// CHECK-PREDICATOR-NEXT: Register FirstDest = FirstMI->getOperand(0).getReg();139// CHECK-PREDICATOR-NEXT: if (FirstDest.isVirtual() && !MRI.hasOneNonDBGUse(FirstDest))140// CHECK-PREDICATOR-NEXT: return false;141// CHECK-PREDICATOR-NEXT: }142// CHECK-PREDICATOR-NEXT: if (!(FirstMI->getOperand(0).isReg() &&143// CHECK-PREDICATOR-NEXT: SecondMI.getOperand(1).isReg() &&144// CHECK-PREDICATOR-NEXT: FirstMI->getOperand(0).getReg() == SecondMI.getOperand(1).getReg())) {145// CHECK-PREDICATOR-NEXT: if (!SecondMI.getDesc().isCommutable())146// CHECK-PREDICATOR-NEXT: return false;147// CHECK-PREDICATOR-NEXT: unsigned SrcOpIdx1 = 1, SrcOpIdx2 = TargetInstrInfo::CommuteAnyOperandIndex;148// CHECK-PREDICATOR-NEXT: if (TII.findCommutedOpIndices(SecondMI, SrcOpIdx1, SrcOpIdx2))149// CHECK-PREDICATOR-NEXT: if (FirstMI->getOperand(0).getReg() != SecondMI.getOperand(SrcOpIdx2).getReg())150// CHECK-PREDICATOR-NEXT: return false;151// CHECK-PREDICATOR-NEXT: }152// CHECK-PREDICATOR-NEXT: return true;153// CHECK-PREDICATOR-NEXT: }154// CHECK-PREDICATOR-NEXT: bool isTestFirstSameRegFusion(155// CHECK-PREDICATOR-NEXT: const TargetInstrInfo &TII,156// CHECK-PREDICATOR-NEXT: const TargetSubtargetInfo &STI,157// CHECK-PREDICATOR-NEXT: const MachineInstr *FirstMI,158// CHECK-PREDICATOR-NEXT: const MachineInstr &SecondMI) {159// CHECK-PREDICATOR-NEXT: {{[[]}}{{[[]}}maybe_unused{{[]]}}{{[]]}} auto &MRI = SecondMI.getMF()->getRegInfo();160// CHECK-PREDICATOR-NEXT: if (!FirstMI->getOperand(0).getReg().isVirtual()) {161// CHECK-PREDICATOR-NEXT: if (FirstMI->getOperand(0).getReg() != FirstMI->getOperand(1).getReg()) {162// CHECK-PREDICATOR-NEXT: if (!FirstMI->getDesc().isCommutable())163// CHECK-PREDICATOR-NEXT: return false;164// CHECK-PREDICATOR-NEXT: unsigned SrcOpIdx1 = 1, SrcOpIdx2 = TargetInstrInfo::CommuteAnyOperandIndex;165// CHECK-PREDICATOR-NEXT: if (TII.findCommutedOpIndices(FirstMI, SrcOpIdx1, SrcOpIdx2))166// CHECK-PREDICATOR-NEXT: if (FirstMI->getOperand(0).getReg() != FirstMI->getOperand(SrcOpIdx2).getReg())167// CHECK-PREDICATOR-NEXT: return false;168// CHECK-PREDICATOR-NEXT: }169// CHECK-PREDICATOR-NEXT: }170// CHECK-PREDICATOR-NEXT: return true;171// CHECK-PREDICATOR-NEXT: }172// CHECK-PREDICATOR-NEXT: bool isTestFusion(173// CHECK-PREDICATOR-NEXT: const TargetInstrInfo &TII,174// CHECK-PREDICATOR-NEXT: const TargetSubtargetInfo &STI,175// CHECK-PREDICATOR-NEXT: const MachineInstr *FirstMI,176// CHECK-PREDICATOR-NEXT: const MachineInstr &SecondMI) {177// CHECK-PREDICATOR-NEXT: {{[[]}}{{[[]}}maybe_unused{{[]]}}{{[]]}} auto &MRI = SecondMI.getMF()->getRegInfo();178// CHECK-PREDICATOR-NEXT: {179// CHECK-PREDICATOR-NEXT: const MachineInstr *MI = &SecondMI;180// CHECK-PREDICATOR-NEXT: if (!(181// CHECK-PREDICATOR-NEXT: ( MI->getOpcode() == Test::Inst1 )182// CHECK-PREDICATOR-NEXT: && MI->getOperand(0).getReg() == Test::X0183// CHECK-PREDICATOR-NEXT: ))184// CHECK-PREDICATOR-NEXT: return false;185// CHECK-PREDICATOR-NEXT: }186// CHECK-PREDICATOR-NEXT: if (!FirstMI)187// CHECK-PREDICATOR-NEXT: return true;188// CHECK-PREDICATOR-NEXT: {189// CHECK-PREDICATOR-NEXT: const MachineInstr *MI = FirstMI;190// CHECK-PREDICATOR-NEXT: if (!llvm::is_contained({Test::Inst0, Test::Inst1}, MI->getOpcode()))191// CHECK-PREDICATOR-NEXT: return false;192// CHECK-PREDICATOR-NEXT: }193// CHECK-PREDICATOR-NEXT: if (!SecondMI.getOperand(0).getReg().isVirtual()) {194// CHECK-PREDICATOR-NEXT: if (SecondMI.getOperand(0).getReg() != SecondMI.getOperand(1).getReg())195// CHECK-PREDICATOR-NEXT: return false;196// CHECK-PREDICATOR-NEXT: }197// CHECK-PREDICATOR-NEXT: {198// CHECK-PREDICATOR-NEXT: Register FirstDest = FirstMI->getOperand(0).getReg();199// CHECK-PREDICATOR-NEXT: if (FirstDest.isVirtual() && !MRI.hasOneNonDBGUse(FirstDest))200// CHECK-PREDICATOR-NEXT: return false;201// CHECK-PREDICATOR-NEXT: }202// CHECK-PREDICATOR-NEXT: if (!(FirstMI->getOperand(0).isReg() &&203// CHECK-PREDICATOR-NEXT: SecondMI.getOperand(1).isReg() &&204// CHECK-PREDICATOR-NEXT: FirstMI->getOperand(0).getReg() == SecondMI.getOperand(1).getReg()))205// CHECK-PREDICATOR-NEXT: return false;206// CHECK-PREDICATOR-NEXT: return true;207// CHECK-PREDICATOR-NEXT: }208// CHECK-PREDICATOR-NEXT: bool isTestSingleFusion(209// CHECK-PREDICATOR-NEXT: const TargetInstrInfo &TII,210// CHECK-PREDICATOR-NEXT: const TargetSubtargetInfo &STI,211// CHECK-PREDICATOR-NEXT: const MachineInstr *FirstMI,212// CHECK-PREDICATOR-NEXT: const MachineInstr &SecondMI) {213// CHECK-PREDICATOR-NEXT: {{[[]}}{{[[]}}maybe_unused{{[]]}}{{[]]}} auto &MRI = SecondMI.getMF()->getRegInfo();214// CHECK-PREDICATOR-NEXT: {215// CHECK-PREDICATOR-NEXT: const MachineInstr *MI = &SecondMI;216// CHECK-PREDICATOR-NEXT: if (!(217// CHECK-PREDICATOR-NEXT: ( MI->getOpcode() == Test::Inst2 )218// CHECK-PREDICATOR-NEXT: && MI->getOperand(0).getReg() == Test::X0219// CHECK-PREDICATOR-NEXT: ))220// CHECK-PREDICATOR-NEXT: return false;221// CHECK-PREDICATOR-NEXT: }222// CHECK-PREDICATOR-NEXT: if (!FirstMI)223// CHECK-PREDICATOR-NEXT: return true;224// CHECK-PREDICATOR-NEXT: {225// CHECK-PREDICATOR-NEXT: const MachineInstr *MI = FirstMI;226// CHECK-PREDICATOR-NEXT: if (!(227// CHECK-PREDICATOR-NEXT: ( MI->getOpcode() == Test::Inst0 )228// CHECK-PREDICATOR-NEXT: && true229// CHECK-PREDICATOR-NEXT: ))230// CHECK-PREDICATOR-NEXT: return false;231// CHECK-PREDICATOR-NEXT: }232// CHECK-PREDICATOR-NEXT: if (!SecondMI.getOperand(0).getReg().isVirtual()) {233// CHECK-PREDICATOR-NEXT: if (SecondMI.getOperand(0).getReg() != SecondMI.getOperand(1).getReg()) {234// CHECK-PREDICATOR-NEXT: if (!SecondMI.getDesc().isCommutable())235// CHECK-PREDICATOR-NEXT: return false;236// CHECK-PREDICATOR-NEXT: unsigned SrcOpIdx1 = 1, SrcOpIdx2 = TargetInstrInfo::CommuteAnyOperandIndex;237// CHECK-PREDICATOR-NEXT: if (TII.findCommutedOpIndices(SecondMI, SrcOpIdx1, SrcOpIdx2))238// CHECK-PREDICATOR-NEXT: if (SecondMI.getOperand(0).getReg() != SecondMI.getOperand(SrcOpIdx2).getReg())239// CHECK-PREDICATOR-NEXT: return false;240// CHECK-PREDICATOR-NEXT: }241// CHECK-PREDICATOR-NEXT: }242// CHECK-PREDICATOR-NEXT: {243// CHECK-PREDICATOR-NEXT: Register FirstDest = FirstMI->getOperand(0).getReg();244// CHECK-PREDICATOR-NEXT: if (FirstDest.isVirtual() && !MRI.hasOneNonDBGUse(FirstDest))245// CHECK-PREDICATOR-NEXT: return false;246// CHECK-PREDICATOR-NEXT: }247// CHECK-PREDICATOR-NEXT: if (!(FirstMI->getOperand(0).isReg() &&248// CHECK-PREDICATOR-NEXT: SecondMI.getOperand(1).isReg() &&249// CHECK-PREDICATOR-NEXT: FirstMI->getOperand(0).getReg() == SecondMI.getOperand(1).getReg())) {250// CHECK-PREDICATOR-NEXT: if (!SecondMI.getDesc().isCommutable())251// CHECK-PREDICATOR-NEXT: return false;252// CHECK-PREDICATOR-NEXT: unsigned SrcOpIdx1 = 1, SrcOpIdx2 = TargetInstrInfo::CommuteAnyOperandIndex;253// CHECK-PREDICATOR-NEXT: if (TII.findCommutedOpIndices(SecondMI, SrcOpIdx1, SrcOpIdx2))254// CHECK-PREDICATOR-NEXT: if (FirstMI->getOperand(0).getReg() != SecondMI.getOperand(SrcOpIdx2).getReg())255// CHECK-PREDICATOR-NEXT: return false;256// CHECK-PREDICATOR-NEXT: }257// CHECK-PREDICATOR-NEXT: return true;258// CHECK-PREDICATOR-NEXT: }259// CHECK-PREDICATOR-NEXT: } // end namespace llvm260// CHECK-PREDICATOR-EMPTY:261// CHECK-PREDICATOR-NEXT: #endif262 263// Check that we have generated target subfeature.264// CHECK-SUBTARGET: { "test-both-fusion-predicate", "Test BothFusionPredicate", Test::TestBothFusionPredicate265// CHECK-SUBTARGET: { "test-commutable-fusion", "Test Commutable Fusion", Test::TestCommutableFusion266// CHECK-SUBTARGET: { "test-first-same-reg-fusion", "Test FirstSameReg", Test::TestFirstSameRegFusion267// CHECK-SUBTARGET: { "test-fusion", "Test Fusion", Test::TestFusion268// CHECK-SUBTARGET: { "test-single-fusion", "Test SingleFusion", Test::TestSingleFusion269 270// Check that we have generated `getMacroFusions()` function.271// CHECK-SUBTARGET: std::vector<MacroFusionPredTy> getMacroFusions() const override;272 273// CHECK-SUBTARGET: std::vector<MacroFusionPredTy> TestGenSubtargetInfo::getMacroFusions() const {274// CHECK-SUBTARGET-NEXT: std::vector<MacroFusionPredTy> Fusions;275// CHECK-SUBTARGET-NEXT: if (hasFeature(Test::TestBothFusionPredicate)) Fusions.push_back(llvm::isTestBothFusionPredicate);276// CHECK-SUBTARGET-NEXT: if (hasFeature(Test::TestCommutableFusion)) Fusions.push_back(llvm::isTestCommutableFusion);277// CHECK-SUBTARGET-NEXT: if (hasFeature(Test::TestFirstSameRegFusion)) Fusions.push_back(llvm::isTestFirstSameRegFusion);278// CHECK-SUBTARGET-NEXT: if (hasFeature(Test::TestFusion)) Fusions.push_back(llvm::isTestFusion);279// CHECK-SUBTARGET-NEXT: if (hasFeature(Test::TestSingleFusion)) Fusions.push_back(llvm::isTestSingleFusion);280// CHECK-SUBTARGET-NEXT: return Fusions;281// CHECK-SUBTARGET-NEXT: }282