sem [ movfu movfg movfug movfl movful movflg
movfne movfe movfue movfge movfuge movfle movfule movfo ] {
if(cond(bpccr)) Rx(rd,Rx(rs2));
srcQ?push_back(513?cvt(ushort)); schedule(alu);
} 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 ];