fun set_src2(var inst : InstOp, i, rs2, simm)
{
    if(i) inst.srcq?push_back(literal_src(simm?sext(64)));
    else Rx_src(inst,rs2);
}