[llvm-bugs] [Bug 27434] LVI gives up too early on zext / lshr

[via llvm-bugs]

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

listmail at philipreames.com changed:

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

--- Comment #8 from listmail at philipreames.com ---
I've landed the changes for binary and unary operations.  I've also gone
through and audited the other uses of pushBlockValue.  I believe that all of
the remaining cases are as precise as they can be.

John's patch included a change to recurse on both operands of a binary
operation.  That has not landed and should probably be discussed elsewhere.  

@John, I'd really be curious to know what the precision is of the revised code
without the binary operator dual recursion bits.  If it was easy for you to
gather, it'd be an insightful set of numbers.

-- 
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/20160427/2e43706a/attachment.html>