diff options
| author | azidar | 2015-05-02 15:25:04 -0700 |
|---|---|---|
| committer | azidar | 2015-05-02 15:25:04 -0700 |
| commit | 2006604530fb8fd214fe4e8e182bedacd71b49b3 (patch) | |
| tree | 5a846b880ef8bf71a860faead945bc64d44cd4de /src/main/stanza/primop.stanza | |
| parent | 93ba0196dc2ba88e4e34346e5fbc105743a8eaa0 (diff) | |
Added a infrastructure for check passes, and wrote a few
Diffstat (limited to 'src/main/stanza/primop.stanza')
| -rw-r--r-- | src/main/stanza/primop.stanza | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/stanza/primop.stanza b/src/main/stanza/primop.stanza index b293da52..34dd0392 100644 --- a/src/main/stanza/primop.stanza +++ b/src/main/stanza/primop.stanza @@ -185,6 +185,7 @@ public defn lower-and-type-primop (e:DoPrim) -> DoPrim : match(type(args(e)[1]),type(args(e)[2])) : (t1:UIntType, t2:UIntType) : MUX-UU-OP (t1:SIntType, t2:SIntType) : MUX-SS-OP + (t1,t2) : error(to-string(args(e))) MUX-UU-OP : DoPrim(op(e),args(e),consts(e),u()) MUX-SS-OP : DoPrim(op(e),args(e),consts(e),s()) PAD-OP : |