Fixup redefinitions before doing code motion

runtime/vm/compiler.cc

Index: runtime/vm/compiler.cc
diff --git a/runtime/vm/compiler.cc b/runtime/vm/compiler.cc
index fae6a677ded1d9d3f0458006dd78f5b924861b16..2a109dbe322a2cc461fc2ad07afbf13813ed1163 100644
--- a/runtime/vm/compiler.cc
+++ b/runtime/vm/compiler.cc
@@ -942,6 +942,8 @@ bool CompileParsedFunctionHelper::Compile(CompilationPipeline* pipeline) {
           // it depends on the numbering of loads from the previous
           // load-elimination.
           if (FLAG_loop_invariant_code_motion) {
+            flow_graph->RenameUsesDominatedByRedefinitions();
+            DEBUG_ASSERT(flow_graph->VerifyRedefinitions());
             LICM licm(flow_graph);
             licm.Optimize();
             DEBUG_ASSERT(flow_graph->VerifyUseLists());