| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 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. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 part of ssa; | 5 part of ssa; |
| 6 | 6 |
| 7 class SsaCodeGeneratorTask extends CompilerTask { | 7 class SsaCodeGeneratorTask extends CompilerTask { |
| 8 | 8 |
| 9 final JavaScriptBackend backend; | 9 final JavaScriptBackend backend; |
| 10 final SourceInformationFactory sourceInformationFactory; | 10 final SourceInformationFactory sourceInformationFactory; |
| (...skipping 1532 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1543 String methodName = backend.namer.instanceMethodName(node.element); | 1543 String methodName = backend.namer.instanceMethodName(node.element); |
| 1544 List<js.Expression> arguments = visitArguments(node.inputs); | 1544 List<js.Expression> arguments = visitArguments(node.inputs); |
| 1545 push(js.propertyCall(object, methodName, arguments), node); | 1545 push(js.propertyCall(object, methodName, arguments), node); |
| 1546 registry.registerStaticUse(node.element); | 1546 registry.registerStaticUse(node.element); |
| 1547 } | 1547 } |
| 1548 | 1548 |
| 1549 void visitOneShotInterceptor(HOneShotInterceptor node) { | 1549 void visitOneShotInterceptor(HOneShotInterceptor node) { |
| 1550 List<js.Expression> arguments = visitArguments(node.inputs); | 1550 List<js.Expression> arguments = visitArguments(node.inputs); |
| 1551 var isolate = new js.VariableUse( | 1551 var isolate = new js.VariableUse( |
| 1552 backend.namer.globalObjectFor(backend.interceptorsLibrary)); | 1552 backend.namer.globalObjectFor(backend.interceptorsLibrary)); |
| 1553 Selector selector = node.selector; | 1553 Selector selector = getOptimizedSelectorFor(node, node.selector); |
| 1554 TypeMask mask = getOptimizedSelectorFor(node, selector, node.mask); | |
| 1555 String methodName = backend.registerOneShotInterceptor(selector); | 1554 String methodName = backend.registerOneShotInterceptor(selector); |
| 1556 push(js.propertyCall(isolate, methodName, arguments), node); | 1555 push(js.propertyCall(isolate, methodName, arguments), node); |
| 1557 if (selector.isGetter) { | 1556 if (selector.isGetter) { |
| 1558 registerGetter(node); | 1557 registerGetter(node); |
| 1559 } else if (selector.isSetter) { | 1558 } else if (selector.isSetter) { |
| 1560 registerSetter(node); | 1559 registerSetter(node); |
| 1561 } else { | 1560 } else { |
| 1562 registerMethodInvoke(node); | 1561 registerMethodInvoke(node); |
| 1563 } | 1562 } |
| 1564 registry.registerUseInterceptor(); | 1563 registry.registerUseInterceptor(); |
| 1565 } | 1564 } |
| 1566 | 1565 |
| 1567 TypeMask getOptimizedSelectorFor(HInvokeDynamic node, | 1566 Selector getOptimizedSelectorFor(HInvokeDynamic node, Selector selector) { |
| 1568 Selector selector, | |
| 1569 TypeMask mask) { | |
| 1570 if (node.element != null) { | 1567 if (node.element != null) { |
| 1571 // Create an artificial type mask to make sure only | 1568 // Create an artificial type mask to make sure only |
| 1572 // [node.element] will be enqueued. We're not using the receiver | 1569 // [node.element] will be enqueued. We're not using the receiver |
| 1573 // type because our optimizations might end up in a state where the | 1570 // type because our optimizations might end up in a state where the |
| 1574 // invoke dynamic knows more than the receiver. | 1571 // invoke dynamic knows more than the receiver. |
| 1575 ClassElement enclosing = node.element.enclosingClass; | 1572 ClassElement enclosing = node.element.enclosingClass; |
| 1576 return | 1573 TypeMask receiverType = |
| 1577 new TypeMask.nonNullExact(enclosing.declaration, compiler.world); | 1574 new TypeMask.nonNullExact(enclosing.declaration, compiler.world); |
| 1575 return new TypedSelector(receiverType, selector, compiler.world); |
| 1578 } | 1576 } |
| 1579 // If [JSInvocationMirror._invokeOn] is enabled, and this call | 1577 // If [JSInvocationMirror._invokeOn] is enabled, and this call |
| 1580 // might hit a `noSuchMethod`, we register an untyped selector. | 1578 // might hit a `noSuchMethod`, we register an untyped selector. |
| 1581 return compiler.world.extendMaskIfReachesAll(selector, mask); | 1579 return selector.extendIfReachesAll(compiler); |
| 1582 } | 1580 } |
| 1583 | 1581 |
| 1584 void registerMethodInvoke(HInvokeDynamic node) { | 1582 void registerMethodInvoke(HInvokeDynamic node) { |
| 1585 Selector selector = node.selector; | 1583 Selector selector = getOptimizedSelectorFor(node, node.selector); |
| 1586 TypeMask mask = getOptimizedSelectorFor(node, selector, node.mask); | |
| 1587 | 1584 |
| 1588 // If we don't know what we're calling or if we are calling a getter, | 1585 // If we don't know what we're calling or if we are calling a getter, |
| 1589 // we need to register that fact that we may be calling a closure | 1586 // we need to register that fact that we may be calling a closure |
| 1590 // with the same arguments. | 1587 // with the same arguments. |
| 1591 Element target = node.element; | 1588 Element target = node.element; |
| 1592 if (target == null || target.isGetter) { | 1589 if (target == null || target.isGetter) { |
| 1593 // TODO(kasperl): If we have a typed selector for the call, we | 1590 // TODO(kasperl): If we have a typed selector for the call, we |
| 1594 // may know something about the types of closures that need | 1591 // may know something about the types of closures that need |
| 1595 // the specific closure call method. | 1592 // the specific closure call method. |
| 1596 Selector call = new Selector.callClosureFrom(selector); | 1593 Selector call = new Selector.callClosureFrom(selector); |
| 1597 registry.registerDynamicInvocation( | 1594 registry.registerDynamicInvocation(call); |
| 1598 new UniverseSelector(call, null)); | |
| 1599 } | 1595 } |
| 1600 registry.registerDynamicInvocation( | 1596 registry.registerDynamicInvocation(selector); |
| 1601 new UniverseSelector(selector, mask)); | |
| 1602 } | 1597 } |
| 1603 | 1598 |
| 1604 void registerSetter(HInvokeDynamic node) { | 1599 void registerSetter(HInvokeDynamic node) { |
| 1605 Selector selector = node.selector; | 1600 Selector selector = getOptimizedSelectorFor(node, node.selector); |
| 1606 TypeMask mask = getOptimizedSelectorFor(node, selector, node.mask); | 1601 registry.registerDynamicSetter(selector); |
| 1607 registry.registerDynamicSetter( | |
| 1608 new UniverseSelector(selector, mask)); | |
| 1609 } | 1602 } |
| 1610 | 1603 |
| 1611 void registerGetter(HInvokeDynamic node) { | 1604 void registerGetter(HInvokeDynamic node) { |
| 1612 Selector selector = node.selector; | 1605 Selector selector = getOptimizedSelectorFor(node, node.selector); |
| 1613 TypeMask mask = getOptimizedSelectorFor(node, selector, node.mask); | 1606 registry.registerDynamicGetter(selector); |
| 1614 registry.registerDynamicGetter( | |
| 1615 new UniverseSelector(selector, mask)); | |
| 1616 } | 1607 } |
| 1617 | 1608 |
| 1618 visitInvokeDynamicSetter(HInvokeDynamicSetter node) { | 1609 visitInvokeDynamicSetter(HInvokeDynamicSetter node) { |
| 1619 use(node.receiver); | 1610 use(node.receiver); |
| 1620 String name = backend.namer.invocationName(node.selector); | 1611 String name = backend.namer.invocationName(node.selector); |
| 1621 push(js.propertyCall(pop(), name, visitArguments(node.inputs)), node); | 1612 push(js.propertyCall(pop(), name, visitArguments(node.inputs)), node); |
| 1622 registerSetter(node); | 1613 registerSetter(node); |
| 1623 } | 1614 } |
| 1624 | 1615 |
| 1625 visitInvokeDynamicGetter(HInvokeDynamicGetter node) { | 1616 visitInvokeDynamicGetter(HInvokeDynamicGetter node) { |
| 1626 use(node.receiver); | 1617 use(node.receiver); |
| 1627 String name = backend.namer.invocationName(node.selector); | 1618 String name = backend.namer.invocationName(node.selector); |
| 1628 push(js.propertyCall(pop(), name, visitArguments(node.inputs)), node); | 1619 push(js.propertyCall(pop(), name, visitArguments(node.inputs)), node); |
| 1629 registerGetter(node); | 1620 registerGetter(node); |
| 1630 } | 1621 } |
| 1631 | 1622 |
| 1632 visitInvokeClosure(HInvokeClosure node) { | 1623 visitInvokeClosure(HInvokeClosure node) { |
| 1633 Selector call = new Selector.callClosureFrom(node.selector); | 1624 Selector call = new Selector.callClosureFrom(node.selector); |
| 1634 use(node.receiver); | 1625 use(node.receiver); |
| 1635 push(js.propertyCall(pop(), | 1626 push(js.propertyCall(pop(), |
| 1636 backend.namer.invocationName(call), | 1627 backend.namer.invocationName(call), |
| 1637 visitArguments(node.inputs)), | 1628 visitArguments(node.inputs)), |
| 1638 node); | 1629 node); |
| 1639 registry.registerDynamicInvocation( | 1630 registry.registerDynamicInvocation(call); |
| 1640 new UniverseSelector(call, null)); | |
| 1641 } | 1631 } |
| 1642 | 1632 |
| 1643 visitInvokeStatic(HInvokeStatic node) { | 1633 visitInvokeStatic(HInvokeStatic node) { |
| 1644 Element element = node.element; | 1634 Element element = node.element; |
| 1645 List<DartType> instantiatedTypes = node.instantiatedTypes; | 1635 List<DartType> instantiatedTypes = node.instantiatedTypes; |
| 1646 | 1636 |
| 1647 if (instantiatedTypes != null && !instantiatedTypes.isEmpty) { | 1637 if (instantiatedTypes != null && !instantiatedTypes.isEmpty) { |
| 1648 instantiatedTypes.forEach((type) { | 1638 instantiatedTypes.forEach((type) { |
| 1649 registry.registerInstantiatedType(type); | 1639 registry.registerInstantiatedType(type); |
| 1650 }); | 1640 }); |
| (...skipping 50 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1701 Selector selector = node.selector; | 1691 Selector selector = node.selector; |
| 1702 | 1692 |
| 1703 if (!backend.maybeRegisterAliasedSuperMember(superMethod, selector)) { | 1693 if (!backend.maybeRegisterAliasedSuperMember(superMethod, selector)) { |
| 1704 String methodName; | 1694 String methodName; |
| 1705 if (selector.isGetter) { | 1695 if (selector.isGetter) { |
| 1706 // If the selector we need to register a typed getter to the | 1696 // If the selector we need to register a typed getter to the |
| 1707 // [world]. The emitter needs to know if it needs to emit a | 1697 // [world]. The emitter needs to know if it needs to emit a |
| 1708 // bound closure for a method. | 1698 // bound closure for a method. |
| 1709 TypeMask receiverType = | 1699 TypeMask receiverType = |
| 1710 new TypeMask.nonNullExact(superClass, compiler.world); | 1700 new TypeMask.nonNullExact(superClass, compiler.world); |
| 1701 selector = new TypedSelector(receiverType, selector, compiler.world); |
| 1711 // TODO(floitsch): we know the target. We shouldn't register a | 1702 // TODO(floitsch): we know the target. We shouldn't register a |
| 1712 // dynamic getter. | 1703 // dynamic getter. |
| 1713 registry.registerDynamicGetter( | 1704 registry.registerDynamicGetter(selector); |
| 1714 new UniverseSelector(selector, receiverType)); | |
| 1715 registry.registerGetterForSuperMethod(node.element); | 1705 registry.registerGetterForSuperMethod(node.element); |
| 1716 methodName = backend.namer.invocationName(selector); | 1706 methodName = backend.namer.invocationName(selector); |
| 1717 } else { | 1707 } else { |
| 1718 assert(invariant(node, compiler.hasIncrementalSupport)); | 1708 assert(invariant(node, compiler.hasIncrementalSupport)); |
| 1719 methodName = backend.namer.instanceMethodName(superMethod); | 1709 methodName = backend.namer.instanceMethodName(superMethod); |
| 1720 } | 1710 } |
| 1721 push(js.js('#.#.call(#)', | 1711 push(js.js('#.#.call(#)', |
| 1722 [backend.emitter.prototypeAccess(superClass, | 1712 [backend.emitter.prototypeAccess(superClass, |
| 1723 hasBeenInstantiated: true), | 1713 hasBeenInstantiated: true), |
| 1724 methodName, visitArguments(node.inputs, start: 0)]), | 1714 methodName, visitArguments(node.inputs, start: 0)]), |
| (...skipping 1010 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2735 js.PropertyAccess accessHelper(String name) { | 2725 js.PropertyAccess accessHelper(String name) { |
| 2736 Element helper = backend.findHelper(name); | 2726 Element helper = backend.findHelper(name); |
| 2737 if (helper == null) { | 2727 if (helper == null) { |
| 2738 // For mocked-up tests. | 2728 // For mocked-up tests. |
| 2739 return js.js('(void 0).$name'); | 2729 return js.js('(void 0).$name'); |
| 2740 } | 2730 } |
| 2741 registry.registerStaticUse(helper); | 2731 registry.registerStaticUse(helper); |
| 2742 return backend.emitter.staticFunctionAccess(helper); | 2732 return backend.emitter.staticFunctionAccess(helper); |
| 2743 } | 2733 } |
| 2744 } | 2734 } |
| OLD | NEW |