Тема: С++ disasm vs C# disasm

Вот решил написать в этом разделе хоть одну темку. На asm-е давненько уже не кодирую, разве что для сверх оптимизации с приминением MMX, SSE и 3DNow!. Почему сверх? Да потому, что самая эффективная оптимизация - это оптимизация алгоритма. Но ближе к теме: недавно я столкнулся с такой вот интересной интерпретацией одного и того же тестового кода, но на разных языках:

Код:

 
int i = 2;
int res = ++i + i++;

Результат этого кода на C# 2.0 с компилятором MS csc:
res = 7

Резульат на C++ 8.0 с родным компилятором от MS:
res = 8 !!!

В чем же дело? Дизассемблируем и посмотрим:

C++:

Код:

mov edi, 2
inc edi 
inc edi 
lea eax, [edi+edi]   ; Любопытно. Складываются два указателя!
mov ebp, eax
 

C#:

Код:

mov esi,2 
inc esi
mov edi,esi 
inc esi 
add edi,esi 
mov ebx,edi  

И кто здесь прав?

кстати если посмотреть по внимательней на приведенный выше асемблерный код, то можно заметить, что в С++ варианте компилер произвел попытку оптимизации.
Там где комментарий "; Любопытно. Складываются два указателя!" мы видим что сложение содержимого двух регистров запихивается в другой регистр всего одной командой

Код:

lea eax, [edi+edi]

, в отличие от C# компилятора. Очень это занимательно =)

Кстати в 2003 VS у меня 6

Чтобы закончить споры давайте представим себя компилятором строго следующим стандарту :)
итак, имеем код

Код:

int i = 2;
int res = ++i + i++;

поехали!
1) Инициализируем i значением 2
2) Видим преинкремент и приплюсовываем i единицу, имеем i == 3
3) Видим сложение и постинкремент, но на то он и пост чтобы быть после, и производим сложение, i + i (3+3) == 6
4) Записываем значение 6 в res и плюсуем к i единицу.

Итого: res == 6, i == 4.

А вообще, такой код следует избегать, и я всегда стараюсь помочь компилятору лучше меня понять, ведь тогда он сгенерирует лучший код. Помогайте своему компилятору и он поможет вам :)