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

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: pkg/compiler/lib/src/ssa/optimize.dart

Issue 1371193004: Add bool value types to type inference. (Closed) Base URL: git@github.com:dart-lang/sdk.git@master
Patch Set: Created 5 years, 3 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
« pkg/compiler/lib/src/inferrer/type_graph_nodes.dart ('K') | « pkg/compiler/lib/src/ssa/nodes.dart ('k') | pkg/compiler/lib/src/types/types.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: pkg/compiler/lib/src/ssa/optimize.dart
diff --git a/pkg/compiler/lib/src/ssa/optimize.dart b/pkg/compiler/lib/src/ssa/optimize.dart
index cb0318362417e0d38d9acea196e443eadf794362..25796f6a2c20da236f0455d97918a91d38e15cbc 100644
--- a/pkg/compiler/lib/src/ssa/optimize.dart
+++ b/pkg/compiler/lib/src/ssa/optimize.dart
@@ -1306,6 +1306,13 @@ class SsaLiveBlockAnalyzer extends HBaseVisitor {
} else {
markBlockLive(instruction.elseBlock);
}
+ } else if (condition.isValue()) {
+ ValueTypeMask valueType = condition.instructionType;
+ if (valueType.value == true) {
+ markBlockLive(instruction.thenBlock);
+ } else {
+ markBlockLive(instruction.elseBlock);
+ }
} else {
visitControlFlow(instruction);
}
« pkg/compiler/lib/src/inferrer/type_graph_nodes.dart ('K') | « pkg/compiler/lib/src/ssa/nodes.dart ('k') | pkg/compiler/lib/src/types/types.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698