xref: /llvm-project/llvm/test/TableGen/predicate-patfags.td (revision d0dc29c2084a18c33b1b5b1cad9fd42215869746) 
1// RUN: llvm-tblgen -gen-dag-isel -I %p/../../include -I %p/Common %s 2>&1 | FileCheck -check-prefixes=SDAG,SCUSTOM %s
2// RUN: llvm-tblgen -gen-dag-isel -I %p/../../include -I %p/Common %s -DHASONEUSE 2>&1 | FileCheck -check-prefixes=SDAG,SBUILTIN %s
3// RUN: llvm-tblgen -gen-global-isel -I %p/../../include -I %p/Common %s 2>&1 | FileCheck -check-prefixes=GISEL,GCUSTOM %s
4// RUN: llvm-tblgen -gen-global-isel -I %p/../../include -I %p/Common %s -DHASONEUSE 2>&1 | FileCheck -check-prefixes=GISEL,GBUILTIN %s
5
6include "llvm/Target/Target.td"
7include "GlobalISelEmitterCommon.td"
8
9// Test that a predicate works when there are multiple pattern trees
10// in a PatFrags.
11
12def int_tgt_mul24 : Intrinsic<[llvm_i32_ty], [llvm_i32_ty, llvm_i32_ty]>;
13def int_tgt_mul24_2 : Intrinsic<[llvm_i32_ty], [llvm_i32_ty, llvm_i32_ty]>;
14
15def TGTmul24_impl : SDNode<"TargetISD::MUL24", SDTIntBinOp>;
16
17def TGTmul24 : PatFrags<(ops node:$src0, node:$src1),
18  [(int_tgt_mul24 node:$src0, node:$src1),
19   (TGTmul24_impl node:$src0, node:$src1)]>;
20
21
22def G_TGT_MUL24 : GenericInstruction {
23  let Namespace = "MyTarget";
24  let OutOperandList = (outs type0:$dst);
25  let InOperandList = (ins type0:$src1, type0:$src2);
26  let hasSideEffects = 0;
27  let isCommutable = 1;
28}
29
30
31def : GINodeEquiv<G_TGT_MUL24, TGTmul24_impl>;
32
33
34def TGTmul24_oneuse : PatFrag<
35  (ops node:$src0, node:$src1),
36  (TGTmul24 $src0, $src1)
37#ifndef HASONEUSE
38  , [{ return N->hasOneUse(); }]> {
39  let GISelPredicateCode = [{
40    return MRI->hasOneNonDBGUse(MI.getOperand(0).getReg());
41  }];
42#else
43  > {
44  let HasOneUse = 1;
45#endif
46}
47
48// SDAG: OPC_CheckOpcode, TARGET_VAL(ISD::INTRINSIC_W_CHAIN),
49// SDAG: OPC_CheckPredicate0, // Predicate_TGTmul24_oneuse
50
51// SDAG: OPC_CheckOpcode, TARGET_VAL(TargetISD::MUL24),
52// SDAG: OPC_CheckPredicate0, // Predicate_TGTmul24_oneuse
53
54// SCUSTOM: return N->hasOneUse();
55// SBUILTIN: if (!SDValue(N, 0).hasOneUse()) return false;
56
57// GISEL: GIM_CheckOpcode, /*MI*/1, GIMT_Encode2(TargetOpcode::G_INTRINSIC_W_SIDE_EFFECTS),
58// GISEL: GIM_CheckIntrinsicID, /*MI*/1, /*Op*/1, GIMT_Encode2(Intrinsic::tgt_mul24),
59// GBUILTIN: GIM_CheckHasOneUse, /*MI*/1,
60// GCUSTOM: GIM_CheckCxxInsnPredicate, /*MI*/1, /*FnId*/GIMT_Encode2(GICXXPred_MI_Predicate_TGTmul24_oneuse),
61
62// GISEL: GIM_CheckOpcode, /*MI*/1, GIMT_Encode2(TargetOpcode::G_INTRINSIC_W_SIDE_EFFECTS),
63// GISEL: GIM_CheckIntrinsicID, /*MI*/1, /*Op*/1, GIMT_Encode2(Intrinsic::tgt_mul24),
64// GBUILTIN: GIM_CheckHasOneUse, /*MI*/1,
65// GCUSTOM: GIM_CheckCxxInsnPredicate, /*MI*/1, /*FnId*/GIMT_Encode2(GICXXPred_MI_Predicate_TGTmul24_oneuse),
66
67// GISEL: GIM_CheckOpcode, /*MI*/1, GIMT_Encode2(MyTarget::G_TGT_MUL24),
68// GBUILTIN: GIM_CheckHasOneUse, /*MI*/1,
69// GCUSTOM: GIM_CheckCxxInsnPredicate, /*MI*/1, /*FnId*/GIMT_Encode2(GICXXPred_MI_Predicate_TGTmul24_oneuse),
70
71// GISEL: GIM_CheckOpcode, /*MI*/1, GIMT_Encode2(MyTarget::G_TGT_MUL24),
72// GBUILTIN: GIM_CheckHasOneUse, /*MI*/1,
73// GCUSTOM: GIM_CheckCxxInsnPredicate, /*MI*/1, /*FnId*/GIMT_Encode2(GICXXPred_MI_Predicate_TGTmul24_oneuse),
74def inst_mad24 : I<
75  (outs GPR32:$dst),
76  (ins GPR32:$src0, GPR32:$src1, GPR32:$src2),
77  [(set GPR32:$dst, (add (TGTmul24_oneuse i32:$src0, i32:$src1), i32:$src2))]>;
78