From f3a0c5c0095258159c495d70fda6749bbf89de70 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 2 Feb 2021 20:34:20 +0000
Subject: Add predicated values and instructions

---
 src/hls/PrintRTLBlock.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/hls/PrintRTLBlock.ml')

diff --git a/src/hls/PrintRTLBlock.ml b/src/hls/PrintRTLBlock.ml
index caf64ff..8fef401 100644
--- a/src/hls/PrintRTLBlock.ml
+++ b/src/hls/PrintRTLBlock.ml
@@ -63,10 +63,10 @@ let print_program pp (prog: program) =
 
 let destination : string option ref = ref None
 
-let print_if prog =
+let print_if passno prog =
   match !destination with
   | None -> ()
   | Some f ->
-     let oc = open_out f in
+     let oc = open_out (f ^ "." ^ Z.to_string passno) in
      print_program oc prog;
      close_out oc
-- 
cgit