diff options
| author | azidar | 2016-01-23 15:36:09 -0800 |
|---|---|---|
| committer | azidar | 2016-01-23 15:36:09 -0800 |
| commit | d98526e50f9dee6edd4d885c707972cfa9666e34 (patch) | |
| tree | db879c88982cf5a16a224bdadc8d95a1bd1d3580 /src/main/stanza/ir-parser.stanza | |
| parent | 854b5d1b1e8929f74294dcce1bfb18dfbf7c874e (diff) | |
Added inference to mports
Diffstat (limited to 'src/main/stanza/ir-parser.stanza')
| -rw-r--r-- | src/main/stanza/ir-parser.stanza | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/stanza/ir-parser.stanza b/src/main/stanza/ir-parser.stanza index 951d341c..7c457c19 100644 --- a/src/main/stanza/ir-parser.stanza +++ b/src/main/stanza/ir-parser.stanza @@ -270,6 +270,8 @@ defsyntax firrtl : CDefMPort(first-info(form),name,UnknownType(),mem,list(index,clk),MWrite) stmt = (rdwr mport ?name:#id! #=! ?mem:#id! (@get ?index:#exp!) ?clk:#exp!) : CDefMPort(first-info(form),name,UnknownType(),mem,list(index,clk),MReadWrite) + stmt = (infer mport ?name:#id! #=! ?mem:#id! (@get ?index:#exp!) ?clk:#exp!) : + CDefMPort(first-info(form),name,UnknownType(),mem,list(index,clk),MInfer) stmt = (mem ?name:#id! #:! (?ms:#mstat ...)) : defn grab (f:MStat -> True|False) : |