fix fmvh_x_d.h rv32 sign-extended

Signed-off-by: Madman <1017747824@qq.com>
3 years ago · 2e2a8cb5c1
1 changed files with 1 additions and 1 deletions
--- a/riscv/insns/fmvh_x_d.h
+++ b/riscv/insns/fmvh_x_d.h
@ -4,4 +4,4 @@ require_extension(EXT_ZFA);
 require_fp;
 ui64_f64 ui;
 ui.f = FRS1_D;
-WRITE_RD(ui.ui >> 32);
+WRITE_RD(sext32(ui.ui >> 32));