// vadc.vvm vd, vs2, rs1, v0
VI_VV_LOOP_WITH_CARRY
({
  vd = (uint128_t)((op_mask & vs1) + (op_mask & vs2) + carry);
})