1// RUN: llvm-tblgen -gen-global-isel -optimize-match-table=false -I %p/../../include %s -o - < %s | FileCheck -check-prefix=GISEL %s 2 3include "llvm/Target/Target.td" 4 5def TestTargetInstrInfo : InstrInfo; 6 7def TestTarget : Target { 8 let InstructionSet = TestTargetInstrInfo; 9} 10 11def R0 : Register<"r0"> { let Namespace = "MyTarget"; } 12def SPECIAL : Register<"special"> { let Namespace = "MyTarget"; } 13def GPR32 : RegisterClass<"MyTarget", [i32], 32, (add R0)>; 14def Special32 : RegisterClass<"MyTarget", [i32], 32, (add SPECIAL)>; 15 16 17class I<dag OOps, dag IOps, list<dag> Pat> 18 : Instruction { 19 let Namespace = "MyTarget"; 20 let OutOperandList = OOps; 21 let InOperandList = IOps; 22 let Pattern = Pat; 23} 24 25// Try a normal physical register use. 26 27// GISEL: GIM_Try, 28// GISEL-NEXT: GIM_CheckNumOperands, /*MI*/0, /*Expected*/3, 29// GISEL-NEXT: GIM_CheckOpcode, /*MI*/0, TargetOpcode::G_ADD, 30// GISEL-NEXT: // MIs[0] dst 31// GISEL-NEXT: GIM_CheckType, /*MI*/0, /*Op*/0, /*Type*/GILLT_s32, 32// GISEL-NEXT: GIM_CheckRegBankForClass, /*MI*/0, /*Op*/0, /*RC*/MyTarget::GPR32RegClassID, 33// GISEL-NEXT: // MIs[0] src0 34// GISEL-NEXT: GIM_CheckType, /*MI*/0, /*Op*/1, /*Type*/GILLT_s32, 35// GISEL-NEXT: GIM_CheckRegBankForClass, /*MI*/0, /*Op*/1, /*RC*/MyTarget::GPR32RegClassID, 36// GISEL-NEXT: // MIs[0] Operand 2 37// GISEL-NEXT: GIM_CheckType, /*MI*/0, /*Op*/2, /*Type*/GILLT_s32, 38// GISEL-NEXT: GIM_CheckRegBankForClass, /*MI*/0, /*Op*/2, /*RC*/MyTarget::Special32RegClassID, 39// GISEL-NEXT: // (add:{ *:[i32] } GPR32:{ *:[i32] }:$src0, SPECIAL:{ *:[i32] }) => (ADD_PHYS:{ *:[i32] } GPR32:{ *:[i32] }:$src0) 40// GISEL-NEXT: GIR_BuildMI, /*InsnID*/1, /*Opcode*/TargetOpcode::COPY, 41// GISEL-NEXT: GIR_AddRegister, /*InsnID*/1, MyTarget::SPECIAL, /*AddRegisterRegFlags*/RegState::Define, 42// GISEL-NEXT: GIR_Copy, /*NewInsnID*/1, /*OldInsnID*/0, /*OpIdx*/2, // SPECIAL 43// GISEL-NEXT: GIR_BuildMI, /*InsnID*/0, /*Opcode*/MyTarget::ADD_PHYS, 44// GISEL-NEXT: GIR_Copy, /*NewInsnID*/0, /*OldInsnID*/0, /*OpIdx*/0, // dst 45// GISEL-NEXT: GIR_Copy, /*NewInsnID*/0, /*OldInsnID*/0, /*OpIdx*/1, // src0 46// GISEL-NEXT: GIR_EraseFromParent, /*InsnID*/0, 47// GISEL-NEXT: GIR_ConstrainSelectedInstOperands, /*InsnID*/0, 48def ADD_PHYS : I<(outs GPR32:$dst), (ins GPR32:$src0), 49 [(set GPR32:$dst, (add GPR32:$src0, SPECIAL))]> { 50 let Uses = [SPECIAL]; 51} 52 53// Try using the name of the physreg in another operand. 54 55// GISEL: GIM_Try, 56// GISEL-NEXT: GIM_CheckNumOperands, /*MI*/0, /*Expected*/3, 57// GISEL-NEXT: GIM_CheckOpcode, /*MI*/0, TargetOpcode::G_MUL, 58// GISEL-NEXT: // MIs[0] dst 59// GISEL-NEXT: GIM_CheckType, /*MI*/0, /*Op*/0, /*Type*/GILLT_s32, 60// GISEL-NEXT: GIM_CheckRegBankForClass, /*MI*/0, /*Op*/0, /*RC*/MyTarget::GPR32RegClassID, 61// GISEL-NEXT: // MIs[0] SPECIAL 62// GISEL-NEXT: GIM_CheckType, /*MI*/0, /*Op*/1, /*Type*/GILLT_s32, 63// GISEL-NEXT: GIM_CheckRegBankForClass, /*MI*/0, /*Op*/1, /*RC*/MyTarget::GPR32RegClassID, 64// GISEL-NEXT: // MIs[0] Operand 2 65// GISEL-NEXT: GIM_CheckType, /*MI*/0, /*Op*/2, /*Type*/GILLT_s32, 66// GISEL-NEXT: GIM_CheckRegBankForClass, /*MI*/0, /*Op*/2, /*RC*/MyTarget::Special32RegClassID, 67// GISEL-NEXT: // (mul:{ *:[i32] } GPR32:{ *:[i32] }:$SPECIAL, SPECIAL:{ *:[i32] }) => (MUL_PHYS:{ *:[i32] } GPR32:{ *:[i32] }:$SPECIAL) 68// GISEL-NEXT: GIR_BuildMI, /*InsnID*/1, /*Opcode*/TargetOpcode::COPY, 69// GISEL-NEXT: GIR_AddRegister, /*InsnID*/1, MyTarget::SPECIAL, /*AddRegisterRegFlags*/RegState::Define, 70// GISEL-NEXT: GIR_Copy, /*NewInsnID*/1, /*OldInsnID*/0, /*OpIdx*/2, // SPECIAL 71// GISEL-NEXT: GIR_BuildMI, /*InsnID*/0, /*Opcode*/MyTarget::MUL_PHYS, 72// GISEL-NEXT: GIR_Copy, /*NewInsnID*/0, /*OldInsnID*/0, /*OpIdx*/0, // dst 73// GISEL-NEXT: GIR_Copy, /*NewInsnID*/0, /*OldInsnID*/0, /*OpIdx*/1, // SPECIAL 74// GISEL-NEXT: GIR_EraseFromParent, /*InsnID*/0, 75// GISEL-NEXT: GIR_ConstrainSelectedInstOperands, /*InsnID*/0, 76def MUL_PHYS : I<(outs GPR32:$dst), (ins GPR32:$SPECIAL), 77 [(set GPR32:$dst, (mul GPR32:$SPECIAL, SPECIAL))]> { 78 let Uses = [SPECIAL]; 79} 80 81// Try giving the physical operand a name 82// def ADD_PHYS : I<(outs GPR32:$dst), (ins GPR32:$src0), 83// [(set GPR32:$dst, (add GPR32:$src0, SPECIAL:$special))]> { 84// let Uses = [SPECIAL]; 85// } 86