Add support for medium integers to the native message format

runtime/vm/snapshot_test.cc

 // Copyright (c) 2012, 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.
 
 #include "include/dart_debugger_api.h"
 #include "platform/assert.h"
 #include "vm/bigint_operations.h"
 #include "vm/class_finalizer.h"
 #include "vm/dart_api_impl.h"
 #include "vm/dart_api_message.h"
@@ skipping 62 matching lines @@
   switch (first->type) {
     case Dart_CObject::kNull:
       // Nothing more to compare.
       break;
     case Dart_CObject::kBool:
       EXPECT_EQ(first->value.as_bool, second->value.as_bool);
       break;
     case Dart_CObject::kInt32:
       EXPECT_EQ(first->value.as_int32, second->value.as_int32);
       break;
+    case Dart_CObject::kInt64:
+      EXPECT_EQ(first->value.as_int64, second->value.as_int64);
+      break;
     case Dart_CObject::kDouble:
       EXPECT_EQ(first->value.as_double, second->value.as_double);
       break;
     case Dart_CObject::kString:
       EXPECT_STREQ(first->value.as_string, second->value.as_string);
       break;
     case Dart_CObject::kArray:
       // Use invalid type as a visited marker to avoid infinite
       // recursion on graphs with cycles.
       second->type = Dart_CObject::kNumberOfTypes;
@@ skipping 103 matching lines @@
   Dart_CObject* root = DecodeMessage(buffer + Snapshot::kHeaderSize,
                                      writer.BytesWritten(),
                                      &zone_allocator);
   EXPECT_NOTNULL(root);
   EXPECT_EQ(Dart_CObject::kInt32, root->type);
   EXPECT_EQ(smi.Value(), root->value.as_int32);
   CheckEncodeDecodeMessage(root);
 }
 
 
+Dart_CObject* SerializeAndDeserializeMint(const Mint& mint) {
+  // Write snapshot with object content.
+  uint8_t* buffer;
+  SnapshotWriter writer(Snapshot::kMessage, &buffer, &zone_allocator);
+  writer.WriteObject(mint.raw());
+  writer.FinalizeBuffer();
+
+  // Create a snapshot object using the buffer.
+  const Snapshot* snapshot = Snapshot::SetupFromBuffer(buffer);
+
+  // Read object back from the snapshot.
+  SnapshotReader reader(snapshot, Isolate::Current());
+  const Object& serialized_object = Object::Handle(reader.ReadObject());
+  EXPECT(serialized_object.IsMint());
+
+  // Read object back from the snapshot into a C structure.
+  Dart_CObject* root = DecodeMessage(buffer + Snapshot::kHeaderSize,
+                                     writer.BytesWritten(),
+                                     &zone_allocator);
+  EXPECT_NOTNULL(root);
+  CheckEncodeDecodeMessage(root);
+  return root;
+}
+
+
+void CheckMint(int64_t value) {
+  Zone zone(Isolate::Current());
+
+  const Mint& mint = Mint::Handle(Mint::New(value));
+  Dart_CObject* mint_cobject = SerializeAndDeserializeMint(mint);
+  // On 64-bit platforms mints always require 64-bits as the smi range
+  // here covers most of the 64-bit range. On 32-bit platforms the smi
+  // range covers most of the 32-bit range and values outside that
+  // range are also represented as mints.
+#if defined(ARCH_IS_64_BIT)
+  EXPECT_EQ(Dart_CObject::kInt64, mint_cobject->type);
+  EXPECT_EQ(value, mint_cobject->value.as_int64);
+#else
+  if (kMinInt32 < value && value < kMaxInt32) {
+    EXPECT_EQ(Dart_CObject::kInt32, mint_cobject->type);
+    EXPECT_EQ(value, mint_cobject->value.as_int32);
+  } else {
+    EXPECT_EQ(Dart_CObject::kInt64, mint_cobject->type);
+    EXPECT_EQ(value, mint_cobject->value.as_int64);
+  }
+#endif
+}
+
+
+TEST_CASE(SerializeMints) {
+  // Min positive mint.
+  CheckMint(Smi::kMaxValue + 1);
+  // Min positive mint + 1.
+  CheckMint(Smi::kMaxValue + 2);
+  // Max negative mint.
+  CheckMint(Smi::kMinValue - 1);
+  // Max negative mint - 1.
+  CheckMint(Smi::kMinValue - 2);
+  // Max positive mint.
+  CheckMint(kMaxInt64);
+  // Max positive mint - 1.
+  CheckMint(kMaxInt64 - 1);
+  // Min negative mint.
+  CheckMint(kMinInt64);
+  // Min negative mint + 1.
+  CheckMint(kMinInt64 + 1);
+}
+
+
 TEST_CASE(SerializeDouble) {
   Zone zone(Isolate::Current());
 
   // Write snapshot with object content.
   uint8_t* buffer;
   SnapshotWriter writer(Snapshot::kMessage, &buffer, &zone_allocator);
   const Double& dbl = Double::Handle(Double::New(101.29));
   writer.WriteObject(dbl.raw());
   writer.FinalizeBuffer();
 
@@ skipping 990 matching lines @@
   EXPECT(Dart_ErrorHasException(result));
   EXPECT_SUBSTRING("Exception: nulltruefalse1234563.14[]\n",
                    Dart_GetError(result));
 
   Dart_ExitScope();
 }
 
 #endif  // defined(TARGET_ARCH_IA32) || defined(TARGET_ARCH_X64).
 
 }  // namespace dart