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

Unified Diff: sdk/lib/_internal/compiler/implementation/inferrer/type_graph_inferrer.dart

Issue 82953002: Inline the fixed array constructor manually in the SSA builder. Also track whether a fixed array ev… (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 7 years, 1 month 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 side-by-side diff with in-line comments
Download patch
Index: sdk/lib/_internal/compiler/implementation/inferrer/type_graph_inferrer.dart
===================================================================
--- sdk/lib/_internal/compiler/implementation/inferrer/type_graph_inferrer.dart (revision 30610)
+++ sdk/lib/_internal/compiler/implementation/inferrer/type_graph_inferrer.dart (working copy)
@@ -430,6 +430,10 @@
if (newAssignments == null) return;
info.elementType.inferred = true;
+ TypeMask fixedListType = compiler.typesTask.fixedListType;
+ if (info.originalContainerType.forwardTo == fixedListType) {
+ info.checksGrowable = tracer.callsGrowableMethod;
+ }
newAssignments.forEach(info.elementType.addAssignment);
workQueue.add(info);
workQueue.add(info.elementType);
@@ -875,6 +879,12 @@
return inferrer.types.allocatedContainers[node].type;
}
+ bool isFixedArrayCheckedForGrowable(Node node) {
+ if (compiler.disableTypeInference) return true;
+ ContainerTypeInformation info = inferrer.types.allocatedContainers[node];
+ return info.checksGrowable;
+ }
+
TypeMask getTypeOfSelector(Selector selector) {
if (compiler.disableTypeInference) return compiler.typesTask.dynamicType;
// Bailout for closure calls. We're not tracking types of

Powered by Google App Engine
This is Rietveld 408576698