[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