src/riscv/rv64f.cpp

433     expect<uint64_t>(256, []{return F::fcvt_wu_s(256.3);},
435     expect<uint64_t>(0, []{return F::fcvt_wu_s(-256.2);},
437     expect<uint64_t>(0, []{return F::fcvt_wu_s(0.0);}, "fcvt.wu.s, 0.0");
438     expect<uint64_t>(0, []{return F::fcvt_wu_s(-0.0);}, "fcvt.wu.s, -0.0");
440             []{return F::fcvt_wu_s(numeric_limits<float>::max());},
442     expect<uint64_t>(0, []{return F::fcvt_wu_s(numeric_limits<float>::min());},
445             []{return F::fcvt_wu_s(numeric_limits<float>::infinity());},
448             []{return F::fcvt_wu_s(-numeric_limits<float>::infinity());},
451             []{return F::fcvt_wu_s(numeric_limits<float>::quiet_NaN());},
454             []{return F::fcvt_wu_s(-numeric_limits<float>::quiet_NaN());},
457             []{return F::fcvt_wu_s(numeric_limits<float>::signaling_NaN());},