sem [ andn orn xnor ]
{ Rx(rd, op(Rx(rs1),~get_src2(i,rs2,simm13) )); schedule(alu); }
where op in [ & | ^ ];