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