| // Copyright (c) 2017, 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. |
| |
| import 'dart:io' hide Link; |
| import 'package:async_helper/async_helper.dart'; |
| import 'package:compiler/src/closure.dart'; |
| import 'package:compiler/src/common.dart'; |
| import 'package:compiler/src/compiler.dart'; |
| import 'package:compiler/src/deferred_load.dart'; |
| import 'package:compiler/src/elements/entities.dart'; |
| import 'package:compiler/src/ir/util.dart'; |
| import 'package:compiler/src/js_model/element_map.dart'; |
| import 'package:compiler/src/js_model/js_world.dart'; |
| import 'package:expect/expect.dart'; |
| import '../equivalence/id_equivalence.dart'; |
| import '../equivalence/id_equivalence_helper.dart'; |
| import 'package:compiler/src/constants/values.dart'; |
| |
| import 'package:kernel/ast.dart' as ir; |
| |
| /// Add in options to pass to the compiler like |
| /// `Flags.disableTypeInference` or `Flags.disableInlining` |
| const List<String> compilerOptions = const <String>[]; |
| |
| /// Compute the [OutputUnit]s for all source files involved in the test, and |
| /// ensure that the compiler is correctly calculating what is used and what is |
| /// not. We expect all test entry points to be in the `data` directory and any |
| /// or all supporting libraries to be in the `libs` folder, starting with the |
| /// same name as the original file in `data`. |
| main(List<String> args) { |
| asyncTest(() async { |
| Directory dataDir = new Directory.fromUri(Platform.script.resolve('data')); |
| await checkTests(dataDir, const OutputUnitDataComputer(), |
| libDirectory: new Directory.fromUri(Platform.script.resolve('libs')), |
| options: compilerOptions, |
| args: args, |
| testOmit: true, setUpFunction: () { |
| importPrefixes.clear(); |
| }); |
| }); |
| } |
| |
| // For ease of testing and making our tests easier to read, we impose an |
| // artificial constraint of requiring every deferred import use a different |
| // named prefix per test. We enforce this constraint here by checking that no |
| // prefix name responds to two different libraries. |
| Map<String, Uri> importPrefixes = <String, Uri>{}; |
| |
| /// Create a consistent string representation of [OutputUnit]s for both |
| /// KImportEntities and ImportElements. |
| String outputUnitString(OutputUnit unit) { |
| if (unit == null) return 'null'; |
| StringBuffer sb = new StringBuffer(); |
| bool first = true; |
| for (ImportEntity import in unit.importsForTesting) { |
| if (!first) sb.write(', '); |
| sb.write('${import.name}'); |
| first = false; |
| Expect.isTrue(import.isDeferred); |
| |
| if (importPrefixes.containsKey(import.name)) { |
| var existing = importPrefixes[import.name]; |
| var current = import.enclosingLibraryUri; |
| Expect.equals( |
| existing, |
| current, |
| '\n Duplicate prefix \'${import.name}\' used in both:\n' |
| ' - $existing and\n' |
| ' - $current.\n' |
| ' We require using unique prefixes on these tests to make ' |
| 'the expectations more readable.'); |
| } |
| importPrefixes[import.name] = import.enclosingLibraryUri; |
| } |
| return 'OutputUnit(${unit.name}, {$sb})'; |
| } |
| |
| class OutputUnitDataComputer extends DataComputer { |
| const OutputUnitDataComputer(); |
| |
| /// OutputData for [member] as a kernel based element. |
| /// |
| /// At this point the compiler has already been run, so it is holding the |
| /// relevant OutputUnits, we just need to extract that information from it. We |
| /// fill [actualMap] with the data computed about what the resulting OutputUnit |
| /// is. |
| @override |
| void computeMemberData( |
| Compiler compiler, MemberEntity member, Map<Id, ActualData> actualMap, |
| {bool verbose: false}) { |
| JsClosedWorld closedWorld = compiler.backendClosedWorldForTesting; |
| JsToElementMap elementMap = closedWorld.elementMap; |
| MemberDefinition definition = elementMap.getMemberDefinition(member); |
| new OutputUnitIrComputer(compiler.reporter, actualMap, elementMap, member, |
| closedWorld.outputUnitData, closedWorld.closureDataLookup) |
| .run(definition.node); |
| } |
| |
| @override |
| bool get computesClassData => true; |
| |
| @override |
| void computeClassData( |
| Compiler compiler, ClassEntity cls, Map<Id, ActualData> actualMap, |
| {bool verbose: false}) { |
| JsClosedWorld closedWorld = compiler.backendClosedWorldForTesting; |
| OutputUnitData data = closedWorld.outputUnitData; |
| String value = outputUnitString(data.outputUnitForClass(cls)); |
| |
| JsToElementMap elementMap = closedWorld.elementMap; |
| ClassDefinition definition = elementMap.getClassDefinition(cls); |
| |
| _registerValue( |
| new ClassId(cls.name), |
| value, |
| cls, |
| computeSourceSpanFromTreeNode(definition.node), |
| actualMap, |
| compiler.reporter); |
| } |
| } |
| |
| class OutputUnitIrComputer extends IrDataExtractor { |
| final JsToElementMap _elementMap; |
| final OutputUnitData _data; |
| final ClosureData _closureDataLookup; |
| |
| OutputUnitIrComputer( |
| DiagnosticReporter reporter, |
| Map<Id, ActualData> actualMap, |
| this._elementMap, |
| MemberEntity member, |
| this._data, |
| this._closureDataLookup) |
| : super(reporter, actualMap); |
| |
| String getMemberValue(MemberEntity member) { |
| return outputUnitString(_data.outputUnitForMember(member)); |
| } |
| |
| @override |
| String computeMemberValue(Id id, ir.Member node) { |
| if (node is ir.Field && node.isConst) { |
| ir.Expression initializer = node.initializer; |
| ConstantValue constant = _elementMap.getConstantValue(initializer); |
| if (!constant.isPrimitive) { |
| SourceSpan span = computeSourceSpanFromTreeNode(initializer); |
| if (initializer is ir.ConstructorInvocation) { |
| // Adjust the source-span to match the AST-based location. The kernel FE |
| // skips the "const" keyword for the expression offset and any prefix in |
| // front of the constructor. The "-6" is an approximation assuming that |
| // there is just a single space after "const" and no prefix. |
| // TODO(sigmund): offsets should be fixed in the FE instead. |
| span = new SourceSpan(span.uri, span.begin - 6, span.end - 6); |
| } |
| _registerValue( |
| new NodeId(span.begin, IdKind.node), |
| outputUnitString(_data.outputUnitForConstant(constant)), |
| node, |
| span, |
| actualMap, |
| reporter); |
| } |
| } |
| |
| return getMemberValue(_elementMap.getMember(node)); |
| } |
| |
| @override |
| String computeNodeValue(Id id, ir.TreeNode node) { |
| if (node is ir.FunctionExpression || node is ir.FunctionDeclaration) { |
| ClosureRepresentationInfo info = _closureDataLookup.getClosureInfo(node); |
| return getMemberValue(info.callMethod); |
| } |
| return null; |
| } |
| } |
| |
| /// Set [actualMap] to hold a key of [id] with the computed data [value] |
| /// corresponding to [object] at location [sourceSpan]. We also perform error |
| /// checking to ensure that the same [id] isn't added twice. |
| void _registerValue(Id id, String value, Object object, SourceSpan sourceSpan, |
| Map<Id, ActualData> actualMap, CompilerDiagnosticReporter reporter) { |
| if (actualMap.containsKey(id)) { |
| ActualData existingData = actualMap[id]; |
| reportHere(reporter, sourceSpan, |
| "Duplicate id ${id}, value=$value, object=$object"); |
| reportHere( |
| reporter, |
| sourceSpan, |
| "Duplicate id ${id}, value=${existingData.value}, " |
| "object=${existingData.object}"); |
| Expect.fail("Duplicate id $id."); |
| } |
| if (value != null) { |
| actualMap[id] = new ActualData(new IdValue(id, value), sourceSpan, object); |
| } |
| } |