Displaying 1 result from an estimated 1 matches for "2bd8f75e".
2016 Dec 31
0
SCCP is not always correct in presence of undef (+ proposed fix)
>
>
> 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 just as many back edges, you will visit this node 4 times.
If you start out with
phi [a, undef, undef, undef], you may think