diff options
| author |  Jason Gross <jgross@mit.edu> | 2019-01-17 13:47:21 -0500 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2019-01-17 22:09:31 -0500 |
| commit | 6b762468c54fd8084dda854c968684c903bea54c (patch) | |
| tree | 1ce7f0114c3ad9b5b9d008c25668a4c2de03e66c /src/COperationSpecifications.v | |
| parent | 127e9da1c160032eff67a1c174182a98f6b51ebc (diff) | |
Don't allow r[0~>0] ranges in fancy synthesis
This disables the optimization that was recently introduced for
replacing things known to be 0 from the bounds analyzer with the
constant 0. It was messing up some of the other fancy synthesis stages.
Fixes #498
Diffstat (limited to 'src/COperationSpecifications.v')
0 files changed, 0 insertions, 0 deletions