sem [ addcc subcc andcc orcc xorcc ]
{ Rx(rd, op(Rx(rs1),get_src2(i,rs2,simm13) )?cc(CCR)); }
where op in [ + - & | ^ ];