[llvm] [InstCombine] Freeze can be avoided if we propagate NUW or NSW (PR #96261)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Fri Jun 21 04:53:03 PDT 2024


https://github.com/nikic requested changes to this pull request.

I don't think this is correct. As discussed in https://github.com/llvm/llvm-project/issues/96130, this only verifies due to a weakness in alive2. This variant (that adds a mask on %x) does not verify without freeze: https://alive2.llvm.org/ce/z/Typrys

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


More information about the llvm-commits mailing list