[ValueTracking] Add logic for `isKnownNonZero(ctlz/cttz X)`
for `cttz` if `X[0]` is non-zero, then the expression is non-zero. for `ctlz` if `X[SignBit]` is non-zero, then the expression in non-zero. Alive2 Links: cttz (false): https://alive2.llvm.org/ce/z/ySQzbg cttz (true): https://alive2.llvm.org/ce/z/auiTCJ ctlz (false): https://alive2.llvm.org/ce/z/yk3sTJ ctlz (true): https://alive2.llvm.org/ce/z/-JuDty Reviewed By: nikic Differential Revision: https://reviews.llvm.org/D149410
Loading
Please register or sign in to comment