|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>|
|Severity:||Normal||CC:||barraclough, benjamin, ggaren, mark.lam, mhahnenb, mmirman, msaboff, nrotem, oliver, saam, sam|
|Version:||528+ (Nightly build)|
|Bug Depends on:||142920|
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.