Searched refs:f64_add (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/tools/riscv-pk/softfloat/
H A Df64_add.c43 float64_t f64_add( float64_t a, float64_t b ) function
H A Dsoftfloat.h223 float64_t f64_add( float64_t, float64_t );
/seL4-test-master/tools/riscv-pk/machine/
H A Dfp_emulation.c71 SET_F64_RD(insn, regs, f64_add(f64(rs1), f64(rs2)).v);

Completed in 78 milliseconds