sem [ andncc orncc xnorcc ]
{ Rx(rd, op(Rx(rs1),~get_src2(i,rs2,simm13) )?cc(CCR)); }
where op in [ & | ^ ];