[PATCH] D134980: [RISCV] Prevent performCombineVMergeAndVOps from creating cycles in the DAG.
Craig Topper via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Fri Sep 30 11:46:13 PDT 2022
craig.topper created this revision.
craig.topper added reviewers: reames, fakepaper56, frasercrmck.
Herald added subscribers: sunshaoce, VincentWu, StephenFan, vkmr, evandro, luismarques, apazos, sameer.abuasal, s.egerton, Jim, benna, psnobl, jocewei, PkmX, the_o, brucehoult, MartinMosbeck, rogfer01, edward-jones, zzheng, jrtc27, shiva0217, kito-cheng, niosHD, sabuasal, simoncook, johnrusso, rbar, asb, hiraditya, arichardson.
Herald added a project: All.
craig.topper requested review of this revision.
Herald added subscribers: pcwang-thead, eopXD, MaskRay.
Herald added a project: LLVM.
If True has a Chain result, the other operands of the vmerge may
depend on it through that Chain. We need to ensure it isn't a
predecessor of those operands.
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D134980
Files:
llvm/lib/Target/RISCV/RISCVISelDAGToDAG.cpp
Index: llvm/lib/Target/RISCV/RISCVISelDAGToDAG.cpp
===================================================================
--- llvm/lib/Target/RISCV/RISCVISelDAGToDAG.cpp
+++ llvm/lib/Target/RISCV/RISCVISelDAGToDAG.cpp
@@ -2667,6 +2667,20 @@
bool HasChainOp =
True.getOperand(True.getNumOperands() - 1).getValueType() == MVT::Other;
+ if (HasChainOp) {
+ // Avoid creating cycles in the DAG. We must ensure that none of the other
+ // operands depend on True through it's Chain.
+ SmallVector<const SDNode *, 4> LoopWorklist;
+ SmallPtrSet<const SDNode *, 16> Visited;
+ LoopWorklist.push_back(False.getNode());
+ LoopWorklist.push_back(Mask.getNode());
+ LoopWorklist.push_back(VL.getNode());
+ if (SDNode *Glued = N->getGluedNode())
+ LoopWorklist.push_back(Glued);
+ if (SDNode::hasPredecessorHelper(True.getNode(), Visited, LoopWorklist))
+ return false;
+ }
+
// Need True has same VL with N.
unsigned TrueVLIndex = True.getNumOperands() - HasChainOp - 2;
SDValue TrueVL = True.getOperand(TrueVLIndex);
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D134980.464343.patch
Type: text/x-patch
Size: 1064 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220930/263132a6/attachment.bin>
More information about the llvm-commits
mailing list