[SelectionDAG] Fill in some more cases in `isKnownNeverZero`
authorNoah Goldstein <goldstein.w.n@gmail.com>
Wed, 12 Jul 2023 20:44:13 +0000 (15:44 -0500)
committerNoah Goldstein <goldstein.w.n@gmail.com>
Wed, 12 Jul 2023 22:17:53 +0000 (17:17 -0500)
commita4c461c063a2ef229d577d050fef3cff7284fc4b
tree1c7237b01faab9122d85fef666fefcff15debe17
parent24f752ed2e272f85aba8f2176d21656bbe5f373e
[SelectionDAG] Fill in some more cases in `isKnownNeverZero`

This mostly copies cases that already exist in ValueTracking, although
it skips the more complex ones. Those can be filled in as needed.

Reviewed By: RKSimon

Differential Revision: https://reviews.llvm.org/D149199
llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp
llvm/test/CodeGen/X86/divrem-by-select.ll
llvm/test/CodeGen/X86/known-never-zero.ll