src/riscv/rv64d.h

260 fcvt_d_w(int64_t rs1)
263     asm volatile("fcvt.d.w %0,%1" : "=f" (fd) : "r" (rs1));
268 fcvt_d_wu(uint64_t rs1)
271     asm volatile("fcvt.d.wu %0,%1" : "=f" (fd) : "r" (rs1));
300 fcvt_d_l(int64_t rs1)
303     asm volatile("fcvt.d.l %0,%1" : "=f" (fd) : "r" (rs1));
308 fcvt_d_lu(uint64_t rs1)
311     asm volatile("fcvt.d.lu %0,%1" : "=f" (fd) : "r" (rs1));
316 fmv_d_x(uint64_t rs1)
319     asm volatile("fmv.d.x %0,%1" : "=f" (fd) : "r" (rs1));