More compact snapshots.

src/vm/session.cc

 // Copyright (c) 2014, the Dartino 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.md file.
 
 #ifdef DARTINO_ENABLE_DEBUGGING
 
 #include "src/vm/session.h"
 
 #include "src/shared/bytecodes.h"
 #include "src/shared/connection.h"
@@ skipping 1512 matching lines @@
     const char* path,
     FunctionOffsetsType* function_offsets,
     ClassOffsetsType* class_offsets) {
   // Make sure that the program is in the compact form before
   // snapshotting.
   if (!program()->is_optimized()) {
     ProgramFolder program_folder(program());
     program_folder.Fold();
   }
 
+  program()->VerifyObjectPlacements();
+
   SnapshotWriter writer(function_offsets, class_offsets);
   List<uint8> snapshot = writer.WriteProgram(program());
   bool success = writeToDisk
       ? Platform::StoreFile(path, snapshot)
       : true;
   snapshot.Delete();
   return success;
 }
 
 void Session::NewMap(int map_index) {
@@ skipping 709 matching lines @@
   if (program()->was_loaded_from_snapshot()) {
     return program()->OffsetOf(HeapObject::cast(klass));
   } else {
     return MapLookupByObject(class_map_id_, klass);
   }
 }
 
 }  // namespace dartino
 
 #endif  // DARTINO_ENABLE_DEBUGGING