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

Unified Diff: sdk/lib/_internal/compiler/implementation/ssa/optimize.dart

Issue 12327010: Infer types of final fields. (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 7 years, 10 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 side-by-side diff with in-line comments
Download patch
Index: sdk/lib/_internal/compiler/implementation/ssa/optimize.dart
===================================================================
--- sdk/lib/_internal/compiler/implementation/ssa/optimize.dart (revision 18819)
+++ sdk/lib/_internal/compiler/implementation/ssa/optimize.dart (working copy)
@@ -620,10 +620,15 @@
result.instructionType =
new HType.subtype(field.computeType(compiler), compiler);
} else {
- HType type = backend.optimisticFieldType(field);
+ HType type = new HType.inferredForElement(field, compiler);
+ if (type.isUnknown()) {
+ type = backend.optimisticFieldType(field);
+ if (type != null) {
+ backend.registerFieldTypesOptimization(
+ work.element, field, result.instructionType);
+ }
+ }
if (type != null) {
- backend.registerFieldTypesOptimization(
- work.element, field, result.instructionType);
result.instructionType = type;
}
}
« no previous file with comments | « sdk/lib/_internal/compiler/implementation/ssa/builder.dart ('k') | sdk/lib/_internal/compiler/implementation/ssa/types.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698