RISCV64_GENERIC: Use generic kernel for DSDOT for better precision
authorZhaofeng Li <hello@zhaofeng.li>
Mon, 7 Jun 2021 22:50:23 +0000 (22:50 +0000)
committerZhaofeng Li <hello@zhaofeng.li>
Mon, 7 Jun 2021 22:50:23 +0000 (22:50 +0000)
commit3521cd48cbfb3d50f6ae9a10377382d37075c696
treed6e0a9bd65927b5c6dd31d9f253eb42f0c4cdda6
parent1e0192a5ccac28fc0c749f49d36ec7eda9757428
RISCV64_GENERIC: Use generic kernel for DSDOT for better precision

The implementation in `riscv64/dot.c` fails the `test_dsdot` test, and
the generic kernel seems to have better precision. Tested on SiFive
FU740 (HiFive Unmatched) and QEMU.

Also see #1469.
kernel/riscv64/KERNEL.RISCV64_GENERIC