minor update

This commit is contained in:
Blaise Tine 2024-06-13 10:12:40 -07:00
parent 3611ad5b4c
commit e603c302b2
2 changed files with 9 additions and 5 deletions

View file

@ -114,11 +114,6 @@ regression()
make -C tests/regression run-simx
make -C tests/regression run-rtlsim
# test FPU hardware implementations
CONFIGS="-DFPU_DPI" ./ci/blackbox.sh --driver=rtlsim --app=dogfood
CONFIGS="-DFPU_DSP" ./ci/blackbox.sh --driver=rtlsim --app=dogfood
CONFIGS="-DFPU_FPNEW" ./ci/blackbox.sh --driver=rtlsim --app=dogfood
# test local barrier
./ci/blackbox.sh --driver=simx --app=dogfood --args="-n1 -tbar"
./ci/blackbox.sh --driver=rtlsim --app=dogfood --args="-n1 -tbar"

View file

@ -54,11 +54,20 @@ extern "C" {
}
inline uint64_t nan_box(uint32_t value) {
#ifdef XLEN_64
return value | 0xffffffff00000000;
#else
return value;
#endif
}
inline bool is_nan_boxed(uint64_t value) {
#ifdef XLEN_64
return (uint32_t(value >> 32) == 0xffffffff);
#else
__unused (value);
return true;
#endif
}
inline int64_t check_boxing(int64_t a) {