diff options
Diffstat (limited to 'test/passes/expand-whens/reg-wdc.fir')
| -rw-r--r-- | test/passes/expand-whens/reg-wdc.fir | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/passes/expand-whens/reg-wdc.fir b/test/passes/expand-whens/reg-wdc.fir index 4ddea427..b19b8bca 100644 --- a/test/passes/expand-whens/reg-wdc.fir +++ b/test/passes/expand-whens/reg-wdc.fir @@ -6,7 +6,8 @@ circuit top : wire p : UInt p <= UInt(1) when p : - reg r : UInt,clk,reset,r + reg r : UInt,clk with : + reset => (reset,r) r <= UInt(2) ; CHECK: Expand Whens @@ -14,7 +15,8 @@ circuit top : ; CHECK: circuit top : ; CHECK: module top : ; CHECK: wire p : UInt -; CHECK: reg r : UInt<2>, clk, reset, r +; CHECK: reg r : UInt<2>, clk with : +; CHECK: reset => (reset, r) ; CHECK: p <= UInt("h1") ; CHECK-NOT: r <= mux(p, UInt("h2"), r) ; CHECK: r <= UInt("h2") |