sem [ tne te tg tle tge tl tgu tleu tcc tcs tpos tneg tvc tvs ] { if(bpcc1) { if(cond_xcc) _trap(i,rs2,sw_trap) ; } else if(cond_icc) _trap(i,rs2,sw_trap) ; } where cond_xcc in [ (! CCR?bit(6) ) (CCR?bit(6) ) (!(CCR?bit(6) |(CCR?bit(7) ^ CCR?bit(5) ))) (CCR?bit(6) |(CCR?bit(7) ^ CCR?bit(5) )) (!(CCR?bit(7) ^ CCR?bit(5) )) (CCR?bit(7) ^ CCR?bit(5) ) (!(CCR?bit(4) | CCR?bit(6) )) (CCR?bit(4) | CCR?bit(6) ) (! CCR?bit(4) ) (CCR?bit(4) ) (! CCR?bit(7) ) (CCR?bit(7) ) (! CCR?bit(5) ) (CCR?bit(5) ) ], cond_icc 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) ) ];