[InstCombine] Fold (X / C) < X and (X >> C) < X into X > 0 (#85555)
Proofs: https://alive2.llvm.org/ce/z/52droC This resolves #85313.
parent
478c4200
Please register or sign in to comment
Proofs: https://alive2.llvm.org/ce/z/52droC This resolves #85313.