diff options
author | Albert Ou <aou@eecs.berkeley.edu> | 2019-10-29 00:47:10 -0700 |
---|---|---|
committer | Chih-Min Chao <chihmin.chao@sifive.com> | 2019-11-11 19:02:34 -0800 |
commit | 590abe0960e9604f439d572c75abb440bbeaeadd (patch) | |
tree | 41903667d41d92e6205090350ca35d98acbe9a8e /riscv/insns | |
parent | b9d9e1ebd02c62ad354195481d1136f5be3f54cd (diff) | |
download | spike-590abe0960e9604f439d572c75abb440bbeaeadd.zip spike-590abe0960e9604f439d572c75abb440bbeaeadd.tar.gz spike-590abe0960e9604f439d572c75abb440bbeaeadd.tar.bz2 |
rvv: fix INT_ROUNDING compliance
* round-to-nearest-even: In the case that result[gb] = 0, the result
should still be rounded up if result[gb-1] != 0 && result[gb-2:0] != 0
(the usual round-to-nearest behavior outside of the tiebreaker).
* round-down: Since all uses of INT_ROUNDING() are immediately followed
with a right shift by gb, clearing the lower bits is unnecessary.
* round-to-odd: The LSB should be OR'd only if result[gb-1:0] != 0.
Signed-off-by: Albert Ou <aou@eecs.berkeley.edu>
Diffstat (limited to 'riscv/insns')
0 files changed, 0 insertions, 0 deletions