diff options
| author | azidar | 2015-04-24 18:02:22 -0700 |
|---|---|---|
| committer | azidar | 2015-04-24 18:02:22 -0700 |
| commit | 70322b7a1106225cf3638845fda0512d30610c25 (patch) | |
| tree | 6653e273ce9a0a432912a08057cba397fed2ec0c /src | |
| parent | 5a2a495ce88eec9e2e79cfbfe7f5548cede25874 (diff) | |
NEG now propogates input args plus one
Diffstat (limited to 'src')
| -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 e88a6b8e..7d341aa2 100644 --- a/src/main/stanza/primop.stanza +++ b/src/main/stanza/primop.stanza @@ -327,8 +327,8 @@ public defn primop-gen-constraints (e:DoPrim,v:Vector<WGeq>) -> Type : NEQUAL-SS-OP : IntWidth(1) PAD-U-OP : IntWidth(consts(e)[0]) PAD-S-OP : IntWidth(consts(e)[0]) - NEG-U-OP : IntWidth(1) - NEG-S-OP : IntWidth(1) + NEG-U-OP : PlusWidth(max-args-w,IntWidth(1)) + NEG-S-OP : PlusWidth(max-args-w,IntWidth(1)) SHIFT-LEFT-U-OP : PlusWidth(max-args-w,IntWidth(consts(e)[0])) SHIFT-LEFT-S-OP : PlusWidth(max-args-w,IntWidth(consts(e)[0])) SHIFT-RIGHT-U-OP : MinusWidth(max-args-w,IntWidth(consts(e)[0])) |