Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(372)

Side by Side Diff: pkg/compiler/lib/src/ssa/locals_handler.dart

Issue 2915523003: Create new interface instead of ClosureClassMap for variable usage information that is not Element-…
Patch Set: merge with master Created 3 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « pkg/compiler/lib/src/ssa/kernel_ast_adapter.dart ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2016, 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 '../closure.dart'; 5 import '../closure.dart';
6 import '../common.dart'; 6 import '../common.dart';
7 import '../elements/elements.dart'; 7 import '../elements/elements.dart';
8 import '../elements/entities.dart'; 8 import '../elements/entities.dart';
9 import '../elements/types.dart'; 9 import '../elements/types.dart';
10 import '../io/source_information.dart'; 10 import '../io/source_information.dart';
(...skipping 14 matching lines...) Expand all
25 /// The values of locals that can be directly accessed (without redirections 25 /// The values of locals that can be directly accessed (without redirections
26 /// to boxes or closure-fields). 26 /// to boxes or closure-fields).
27 /// 27 ///
28 /// [directLocals] is iterated, so it is "insertion ordered" to make the 28 /// [directLocals] is iterated, so it is "insertion ordered" to make the
29 /// iteration order a function only of insertions and not a function of 29 /// iteration order a function only of insertions and not a function of
30 /// e.g. Element hash codes. I'd prefer to use a SortedMap but some elements 30 /// e.g. Element hash codes. I'd prefer to use a SortedMap but some elements
31 /// don't have source locations for [Elements.compareByPosition]. 31 /// don't have source locations for [Elements.compareByPosition].
32 Map<Local, HInstruction> directLocals = new Map<Local, HInstruction>(); 32 Map<Local, HInstruction> directLocals = new Map<Local, HInstruction>();
33 Map<Local, FieldEntity> redirectionMapping = new Map<Local, FieldEntity>(); 33 Map<Local, FieldEntity> redirectionMapping = new Map<Local, FieldEntity>();
34 final GraphBuilder builder; 34 final GraphBuilder builder;
35 ClosureClassMap closureData; 35 ClosureRepresentationInfo closureData;
36 Map<TypeVariableType, TypeVariableLocal> typeVariableLocals = 36 Map<TypeVariableType, TypeVariableLocal> typeVariableLocals =
37 new Map<TypeVariableType, TypeVariableLocal>(); 37 new Map<TypeVariableType, TypeVariableLocal>();
38 final Entity executableContext; 38 final Entity executableContext;
39 final MemberEntity memberContext; 39 final MemberEntity memberContext;
40 40
41 /// The class that defines the current type environment or null if no type 41 /// The class that defines the current type environment or null if no type
42 /// variables are in scope. 42 /// variables are in scope.
43 final ClassEntity contextClass; 43 final ClassEntity contextClass;
44 44
45 /// The type of the current instance, if concrete. 45 /// The type of the current instance, if concrete.
(...skipping 143 matching lines...) Expand 10 before | Expand all | Expand 10 after
189 HInstruction oldValue = readLocal(boxedVariable); 189 HInstruction oldValue = readLocal(boxedVariable);
190 updateLocal(boxElement, newBox); 190 updateLocal(boxElement, newBox);
191 updateLocal(boxedVariable, oldValue); 191 updateLocal(boxedVariable, oldValue);
192 } 192 }
193 updateLocal(boxElement, newBox); 193 updateLocal(boxElement, newBox);
194 } 194 }
195 195
196 /// Documentation wanted -- johnniwinther 196 /// Documentation wanted -- johnniwinther
197 /// 197 ///
198 /// Invariant: [function] must be an implementation element. 198 /// Invariant: [function] must be an implementation element.
199 void startFunction(MemberEntity element, ClosureClassMap closureData, 199 void startFunction(
200 ClosureScope scopeData, Map<Local, TypeMask> parameters, 200 MemberEntity element,
201 ClosureRepresentationInfo closureData,
202 ClosureAnalysisInfo scopeData,
203 Map<Local, TypeMask> parameters,
201 {bool isGenerativeConstructorBody}) { 204 {bool isGenerativeConstructorBody}) {
202 assert(!(element is MemberElement && !element.isImplementation), 205 assert(!(element is MemberElement && !element.isImplementation),
203 failedAt(element)); 206 failedAt(element));
207
204 this.closureData = closureData; 208 this.closureData = closureData;
205 209
206 parameters.forEach((Local local, TypeMask typeMask) { 210 parameters.forEach((Local local, TypeMask typeMask) {
207 if (isGenerativeConstructorBody) { 211 if (isGenerativeConstructorBody) {
208 if (scopeData != null && scopeData.isCaptured(local)) { 212 if (scopeData != null && scopeData.isCaptured(local)) {
209 // The parameter will be a field in the box passed as the 213 // The parameter will be a field in the box passed as the
210 // last parameter. So no need to have it. 214 // last parameter. So no need to have it.
211 return; 215 return;
212 } 216 }
213 } 217 }
(...skipping 74 matching lines...) Expand 10 before | Expand all | Expand 10 after
288 builder.lastAddedParameter = value; 292 builder.lastAddedParameter = value;
289 } 293 }
290 } 294 }
291 } 295 }
292 296
293 /// Returns true if the local can be accessed directly. Boxed variables or 297 /// Returns true if the local can be accessed directly. Boxed variables or
294 /// captured variables that are stored in the closure-field return [:false:]. 298 /// captured variables that are stored in the closure-field return [:false:].
295 bool isAccessedDirectly(Local local) { 299 bool isAccessedDirectly(Local local) {
296 assert(local != null); 300 assert(local != null);
297 return !redirectionMapping.containsKey(local) && 301 return !redirectionMapping.containsKey(local) &&
298 !closureData.variablesUsedInTryOrGenerator.contains(local); 302 !closureData.isVariableUsedInTryOrSync(local);
299 } 303 }
300 304
301 bool isStoredInClosureField(Local local) { 305 bool isStoredInClosureField(Local local) {
302 assert(local != null); 306 assert(local != null);
303 if (isAccessedDirectly(local)) return false; 307 if (isAccessedDirectly(local)) return false;
304 FieldEntity redirectTarget = redirectionMapping[local]; 308 FieldEntity redirectTarget = redirectionMapping[local];
305 if (redirectTarget == null) return false; 309 if (redirectTarget == null) return false;
306 return redirectTarget is ClosureFieldElement; 310 return redirectTarget is ClosureFieldElement;
307 } 311 }
308 312
309 bool isBoxed(Local local) { 313 bool isBoxed(Local local) {
310 if (isAccessedDirectly(local)) return false; 314 if (isAccessedDirectly(local)) return false;
311 if (isStoredInClosureField(local)) return false; 315 if (isStoredInClosureField(local)) return false;
312 return redirectionMapping.containsKey(local); 316 return redirectionMapping.containsKey(local);
313 } 317 }
314 318
315 bool isUsedInTryOrGenerator(Local local) { 319 bool isUsedInTryOrGenerator(Local local) {
316 return closureData.variablesUsedInTryOrGenerator.contains(local); 320 return closureData.isVariableUsedInTryOrSync(local);
317 } 321 }
318 322
319 /// Returns an [HInstruction] for the given element. If the element is 323 /// Returns an [HInstruction] for the given element. If the element is
320 /// boxed or stored in a closure then the method generates code to retrieve 324 /// boxed or stored in a closure then the method generates code to retrieve
321 /// the value. 325 /// the value.
322 HInstruction readLocal(Local local, {SourceInformation sourceInformation}) { 326 HInstruction readLocal(Local local, {SourceInformation sourceInformation}) {
323 if (isAccessedDirectly(local)) { 327 if (isAccessedDirectly(local)) {
324 if (directLocals[local] == null) { 328 if (directLocals[local] == null) {
325 if (local is TypeVariableLocal) { 329 if (local is TypeVariableLocal) {
326 throw new SpannableAssertionFailure( 330 throw new SpannableAssertionFailure(
(...skipping 349 matching lines...) Expand 10 before | Expand all | Expand 10 after
676 final MemberEntity memberContext; 680 final MemberEntity memberContext;
677 681
678 // Avoid slow Object.hashCode. 682 // Avoid slow Object.hashCode.
679 final int hashCode = _nextHashCode = (_nextHashCode + 1).toUnsigned(30); 683 final int hashCode = _nextHashCode = (_nextHashCode + 1).toUnsigned(30);
680 static int _nextHashCode = 0; 684 static int _nextHashCode = 0;
681 685
682 SyntheticLocal(this.name, this.executableContext, this.memberContext); 686 SyntheticLocal(this.name, this.executableContext, this.memberContext);
683 687
684 toString() => 'SyntheticLocal($name)'; 688 toString() => 'SyntheticLocal($name)';
685 } 689 }
OLDNEW
« no previous file with comments | « pkg/compiler/lib/src/ssa/kernel_ast_adapter.dart ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698