[llvm] [InstCombine] Fold (X / C) < X and (X >> C) < X into X > 0 (PR #85555)

via llvm-commits llvm-commits at lists.llvm.org
Tue Mar 19 14:30:33 PDT 2024

Previous message: [llvm] [InstCombine] Fold (X / C) < X and (X >> C) < X into X > 0 (PR #85555)
Next message: [llvm] [InstCombine] Fold (X / C) < X and (X >> C) < X into X > 0 (PR #85555)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Poseydon42 wrote:

Updated proofs with `ashr`: https://alive2.llvm.org/ce/z/52droC

https://github.com/llvm/llvm-project/pull/85555

Previous message: [llvm] [InstCombine] Fold (X / C) < X and (X >> C) < X into X > 0 (PR #85555)
Next message: [llvm] [InstCombine] Fold (X / C) < X and (X >> C) < X into X > 0 (PR #85555)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list