[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