aboutsummaryrefslogtreecommitdiff
path: root/test/passes/expand-whens/reg-dwc.fir
blob: 6713b1f2ffc3b6a2e4c82dc5db1d246ded1d7f43 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s
circuit top :
   module top :
      input clk : Clock
      input reset : UInt<1>
      wire p : UInt
      p <= UInt(1)
      reg r : UInt,clk with :
         reset => (reset,r)
      when p :
         r <= UInt(2)

; CHECK: Expand Whens

; CHECK: circuit top :
; CHECK:   module top :
; CHECK:     wire p : UInt
; CHECK:     reg r : UInt
; CHECK:     p <= UInt<1>("h1")
; CHECK:     r <= mux(p, UInt<2>("h2"), r)

; CHECK: Finished Expand Whens

; CHECK: Done!