Displaying 2 results from an estimated 2 matches for "7c6eef58".
2016 Dec 31
2
SCCP is not always correct in presence of undef (+ proposed fix)
...t you can't dual purpose the bit with undef, because undef is an actual
value state. it tells you nothing about visited or unvisited, only the
value.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20161230/7c6eef58/attachment.html>
2016 Dec 31
0
SCCP is not always correct in presence of undef (+ proposed fix)
Hi Daniel,
On Fri, Dec 30, 2016 at 9:47 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
>>
>>> Is there a case in your algorithm in which treating an
>>> unknown as an undef will be a problem?
>>>
> Yes, if you try to optimize undefs in any way, no if you move them to
> overdefined :)
>
> IE given phi [a, undef, undef, undef]
>
> with