sem [ umulcc smulcc ] {
    set_op(new_inst,Op,1 ,2);
    Rx_src(new_inst,rs1); set_src2(new_inst,i,rs2,simm13) ;
    new_inst.destq?push_back(rmap_dest(11 ,0));
    Rx_dest(new_inst,rd);
    new_inst.destq?push_back(rmap_dest(9 ,0));
} where Op in [124  125 ];