// vadc.vxm vd, vs2, rs1, v0
VI_XI_LOOP_WITH_CARRY
({
  vd = (uint128_t)((op_mask & rs1) + (op_mask & vs2) + carry);
})