1 2 3 4 5 6 7
require_rv32; require_extension('D'); require_extension(EXT_ZFA); require_fp; ui64_f64 ui; ui.f = FRS1_D; WRITE_RD(ui.ui >> 32);