// vadc.vim vd, vs2, simm5
require(!(insn.rd() == 0 && P.VU.vlmul > 1));
VI_VI_LOOP
({
  auto &v0 = P.VU.elt<uint64_t>(0, midx);
  const uint128_t op_mask = (UINT64_MAX >> (64 - sew));
  uint64_t carry = (v0 >> mpos) & 0x1;

  uint128_t res = (op_mask & simm5) + (op_mask & vs2) + carry;
  vd = res;
})