comment

Author: hhugo

compiler/lib/generate.ml

@@ -1416,10 +1416,7 @@ and compile_block_no_loop st queue (pc : Addr.t) ~fall_through scope_stack =
   if pc < 0 then assert false;
   if Addr.Set.mem pc !(st.visited_blocks)
   then (
-    Format.eprintf
-      "Trying to compile a block twice !!!! %d %b@."
-      pc
-      (Structure.is_merge_node st.structure pc);
+    Format.eprintf "Trying to compile a block twice !!!! %d@." pc;
     assert false);
   if debug () then Format.eprintf "Compiling block %d@;" pc;
   st.visited_blocks := Addr.Set.add pc !(st.visited_blocks);
@@ -1688,15 +1685,15 @@ and compile_branch st queue ((pc, _) as cont) scope_stack ~src ~fall_through : b
       match List.assoc_opt pc scope_stack with
       | Some (l, used, Backward) ->
           assert (src >= 0 && Structure.is_backward st.structure src pc);
-          let rec needed scope_stack =
-            match scope_stack with
-            | [] -> assert false
-            | (_pc, (_, _, Forward)) :: rem -> needed rem
-            | (pc', (_, _, Backward)) :: _rem -> pc <> pc'
-          in
           if fall_through = pc
           then false, flush_all queue []
           else
+            let rec needed scope_stack =
+              match scope_stack with
+              | [] -> assert false
+              | (_pc, (_, _, Forward)) :: rem -> needed rem
+              | (pc', (_, _, Backward)) :: _rem -> pc <> pc'
+            in
             let label =
               if needed scope_stack
               then (