[vm,dyn_modules] Support class modifiers in bytecode

TEST=ci

Change-Id: I521b27c793269dc6076b353f50e2cdaa629002e9
Cq-Include-Trybots: luci.dart.try:vm-aot-dyn-linux-debug-x64-try,vm-aot-dyn-linux-product-x64-try,vm-dyn-linux-debug-x64-try
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/441987
Reviewed-by: Tess Strickland <[email protected]>
Commit-Queue: Alexander Markov <[email protected]>

Author: alexmarkov

pkg/dart2bytecode/docs/bytecode.md

@@ -478,7 +478,9 @@ type ClassDeclaration {
   UInt flags = (isAbstract, isEnum,
                 hasTypeParams, hasTypeArguments,
                 isTransformedMixinApplication,
-                hasSourcePositions, hasAnnotations, hasPragma);
+                hasSourcePositions, hasAnnotations, hasPragma,
+                hasConstConstructor, isSealed, isMixinClass,
+                isBaseClass, isInterface, isFinal);
   PackedObject script;
 
  if hasSourcePositions

pkg/dart2bytecode/lib/bytecode_generator.dart

@@ -266,6 +266,21 @@ class BytecodeGenerator extends RecursiveVisitor {
     if (cls.isEnum) {
       flags |= ClassDeclaration.isEnumFlag;
     }
+    if (cls.isSealed) {
+      flags |= ClassDeclaration.isSealedFlag;
+    }
+    if (cls.isMixinClass) {
+      flags |= ClassDeclaration.isMixinClassFlag;
+    }
+    if (cls.isBase) {
+      flags |= ClassDeclaration.isBaseClassFlag;
+    }
+    if (cls.isInterface) {
+      flags |= ClassDeclaration.isInterfaceFlag;
+    }
+    if (cls.isFinal) {
+      flags |= ClassDeclaration.isFinalFlag;
+    }
     int numTypeArguments = 0;
     TypeParametersDeclaration? typeParameters;
     if (hasInstantiatorTypeArguments(cls)) {
@@ -282,6 +297,10 @@ class BytecodeGenerator extends RecursiveVisitor {
     if (cls.isEliminatedMixin) {
       flags |= ClassDeclaration.isTransformedMixinApplicationFlag;
     }
+    if (cls.hasConstConstructor) {
+      flags |= ClassDeclaration.hasConstConstructorFlag;
+    }
+
     int position = TreeNode.noOffset;
     int endPosition = TreeNode.noOffset;
     if (options.emitSourcePositions && cls.fileOffset != TreeNode.noOffset) {

pkg/dart2bytecode/lib/declarations.dart

@@ -94,6 +94,12 @@ class ClassDeclaration extends BytecodeDeclaration {
   static const hasSourcePositionsFlag = 1 << 5;
   static const hasAnnotationsFlag = 1 << 6;
   static const hasPragmaFlag = 1 << 7;
+  static const hasConstConstructorFlag = 1 << 8;
+  static const isSealedFlag = 1 << 9;
+  static const isMixinClassFlag = 1 << 10;
+  static const isBaseClassFlag = 1 << 11;
+  static const isInterfaceFlag = 1 << 12;
+  static const isFinalFlag = 1 << 13;
 
   ObjectHandle? name;
   final int flags;

runtime/vm/bytecode_reader.cc

@@ -2134,6 +2134,12 @@ void BytecodeReaderHelper::ReadClassDeclaration(const Class& cls) {
   const int kHasSourcePositionsFlag = 1 << 5;
   const int kHasAnnotationsFlag = 1 << 6;
   const int kHasPragmaFlag = 1 << 7;
+  const int kHasConstConstructorFlag = 1 << 8;
+  const int kIsSealedFlag = 1 << 9;
+  const int kIsMixinClassFlag = 1 << 10;
+  const int kIsBaseClassFlag = 1 << 11;
+  const int kIsInterfaceFlag = 1 << 12;
+  const int kIsFinalFlag = 1 << 13;
 
   // Class is allocated when reading library declaration in
   // BytecodeReaderHelper::ReadLibraryDeclaration.
@@ -2175,6 +2181,24 @@ void BytecodeReaderHelper::ReadClassDeclaration(const Class& cls) {
   if ((flags & kIsTransformedMixinApplicationFlag) != 0) {
     cls.set_is_transformed_mixin_application();
   }
+  if ((flags & kHasConstConstructorFlag) != 0) {
+    cls.set_is_const();
+  }
+  if ((flags & kIsSealedFlag) != 0) {
+    cls.set_is_sealed();
+  }
+  if ((flags & kIsMixinClassFlag) != 0) {
+    cls.set_is_mixin_class();
+  }
+  if ((flags & kIsBaseClassFlag) != 0) {
+    cls.set_is_base_class();
+  }
+  if ((flags & kIsInterfaceFlag) != 0) {
+    cls.set_is_interface_class();
+  }
+  if ((flags & kIsFinalFlag) != 0) {
+    cls.set_is_final();
+  }
 
   intptr_t num_type_arguments = 0;
   if ((flags & kHasTypeArgumentsFlag) != 0) {