sem [ fmovfsu fmovfsg
fmovfsug fmovfsl fmovfsul fmovfslg
fmovfsne fmovfse fmovfsue fmovfsge
fmovfsuge fmovfsle fmovfsule fmovfso ] {
if(cond(bpccr)) F4(rd,F4(rs2));
} where cond in [ f_u f_g f_ug f_l f_ul f_lg
f_ne f_e f_ue f_ge f_uge f_le f_ule f_o ];