sem [ movfu movfg movfug movfl movful movflg movfne movfe movfue movfge movfuge movfle movfule movfo ] { if(cond(bpccr)) Rx(rd,Rx(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 ];