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

via llvm-bugs llvm-bugs at lists.llvm.org
Tue Apr 26 18:18:09 PDT 2016


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>

More information about the llvm-bugs mailing list