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); }