diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/pass/mapping_rreg.sail | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/typecheck/pass/mapping_rreg.sail b/test/typecheck/pass/mapping_rreg.sail new file mode 100644 index 00000000..1f3e1212 --- /dev/null +++ b/test/typecheck/pass/mapping_rreg.sail @@ -0,0 +1,17 @@ +default Order dec + +$include <prelude.sail> + +register enabled : bits(1) + +union ast = { + I: bits(1) +} + +val encdec : ast <-> bits(2) effect {rreg} + +scattered mapping encdec + +mapping clause encdec = I(imm) if enabled == 0b0 <-> 0b0 @ imm if enabled == 0b0 + +end encdec |