sem [ fmovfdu fmovfdg
fmovfdug fmovfdl fmovfdul fmovfdlg
fmovfdne fmovfde fmovfdue fmovfdge
fmovfduge fmovfdle fmovfdule fmovfdo ] {
if(cond(bpccr)) F8(rd,F8(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 ];