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 import '../compiler.dart' show Compiler; | 5 import '../compiler.dart' show Compiler; |
6 import '../constants/values.dart'; | 6 import '../constants/values.dart'; |
7 import '../elements/elements.dart'; | 7 import '../elements/elements.dart'; |
8 import '../js_backend/js_backend.dart'; | 8 import '../js_backend/js_backend.dart'; |
9 import '../types/types.dart'; | 9 import '../types/types.dart'; |
10 import '../universe/selector.dart' show Selector; | 10 import '../universe/selector.dart' show Selector; |
11 import '../world.dart' show ClosedWorld; | 11 import '../world.dart' show ClosedWorld; |
12 import 'nodes.dart'; | 12 import 'nodes.dart'; |
13 | 13 |
14 /** | 14 /** |
15 * Replaces some instructions with specialized versions to make codegen easier. | 15 * Replaces some instructions with specialized versions to make codegen easier. |
16 * Caches codegen information on nodes. | 16 * Caches codegen information on nodes. |
17 */ | 17 */ |
18 class SsaInstructionSelection extends HBaseVisitor { | 18 class SsaInstructionSelection extends HBaseVisitor { |
19 final Compiler compiler; | 19 final Compiler compiler; |
| 20 final ClosedWorld closedWorld; |
20 HGraph graph; | 21 HGraph graph; |
21 | 22 |
22 SsaInstructionSelection(this.compiler); | 23 SsaInstructionSelection(this.compiler, this.closedWorld); |
23 | 24 |
24 JavaScriptBackend get backend => compiler.backend; | 25 JavaScriptBackend get backend => compiler.backend; |
25 | 26 |
26 ClosedWorld get closedWorld => compiler.closedWorld; | |
27 | |
28 void visitGraph(HGraph graph) { | 27 void visitGraph(HGraph graph) { |
29 this.graph = graph; | 28 this.graph = graph; |
30 visitDominatorTree(graph); | 29 visitDominatorTree(graph); |
31 } | 30 } |
32 | 31 |
33 visitBasicBlock(HBasicBlock block) { | 32 visitBasicBlock(HBasicBlock block) { |
34 HInstruction instruction = block.first; | 33 HInstruction instruction = block.first; |
35 while (instruction != null) { | 34 while (instruction != null) { |
36 HInstruction next = instruction.next; | 35 HInstruction next = instruction.next; |
37 HInstruction replacement = instruction.accept(this); | 36 HInstruction replacement = instruction.accept(this); |
(...skipping 61 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
99 | 98 |
100 HInstruction visitInvokeDynamic(HInvokeDynamic node) { | 99 HInstruction visitInvokeDynamic(HInvokeDynamic node) { |
101 if (node.isInterceptedCall) { | 100 if (node.isInterceptedCall) { |
102 tryReplaceInterceptorWithDummy(node, node.selector, node.mask); | 101 tryReplaceInterceptorWithDummy(node, node.selector, node.mask); |
103 } | 102 } |
104 return node; | 103 return node; |
105 } | 104 } |
106 | 105 |
107 HInstruction visitInvokeSuper(HInvokeSuper node) { | 106 HInstruction visitInvokeSuper(HInvokeSuper node) { |
108 if (node.isInterceptedCall) { | 107 if (node.isInterceptedCall) { |
109 TypeMask mask = node.getDartReceiver(compiler).instructionType; | 108 TypeMask mask = node.getDartReceiver(closedWorld).instructionType; |
110 tryReplaceInterceptorWithDummy(node, node.selector, mask); | 109 tryReplaceInterceptorWithDummy(node, node.selector, mask); |
111 } | 110 } |
112 return node; | 111 return node; |
113 } | 112 } |
114 | 113 |
115 void tryReplaceInterceptorWithDummy( | 114 void tryReplaceInterceptorWithDummy( |
116 HInvoke node, Selector selector, TypeMask mask) { | 115 HInvoke node, Selector selector, TypeMask mask) { |
117 // Calls of the form | 116 // Calls of the form |
118 // | 117 // |
119 // a.foo$1(a, x) | 118 // a.foo$1(a, x) |
(...skipping 678 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
798 } | 797 } |
799 | 798 |
800 // If [thenInput] is defined in the first predecessor, then it is only used | 799 // If [thenInput] is defined in the first predecessor, then it is only used |
801 // by [phi] and can be generated at use site. | 800 // by [phi] and can be generated at use site. |
802 if (identical(thenInput.block, end.predecessors[0])) { | 801 if (identical(thenInput.block, end.predecessors[0])) { |
803 assert(thenInput.usedBy.length == 1); | 802 assert(thenInput.usedBy.length == 1); |
804 markAsGenerateAtUseSite(thenInput); | 803 markAsGenerateAtUseSite(thenInput); |
805 } | 804 } |
806 } | 805 } |
807 } | 806 } |
OLD | NEW |