diff options
| author | azidar | 2015-04-09 16:57:00 -0700 |
|---|---|---|
| committer | azidar | 2015-04-09 16:57:00 -0700 |
| commit | a604e0789a85d8b3c5d6def2f9860047f479b68a (patch) | |
| tree | ff2890d273f30155c52b610824a3ea632f2c12c6 /src/main/stanza/ir-utils.stanza | |
| parent | 16b9cb55c7d3e546af7eee3528079c9ac9bb530b (diff) | |
Added more 'fake' tests. infer-widths now collects constraints
Diffstat (limited to 'src/main/stanza/ir-utils.stanza')
| -rw-r--r-- | src/main/stanza/ir-utils.stanza | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/stanza/ir-utils.stanza b/src/main/stanza/ir-utils.stanza index 5e03ab54..1f33547e 100644 --- a/src/main/stanza/ir-utils.stanza +++ b/src/main/stanza/ir-utils.stanza @@ -235,6 +235,7 @@ defmethod map (f: Expression -> Expression, e:Expression) -> Expression : (e:DoPrim) : DoPrim(op(e), map(f, args(e)), consts(e), type(e)) (e:ReadPort) : ReadPort(f(mem(e)), f(index(e)), type(e), enable(e)) (e:WritePort) : WritePort(f(mem(e)), f(index(e)), type(e), enable(e)) + (e:Register) : Register(type(e),f(value(e)),f(enable(e))) (e) : e public defmulti map<?T> (f: Expression -> Expression, c:?T&Stmt) -> T |