[Webkit-unassigned] [Bug 80415] Eliminate redundant Phis in DFG

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=80415





--- Comment #8 from Yuqiang Xian <yuqiang.xian at intel.com>  2012-03-06 17:39:24 PST ---
Created an attachment (id=130493)
 --> (https://bugs.webkit.org/attachment.cgi?id=130493&action=review)
Case showing the problem of type predications propagation after Phi elimination

This is the case showing the problem of type predications propagation after Phi elimination. Please pay attention to block 3, where node 51 and node 49 are eliminated since those two variables each have only one definition (in block 0). They're not used in block 3 but they should still be alive because they will be used in block 1 (block 3's successor). But after we eliminate 51 and 49 in block 3, the CFA ignores them and the type predictions of the two variables are not propagated to the end of the block, and hence not to the successors.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.