| Index: runtime/vm/compiler.cc
|
| ===================================================================
|
| --- runtime/vm/compiler.cc (revision 41827)
|
| +++ runtime/vm/compiler.cc (working copy)
|
| @@ -537,6 +537,11 @@
|
| // TODO(fschneider): Support allocation sinking with try-catch.
|
| sinking = new AllocationSinking(flow_graph);
|
| sinking->Optimize();
|
| + DEBUG_ASSERT(flow_graph->VerifyUseLists());
|
| +
|
| + // Recompute types after load elimination to ensure correct
|
| + // types for created phi-instructions.
|
| + FlowGraphTypePropagator::Propagate(flow_graph);
|
| }
|
| DEBUG_ASSERT(flow_graph->VerifyUseLists());
|
|
|
|
|