// RUN: llvm-tblgen %s -gen-global-isel -optimize-match-table=true -I %p/../../../include -I %p/../Common | FileCheck %s

include "llvm/Target/Target.td"
include "GlobalISelEmitterCommon.td"

// Check the MatchTable recursively optimizes to maximize group formation.

def InstFourOperands : I<(outs GPR32:$dst), (ins GPR32:$src1, GPR32:$src2, GPR32:$src3, GPR32:$src4), []>;

def S0 : Register<"s0"> { let Namespace = "MyTarget"; }
def S1 : Register<"s1"> { let Namespace = "MyTarget"; }
def Z0 : Register<"s1"> { let Namespace = "MyTarget"; }
def Z1 : Register<"s1"> { let Namespace = "MyTarget"; }

def GPR8_A     : RegisterClass<"MyTarget", [i8], 8, (add Z0)>;
def LOAD8_A    : I<(outs GPR8_A:$dst), (ins GPR8_A:$src), []>;
def LOAD8Imm_A : I<(outs GPR8_A:$dst), (ins GPR8_A:$src), []>;

def GPR8_B     : RegisterClass<"MyTarget", [i8], 8, (add Z1)>;
def LOAD8_B    : I<(outs GPR8_B:$dst), (ins GPR8_B:$src), []>;
def LOAD8Imm_B : I<(outs GPR8_B:$dst), (ins GPR8_B:$src), []>;

def GPR16_A     : RegisterClass<"MyTarget", [i16], 16, (add S0)>;
def LOAD16_A    : I<(outs GPR16_A:$dst), (ins GPR16_A:$src), []>;
def LOAD16Imm_A : I<(outs GPR16_A:$dst), (ins GPR16_A:$src), []>;

def GPR16_B     : RegisterClass<"MyTarget", [i16], 16, (add S0)>;
def LOAD16_B    : I<(outs GPR16_B:$dst), (ins GPR16_B:$src), []>;
def LOAD16Imm_B : I<(outs GPR16_B:$dst), (ins GPR16_B:$src), []>;


def : Pat<(i8 (load GPR8_A:$src)),
          (LOAD8_A GPR8_A:$src)>;
def : Pat<(i8 (load GPR8_B:$src)),
          (LOAD8_B GPR8_B:$src)>;

def : Pat<(i8 (load (add GPR8_A:$src, 10))),
          (LOAD8Imm_A GPR8_A:$src)>;
def : Pat<(i8 (load (add GPR8_B:$src, 10))),
          (LOAD8Imm_B GPR8_B:$src)>;

def : Pat<(i16 (load GPR16_A:$src)),
          (LOAD16_A GPR16_A:$src)>;
def : Pat<(i16 (load GPR16_B:$src)),
          (LOAD16_B GPR16_B:$src)>;

def : Pat<(i16 (load (add GPR16_A:$src, 10))),
          (LOAD16Imm_A GPR16_A:$src)>;
def : Pat<(i16 (load (add GPR16_B:$src, 10))),
          (LOAD16Imm_B GPR16_B:$src)>;


// CHECK:      const uint8_t *MyTargetInstructionSelector::getMatchTable() const {
// CHECK-NEXT:   constexpr static uint8_t MatchTable0[] = {
// CHECK-NEXT:      /*   0 */ GIM_Try, /*On fail goto*//*Label 0*/ GIMT_Encode4(377),
// CHECK-NEXT:      /*   5 */   GIM_CheckOpcode, /*MI*/0, GIMT_Encode2(TargetOpcode::G_LOAD),
// CHECK-NEXT:      /*   9 */   GIM_SwitchType, /*MI*/0, /*Op*/0, /*[*/GIMT_Encode2(0), GIMT_Encode2(2), /*)*//*default:*//*Label 3*/ GIMT_Encode4(376),
// CHECK-NEXT:      /*  20 */   /*GILLT_s8*//*Label 1*/ GIMT_Encode4(28),
// CHECK-NEXT:      /*  24 */   /*GILLT_s16*//*Label 2*/ GIMT_Encode4(202),
// CHECK-NEXT:      /*  28 */   // Label 1: @28
// CHECK-NEXT:      /*  28 */   GIM_Try, /*On fail goto*//*Label 4*/ GIMT_Encode4(201),
// CHECK-NEXT:      /*  33 */     GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(uint8_t)AtomicOrdering::NotAtomic,
// CHECK-NEXT:      /*  36 */     GIM_CheckMemorySizeEqualToLLT, /*MI*/0, /*MMO*/0, /*OpIdx*/0,
// CHECK-NEXT:      /*  40 */     GIM_Try, /*On fail goto*//*Label 5*/ GIMT_Encode4(96), // Rule ID 2 //
// CHECK-NEXT:      /*  45 */       GIM_RootCheckRegBankForClass, /*Op*/0, /*RC*/GIMT_Encode2(MyTarget::GPR8_ARegClassID),
// CHECK-NEXT:      /*  49 */       // MIs[0] Operand 1
// CHECK-NEXT:      /*  49 */       GIM_CheckPointerToAny, /*MI*/0, /*Op*/1, /*SizeInBits*/8,
// CHECK-NEXT:      /*  53 */       GIM_RecordInsn, /*DefineMI*/1, /*MI*/0, /*OpIdx*/1, // MIs[1]
// CHECK-NEXT:      /*  57 */       GIM_CheckOpcode, /*MI*/1, GIMT_Encode2(TargetOpcode::G_ADD),
// CHECK-NEXT:      /*  61 */       GIM_CheckType, /*MI*/1, /*Op*/1, /*Type*/GILLT_s8,
// CHECK-NEXT:      /*  65 */       GIM_CheckType, /*MI*/1, /*Op*/2, /*Type*/GILLT_s8,
// CHECK-NEXT:      /*  69 */       GIM_CheckRegBankForClass, /*MI*/1, /*Op*/1, /*RC*/GIMT_Encode2(MyTarget::GPR8_ARegClassID),
// CHECK-NEXT:      /*  74 */       GIM_CheckConstantInt8, /*MI*/1, /*Op*/2, 10,
// CHECK-NEXT:      /*  78 */       GIM_CheckIsSafeToFold, /*NumInsns*/1,
// CHECK-NEXT:      /*  80 */       // (ld:{ *:[i8] } (add:{ *:[i8] } GPR8_A:{ *:[i8] }:$src, 10:{ *:[i8] }))<<P:Predicate_unindexedload>><<P:Predicate_load>>  =>  (LOAD8Imm_A:{ *:[i8] } GPR8_A:{ *:[i8] }:$src)
// CHECK-NEXT:      /*  80 */       GIR_BuildRootMI, /*Opcode*/GIMT_Encode2(MyTarget::LOAD8Imm_A),
// CHECK-NEXT:      /*  83 */       GIR_RootToRootCopy, /*OpIdx*/0, // DstI[dst]
// CHECK-NEXT:      /*  85 */       GIR_Copy, /*NewInsnID*/0, /*OldInsnID*/1, /*OpIdx*/1, // src
// CHECK-NEXT:      /*  89 */       GIR_MergeMemOperands, /*InsnID*/0, /*NumInsns*/2, /*MergeInsnID's*/0, 1,
// CHECK-NEXT:      /*  94 */       GIR_RootConstrainSelectedInstOperands,
// CHECK-NEXT:      /*  95 */       // GIR_Coverage, 2,
// CHECK-NEXT:      /*  95 */       GIR_EraseRootFromParent_Done,
// CHECK-NEXT:      /*  96 */     // Label 5: @96
// CHECK-NEXT:      /*  96 */     GIM_Try, /*On fail goto*//*Label 6*/ GIMT_Encode4(152), // Rule ID 3 //
// CHECK-NEXT:      /* 101 */       GIM_RootCheckRegBankForClass, /*Op*/0, /*RC*/GIMT_Encode2(MyTarget::GPR8_BRegClassID),
// CHECK-NEXT:      /* 105 */       // MIs[0] Operand 1
// CHECK-NEXT:      /* 105 */       GIM_CheckPointerToAny, /*MI*/0, /*Op*/1, /*SizeInBits*/8,
// CHECK-NEXT:      /* 109 */       GIM_RecordInsn, /*DefineMI*/1, /*MI*/0, /*OpIdx*/1, // MIs[1]
// CHECK-NEXT:      /* 113 */       GIM_CheckOpcode, /*MI*/1, GIMT_Encode2(TargetOpcode::G_ADD),
// CHECK-NEXT:      /* 117 */       GIM_CheckType, /*MI*/1, /*Op*/1, /*Type*/GILLT_s8,
// CHECK-NEXT:      /* 121 */       GIM_CheckType, /*MI*/1, /*Op*/2, /*Type*/GILLT_s8,
// CHECK-NEXT:      /* 125 */       GIM_CheckRegBankForClass, /*MI*/1, /*Op*/1, /*RC*/GIMT_Encode2(MyTarget::GPR8_BRegClassID),
// CHECK-NEXT:      /* 130 */       GIM_CheckConstantInt8, /*MI*/1, /*Op*/2, 10,
// CHECK-NEXT:      /* 134 */       GIM_CheckIsSafeToFold, /*NumInsns*/1,
// CHECK-NEXT:      /* 136 */       // (ld:{ *:[i8] } (add:{ *:[i8] } GPR8_B:{ *:[i8] }:$src, 10:{ *:[i8] }))<<P:Predicate_unindexedload>><<P:Predicate_load>>  =>  (LOAD8Imm_B:{ *:[i8] } GPR8_B:{ *:[i8] }:$src)
// CHECK-NEXT:      /* 136 */       GIR_BuildRootMI, /*Opcode*/GIMT_Encode2(MyTarget::LOAD8Imm_B),
// CHECK-NEXT:      /* 139 */       GIR_RootToRootCopy, /*OpIdx*/0, // DstI[dst]
// CHECK-NEXT:      /* 141 */       GIR_Copy, /*NewInsnID*/0, /*OldInsnID*/1, /*OpIdx*/1, // src
// CHECK-NEXT:      /* 145 */       GIR_MergeMemOperands, /*InsnID*/0, /*NumInsns*/2, /*MergeInsnID's*/0, 1,
// CHECK-NEXT:      /* 150 */       GIR_RootConstrainSelectedInstOperands,
// CHECK-NEXT:      /* 151 */       // GIR_Coverage, 3,
// CHECK-NEXT:      /* 151 */       GIR_EraseRootFromParent_Done,
// CHECK-NEXT:      /* 152 */     // Label 6: @152
// CHECK-NEXT:      /* 152 */     GIM_Try, /*On fail goto*//*Label 7*/ GIMT_Encode4(176), // Rule ID 0 //
// CHECK-NEXT:      /* 157 */       GIM_RootCheckRegBankForClass, /*Op*/0, /*RC*/GIMT_Encode2(MyTarget::GPR8_ARegClassID),
// CHECK-NEXT:      /* 161 */       // MIs[0] src
// CHECK-NEXT:      /* 161 */       GIM_CheckPointerToAny, /*MI*/0, /*Op*/1, /*SizeInBits*/8,
// CHECK-NEXT:      /* 165 */       GIM_RootCheckRegBankForClass, /*Op*/1, /*RC*/GIMT_Encode2(MyTarget::GPR8_ARegClassID),
// CHECK-NEXT:      /* 169 */       // (ld:{ *:[i8] } GPR8_A:{ *:[i8] }:$src)<<P:Predicate_unindexedload>><<P:Predicate_load>>  =>  (LOAD8_A:{ *:[i8] } GPR8_A:{ *:[i8] }:$src)
// CHECK-NEXT:      /* 169 */       GIR_MutateOpcode, /*InsnID*/0, /*RecycleInsnID*/0, /*Opcode*/GIMT_Encode2(MyTarget::LOAD8_A),
// CHECK-NEXT:      /* 174 */       GIR_RootConstrainSelectedInstOperands,
// CHECK-NEXT:      /* 175 */       // GIR_Coverage, 0,
// CHECK-NEXT:      /* 175 */       GIR_Done,
// CHECK-NEXT:      /* 176 */     // Label 7: @176
// CHECK-NEXT:      /* 176 */     GIM_Try, /*On fail goto*//*Label 8*/ GIMT_Encode4(200), // Rule ID 1 //
// CHECK-NEXT:      /* 181 */       GIM_RootCheckRegBankForClass, /*Op*/0, /*RC*/GIMT_Encode2(MyTarget::GPR8_BRegClassID),
// CHECK-NEXT:      /* 185 */       // MIs[0] src
// CHECK-NEXT:      /* 185 */       GIM_CheckPointerToAny, /*MI*/0, /*Op*/1, /*SizeInBits*/8,
// CHECK-NEXT:      /* 189 */       GIM_RootCheckRegBankForClass, /*Op*/1, /*RC*/GIMT_Encode2(MyTarget::GPR8_BRegClassID),
// CHECK-NEXT:      /* 193 */       // (ld:{ *:[i8] } GPR8_B:{ *:[i8] }:$src)<<P:Predicate_unindexedload>><<P:Predicate_load>>  =>  (LOAD8_B:{ *:[i8] } GPR8_B:{ *:[i8] }:$src)
// CHECK-NEXT:      /* 193 */       GIR_MutateOpcode, /*InsnID*/0, /*RecycleInsnID*/0, /*Opcode*/GIMT_Encode2(MyTarget::LOAD8_B),
// CHECK-NEXT:      /* 198 */       GIR_RootConstrainSelectedInstOperands,
// CHECK-NEXT:      /* 199 */       // GIR_Coverage, 1,
// CHECK-NEXT:      /* 199 */       GIR_Done,
// CHECK-NEXT:      /* 200 */     // Label 8: @200
// CHECK-NEXT:      /* 200 */     GIM_Reject,
// CHECK-NEXT:      /* 201 */   // Label 4: @201
// CHECK-NEXT:      /* 201 */   GIM_Reject,
// CHECK-NEXT:      /* 202 */   // Label 2: @202
// CHECK-NEXT:      /* 202 */   GIM_Try, /*On fail goto*//*Label 9*/ GIMT_Encode4(375),
// CHECK-NEXT:      /* 207 */     GIM_CheckAtomicOrdering, /*MI*/0, /*Order*/(uint8_t)AtomicOrdering::NotAtomic,
// CHECK-NEXT:      /* 210 */     GIM_CheckMemorySizeEqualToLLT, /*MI*/0, /*MMO*/0, /*OpIdx*/0,
// CHECK-NEXT:      /* 214 */     GIM_Try, /*On fail goto*//*Label 10*/ GIMT_Encode4(270), // Rule ID 6 //
// CHECK-NEXT:      /* 219 */       GIM_RootCheckRegBankForClass, /*Op*/0, /*RC*/GIMT_Encode2(MyTarget::GPR16_ARegClassID),
// CHECK-NEXT:      /* 223 */       // MIs[0] Operand 1
// CHECK-NEXT:      /* 223 */       GIM_CheckPointerToAny, /*MI*/0, /*Op*/1, /*SizeInBits*/16,
// CHECK-NEXT:      /* 227 */       GIM_RecordInsn, /*DefineMI*/1, /*MI*/0, /*OpIdx*/1, // MIs[1]
// CHECK-NEXT:      /* 231 */       GIM_CheckOpcode, /*MI*/1, GIMT_Encode2(TargetOpcode::G_ADD),
// CHECK-NEXT:      /* 235 */       GIM_CheckType, /*MI*/1, /*Op*/1, /*Type*/GILLT_s16,
// CHECK-NEXT:      /* 239 */       GIM_CheckType, /*MI*/1, /*Op*/2, /*Type*/GILLT_s16,
// CHECK-NEXT:      /* 243 */       GIM_CheckRegBankForClass, /*MI*/1, /*Op*/1, /*RC*/GIMT_Encode2(MyTarget::GPR16_ARegClassID),
// CHECK-NEXT:      /* 248 */       GIM_CheckConstantInt8, /*MI*/1, /*Op*/2, 10,
// CHECK-NEXT:      /* 252 */       GIM_CheckIsSafeToFold, /*NumInsns*/1,
// CHECK-NEXT:      /* 254 */       // (ld:{ *:[i16] } (add:{ *:[i16] } GPR16_A:{ *:[i16] }:$src, 10:{ *:[i16] }))<<P:Predicate_unindexedload>><<P:Predicate_load>>  =>  (LOAD16Imm_A:{ *:[i16] } GPR16_A:{ *:[i16] }:$src)
// CHECK-NEXT:      /* 254 */       GIR_BuildRootMI, /*Opcode*/GIMT_Encode2(MyTarget::LOAD16Imm_A),
// CHECK-NEXT:      /* 257 */       GIR_RootToRootCopy, /*OpIdx*/0, // DstI[dst]
// CHECK-NEXT:      /* 259 */       GIR_Copy, /*NewInsnID*/0, /*OldInsnID*/1, /*OpIdx*/1, // src
// CHECK-NEXT:      /* 263 */       GIR_MergeMemOperands, /*InsnID*/0, /*NumInsns*/2, /*MergeInsnID's*/0, 1,
// CHECK-NEXT:      /* 268 */       GIR_RootConstrainSelectedInstOperands,
// CHECK-NEXT:      /* 269 */       // GIR_Coverage, 6,
// CHECK-NEXT:      /* 269 */       GIR_EraseRootFromParent_Done,
// CHECK-NEXT:      /* 270 */     // Label 10: @270
// CHECK-NEXT:      /* 270 */     GIM_Try, /*On fail goto*//*Label 11*/ GIMT_Encode4(326), // Rule ID 7 //
// CHECK-NEXT:      /* 275 */       GIM_RootCheckRegBankForClass, /*Op*/0, /*RC*/GIMT_Encode2(MyTarget::GPR16_BRegClassID),
// CHECK-NEXT:      /* 279 */       // MIs[0] Operand 1
// CHECK-NEXT:      /* 279 */       GIM_CheckPointerToAny, /*MI*/0, /*Op*/1, /*SizeInBits*/16,
// CHECK-NEXT:      /* 283 */       GIM_RecordInsn, /*DefineMI*/1, /*MI*/0, /*OpIdx*/1, // MIs[1]
// CHECK-NEXT:      /* 287 */       GIM_CheckOpcode, /*MI*/1, GIMT_Encode2(TargetOpcode::G_ADD),
// CHECK-NEXT:      /* 291 */       GIM_CheckType, /*MI*/1, /*Op*/1, /*Type*/GILLT_s16,
// CHECK-NEXT:      /* 295 */       GIM_CheckType, /*MI*/1, /*Op*/2, /*Type*/GILLT_s16,
// CHECK-NEXT:      /* 299 */       GIM_CheckRegBankForClass, /*MI*/1, /*Op*/1, /*RC*/GIMT_Encode2(MyTarget::GPR16_BRegClassID),
// CHECK-NEXT:      /* 304 */       GIM_CheckConstantInt8, /*MI*/1, /*Op*/2, 10,
// CHECK-NEXT:      /* 308 */       GIM_CheckIsSafeToFold, /*NumInsns*/1,
// CHECK-NEXT:      /* 310 */       // (ld:{ *:[i16] } (add:{ *:[i16] } GPR16_B:{ *:[i16] }:$src, 10:{ *:[i16] }))<<P:Predicate_unindexedload>><<P:Predicate_load>>  =>  (LOAD16Imm_B:{ *:[i16] } GPR16_B:{ *:[i16] }:$src)
// CHECK-NEXT:      /* 310 */       GIR_BuildRootMI, /*Opcode*/GIMT_Encode2(MyTarget::LOAD16Imm_B),
// CHECK-NEXT:      /* 313 */       GIR_RootToRootCopy, /*OpIdx*/0, // DstI[dst]
// CHECK-NEXT:      /* 315 */       GIR_Copy, /*NewInsnID*/0, /*OldInsnID*/1, /*OpIdx*/1, // src
// CHECK-NEXT:      /* 319 */       GIR_MergeMemOperands, /*InsnID*/0, /*NumInsns*/2, /*MergeInsnID's*/0, 1,
// CHECK-NEXT:      /* 324 */       GIR_RootConstrainSelectedInstOperands,
// CHECK-NEXT:      /* 325 */       // GIR_Coverage, 7,
// CHECK-NEXT:      /* 325 */       GIR_EraseRootFromParent_Done,
// CHECK-NEXT:      /* 326 */     // Label 11: @326
// CHECK-NEXT:      /* 326 */     GIM_Try, /*On fail goto*//*Label 12*/ GIMT_Encode4(350), // Rule ID 4 //
// CHECK-NEXT:      /* 331 */       GIM_RootCheckRegBankForClass, /*Op*/0, /*RC*/GIMT_Encode2(MyTarget::GPR16_ARegClassID),
// CHECK-NEXT:      /* 335 */       // MIs[0] src
// CHECK-NEXT:      /* 335 */       GIM_CheckPointerToAny, /*MI*/0, /*Op*/1, /*SizeInBits*/16,
// CHECK-NEXT:      /* 339 */       GIM_RootCheckRegBankForClass, /*Op*/1, /*RC*/GIMT_Encode2(MyTarget::GPR16_ARegClassID),
// CHECK-NEXT:      /* 343 */       // (ld:{ *:[i16] } GPR16_A:{ *:[i16] }:$src)<<P:Predicate_unindexedload>><<P:Predicate_load>>  =>  (LOAD16_A:{ *:[i16] } GPR16_A:{ *:[i16] }:$src)
// CHECK-NEXT:      /* 343 */       GIR_MutateOpcode, /*InsnID*/0, /*RecycleInsnID*/0, /*Opcode*/GIMT_Encode2(MyTarget::LOAD16_A),
// CHECK-NEXT:      /* 348 */       GIR_RootConstrainSelectedInstOperands,
// CHECK-NEXT:      /* 349 */       // GIR_Coverage, 4,
// CHECK-NEXT:      /* 349 */       GIR_Done,
// CHECK-NEXT:      /* 350 */     // Label 12: @350
// CHECK-NEXT:      /* 350 */     GIM_Try, /*On fail goto*//*Label 13*/ GIMT_Encode4(374), // Rule ID 5 //
// CHECK-NEXT:      /* 355 */       GIM_RootCheckRegBankForClass, /*Op*/0, /*RC*/GIMT_Encode2(MyTarget::GPR16_BRegClassID),
// CHECK-NEXT:      /* 359 */       // MIs[0] src
// CHECK-NEXT:      /* 359 */       GIM_CheckPointerToAny, /*MI*/0, /*Op*/1, /*SizeInBits*/16,
// CHECK-NEXT:      /* 363 */       GIM_RootCheckRegBankForClass, /*Op*/1, /*RC*/GIMT_Encode2(MyTarget::GPR16_BRegClassID),
// CHECK-NEXT:      /* 367 */       // (ld:{ *:[i16] } GPR16_B:{ *:[i16] }:$src)<<P:Predicate_unindexedload>><<P:Predicate_load>>  =>  (LOAD16_B:{ *:[i16] } GPR16_B:{ *:[i16] }:$src)
// CHECK-NEXT:      /* 367 */       GIR_MutateOpcode, /*InsnID*/0, /*RecycleInsnID*/0, /*Opcode*/GIMT_Encode2(MyTarget::LOAD16_B),
// CHECK-NEXT:      /* 372 */       GIR_RootConstrainSelectedInstOperands,
// CHECK-NEXT:      /* 373 */       // GIR_Coverage, 5,
// CHECK-NEXT:      /* 373 */       GIR_Done,
// CHECK-NEXT:      /* 374 */     // Label 13: @374
// CHECK-NEXT:      /* 374 */     GIM_Reject,
// CHECK-NEXT:      /* 375 */   // Label 9: @375
// CHECK-NEXT:      /* 375 */   GIM_Reject,
// CHECK-NEXT:      /* 376 */   // Label 3: @376
// CHECK-NEXT:      /* 376 */   GIM_Reject,
// CHECK-NEXT:      /* 377 */ // Label 0: @377
// CHECK-NEXT:      /* 377 */ GIM_Reject,
// CHECK-NEXT:      /* 378 */ }; // Size: 378 bytes
// CHECK-NEXT:   return MatchTable0;
// CHECK-NEXT: }