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