aboutsummaryrefslogtreecommitdiff
path: root/test/passes/infer-widths/dsh.fir
blob: 2cbdfd3490afad55f41341c3bbf044777500c2b5 (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.flo -x abcdefghijkl -p cd | tee %s.out | FileCheck %s

;CHECK: Infer Widths

circuit top :
   module M :
      wire x : UInt<16>
      wire z : SInt<16>
      wire y : UInt<3>
      wire a : UInt
      wire b : SInt
      wire c : UInt
      wire d : SInt

      a := dshl-u(x,y)
      b := dshl-s(z,y)
      c := dshr-u(x,y)
      d := dshr-s(z,y)


; CHECK: wire a : UInt<23>
; CHECK: wire b : SInt<23>
; CHECK: wire c : UInt<16>
; CHECK: wire d : SInt<16>
; CHECK: Finished Infer Widths