diff options
Diffstat (limited to 'test/passes/expand-accessors/accessor-vec.fir')
| -rw-r--r-- | test/passes/expand-accessors/accessor-vec.fir | 34 |
1 files changed, 26 insertions, 8 deletions
diff --git a/test/passes/expand-accessors/accessor-vec.fir b/test/passes/expand-accessors/accessor-vec.fir index 81c44d1b..5cdad6c7 100644 --- a/test/passes/expand-accessors/accessor-vec.fir +++ b/test/passes/expand-accessors/accessor-vec.fir @@ -4,25 +4,43 @@ circuit top : module top : wire m : UInt<32>[2][2][2] + m[0][0][0] := UInt(1) + m[1][0][0] := UInt(1) + m[0][1][0] := UInt(1) + m[1][1][0] := UInt(1) + m[0][0][1] := UInt(1) + m[1][0][1] := UInt(1) + m[0][1][1] := UInt(1) + m[1][1][1] := UInt(1) wire i : UInt i := UInt(1) - accessor a = m[i] ;CHECK: a := (m[0] m[1])[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: a := (m[0] m[1])[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: (m[0] m[1])[i] := x - 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: (m[0] m[1])[i] := x + x[0][0] := UInt(1) + x[1][0] := UInt(1) + x[0][1] := UInt(1) + x[1][1] := UInt(1) + infer accessor y = x[i] ;CHECK: (x[0] x[1])[i] := y + infer accessor z = y[i] ;CHECK: (y[0] y[1])[i] := z + y[0] := UInt(1) + y[1] := UInt(1) z := j wire p : {n : UInt<32>[2]} - accessor q = p.n[i] ;CHECK: (p.n[0] p.n[1])[i] := q + p.n[0] := UInt(1) + p.n[1] := UInt(1) + infer accessor q = p.n[i] ;CHECK: (p.n[0] p.n[1])[i] := q q := j wire r : {m : UInt<32>}[2] - accessor s = r[i] ;CHECK: s := (r[0] r[1])[i] + r[0].m := UInt(1) + r[1].m := UInt(1) + infer accessor s = r[i] ;CHECK: s := (r[0] r[1])[i] j := s.m ; CHECK: Finished Expand Accessors |