diff options
| author | azidar | 2015-04-23 11:43:11 -0700 |
|---|---|---|
| committer | azidar | 2015-04-23 11:43:11 -0700 |
| commit | 7f8758420a2a46d7cf19441e9fbd1dba82cae612 (patch) | |
| tree | 1508e1676f56c202f2021971241529b73db19bae /src | |
| parent | a4f7aa2b81a021f21a49bd4059d051bc0f949880 (diff) | |
Fixed Pad inference bug
Diffstat (limited to 'src')
| -rw-r--r-- | src/main/stanza/passes.stanza | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/stanza/passes.stanza b/src/main/stanza/passes.stanza index 588b4b73..50d2831a 100644 --- a/src/main/stanza/passes.stanza +++ b/src/main/stanza/passes.stanza @@ -1584,7 +1584,7 @@ defn gen-constraints (m:Module, h:HashTable<Symbol,Type>, v:Vector<WGeq>) -> Mod (e:Pad) : val value-w = width!(value(e)) val pad-w = remove-unknowns-w(width(e)) - ;add(v,WGeq(pad-w, IntWidth(0))) + add(v,WGeq(pad-w, value-w)) val pad-t = match(type(e)) : (t:UIntType) : UIntType(pad-w) (t:SIntType) : SIntType(pad-w) |