DBC: CheckClassInstr

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 VM_CONSTANTS_DBC_H_
 #define VM_CONSTANTS_DBC_H_
 
 #include "platform/globals.h"
 #include "platform/assert.h"
 #include "platform/utils.h"
@@ skipping 340 matching lines @@
 //
 //  - CheckSmi rA
 //
 //    If FP[rA] is a Smi, then skip the next instruction.
 //
 //  - CheckClassId rA, D
 //
 //    If the object at FP[rA]'s class id matches hthe class id in PP[D], then
 //    skip the following instruction.
 //
+//  - CheckNull rA, D
+//
+//    If D == 1, skip the following instruction when FP[rA] is non-null.
+//    If D == 0, skip the following instruction when FP[rA] is null.
+//
+//  - CheckDenseSwitchTOS rA, D
+//
+//    Given ICData at PP[D], skips the next instruction if the object at FP[rA]
+//    is a valid class for a dense switch with cid mask at SP[0], and low cid
+//    value at SP[-1].
+//
+//  - CheckForCid rA, D
+//
+//    Skips the following instruction if FP[rA] is a Smi and the receiver
+//    class of the ICData at PP[D] is a Smi, or if the cid of FP[rA] is found
+//    in the cids of PP[D].
+//
 //  - CheckStack
 //
 //    Compare SP against isolate stack limit and call StackOverflow handler if
 //    necessary.
 //
 //  - DebugStep, DebugBreak A
 //
 //    Debugger support. DebugBreak is bytecode that can be patched into the
 //    instruction stream to trigger in place breakpoint.
 //
@@ skipping 125 matching lines @@
   V(SetFrame,                        A, num, ___, num) \
   V(AllocateContext,                 D, num, ___, ___) \
   V(CloneContext,                    0, ___, ___, ___) \
   V(MoveSpecial,                   A_D, reg, num, ___) \
   V(InstantiateType,                 D, lit, ___, ___) \
   V(InstantiateTypeArgumentsTOS,   A_D, num, lit, ___) \
   V(AssertAssignable,                D, num, lit, ___) \
   V(AssertBoolean,                   A, num, ___, ___) \
   V(CheckSmi,                        A, reg, ___, ___) \
   V(CheckClassId,                  A_D, reg, lit, ___) \
+  V(CheckNull,                     A_D, reg, num, ___) \
+  V(CheckDenseSwitchTOS,           A_D, reg, lit, ___) \
+  V(CheckForCid,                   A_D, reg, lit, ___) \
   V(CheckStack,                      0, ___, ___, ___) \
   V(DebugStep,                       0, ___, ___, ___) \
   V(DebugBreak,                      A, num, ___, ___) \
   V(Deopt,                         A_D, num, num, ___) \
 
 typedef uint32_t Instr;
 
 class Bytecode {
  public:
   enum Opcode {
@@ skipping 102 matching lines @@
   kNumberOfDummyFpuRegisters,
 };
 const FpuRegister FpuTMP = kFakeFpuRegister;
 const intptr_t kNumberOfFpuRegisters = 1;
 
 enum Condition { EQ, NE };
 
 }  // namespace dart
 
 #endif  // VM_CONSTANTS_DBC_H_