sem [ movrz movrlez movrlz movrnz movrgz movrgez ] { if(test(Rx(rs1),0?cvt(ullong))) Rx(rd,Rx(rs2)); schedule(alu); } where test in [ == <= < != > >= ];