Read platform.dill in the VM.

tools/testing/dart/compiler_configuration.dart

 // Copyright (c) 2014, 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.
 
 library compiler_configuration;
 
 import 'dart:io' show Platform;
 
 import 'runtime_configuration.dart' show RuntimeConfiguration;
 import 'runtime_configuration.dart' show DartPrecompiledAdbRuntimeConfiguration;
@@ skipping 196 matching lines @@
       RuntimeConfiguration runtimeConfiguration,
       String buildDir,
       TestInformation info,
       List<String> vmOptions,
       List<String> sharedOptions,
       List<String> originalArguments,
       CommandArtifact artifact) {
     List<String> args = [];
     if (useDFE) {
       args.add('--dfe=${buildDir}/gen/kernel-service.dart.snapshot');
+      args.add('--platform=${buildDir}/patched_sdk/platform.dill');

[ahe, 2017/03/31 10:13:09]

How about creating an outline of the platform file and passing that to Fasta?

[Kevin Millikin (Google), 2017/04/25 18:20:29]

That's an excellent suggestion.  Let's discuss how to do it.

     }
     if (isChecked) {
       args.add('--enable_asserts');
       args.add('--enable_type_checks');
     }
     if (hotReload) {
       args.add('--hot-reload-test-mode');
     } else if (hotReloadRollback) {
       args.add('--hot-reload-rollback-test-mode');
     }
@@ skipping 393 matching lines @@
       if (arch == "arm") {
         exec = "$buildDir/clang_x86/dart_bootstrap";
       } else if (arch == "arm64") {
         exec = "$buildDir/clang_x64/dart_bootstrap";
       }
     } else {
       exec = "$buildDir/dart_bootstrap";
     }
     var args = new List();
     if (useDFE) {
       args.add('--dfe=utils/kernel-service/kernel-service.dart');

[Vyacheslav Egorov (Google), 2017/04/05 12:21:23]

this needs to be modified as well.

[Kevin Millikin (Google), 2017/04/25 18:20:29]

Done.

     }
     args.add("--snapshot-kind=app-aot");
     if (useBlobs) {
       args.add("--snapshot=$tempDir/out.aotsnapshot");
       args.add("--use-blobs");
     } else {
       args.add("--snapshot=$tempDir/out.S");
     }
     if (isAndroid && arch == 'arm') {
       args.add('--no-sim-use-hardfp');
@@ skipping 289 matching lines @@
       RuntimeConfiguration runtimeConfiguration,
       String buildDir,
       TestInformation info,
       List<String> vmOptions,
       List<String> sharedOptions,
       List<String> originalArguments,
       CommandArtifact artifact) {
     return <String>[];
   }
 }