diff options
Diffstat (limited to 'test/passes/expand-accessors/accessor-mem.fir')
| -rw-r--r-- | test/passes/expand-accessors/accessor-mem.fir | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/test/passes/expand-accessors/accessor-mem.fir b/test/passes/expand-accessors/accessor-mem.fir index eb396bcf..0daec379 100644 --- a/test/passes/expand-accessors/accessor-mem.fir +++ b/test/passes/expand-accessors/accessor-mem.fir @@ -6,15 +6,17 @@ circuit top : cmem m : UInt<32>[2][2][2] wire i : UInt<4> i := UInt(1) - accessor a = m[i] ;CHECK: accessor a = m[i] - accessor b = a[i] ;CHECK: b := (a[0] a[1])[i] - accessor c = b[i] ;CHECK: c := (b[0] b[1])[i] + infer accessor a = m[i] ;CHECK: read accessor a = m[i] + infer accessor b = a[i] ;CHECK: b := (a[0] a[1])[i] + infer accessor c = b[i] ;CHECK: c := (b[0] b[1])[i] wire j : UInt j := c - accessor x = m[i] ;CHECK: accessor x = m[i] - accessor y = x[i] ;CHECK: (x[0] x[1])[i] := y - accessor z = y[i] ;CHECK: (y[0] y[1])[i] := z + infer accessor x = m[i] ;CHECK: write accessor x = m[i] + infer accessor y = x[i] ;CHECK: (x[0] x[1])[i] := y + y[0] := UInt(1) + y[1] := UInt(1) + infer accessor z = y[i] ;CHECK: (y[0] y[1])[i] := z z := j ; CHECK: Finished Expand Accessors |