sem [ bne be bg ble bge bl bgu bleu bcc bcs bpos bneg bvc bvs ] { if(cond) nPC2 = PC + disp22?sext(32)<<2; else if(a) annul(); } where cond in [ (! CCR?bit(2) ) (CCR?bit(2) ) (!(CCR?bit(2) |(CCR?bit(3) ^ CCR?bit(1) ))) (CCR?bit(2) |(CCR?bit(3) ^ CCR?bit(1) )) (!(CCR?bit(3) ^ CCR?bit(1) )) (CCR?bit(3) ^ CCR?bit(1) ) (!(CCR?bit(0) | CCR?bit(2) )) (CCR?bit(0) | CCR?bit(2) ) (! CCR?bit(0) ) (CCR?bit(0) ) (! CCR?bit(3) ) (CCR?bit(3) ) (! CCR?bit(1) ) (CCR?bit(1) ) ];