diff options
| author | azidar | 2016-01-27 12:13:25 -0800 |
|---|---|---|
| committer | azidar | 2016-01-28 09:25:04 -0800 |
| commit | 4bf3a3dd73108186807dee603794579fa88ccf50 (patch) | |
| tree | af6ca544004377ad0cccc55aabe300f1ab2c49d5 /src/main/stanza/primop.stanza | |
| parent | 5c1f1c18cae31eb53bf09cb58f6ecd6b30e55fb3 (diff) | |
Changed mod to rem
Diffstat (limited to 'src/main/stanza/primop.stanza')
| -rw-r--r-- | src/main/stanza/primop.stanza | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/stanza/primop.stanza b/src/main/stanza/primop.stanza index b6e81be1..7aba40c7 100644 --- a/src/main/stanza/primop.stanza +++ b/src/main/stanza/primop.stanza @@ -53,7 +53,7 @@ public defn set-primop-type (e:DoPrim) -> DoPrim : (t1:SIntType, t2:UIntType) : SIntType(w1()) (t1:SIntType, t2:SIntType) : SIntType(PLUS(w1(),ONE)) (t1, t2) : UnknownType() - MOD-OP : DoPrim{o,a,c,_} $ + REM-OP : DoPrim{o,a,c,_} $ match(t1(),t2()) : (t1:UIntType, t2:UIntType) : UIntType(MIN(w1(),w2())) (t1:UIntType, t2:SIntType) : UIntType(MIN(w1(),w2())) @@ -202,7 +202,7 @@ public defn set-primop-type (e:DoPrim) -> DoPrim : ; (t0:UIntType,t1:SIntType) : PlusWidth(width!(args(e)[0]),IntWidth(1)) ; (t0:SIntType,t1:SIntType) : PlusWidth(width!(args(e)[0]),IntWidth(1)) ; (t0,t1) : width!(args(e)[0]) -; MOD-OP : +; REM-OP : ; match(type(args(e)[0]),type(args(e)[1])) : ; (t0:SIntType,t1:UIntType) : PlusWidth(width!(args(e)[1]),IntWidth(1)) ; (t0,t1) : width!(args(e)[1]) |