Chromium Code Reviews| OLD | NEW |
|---|---|
| (Empty) | |
| 1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file | |
| 2 // for details. All rights reserved. Use of this source code is governed by a | |
| 3 // BSD-style license that can be found in the LICENSE file. | |
| 4 | |
| 5 // Partial test that the closed world computed from [WorldImpact]s derived from | |
| 6 // kernel is equivalent to the original computed from resolution. | |
| 7 // TODO(johnniwinther): Rename this file to `closed_wordl_from_dill_test.dart` | |
|
Siggi Cherem (dart-lang)
2017/05/15 17:05:50
I rather keep this as a test name so you can run i
Johnni Winther
2017/05/16 08:29:54
Done.
| |
| 8 // when `patched_dart2js_sdk` is available on the build bot. | |
| 9 library dart2js.kernel.closed_world_from_dill_test; | |
| 10 | |
| 11 import 'dart:async'; | |
| 12 import 'dart:io'; | |
| 13 | |
| 14 import 'package:async_helper/async_helper.dart'; | |
| 15 import 'package:compiler/src/commandline_options.dart'; | |
| 16 import 'package:compiler/src/common.dart'; | |
| 17 import 'package:compiler/src/compiler.dart'; | |
| 18 import 'package:compiler/src/elements/resolution_types.dart'; | |
| 19 import 'package:compiler/src/elements/types.dart'; | |
| 20 import 'package:compiler/src/enqueue.dart'; | |
| 21 import 'package:compiler/src/kernel/element_map.dart'; | |
| 22 import 'package:compiler/src/kernel/kernel_strategy.dart'; | |
| 23 import 'package:compiler/src/resolution/enum_creator.dart'; | |
| 24 import 'package:compiler/src/universe/world_builder.dart'; | |
| 25 import 'package:compiler/src/world.dart'; | |
| 26 import 'package:expect/expect.dart'; | |
| 27 import '../memory_compiler.dart'; | |
| 28 import '../equivalence/check_functions.dart'; | |
| 29 import '../serialization/helper.dart'; | |
| 30 import 'test_helpers.dart'; | |
| 31 | |
| 32 import 'compiler_helper.dart'; | |
| 33 | |
| 34 const SOURCE = const { | |
| 35 'main.dart': ''' | |
| 36 main() { | |
| 37 print('Hello World'); | |
| 38 } | |
| 39 ''' | |
| 40 }; | |
| 41 | |
| 42 main(List<String> args) { | |
| 43 asyncTest(() async { | |
| 44 await mainInternal(args); | |
| 45 }); | |
| 46 } | |
| 47 | |
| 48 enum ResultKind { crashes, errors, warnings, success, failure } | |
| 49 | |
| 50 Future<ResultKind> mainInternal(List<String> args, | |
| 51 {bool skipWarnings: false, bool skipErrors: false}) async { | |
| 52 Arguments arguments = new Arguments.from(args); | |
| 53 Uri entryPoint; | |
| 54 Map<String, String> memorySourceFiles; | |
| 55 if (arguments.uri != null) { | |
| 56 entryPoint = arguments.uri; | |
| 57 memorySourceFiles = const <String, String>{}; | |
| 58 } else { | |
| 59 entryPoint = Uri.parse('memory:main.dart'); | |
| 60 memorySourceFiles = SOURCE; | |
| 61 } | |
| 62 | |
| 63 enableDebugMode(); | |
| 64 EnumCreator.USE_CONSTANT_MAP_IN_TO_STRING = true; | |
| 65 | |
| 66 Directory dir = await Directory.systemTemp.createTemp('dart2js-with-dill'); | |
| 67 print('--- create temp directory $dir -------------------------------'); | |
| 68 memorySourceFiles.forEach((String name, String source) { | |
| 69 new File.fromUri(dir.uri.resolve(name)).writeAsStringSync(source); | |
| 70 }); | |
| 71 entryPoint = dir.uri.resolve(entryPoint.path); | |
| 72 | |
| 73 print('---- analyze-only ------------------------------------------------'); | |
| 74 DiagnosticCollector collector = new DiagnosticCollector(); | |
| 75 Compiler compiler1 = compilerFor( | |
| 76 entryPoint: entryPoint, | |
| 77 diagnosticHandler: collector, | |
| 78 options: [Flags.analyzeOnly, Flags.enableAssertMessage]); | |
| 79 ElementResolutionWorldBuilder.useInstantiationMap = true; | |
| 80 compiler1.resolution.retainCachesForTesting = true; | |
| 81 await compiler1.run(entryPoint); | |
| 82 if (collector.crashes.isNotEmpty) { | |
| 83 print('Skipping due to crashes.'); | |
| 84 return ResultKind.crashes; | |
| 85 } | |
| 86 if (collector.errors.isNotEmpty && skipErrors) { | |
| 87 print('Skipping due to errors.'); | |
| 88 return ResultKind.errors; | |
| 89 } | |
| 90 if (collector.warnings.isNotEmpty && skipWarnings) { | |
| 91 print('Skipping due to warnings.'); | |
| 92 return ResultKind.warnings; | |
| 93 } | |
| 94 Expect.isFalse(compiler1.compilationFailed); | |
| 95 ResolutionEnqueuer enqueuer1 = compiler1.enqueuer.resolution; | |
| 96 ClosedWorld closedWorld1 = compiler1.resolutionWorldBuilder.closeWorld(); | |
| 97 | |
| 98 Compiler compiler2 = | |
| 99 await compileWithDill(entryPoint, const {}, printSteps: true); | |
| 100 | |
| 101 KernelFrontEndStrategy frontEndStrategy = compiler2.frontEndStrategy; | |
| 102 KernelToElementMap elementMap = frontEndStrategy.elementMap; | |
| 103 | |
| 104 Expect.isFalse(compiler2.compilationFailed); | |
| 105 | |
| 106 KernelEquivalence equivalence = new KernelEquivalence(elementMap); | |
| 107 | |
| 108 ResolutionEnqueuer enqueuer2 = compiler2.enqueuer.resolution; | |
| 109 ClosedWorld closedWorld2 = compiler2.resolutionWorldBuilder.closeWorld(); | |
| 110 | |
| 111 checkBackendUsage(closedWorld1.backendUsage, closedWorld2.backendUsage, | |
| 112 equivalence.defaultStrategy); | |
| 113 | |
| 114 checkResolutionEnqueuers(closedWorld1.backendUsage, closedWorld2.backendUsage, | |
| 115 enqueuer1, enqueuer2, elementEquivalence: equivalence.entityEquivalence, | |
| 116 typeEquivalence: (ResolutionDartType a, DartType b) { | |
| 117 return equivalence.typeEquivalence(unalias(a), b); | |
| 118 }, elementFilter: elementFilter, verbose: arguments.verbose); | |
| 119 | |
| 120 checkClosedWorlds(closedWorld1, closedWorld2, | |
| 121 strategy: equivalence.defaultStrategy, verbose: arguments.verbose); | |
| 122 | |
| 123 return ResultKind.success; | |
| 124 } | |
| OLD | NEW |