OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 // IrNodes are kept in a separate library to have precise control over their | 5 // IrNodes are kept in a separate library to have precise control over their |
6 // dependencies on other parts of the system. | 6 // dependencies on other parts of the system. |
7 library dart2js.ir_nodes; | 7 library dart2js.ir_nodes; |
8 | 8 |
9 import '../constants/expressions.dart'; | 9 import '../constants/expressions.dart'; |
10 import '../constants/values.dart' as values show ConstantValue; | 10 import '../constants/values.dart' as values show ConstantValue; |
| 11 import '../cps_ir/optimizers.dart'; |
| 12 import '../dart_types.dart' show DartType, GenericType; |
11 import '../dart2jslib.dart' as dart2js show invariant; | 13 import '../dart2jslib.dart' as dart2js show invariant; |
12 import '../elements/elements.dart'; | 14 import '../elements/elements.dart'; |
| 15 import '../io/source_information.dart' show SourceInformation; |
13 import '../universe/universe.dart' show Selector, SelectorKind; | 16 import '../universe/universe.dart' show Selector, SelectorKind; |
14 import '../dart_types.dart' show DartType, GenericType; | |
15 import '../cps_ir/optimizers.dart'; | |
16 | 17 |
17 abstract class Node { | 18 abstract class Node { |
18 /// A pointer to the parent node. Is null until set by optimization passes. | 19 /// A pointer to the parent node. Is null until set by optimization passes. |
19 Node parent; | 20 Node parent; |
20 | 21 |
21 accept(Visitor visitor); | 22 accept(Visitor visitor); |
22 } | 23 } |
23 | 24 |
24 abstract class Expression extends Node { | 25 abstract class Expression extends Node { |
25 Expression plug(Expression expr) => throw 'impossible'; | 26 Expression plug(Expression expr) => throw 'impossible'; |
(...skipping 176 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
202 | 203 |
203 /** | 204 /** |
204 * The selector encodes how the function is invoked: number of positional | 205 * The selector encodes how the function is invoked: number of positional |
205 * arguments, names used in named arguments. This information is required | 206 * arguments, names used in named arguments. This information is required |
206 * to build the [StaticCallSiteTypeInformation] for the inference graph. | 207 * to build the [StaticCallSiteTypeInformation] for the inference graph. |
207 */ | 208 */ |
208 final Selector selector; | 209 final Selector selector; |
209 | 210 |
210 final Reference<Continuation> continuation; | 211 final Reference<Continuation> continuation; |
211 final List<Reference<Primitive>> arguments; | 212 final List<Reference<Primitive>> arguments; |
| 213 final SourceInformation sourceInformation; |
212 | 214 |
213 InvokeStatic(this.target, this.selector, Continuation cont, | 215 InvokeStatic(this.target, |
214 List<Primitive> args) | 216 this.selector, |
| 217 Continuation cont, |
| 218 List<Primitive> args, |
| 219 this.sourceInformation) |
215 : continuation = new Reference<Continuation>(cont), | 220 : continuation = new Reference<Continuation>(cont), |
216 arguments = _referenceList(args) { | 221 arguments = _referenceList(args) { |
217 assert(target is ErroneousElement || selector.name == target.name); | 222 assert(target is ErroneousElement || selector.name == target.name); |
218 } | 223 } |
219 | 224 |
220 accept(Visitor visitor) => visitor.visitInvokeStatic(this); | 225 accept(Visitor visitor) => visitor.visitInvokeStatic(this); |
221 } | 226 } |
222 | 227 |
223 /// A [CallingConvention] codifies how arguments are matched to parameters when | 228 /// A [CallingConvention] codifies how arguments are matched to parameters when |
224 /// emitting code for a function call. | 229 /// emitting code for a function call. |
(...skipping 1170 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1395 | 1400 |
1396 void visitIdentical(Identical node) { | 1401 void visitIdentical(Identical node) { |
1397 visitReference(node.left); | 1402 visitReference(node.left); |
1398 visitReference(node.right); | 1403 visitReference(node.right); |
1399 } | 1404 } |
1400 | 1405 |
1401 void visitInterceptor(Interceptor node) { | 1406 void visitInterceptor(Interceptor node) { |
1402 visitReference(node.input); | 1407 visitReference(node.input); |
1403 } | 1408 } |
1404 } | 1409 } |
OLD | NEW |