[llvm] [DAG] isKnownNeverZero - add ISD::UDIV/SDIV DemandedElts handling and tests (PR #183227)
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Tue Mar 3 01:19:12 PST 2026
================
@@ -1519,4 +1519,97 @@ TEST_F(AArch64SelectionDAGTest, KnownNeverZero_Select) {
EXPECT_FALSE(DAG->isKnownNeverZero(VSelect444Big, DemandAll));
EXPECT_TRUE(DAG->isKnownNeverZero(VSelect4444, DemandAll));
}
+
+TEST_F(AArch64SelectionDAGTest, KnownNeverZero_Div) {
+ SDLoc Loc;
+ auto Cst0 = DAG->getConstant(0, Loc, MVT::i32);
----------------
arsenm wrote:
No auto and lit test is better
https://github.com/llvm/llvm-project/pull/183227
More information about the llvm-commits
mailing list