• Benedikt Meurer's avatar
    [builtins] Refactor the promise resolution and rejection logic. · c0412961
    Benedikt Meurer authored
    This introduces dedicated builtins
    
      - FulfillPromise,
      - RejectPromise, and
      - ResolvePromise,
    
    which perform the corresponding operations from the language
    specification, and removes the redundant entry points and the
    excessive inlining of these operations into other builtins. We
    also add the same logic on the C++ side, so that we don't need
    to go into JavaScript land when resolving/rejecting from the
    API.
    
    The C++ side has a complete implementation, including full support
    for the debugger and the current PromiseHook machinery. This is to
    avoid constantly crossing the boundary for those cases, and to also
    simplify the CSA side (and soon the TurboFan side), where we only
    do the fast-path and bail out to the runtime for the general handling.
    
    On top of this we introduce %_RejectPromise and %_ResolvePromise,
    which are entry points used by the bytecode and parser desugarings
    for async functions, and also used by the V8 Extras API. Thanks to
    this we can uniformly optimize these in TurboFan, where we have
    corresponding operators JSRejectPromise and JSResolvePromise, which
    currently just call into the builtins, but middle-term can be further
    optimized, i.e. to skip the "then" lookup for JSResolvePromise when
    we know something about the resolution.
    
    In TurboFan we can also already inline the default PromiseCapability
    [[Reject]] and [[Resolve]] functions, although this is not as effective
    as it can be right now, until we have inlining support for the Promise
    constructor (being worked on by petermarshall@ right now) and/or SFI
    based CALL_IC feedback.
    
    Overall this change is meant as a refactoring without significant
    performance impact anywhere; it seems to improve performance of
    simple async functions a bit, but otherwise is neutral.
    
    Bug: v8:7253
    Change-Id: Id0b979f9b2843560e38cd8df4b02627dad4b6d8c
    Reviewed-on: https://chromium-review.googlesource.com/911632Reviewed-by: 's avatarSathya Gunasekaran <gsathya@chromium.org>
    Reviewed-by: 's avatarBenedikt Meurer <bmeurer@chromium.org>
    Reviewed-by: 's avatarGeorg Neis <neis@chromium.org>
    Commit-Queue: Benedikt Meurer <bmeurer@chromium.org>
    Cr-Commit-Position: refs/heads/master@{#51260}
    c0412961
Name
Last commit
Last update
..
ArrayLiterals.golden Loading commit data...
AssignmentsInBinaryExpression.golden Loading commit data...
AsyncGenerators.golden Loading commit data...
BasicBlockToBoolean.golden Loading commit data...
BasicLoops.golden Loading commit data...
BreakableBlocks.golden Loading commit data...
CallAndSpread.golden Loading commit data...
CallGlobal.golden Loading commit data...
CallLookupSlot.golden Loading commit data...
CallNew.golden Loading commit data...
CallRuntime.golden Loading commit data...
ClassAndSuperClass.golden Loading commit data...
ClassDeclarations.golden Loading commit data...
ClassFields.golden Loading commit data...
CompareNil.golden Loading commit data...
CompareTypeOf.golden Loading commit data...
CompoundExpressions.golden Loading commit data...
Conditional.golden Loading commit data...
ConstVariable.golden Loading commit data...
ConstVariableContextSlot.golden Loading commit data...
ContextParameters.golden Loading commit data...
ContextVariables.golden Loading commit data...
CountOperators.golden Loading commit data...
CreateArguments.golden Loading commit data...
CreateRestParameter.golden Loading commit data...
DeadCodeRemoval.golden Loading commit data...
DeclareGlobals.golden Loading commit data...
Delete.golden Loading commit data...
DeleteLookupSlotInEval.golden Loading commit data...
DoDebugger.golden Loading commit data...
DoExpression.golden Loading commit data...
Eval.golden Loading commit data...
ForAwaitOf.golden Loading commit data...
ForIn.golden Loading commit data...
ForOf.golden Loading commit data...
ForOfLoop.golden Loading commit data...
FunctionLiterals.golden Loading commit data...
GenerateTestUndetectable.golden Loading commit data...
Generators.golden Loading commit data...
GlobalCompoundExpressions.golden Loading commit data...
GlobalCountOperators.golden Loading commit data...
GlobalDelete.golden Loading commit data...
HeapNumberConstants.golden Loading commit data...
IfConditions.golden Loading commit data...
IntegerConstants.golden Loading commit data...
LetVariable.golden Loading commit data...
LetVariableContextSlot.golden Loading commit data...
LoadGlobal.golden Loading commit data...
LogicalExpressions.golden Loading commit data...
LookupSlot.golden Loading commit data...
LookupSlotInEval.golden Loading commit data...
Modules.golden Loading commit data...
NewAndSpread.golden Loading commit data...
NewTarget.golden Loading commit data...
ObjectLiterals.golden Loading commit data...
OuterContextVariables.golden Loading commit data...
Parameters.golden Loading commit data...
PrimitiveExpressions.golden Loading commit data...
PrimitiveReturnStatements.golden Loading commit data...
PropertyCall.golden Loading commit data...
PropertyLoads.golden Loading commit data...
PropertyStores.golden Loading commit data...
RegExpLiterals.golden Loading commit data...
RemoveRedundantLdar.golden Loading commit data...
StandardForLoop.golden Loading commit data...
StaticClassFields.golden Loading commit data...
StoreGlobal.golden Loading commit data...
StringConcat.golden Loading commit data...
StringConstants.golden Loading commit data...
SuperCallAndSpread.golden Loading commit data...
Switch.golden Loading commit data...
ThisFunction.golden Loading commit data...
Throw.golden Loading commit data...
TopLevelObjectLiterals.golden Loading commit data...
TryCatch.golden Loading commit data...
TryFinally.golden Loading commit data...
Typeof.golden Loading commit data...
UnaryOperators.golden Loading commit data...
WideRegisters.golden Loading commit data...
WithStatement.golden Loading commit data...