• Joyee Cheung's avatar
    Reland "[class] implement reparsing of class instance member initializers" · 0e07eb53
    Joyee Cheung authored
    This is a reland of 91f08378
    
    When the class scope does not need a context, the deserialized
    outer scope of the initializer scope would not be the class scope,
    and we should not and do not need to use it to fix up the allocation
    information of the context-allocated variables. The original patch
    did not consider this case and resulted in a regression when we
    tried to reparse the initializer function to look for destructuring
    assignment errors. This fixes the regression by not deserializing
    the class scope that's going to be reparsed, and using the positions
    of the scopes to tell whether the scope info matches the reparsed
    scope and can be used to fix up the allocation info.
    
    Original change's description:
    > [class] implement reparsing of class instance member initializers
    >
    > Previously, since the source code for the synthetic class instance
    > member initializer function was recorded as the span from the first
    > initializer to the last initializer, there was no way to reparse the
    > class and recompile the initializer function. It was working for
    > most use cases because the code for the initializer function was
    > generated eagarly and it was usually alive as long as the class was
    > alive, so the initializer wouldn't normally be lazily parsed. This
    > didn't work, however, when the class was snapshotted with
    > v8::SnapshotCreator::FunctionCodeHandling::kClear,
    > becuase then we needed to recompile the initializer when the class
    > was instantiated. This patch implements the reparsing so that
    > these classes can work with FunctionCodeHandling::kClear.
    >
    > This patch refactors ParserBase::ParseClassLiteral() so that we can
    > reuse it for both parsing the class body normally and reparsing it
    > to collect initializers. When reparsing the synthetic initializer
    > function, we rewind the scanner to the beginning of the class, and
    > parse the class body to collect the initializers. During the
    > reparsing, field initializers are parsed with the full parser while
    > methods of the class are pre-parsed.
    >
    > A few notable changes:
    >
    > - Extended the source range of the initializer function to cover the
    >   entire class so that we can rewind the scanner to parse the class
    >   body to collect initializers (previously, it starts from the first
    >   field initializer and ends at the last initializer). This resulted
    >   some expectation changes in the debugger tests, though the
    >   initializers remain debuggable.
    > - A temporary ClassScope is created during reparsing. After the class
    >   is reparsed, we use the information from the ScopeInfo to update
    >   the allocated indices of the variables in the ClassScope.
    >
    > Bug: v8:10704
    > Change-Id: Ifb6431a1447d8844f2a548283d59158742fe9027
    > Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/2988830
    > Reviewed-by: Leszek Swirski <leszeks@chromium.org>
    > Reviewed-by: Toon Verwaest <verwaest@chromium.org>
    > Commit-Queue: Joyee Cheung <joyee@igalia.com>
    > Cr-Commit-Position: refs/heads/main@{#78299}
    
    Bug: chromium:1278086, chromium:1278085, v8:10704
    Change-Id: Iea4f1f6dc398846cbe322adc16f6fffd6d2dfdf3
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3325912Reviewed-by: 's avatarToon Verwaest <verwaest@chromium.org>
    Commit-Queue: Joyee Cheung <joyee@igalia.com>
    Cr-Commit-Position: refs/heads/main@{#78745}
    0e07eb53
scope-info.cc 43.6 KB