Немного не так. В результатом выражения v++ является предыдущее значение v. А побочным эффектом -- операция чтение-инкремент-запись над v. А результат это уже не сама v как бы, поэтому по-моему имеет право быть одно чтение, а имеет право быть несколько (на это лимитов нет), в зависимости сможет ли компилятор сохранить значение в свободном регистре.