diff options
| author | jackbackrack | 2015-05-21 23:37:24 -0700 |
|---|---|---|
| committer | jackbackrack | 2015-05-21 23:37:24 -0700 |
| commit | b84fdd09d1100445a9a8fe7654b842c088ef6ac0 (patch) | |
| tree | e83cc76f410337de628c5e17893a44ab137846a7 /src/main/stanza/primop.stanza | |
| parent | eb125225cb96875f31a9af0db187406782b75223 (diff) | |
fix pad/trim pass and fix bug in bits-select width inference
Diffstat (limited to 'src/main/stanza/primop.stanza')
| -rw-r--r-- | src/main/stanza/primop.stanza | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/stanza/primop.stanza b/src/main/stanza/primop.stanza index 023723b8..34ede86c 100644 --- a/src/main/stanza/primop.stanza +++ b/src/main/stanza/primop.stanza @@ -122,7 +122,7 @@ public defn primop-gen-constraints (e:DoPrim,v:Vector<WGeq>) -> Type : BIT-XOR-REDUCE-OP : all-max() CONCAT-OP : PlusWidth(width!(args(e)[0]),width!(args(e)[1])) BIT-SELECT-OP : IntWidth(1) - BITS-SELECT-OP : IntWidth(consts(e)[0] - consts(e)[1]) + BITS-SELECT-OP : IntWidth(consts(e)[0] - consts(e)[1] + 1) match(type(e)) : (t:UIntType) : UIntType(w*) |