47 lines · plain
1// RUN: llvm-tblgen -I %p/../../../include -gen-global-isel-combiner \2// RUN: -combiners=MyCombiner %s | \3// RUN: FileCheck %s4 5include "llvm/Target/Target.td"6include "llvm/Target/GlobalISel/Combine.td"7 8def MyTargetISA : InstrInfo;9def MyTarget : Target { let InstructionSet = MyTargetISA; }10 11def MIFlagsTest : GICombineRule<12 (defs root:$dst),13 (match (G_SEXT $dst, $tmp), (G_ZEXT $tmp, $src, (MIFlags FmReassoc, FmNsz, (not FmNoNans, FmArcp))):$mi),14 (apply (G_MUL $dst, $src, $src, (MIFlags $mi, FmReassoc, (not FmNsz, FmArcp))))>;15 16def MyCombiner: GICombiner<"GenMyCombiner", [MIFlagsTest]>;17 18// CHECK: const uint8_t *GenMyCombiner::getMatchTable() const {19// CHECK-NEXT: constexpr static uint8_t MatchTable0[] = {20// CHECK-NEXT: GIM_Try, /*On fail goto*//*Label 0*/ GIMT_Encode4(63), // Rule ID 0 //21// CHECK-NEXT: GIM_CheckSimplePredicate, GIMT_Encode2(GICXXPred_Simple_IsRule0Enabled),22// CHECK-NEXT: GIM_CheckOpcode, /*MI*/0, GIMT_Encode2(TargetOpcode::G_SEXT),23// CHECK-NEXT: // MIs[0] dst24// CHECK-NEXT: // No operand predicates25// CHECK-NEXT: // MIs[0] tmp26// CHECK-NEXT: GIM_RecordInsnIgnoreCopies, /*DefineMI*/1, /*MI*/0, /*OpIdx*/1, // MIs[1]27// CHECK-NEXT: GIM_CheckOpcode, /*MI*/1, GIMT_Encode2(TargetOpcode::G_ZEXT),28// CHECK-NEXT: GIM_MIFlags, /*MI*/1, GIMT_Encode4(MachineInstr::FmNsz | MachineInstr::FmReassoc),29// CHECK-NEXT: GIM_MIFlagsNot, /*MI*/1, GIMT_Encode4(MachineInstr::FmArcp | MachineInstr::FmNoNans),30// CHECK-NEXT: // MIs[1] src31// CHECK-NEXT: // No operand predicates32// CHECK-NEXT: GIM_CheckIsSafeToFold, /*NumInsns*/1,33// CHECK-NEXT: // Combiner Rule #0: MIFlagsTest34// CHECK-NEXT: GIR_BuildRootMI, /*Opcode*/GIMT_Encode2(TargetOpcode::G_MUL),35// CHECK-NEXT: GIR_RootToRootCopy, /*OpIdx*/0, // dst36// CHECK-NEXT: GIR_Copy, /*NewInsnID*/0, /*OldInsnID*/1, /*OpIdx*/1, // src37// CHECK-NEXT: GIR_Copy, /*NewInsnID*/0, /*OldInsnID*/1, /*OpIdx*/1, // src38// CHECK-NEXT: GIR_CopyMIFlags, /*InsnID*/0, /*OldInsnID*/1,39// CHECK-NEXT: GIR_SetMIFlags, /*InsnID*/0, GIMT_Encode4(MachineInstr::FmReassoc),40// CHECK-NEXT: GIR_UnsetMIFlags, /*InsnID*/0, GIMT_Encode4(MachineInstr::FmNsz | MachineInstr::FmArcp),41// CHECK-NEXT: GIR_EraseRootFromParent_Done,42// CHECK-NEXT: // Label 0: @6343// CHECK-NEXT: GIM_Reject,44// CHECK-NEXT: };45// CHECK-NEXT: return MatchTable0;46// CHECK-NEXT: }47