OLD | NEW |
1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2017, 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 library dart2js.js_model.locals; | 5 library dart2js.js_model.locals; |
6 | 6 |
7 import 'package:kernel/ast.dart' as ir; | 7 import 'package:kernel/ast.dart' as ir; |
8 | 8 |
9 import 'closure.dart' show JClosureClass; | |
10 import '../closure.dart'; | 9 import '../closure.dart'; |
11 import '../common.dart'; | 10 import '../common.dart'; |
12 import '../elements/entities.dart'; | 11 import '../elements/entities.dart'; |
13 import '../elements/jumps.dart'; | 12 import '../elements/jumps.dart'; |
14 import '../kernel/element_map.dart'; | 13 import '../kernel/element_map.dart'; |
15 | 14 |
16 class GlobalLocalsMap { | 15 class GlobalLocalsMap { |
17 Map<MemberEntity, KernelToLocalsMap> _localsMaps = | 16 Map<MemberEntity, KernelToLocalsMap> _localsMaps = |
18 <MemberEntity, KernelToLocalsMap>{}; | 17 <MemberEntity, KernelToLocalsMap>{}; |
19 | 18 |
| 19 /// Returns the [KernelToLocalsMap] for [member]. |
20 KernelToLocalsMap getLocalsMap(MemberEntity member) { | 20 KernelToLocalsMap getLocalsMap(MemberEntity member) { |
21 return _localsMaps.putIfAbsent( | 21 return _localsMaps.putIfAbsent( |
22 member, () => new KernelToLocalsMapImpl(member)); | 22 member, () => new KernelToLocalsMapImpl(member)); |
23 } | 23 } |
| 24 |
| 25 /// Associates [localsMap] with [member]. |
| 26 /// |
| 27 /// Use this for sharing maps between members that share IR nodes. |
| 28 void setLocalsMap(MemberEntity member, KernelToLocalsMap localsMap) { |
| 29 assert(!_localsMaps.containsKey(member), |
| 30 "Locals map already created for $member."); |
| 31 _localsMaps[member] = localsMap; |
| 32 } |
24 } | 33 } |
25 | 34 |
26 class KernelToLocalsMapImpl implements KernelToLocalsMap { | 35 class KernelToLocalsMapImpl implements KernelToLocalsMap { |
27 final List<MemberEntity> _members = <MemberEntity>[]; | 36 final List<MemberEntity> _members = <MemberEntity>[]; |
28 Map<ir.TreeNode, JLocal> _map = <ir.TreeNode, JLocal>{}; | 37 Map<ir.TreeNode, JLocal> _map = <ir.TreeNode, JLocal>{}; |
29 Map<ir.TreeNode, JJumpTarget> _jumpTargetMap; | 38 Map<ir.TreeNode, JJumpTarget> _jumpTargetMap; |
30 Set<ir.BreakStatement> _breaksAsContinue; | 39 Set<ir.BreakStatement> _breaksAsContinue; |
31 | 40 |
32 MemberEntity get currentMember => _members.last; | 41 MemberEntity get currentMember => _members.last; |
33 | 42 |
(...skipping 85 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
119 return _jumpTargetMap[node]; | 128 return _jumpTargetMap[node]; |
120 } | 129 } |
121 | 130 |
122 @override | 131 @override |
123 JumpTarget getJumpTargetForWhile(ir.WhileStatement node) { | 132 JumpTarget getJumpTargetForWhile(ir.WhileStatement node) { |
124 _ensureJumpMap(node); | 133 _ensureJumpMap(node); |
125 return _jumpTargetMap[node]; | 134 return _jumpTargetMap[node]; |
126 } | 135 } |
127 | 136 |
128 @override | 137 @override |
129 Local getLocalVariable(ir.VariableDeclaration node, | 138 Local getLocalVariable(ir.VariableDeclaration node) { |
130 {bool isClosureCallMethod = false}) { | |
131 if (isClosureCallMethod && !_map.containsKey(node)) { | |
132 // Node might correspond to a free variable in the closure class. | |
133 assert(currentMember.enclosingClass is JClosureClass); | |
134 return (currentMember.enclosingClass as JClosureClass) | |
135 .localsMap | |
136 .getLocalVariable(node); | |
137 } | |
138 return _map.putIfAbsent(node, () { | 139 return _map.putIfAbsent(node, () { |
139 return new JLocal( | 140 return new JLocal( |
140 node.name, currentMember, node.parent is ir.FunctionNode); | 141 node.name, currentMember, node.parent is ir.FunctionNode); |
141 }); | 142 }); |
142 } | 143 } |
143 | 144 |
144 @override | 145 @override |
145 // TODO(johnniwinther): Split this out into two methods -- one for | 146 // TODO(johnniwinther): Split this out into two methods -- one for |
146 // FunctionDeclaration and one for FunctionExpression, since basically the | 147 // FunctionDeclaration and one for FunctionExpression, since basically the |
147 // whole thing is different depending on the node type. The reason it's not | 148 // whole thing is different depending on the node type. The reason it's not |
(...skipping 216 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
364 sb.write(memberContext.enclosingClass.name); | 365 sb.write(memberContext.enclosingClass.name); |
365 sb.write('.'); | 366 sb.write('.'); |
366 } | 367 } |
367 sb.write(memberContext.name); | 368 sb.write(memberContext.name); |
368 sb.write('#'); | 369 sb.write('#'); |
369 sb.write(name); | 370 sb.write(name); |
370 sb.write(')'); | 371 sb.write(')'); |
371 return sb.toString(); | 372 return sb.toString(); |
372 } | 373 } |
373 } | 374 } |
OLD | NEW |