sem [			fbpu	fbpg	fbpug	fbpl	fbpul	fbplg
	fbpne	fbpe	fbpue	fbpge	fbpuge	fbple	fbpule	fbpo	] {
    if(cond(bpccr)) nPC2 = PC + disp19?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	];