36 lines · plain
1// RUN: llvm-tblgen -gen-global-isel -warn-on-skipped-patterns \2// RUN: -I %p/../../../include -I %p/../Common %s 2> %t | FileCheck %s3// RUN: FileCheck -check-prefix=ERR %s < %t4 5include "llvm/Target/Target.td"6include "GlobalISelEmitterCommon.td"7 8def undef_tied_1 : OperandWithDefaultOps<untyped, (ops (i32 undef_tied_input))> {9 let MIOperandInfo = (ops GPR32:$inactive);10}11 12def undef_tied_2 : OperandWithDefaultOps<i32, (ops (untyped undef_tied_input))> {13 let MIOperandInfo = (ops GPR32:$inactive);14}15 16let Constraints = "$opt.inactive = $rd" in17def 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 type21let Constraints = "$opt.inactive = $rd" in22def 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, // rs32// 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,36