sem [ fmovrsz fmovrslez fmovrslz fmovrsnz fmovrsgz fmovrsgez ] { if(test(Rx(rs1),0?cvt(ullong))) F4(rd,F4(rs2)); } where test in [ == <= < != > >= ];