[llvm] [InstCombine] Fold max(max(x, c1) << c2, c3) —> max(x << c2, c3) when c3 >= c1 * 2 ^ c2 (PR #140526)

via llvm-commits llvm-commits at lists.llvm.org
Mon Jun 9 10:28:23 PDT 2025

Previous message: [llvm] [SPIRV] Add intrinsic to represent spec constants (PR #143179)
Next message: [llvm] [InstCombine] Fold max(max(x, c1) << c2, c3) —> max(x << c2, c3) when c3 >= c1 * 2 ^ c2 (PR #140526)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Charukesh827 wrote:

Changing the code to fit this below given alive2 [proof](https://alive2.llvm.org/ce/)

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

Previous message: [llvm] [SPIRV] Add intrinsic to represent spec constants (PR #143179)
Next message: [llvm] [InstCombine] Fold max(max(x, c1) << c2, c3) —> max(x << c2, c3) when c3 >= c1 * 2 ^ c2 (PR #140526)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list