diff options
Diffstat (limited to 'test/passes/lower-to-ground/bundle-vecs.fir')
| -rw-r--r-- | test/passes/lower-to-ground/bundle-vecs.fir | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/passes/lower-to-ground/bundle-vecs.fir b/test/passes/lower-to-ground/bundle-vecs.fir new file mode 100644 index 00000000..a4ead6ed --- /dev/null +++ b/test/passes/lower-to-ground/bundle-vecs.fir @@ -0,0 +1,31 @@ +; RUN: firrtl %s abcdefgh c | tee %s.out | FileCheck %s + +; CHECK: Lower To Ground +circuit top : + module q : + wire i : UInt + wire j : UInt + + wire a : { x : UInt(32), flip y : UInt(32) }[2] + ; CHECK: wire a#0#x : UInt(32) + ; CHECK: wire a#0#y : UInt(32) + ; CHECK: wire a#1#x : UInt(32) + ; CHECK: wire a#1#y : UInt(32) + + accessor b = a[i] + ; CHECK: wire b#x : UInt(32) + ; CHECK: wire b#y : UInt(32) + ; CHECK: b#x := (a#0#x a#1#x)[i] + ; CHECK: (a#0#y a#1#y)[i] := b#y + j := b + + accessor c = a[i] + ; CHECK: wire c#x : UInt(32) + ; CHECK: wire c#y : UInt(32) + ; CHECK: (a#0#x a#1#x)[i] := c#x + ; CHECK: c#y := (a#0#y a#1#y)[i] + c := j + + +; CHECK: Finished Lower To Ground + |