diff options
| author | azidar | 2016-01-24 16:30:50 -0800 |
|---|---|---|
| committer | azidar | 2016-01-24 16:30:50 -0800 |
| commit | 8265e2e67e39f2d313a74bccb6dd45d85f706f3a (patch) | |
| tree | 744a5eea0e86a43aaeb720fc545bcfe80840b139 /src/main/stanza/primop.stanza | |
| parent | 63b3668414bfea1c3bdd651a552d5fa7b5d6b9c4 (diff) | |
Added muxing on passive aggregate types
Diffstat (limited to 'src/main/stanza/primop.stanza')
| -rw-r--r-- | src/main/stanza/primop.stanza | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/main/stanza/primop.stanza b/src/main/stanza/primop.stanza index 2a2d75f2..4b8d0cbc 100644 --- a/src/main/stanza/primop.stanza +++ b/src/main/stanza/primop.stanza @@ -95,11 +95,11 @@ public defn set-primop-type (e:DoPrim) -> DoPrim : NEQUAL-OP : DoPrim(o,a,c,BoolType()) EQUIV-OP : DoPrim(o,a,c,BoolType()) NEQUIV-OP : DoPrim(o,a,c,BoolType()) - MUX-OP : DoPrim{o,a,c,_} $ - match(t2(),t3()) : - (t2:UIntType, t3:UIntType) : UIntType(MAX(w2(),w3())) - (t2:SIntType, t3:SIntType) : SIntType(MAX(w2(),w3())) - (t2, t3) : UnknownType() + ;MUX-OP : DoPrim{o,a,c,_} $ + ; match(t2(),t3()) : + ; (t2:UIntType, t3:UIntType) : UIntType(MAX(w2(),w3())) + ; (t2:SIntType, t3:SIntType) : SIntType(MAX(w2(),w3())) + ; (t2, t3) : UnknownType() PAD-OP : DoPrim{o,a,c,_} $ match(t1()) : (t1:UIntType) : UIntType(c1()) |