diff options
Diffstat (limited to 'test/passes/lower-to-ground/nested-vec.fir')
| -rw-r--r-- | test/passes/lower-to-ground/nested-vec.fir | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/test/passes/lower-to-ground/nested-vec.fir b/test/passes/lower-to-ground/nested-vec.fir index 8eafb8e8..4ab3ba9b 100644 --- a/test/passes/lower-to-ground/nested-vec.fir +++ b/test/passes/lower-to-ground/nested-vec.fir @@ -7,27 +7,27 @@ circuit top : wire j : { x : UInt(32), flip y : UInt(32) } 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) + ; 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 + ; 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 mem m : { x : UInt(32), flip y : UInt(32) }[2] - ; CHECK: mem m#x : UInt(32)[2] - ; CHECK: mem m#y : UInt(32)[2] + ; CHECK: mem m$x : UInt(32)[2] + ; CHECK: mem m$y : UInt(32)[2] accessor c = m[i] ; MALE - ; CHECK: accessor c#x = m#x[i] - ; CHECK: accessor c#y = m#y[i] - ; CHECK: c#x := j#x - ; CHECK: j#y := c#y + ; CHECK: accessor c$x = m$x[i] + ; CHECK: accessor c$y = m$y[i] + ; CHECK: c$x := j$x + ; CHECK: j$y := c$y c := j ; CHECK: Finished Lower To Ground |