diff options
Diffstat (limited to 'test/passes/resolve-genders/accessor.fir')
| -rw-r--r-- | test/passes/resolve-genders/accessor.fir | 27 |
1 files changed, 21 insertions, 6 deletions
diff --git a/test/passes/resolve-genders/accessor.fir b/test/passes/resolve-genders/accessor.fir index 41aea1f4..8a86868b 100644 --- a/test/passes/resolve-genders/accessor.fir +++ b/test/passes/resolve-genders/accessor.fir @@ -4,16 +4,31 @@ 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 - accessor a = m[i] ;CHECK: accessor a = m@<g:m>[i@<g:m>]@<g:m> - accessor b = a[i] ;CHECK: accessor b = a@<g:m>[i@<g:m>]@<g:m> - accessor c = b[i] ;CHECK: accessor c = b@<g:m>[i@<g:m>]@<g:m> + i := UInt(1) + infer accessor a = m[i] ;CHECK: accessor a = m@<g:m>[i@<g:m>]@<g:m> + infer accessor b = a[i] ;CHECK: accessor b = a@<g:m>[i@<g:m>]@<g:m> + infer accessor c = b[i] ;CHECK: accessor c = b@<g:m>[i@<g:m>]@<g:m> wire j : UInt j := c - accessor x = m[i] ;CHECK: accessor x = m@<g:f>[i@<g:m>]@<g:f> - accessor y = x[i] ;CHECK: accessor y = x@<g:f>[i@<g:m>]@<g:f> - accessor z = y[i] ;CHECK: accessor z = y@<g:f>[i@<g:m>]@<g:f> + infer accessor x = m[i] ;CHECK: accessor x = m@<g:f>[i@<g:m>]@<g:f> + 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: accessor y = x@<g:f>[i@<g:m>]@<g:f> + y[0] := UInt(1) + y[1] := UInt(1) + infer accessor z = y[i] ;CHECK: accessor z = y@<g:f>[i@<g:m>]@<g:f> z := j ; CHECK: Finished Resolve Genders |