[Webkit-unassigned] [Bug 84553] DFG should have control flow graph simplification

Wed Apr 25 22:41:59 PDT 2012

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

--- Comment #12 from Filip Pizlo <fpizlo at apple.com>  2012-04-25 22:41:59 PST ---
Yup, I found another bug.  Consider that we have block A that branches to blocks B and C.  Both blocks B and C then jump to block D.  We notice that block A will always jump to block B, so we jettison block C.  We currently successfully clean up C's phis so that they do not point to A anymore. But let's assume that there are no other jumps to C, so C is unreachable now. We will fail to clean up D's incoming phis to reflect this.

Ooops!

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