sem [ fmovrdz fmovrdlez fmovrdlz fmovrdnz fmovrdgz fmovrdgez ] { if(test(Rx(rs1),0?cvt(ullong))) F8(rd,F8(rs2)); } where test in [ == <= < != > >= ];