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