| // 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, setUpFunction: () { |
| importPrefixes.clear(); |
| }, testedConfigs: allStrongConfigs); |
| }); |
| } |
| |
| // 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<String> { |
| 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<String>> actualMap, |
| {bool verbose: false}) { |
| JsClosedWorld closedWorld = compiler.backendClosedWorldForTesting; |
| JsToElementMap elementMap = closedWorld.elementMap; |
| MemberDefinition definition = elementMap.getMemberDefinition(member); |
| new OutputUnitIrComputer(compiler.reporter, actualMap, elementMap, |
| closedWorld.outputUnitData, closedWorld.closureDataLookup) |
| .run(definition.node); |
| } |
| |
| @override |
| void computeClassData( |
| Compiler compiler, ClassEntity cls, Map<Id, ActualData<String>> actualMap, |
| {bool verbose: false}) { |
| JsClosedWorld closedWorld = compiler.backendClosedWorldForTesting; |
| JsToElementMap elementMap = closedWorld.elementMap; |
| ClassDefinition definition = elementMap.getClassDefinition(cls); |
| new OutputUnitIrComputer(compiler.reporter, actualMap, elementMap, |
| closedWorld.outputUnitData, closedWorld.closureDataLookup) |
| .computeForClass(definition.node); |
| } |
| |
| @override |
| DataInterpreter<String> get dataValidator => const StringDataInterpreter(); |
| } |
| |
| class OutputUnitIrComputer extends IrDataExtractor<String> { |
| final JsToElementMap _elementMap; |
| final OutputUnitData _data; |
| final ClosureData _closureDataLookup; |
| |
| Set<String> _constants = {}; |
| |
| OutputUnitIrComputer( |
| DiagnosticReporter reporter, |
| Map<Id, ActualData<String>> actualMap, |
| this._elementMap, |
| this._data, |
| this._closureDataLookup) |
| : super(reporter, actualMap); |
| |
| String getMemberValue(MemberEntity member, Set<String> constants) { |
| StringBuffer sb = new StringBuffer(); |
| sb.write(outputUnitString(_data.outputUnitForMemberForTesting(member))); |
| if (constants.isNotEmpty) { |
| List<String> text = constants.toList()..sort(); |
| sb.write(',constants=[${text.join(',')}]'); |
| } |
| return sb.toString(); |
| } |
| |
| @override |
| String computeClassValue(Id id, ir.Class node) { |
| return outputUnitString( |
| _data.outputUnitForClassForTesting(_elementMap.getClass(node))); |
| } |
| |
| @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.outputUnitForConstantForTesting(constant)), |
| node, |
| span, |
| actualMap, |
| reporter); |
| } |
| } |
| |
| String value = getMemberValue(_elementMap.getMember(node), _constants); |
| _constants = {}; |
| return value; |
| } |
| |
| @override |
| visitConstantExpression(ir.ConstantExpression node) { |
| ConstantValue constant = _elementMap.getConstantValue(node); |
| if (!constant.isPrimitive) { |
| _constants.add('${constant.toStructuredText()}=' |
| '${outputUnitString(_data.outputUnitForConstant(constant))}'); |
| } |
| return super.visitConstantExpression(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, const {}); |
| } |
| 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<T>(Id id, T value, Object object, SourceSpan sourceSpan, |
| Map<Id, ActualData<T>> actualMap, CompilerDiagnosticReporter reporter) { |
| if (actualMap.containsKey(id)) { |
| ActualData<T> 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<T>(id, value, sourceSpan.uri, sourceSpan.begin, object); |
| } |
| } |