From fa71365709883b845eb01822ae8d929fbbb38f71 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 21 Feb 2021 16:33:04 +0000
Subject: Add parallel block

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

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

diff --git a/src/hls/RTLBlockInstr.v b/src/hls/RTLBlockInstr.v
index 86f8eba..6b7c7ef 100644
--- a/src/hls/RTLBlockInstr.v
+++ b/src/hls/RTLBlockInstr.v
@@ -329,7 +329,8 @@ Section DEFINITION.
 
   Record bblock : Type := mk_bblock {
     bb_body: bblock_body;
-    bb_exit: cf_instr
+    bb_exit: cf_instr;
+    bb_parallel: bool;
   }.
 
   Definition code: Type := PTree.t bblock.
-- 
cgit