diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-22 18:42:11 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-22 18:42:11 +0000 |
commit | 2243443c407a1e951265a9252bac3d3b9b830cbb (patch) | |
tree | 80ad4560456aa30abc2c1a01b09a86c4ece7b6e9 /src/hls/PrintRTLBlockInstr.ml | |
parent | 1a7f581dc4b67cbfe17936697aec8f85786c844d (diff) | |
download | vericert-2243443c407a1e951265a9252bac3d3b9b830cbb.tar.gz vericert-2243443c407a1e951265a9252bac3d3b9b830cbb.zip |
Fix arguments to RBassign and piped
Diffstat (limited to 'src/hls/PrintRTLBlockInstr.ml')
-rw-r--r-- | src/hls/PrintRTLBlockInstr.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/hls/PrintRTLBlockInstr.ml b/src/hls/PrintRTLBlockInstr.ml index ba7241b..808d342 100644 --- a/src/hls/PrintRTLBlockInstr.ml +++ b/src/hls/PrintRTLBlockInstr.ml @@ -52,6 +52,11 @@ let print_bblock_body pp i = fprintf pp "%a = %a\n" pred p (PrintOp.print_condition reg) (c, args) + | RBpiped (p, fu, args) -> + fprintf pp "%a piped\n" print_pred_option p + | RBassign (p, fu, src, dst) -> + fprintf pp "%a %a = %a" print_pred_option p + reg src reg dst let rec print_bblock_exit pp i = fprintf pp "\t\t"; |