sem [ fcmpes fcmped ] {
    (f(rs1)-f(rs2))?cc(fcc[cond]);
    if(f_u(cond)) trap_sparc(0x21?ext(32) ,CWP,CANRESTORE);
    destQ?push_back(513?cvt(ushort)); schedule(fpu);
} where f in [F4 F8];