Merge pull request sampsyo#81 from kq-li/master

Fix basic block construction bug
hj424 · Sep 21, 2020 · 9fe23d2 · 9fe23d2
2 parents 083326b + 1d59cfa
commit 9fe23d2
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/bril-ocaml/lib/func.ml b/bril-ocaml/lib/func.ml
@@ -21,7 +21,9 @@ let process_instrs instrs =
       ~init:(block_name 0, [], [])
       ~f:(fun (name, block, blocks) (instr : Instr.t) ->
         match instr with
-        | Label name -> (name, block, blocks)
+        | Label label ->
+          if List.is_empty block then (label, [], blocks)
+          else (label, [], (name, List.rev block) :: blocks)
         | Jmp _
         | Br _
         | Ret _ ->