test/passes/infer-widths/simple.fir


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

; RUN: firrtl -i %s -o %s.flo -X flo -p cTwd | tee %s.out | FileCheck %s

;CHECK: Infer Widths
circuit top :
   module top :
      wire e : UInt<30>
      reg y : UInt
      y := e

      wire a : UInt<20>
      wire b : UInt<10>
      wire c : UInt
      wire z : UInt
       
      z := mux(c,a,b)

   

; CHECK: Finished Infer Widths