Bug 142924 - FTL (and maybe DFG) should have GC deferred indefinitely in the slow paths of any node that doesn't clobber world
Summary: FTL (and maybe DFG) should have GC deferred indefinitely in the slow paths of...
Status: NEW
Alias: None
Product: WebKit
Classification: Unclassified
Component: JavaScriptCore (show other bugs)
Version: 528+ (Nightly build)
Hardware: All All
: P2 Normal
Assignee: Nobody
URL:
Keywords:
Depends on: 142920
Blocks:
  Show dependency treegraph
 
Reported: 2015-03-20 15:03 PDT by Filip Pizlo
Modified: 2015-03-20 15:05 PDT (History)
11 users (show)

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
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.