[llvm] [ValueTracking] Respect `samesign` flag in `isKnownInversion` (PR #112390)
    via llvm-commits 
    llvm-commits at lists.llvm.org
       
    Tue Oct 15 09:55:16 PDT 2024
    
    
  
goldsteinn wrote:
Think this definetly makes sense in the case where both operands are non-constants. Its highly unlikely any analysis will add `samesign` to one and not the other.
In the constant RHS case if the constants differ I could image a case where we apply `samesign` to one but not the other. Although I have no issue with this going in as is for now.
https://github.com/llvm/llvm-project/pull/112390
    
    
More information about the llvm-commits
mailing list