Bug 142924

Summary: FTL (and maybe DFG) should have GC deferred indefinitely in the slow paths of any node that doesn't clobber world
Product: WebKit Reporter: Filip Pizlo <fpizlo>
Component: JavaScriptCoreAssignee: Nobody <webkit-unassigned>
Status: NEW ---    
Severity: Normal CC: barraclough, benjamin, ggaren, mark.lam, mhahnenb, mmirman, msaboff, nrotem, oliver, saam, sam
Priority: P2    
Version: 528+ (Nightly build)   
Hardware: All   
OS: All   
Bug Depends on: 142920    
Bug Blocks:    

Description Filip Pizlo 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.
Comment 1 Filip Pizlo 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.