From 8d5047ca436ba42e9253d24d6b5b2c0c62dd7437 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 3 Feb 2021 01:05:32 +0000
Subject: Fix state generation for if-conversion

---
 src/hls/RTLBlockInstr.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/hls/RTLBlockInstr.v')

diff --git a/src/hls/RTLBlockInstr.v b/src/hls/RTLBlockInstr.v
index 4d02998..345e73e 100644
--- a/src/hls/RTLBlockInstr.v
+++ b/src/hls/RTLBlockInstr.v
@@ -79,7 +79,7 @@ Definition max_reg_instr (m: positive) (i: instr) :=
   | RBstore p chunk addr args src =>
     fold_left Pos.max args (Pos.max src m)
   | RBsetpred c args p =>
-    fold_left Pos.max args 1%positive
+    fold_left Pos.max args m
   end.
 
 Fixpoint max_reg_cfi (m : positive) (i : cf_instr) :=
-- 
cgit