diff options
Diffstat (limited to 'test/features/BulkConnect.fir')
| -rw-r--r-- | test/features/BulkConnect.fir | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/features/BulkConnect.fir b/test/features/BulkConnect.fir index f78ba45b..f8840f46 100644 --- a/test/features/BulkConnect.fir +++ b/test/features/BulkConnect.fir @@ -3,7 +3,14 @@ circuit Top : module Top : wire a : { w : UInt<42>, x : UInt<10>, flip y : UInt<42>, z : SInt<42>} + a.w := UInt(1) + a.y := UInt(1) + a.z := SInt(1) wire b : { w : UInt<42>, x : UInt<20>, y : UInt<42>, z : UInt<42>} + b.w := UInt(1) + b.x := UInt(1) + b.y := UInt(1) + b.z := UInt(1) a <> b ; CHECK: a$w := b$w ; CHECK: a$x := b$x @@ -13,7 +20,15 @@ circuit Top : wire c : { x : { y : UInt<1>, z : UInt<1>}}[4] + c[0].x.z := UInt(1) + c[1].x.z := UInt(1) + c[2].x.y := UInt(1) + c[2].x.z := UInt(1) + c[3].x.y := UInt(1) + c[3].x.z := UInt(1) wire d : { x : { y : UInt<1>}}[2] + d[0].x.y := UInt(1) + d[1].x.y := UInt(1) c <> d ; CHECK: c$0$x$y := d$0$x$y ; CHECK: c$1$x$y := d$1$x$y |