sem [ fbu fbg fbug fbl fbul fblg fbne fbe fbue fbge fbuge fble fbule fbo ] { if(cond(0)) nPC2 = PC + disp22?sext(32)<<2; else if(a) annul(); } 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 ];