9b1051281e
If the SDNode is used it can pick up the wrong results number, for example looking at the known bits of the first result where it should be looking at the second. The SDValue is already present as the SelectCodeCommon checks move from parent to child, pass the SDValue through to CheckNodePredicate as Op so that it can use it if necessary. SDNode *N is still generated, keeping most PatFrags the same. Fixes #137274
41 lines
2.0 KiB
TableGen
41 lines
2.0 KiB
TableGen
// RUN: llvm-tblgen -gen-dag-isel -I %p/../../include -I %p/Common %s -o - < %s | FileCheck -check-prefix=SDAG %s
|
|
// RUN: llvm-tblgen -gen-global-isel -warn-on-skipped-patterns -I %p/../../include -I %p/Common %s -o - < %s | FileCheck -check-prefix=GISEL %s
|
|
|
|
include "llvm/Target/Target.td"
|
|
include "GlobalISelEmitterCommon.td"
|
|
|
|
// Test the HasNoUse predicate
|
|
|
|
def NO_RET_ATOMIC_ADD : I<(outs), (ins GPR32Op:$src0, GPR32Op:$src1), []>;
|
|
|
|
// SDAG: case 0: {
|
|
// SDAG-NEXT: // Predicate_atomic_load_add_no_ret_i32
|
|
// SDAG-NEXT: SDNode *N = Op.getNode();
|
|
// SDAG-NEXT: (void)N;
|
|
// SDAG-NEXT: if (cast<MemSDNode>(N)->getMemoryVT() != MVT::i32) return false;
|
|
// SDAG-NEXT: if (N->hasAnyUseOfValue(0)) return false;
|
|
// SDAG-NEXT: return true;
|
|
|
|
// GISEL: GIM_CheckOpcode, /*MI*/0, GIMT_Encode2(TargetOpcode::G_ATOMICRMW_ADD),
|
|
// GISEL-NEXT: GIM_RootCheckType, /*Op*/0, /*Type*/GILLT_s32,
|
|
// GISEL-NEXT: GIM_RootCheckType, /*Op*/2, /*Type*/GILLT_s32,
|
|
// GISEL-NEXT: GIM_CheckMemorySizeEqualTo, /*MI*/0, /*MMO*/0, /*Size*/GIMT_Encode4(4),
|
|
// GISEL-NEXT: GIM_CheckHasNoUse, /*MI*/0,
|
|
// GISEL-NEXT: // MIs[0] src0
|
|
// GISEL-NEXT: GIM_CheckPointerToAny, /*MI*/0, /*Op*/1, /*SizeInBits*/0,
|
|
// GISEL-NEXT: // (atomic_load_add:{ *:[i32] } iPTR:{ *:[iPTR] }:$src0, i32:{ *:[i32] }:$src1)<<P:Predicate_atomic_load_add_no_ret_i32>> => (NO_RET_ATOMIC_ADD GPR32:{ *:[i32] }:$src0, GPR32:{ *:[i32] }:$src1)
|
|
// GISEL-NEXT: GIR_BuildRootMI, /*Opcode*/GIMT_Encode2(MyTarget::NO_RET_ATOMIC_ADD),
|
|
// GISEL-NEXT: GIR_RootToRootCopy, /*OpIdx*/1, // src0
|
|
// GISEL-NEXT: GIR_RootToRootCopy, /*OpIdx*/2, // src1
|
|
// GISEL-NEXT: GIR_MergeMemOperands, /*InsnID*/0, /*NumInsns*/1, /*MergeInsnID's*/0,
|
|
// GISEL-NEXT: GIR_RootConstrainSelectedInstOperands,
|
|
// GISEL-NEXT: // GIR_Coverage, 0,
|
|
// GISEL-NEXT: GIR_EraseRootFromParent_Done,
|
|
let HasNoUse = true in
|
|
defm atomic_load_add_no_ret : binary_atomic_op<atomic_load_add>;
|
|
|
|
def : Pat <
|
|
(atomic_load_add_no_ret_i32 iPTR:$src0, i32:$src1),
|
|
(NO_RET_ATOMIC_ADD GPR32:$src0, GPR32:$src1)
|
|
>;
|