diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-02-02 20:34:20 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-02 20:34:20 +0000 |
| commit | f3a0c5c0095258159c495d70fda6749bbf89de70 (patch) | |
| tree | f06c5305b6744cc3c12e678c97248af36ff35e30 /src/hls/PrintVerilog.ml | |
| parent | e68848fc6970acc9b973a2c9dff5eddedb833914 (diff) | |
| download | vericert-f3a0c5c0095258159c495d70fda6749bbf89de70.tar.gz vericert-f3a0c5c0095258159c495d70fda6749bbf89de70.zip | |
Add predicated values and instructions
Diffstat (limited to 'src/hls/PrintVerilog.ml')
| -rw-r--r-- | src/hls/PrintVerilog.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/hls/PrintVerilog.ml b/src/hls/PrintVerilog.ml index 4a6c165..b2633ec 100644 --- a/src/hls/PrintVerilog.ml +++ b/src/hls/PrintVerilog.ml @@ -87,6 +87,7 @@ let rec pprint_expr = function | Vunop (u, e) -> concat ["("; unop u; pprint_expr e; ")"] | Vbinop (op, a, b) -> concat [pprint_binop (pprint_expr a) (pprint_expr b) op] | Vternary (c, t, f) -> concat ["("; pprint_expr c; " ? "; pprint_expr t; " : "; pprint_expr f; ")"] + | Vrange (r, e1, e2) -> concat [register r; "["; pprint_expr e1; ":"; pprint_expr e2; "]"] let rec pprint_stmnt i = let pprint_case (e, s) = concat [ indent (i + 1); pprint_expr e; ": begin\n"; pprint_stmnt (i + 2) s; |