• Tobias Tebbi's avatar
    [torque] shape: define in-object properties properly · cfab6505
    Tobias Tebbi authored
    This introduces a new keyword "shape" in addition to "class",
    which allows the definition of a type that extends a JSObject
    subclass and specifies one or several maps with statically
    known in-object properties.
    Differences compared to normal classes:
    - Shapes are transient since they specify maps instead of
      instance types.
    - Shapes have a known size.
    - Fields of shapes are always in-object properties. In particular,
      this means that their offset is after kHeaderSize.
    - It's forbidden to inherited from shapes.
    - Since shapes usually specify NativeContext-dependent maps, it's
      not possible to write runtime type-checks for them. Thus this CL
      avoids mapping them to their own TNode type, as the CAST macro
      won't work properly. We had runtime-checks for some of them
      nevertheless, some of them scarily confusing like
      IsJSSloppyArgumentsObject, that actually just checked the instance
      type.
    
    Drive-by cleanups and simplifications:
    - Allow subclassing from non-abstract classes and remove
      @dirtyInstantiatedAbstractClass. This attribute stems from a mis-
      conception of how instance types work, and with this change it
      ceases to have semantic influence.
    - Replace the existing JSArgumentsObject subclasses into two shapes.
      JSArgumentsObjectWithLength had to be removed since shapes don't
      support subclassing.
    - Place kHeaderSize correctly for objects with indexed fields.
    
    Design doc:
    https://docs.google.com/document/d/1zPy2ZYfNFjeEuw6Mz3YJA-GaPGbdcSYam3SrS7ETzRU
    
    Bug: v8:8944
    
    Change-Id: Iabf185ccd27d0900e0890539a7fe9eaa8bf2d50e
    Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1917140
    Commit-Queue: Tobias Tebbi <tebbi@chromium.org>
    Reviewed-by: 's avatarNico Hartmann <nicohartmann@chromium.org>
    Reviewed-by: 's avatarJakob Gruber <jgruber@chromium.org>
    Cr-Commit-Position: refs/heads/master@{#65108}
    cfab6505
Name
Last commit
Last update
..
arm Loading commit data...
arm64 Loading commit data...
ia32 Loading commit data...
mips Loading commit data...
mips64 Loading commit data...
ppc Loading commit data...
s390 Loading commit data...
x64 Loading commit data...
DEPS Loading commit data...
OWNERS Loading commit data...
assembler-arch.h Loading commit data...
assembler-inl.h Loading commit data...
assembler.cc Loading commit data...
assembler.h Loading commit data...
bailout-reason.cc Loading commit data...
bailout-reason.h Loading commit data...
callable.h Loading commit data...
code-comments.cc Loading commit data...
code-comments.h Loading commit data...
code-desc.cc Loading commit data...
code-desc.h Loading commit data...
code-factory.cc Loading commit data...
code-factory.h Loading commit data...
code-reference.cc Loading commit data...
code-reference.h Loading commit data...
code-stub-assembler.cc Loading commit data...
code-stub-assembler.h Loading commit data...
compilation-cache.cc Loading commit data...
compilation-cache.h Loading commit data...
compiler.cc Loading commit data...
compiler.h Loading commit data...
constant-pool.cc Loading commit data...
constant-pool.h Loading commit data...
constants-arch.h Loading commit data...
cpu-features.h Loading commit data...
external-reference-table.cc Loading commit data...
external-reference-table.h Loading commit data...
external-reference.cc Loading commit data...
external-reference.h Loading commit data...
flush-instruction-cache.cc Loading commit data...
flush-instruction-cache.h Loading commit data...
handler-table.cc Loading commit data...
handler-table.h Loading commit data...
interface-descriptors.cc Loading commit data...
interface-descriptors.h Loading commit data...
label.h Loading commit data...
machine-type.cc Loading commit data...
machine-type.h Loading commit data...
macro-assembler-inl.h Loading commit data...
macro-assembler.h Loading commit data...
optimized-compilation-info.cc Loading commit data...
optimized-compilation-info.h Loading commit data...
pending-optimization-table.cc Loading commit data...
pending-optimization-table.h Loading commit data...
register-arch.h Loading commit data...
register-configuration.cc Loading commit data...
register-configuration.h Loading commit data...
register.cc Loading commit data...
register.h Loading commit data...
reglist.h Loading commit data...
reloc-info.cc Loading commit data...
reloc-info.h Loading commit data...
safepoint-table.cc Loading commit data...
safepoint-table.h Loading commit data...
signature.h Loading commit data...
source-position-table.cc Loading commit data...
source-position-table.h Loading commit data...
source-position.cc Loading commit data...
source-position.h Loading commit data...
string-constants.cc Loading commit data...
string-constants.h Loading commit data...
tick-counter.cc Loading commit data...
tick-counter.h Loading commit data...
tnode.cc Loading commit data...
tnode.h Loading commit data...
turbo-assembler.cc Loading commit data...
turbo-assembler.h Loading commit data...
unoptimized-compilation-info.cc Loading commit data...
unoptimized-compilation-info.h Loading commit data...