[VM DBC compiler and simulator] Support reified generic functions.

runtime/vm/constants_dbc.h

 // Copyright (c) 2016, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #ifndef RUNTIME_VM_CONSTANTS_DBC_H_
 #define RUNTIME_VM_CONSTANTS_DBC_H_
 
 #include "platform/assert.h"
 #include "platform/globals.h"
 #include "platform/utils.h"
@@ skipping 128 matching lines @@
 //    Load value at index D from constant pool into FP[rA] or push it onto the
 //    stack.
 //
 //  - StoreLocal rX; PopLocal rX
 //
 //    Store top of the stack into FP[rX] and pop it if needed.
 //
 //  - StaticCall ArgC, D
 //
 //    Invoke function in SP[0] with arguments SP[-(1+ArgC)], ..., SP[-1] and
-//    argument descriptor PP[D].
+//    argument descriptor PP[D], which indicates whether the first argument
+//    is a type argument vector.
 //
 //  - IndirectStaticCall ArgC, D
 //
 //    Invoke the function given by the ICData in SP[0] with arguments
-//    SP[-(1+ArgC)], ..., SP[-1] and argument descriptor PP[D].
+//    SP[-(1+ArgC)], ..., SP[-1] and argument descriptor PP[D], which
+//    indicates whether the first argument is a type argument vector.
 //
 //  - InstanceCall<N> ArgC, D; InstanceCall<N>Opt ArgC, D
 //
 //    Lookup and invoke method with N checked arguments using ICData in PP[D]
 //    with arguments SP[-(1+ArgC)], ..., SP[-1].
+//    The ICData indicates whether the first argument is a type argument vector.
 //
 //  - NativeBootstrapCall, NativeNoScopeCall, NativeAutoScopeCall
 //
 //    Invoke native function SP[-1] with argc_tag SP[0].
 //
 //  - PushPolymorphicInstanceCall ArgC, D
 //
 //    Skips 2*D + 1 instructions and pushes a function object onto the stack
 //    if one can be found as follows. Otherwise skips only 2*D instructions.
 //    The function is looked up in the IC data encoded in the following 2*D
@@ skipping 315 matching lines @@
 //    prologues are implemented on other architectures.
 //
 //    Note: Unlike Entry bytecode EntryOptional does not setup the frame for
 //    local variables this is done by a separate bytecode Frame.
 //
 //  - EntryOptimized A, D
 //
 //    Function prologue for optimized functions with no optional or named
 //    arguments.
 //        A - expected number of positional arguments;
-//        B - number of local slots to reserve for registers;
+//        D - number of local slots to reserve for registers;
 //
 //    Note: reserved slots are not initialized because optimized code
 //    has stack maps attached to call sites.
 //
 //  - HotCheck A, D
 //
 //    Increment current function's usage counter by A and check if it
 //    exceeds D. If it does trigger (re)optimization of the current
 //    function.
 //
@@ skipping 108 matching lines @@
 //    1, or if FP[rA]'s cid is found in the array of cid ranges encoded by the
 //    following rC Nop instructions. The cid ranges from a inclusive to b
 //    exclusive are coded in pairs of (a, b - a). Otherwise skips only 2
 //    instructions.
 //
 //  - CheckStack
 //
 //    Compare SP against isolate stack limit and call StackOverflow handler if
 //    necessary.
 //
+//  - CheckStackAlwaysExit
+//
+//    Unconditionally call StackOverflow handler.
+//
+//  - CheckFunctionTypeArgs A, D
+//
+//    Check for a passed-in type argument vector of length A and
+//    store it at FP[D].
+//
 //  - DebugStep, DebugBreak A
 //
 //    Debugger support. DebugBreak is bytecode that can be patched into the
 //    instruction stream to trigger in place breakpoint.
 //
 //    When patching instance or static call with DebugBreak we set A to
 //    match patched call's argument count so that Return instructions continue
 //    to work.
 //
 // TODO(vegorov) the way we replace calls with DebugBreak does not work
@@ skipping 211 matching lines @@
   V(TestCids,                            A_D, reg, num, ___) \
   V(CheckSmi,                              A, reg, ___, ___) \
   V(CheckEitherNonSmi,                   A_D, reg, reg, ___) \
   V(CheckClassId,                        A_D, reg, num, ___) \
   V(CheckClassIdRange,                   A_D, reg, num, ___) \
   V(CheckBitTest,                        A_D, reg, num, ___) \
   V(CheckCids,                         A_B_C, reg, num, num) \
   V(CheckCidsByRange,                  A_B_C, reg, num, num) \
   V(CheckStack,                            0, ___, ___, ___) \
   V(CheckStackAlwaysExit,                  0, ___, ___, ___) \
+  V(CheckFunctionTypeArgs,               A_D, num, num, ___) \
   V(DebugStep,                             0, ___, ___, ___) \
   V(DebugBreak,                            A, num, ___, ___) \
   V(Deopt,                               A_D, num, num, ___) \
   V(DeoptRewind,                           0, ___, ___, ___)
 
 // clang-format on
 
 typedef uint32_t Instr;
 
 class Bytecode {
@@ skipping 128 matching lines @@
 
 // After a comparison, the condition NEXT_IS_TRUE means the following
 // instruction is executed if the comparison is true and skipped over overwise.
 // Condition NEXT_IS_FALSE means the following instruction is executed if the
 // comparison is false and skipped over otherwise.
 enum Condition { NEXT_IS_TRUE, NEXT_IS_FALSE, INVALID_CONDITION };
 
 }  // namespace dart
 
 #endif  // RUNTIME_VM_CONSTANTS_DBC_H_