================
@@ -5665,6 +5665,32 @@ bool
SelectionDAG::isGuaranteedNotToBeUndefOrPoison(SDValue Op,
}
return true;
+ case ISD::CONCAT_VECTORS: {
+ if (!DemandedElts)
+ return true;
+
+ EVT VT = Op.getValueType();
+ if (!VT.isFixedLengthVector())
+ return all_of(Op->ops(), [&](SDValue V) {
+ return isGuaranteedNotToBeUndefOrPoison(V, Kind, Depth + 1);
+ });
+
+ assert(DemandedElts.getBitWidth() == VT.getVectorNumElements() &&
----------------
RKSimon wrote:
this should be done generically at the top of the function like
SelectionDAG::computeKnownBits
https://github.com/llvm/llvm-project/pull/200932
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
