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

/seL4-camkes-master/tools/riscv-pk/softfloat/
H A Df32_mul.c44 float32_t f32_mul( float32_t a, float32_t b ) function
H A Dsoftfloat.h189 float32_t f32_mul( float32_t, float32_t );
/seL4-camkes-master/tools/riscv-pk/machine/
H A Dfp_emulation.c92 SET_F32_RD(insn, regs, f32_mul(f32(rs1), f32(rs2)).v);

Completed in 81 milliseconds