llvm/test/TableGen/GlobalISelEmitter/undef-tied-input.td

   1 // RUN: llvm-tblgen -gen-global-isel -warn-on-skipped-patterns \
   2 // RUN:   -I %p/../../../include -I %p/../Common %s 2> %t | FileCheck %s
   3 // RUN: FileCheck -check-prefix=ERR %s < %t
   4
   5 include "llvm/Target/Target.td"
   6 include "GlobalISelEmitterCommon.td"
   7
   8 def undef_tied_1 : OperandWithDefaultOps<untyped, (ops (i32 undef_tied_input))> {
   9   let MIOperandInfo = (ops GPR32:$inactive);
  10 }
  11
  12 def undef_tied_2 : OperandWithDefaultOps<i32, (ops (untyped undef_tied_input))> {
  13   let MIOperandInfo = (ops GPR32:$inactive);
  14 }
  15
  16 let Constraints = "$opt.inactive = $rd" in
  17 def I1 : I<(outs GPR32:$rd), (ins GPR32:$rs, undef_tied_1:$opt),
  18            [(set GPR32:$rd, (abs i32:$rs))]>;
  19
  20 // ERR: [[#@LINE+2]]:5: warning: Skipped pattern: unsupported type
  21 let Constraints = "$opt.inactive = $rd" in
  22 def I2 : I<(outs GPR32:$rd), (ins GPR32:$rs, undef_tied_2:$opt),
  23            [(set GPR32:$rd, (abs i32:$rs))]>;
  24
  25 // CHECK-LABEL: // (abs:{ *:[i32] } i32:{ *:[i32] }:$rs)  =>  (I1:{ *:[i32] } i32:{ *:[i32] }:$rs)
  26 // CHECK-NEXT: GIR_MakeTempReg, /*TempRegID*/0, /*TypeID*/GILLT_s32,
  27 // CHECK-NEXT: GIR_BuildMI, /*InsnID*/1, /*Opcode*/GIMT_Encode2(TargetOpcode::IMPLICIT_DEF),
  28 // CHECK-NEXT: GIR_AddTempRegister, /*InsnID*/1, /*TempRegID*/0, /*TempRegFlags*/GIMT_Encode2(RegState::Define),
  29 // CHECK-NEXT: GIR_BuildRootMI, /*Opcode*/GIMT_Encode2(MyTarget::I1),
  30 // CHECK-NEXT: GIR_RootToRootCopy, /*OpIdx*/0, // DstI[rd]
  31 // CHECK-NEXT: GIR_RootToRootCopy, /*OpIdx*/1, // rs
  32 // CHECK-NEXT: GIR_AddSimpleTempRegister, /*InsnID*/0, /*TempRegID*/0,
  33 // CHECK-NEXT: GIR_RootConstrainSelectedInstOperands,
  34 // CHECK-NEXT: // GIR_Coverage, 0,
  35 // CHECK-NEXT: GIR_EraseRootFromParent_Done,