NEW 142924
FTL (and maybe DFG) should have GC deferred indefinitely in the slow paths of any node that doesn't clobber world 
https://bugs.webkit.org/show_bug.cgi?id=142924
Summary FTL (and maybe DFG) should have GC deferred indefinitely in the slow paths of...
Filip Pizlo
Reported 2015-03-20 15:03:20 PDT
And we should insert fast "should GC?" checks on loop backedges and function exits, of any code that could GC but not clobber world. Those insertion points should be computed before SSA conversion, so that SSA could create loops without worrying about creating new GC points. This can be viewed as an alternate solution to most of the issues that https://bugs.webkit.org/show_bug.cgi?id=142921 would fix.
Attachments
Add attachment proposed patch, testcase, etc.
Filip Pizlo
Comment 1 2015-03-20 15:04:13 PDT
One of the nice things about this is that it will allow us to do more store barrier elimination.
Note You need to log in before you can comment on or make changes to this bug.