[llvm-bugs] [Bug 30428] Infer nsw/nuw flags for increment/decrement if relational comparison succeeded

[via llvm-bugs]

https://llvm.org/bugs/show_bug.cgi?id=30428

Matti Niemenmaa <matti.niemenmaa+llvmbugs at iki.fi> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #6 from Matti Niemenmaa <matti.niemenmaa+llvmbugs at iki.fi> ---
Turns out this was already dealt with as part of Bug 28620, which has a fix in
trunk that currently requires explicit activation due to it causing other
regressions: opt -cvp-dont-process-adds=false -correlated-propagation infers
the nsw/nuw flags nicely.

But only for adds — it doesn't do anything for sub instructions. Currently this
doesn't matter, since that would anyway be undone by the fact that 'sub nuw Y,
1' is canonicalized into 'add Y, -1', but dealing with that seems like a
separate issue so I'm marking this as a duplicate.

*** This bug has been marked as a duplicate of bug 28620 ***

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20160929/4d17e3b2/attachment.html>