Fixup redefinitions before doing code motion

runtime/vm/precompiler.cc

Index: runtime/vm/precompiler.cc
diff --git a/runtime/vm/precompiler.cc b/runtime/vm/precompiler.cc
index f3b5822ec4a73c024e8f59ff59839252eff2df0a..1226d9bb3d608e1887e92ca407b6744c5e51d1e8 100644
--- a/runtime/vm/precompiler.cc
+++ b/runtime/vm/precompiler.cc
@@ -3161,6 +3161,8 @@ bool PrecompileParsedFunctionHelper::Compile(CompilationPipeline* pipeline) {
         // Optimistically convert loop phis that have a single non-smi input
         // coming from the loop pre-header into smi-phis.
         if (FLAG_loop_invariant_code_motion) {
+          flow_graph->FixupRedefinitions();
+          DEBUG_ASSERT(flow_graph->VerifyRedefinitions());
           LICM licm(flow_graph);
           licm.OptimisticallySpecializeSmiPhis();
           DEBUG_ASSERT(flow_graph->VerifyUseLists());