src/riscv/rv64f.cpp

647     expect<uint64_t>(256, []{return F::fcvt_lu_s(256.3);},
649     expect<uint64_t>(0, []{return F::fcvt_lu_s(-256.2);},
651     expect<uint64_t>(0, []{return F::fcvt_lu_s(0.0);}, "fcvt.lu.s, 0.0");
652     expect<uint64_t>(0, []{return F::fcvt_lu_s(-0.0);}, "fcvt.lu.s, -0.0");
654             []{return F::fcvt_lu_s(8589934592.0);},
657             []{return F::fcvt_lu_s(numeric_limits<float>::max());},
659     expect<uint64_t>(0, []{return F::fcvt_lu_s(numeric_limits<float>::min());},
662             []{return F::fcvt_lu_s(numeric_limits<float>::infinity());},
665             []{return F::fcvt_lu_s(-numeric_limits<float>::infinity());},
668             []{return F::fcvt_lu_s(numeric_limits<float>::quiet_NaN());},
671             []{return F::fcvt_lu_s(-numeric_limits<float>::quiet_NaN());},
674             []{return F::fcvt_lu_s(numeric_limits<float>::signaling_NaN());},