From 0efe7783c50d72858352fda93d30e0f52792d658 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Mon, 24 May 2021 10:07:52 +0200
Subject: Moving common tools, adding liveness input/output information to BTL
 generation oracle

---
 scheduling/PrintBTL.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'scheduling/PrintBTL.ml')

diff --git a/scheduling/PrintBTL.ml b/scheduling/PrintBTL.ml
index 0ed3981d..502565c2 100644
--- a/scheduling/PrintBTL.ml
+++ b/scheduling/PrintBTL.ml
@@ -101,6 +101,8 @@ let print_btl_code pp btl is_rec =
     fprintf pp "\n";
     List.iter
       (fun (n, ibf) ->
+        fprintf pp "[BTL Liveness]\n";
+        print_regset ibf.input_regs;
         fprintf pp "[BTL block %d]\n" (P.to_int n);
         print_iblock pp is_rec "  " ibf.entry;
         fprintf pp "\n")
-- 
cgit