Ошибка внутри ассемблерной вставки?

Question

[Chevengur]

Экспериментирую с ассмеблерными вставками (пока не нашел хороших статей). К ошибке в коде приводят последние строки, которые заменяю "return 0". Вот только в прошлый раз этот отрывок был рабочим.

#include <iostream>
using namespace std;

int main() {
	volatile long i = 1024;
	volatile int j = 256;
	_asm {
		add i, eax;
		xor eax, eax;
		add eax, j;
		xor j, eax;
	}
	cout << "eax value: " << i - 1024 << endl << "j xor j: " << j;
	cin.get();
	_asm { 
		xor eax, eax; //Вот тут
		retn;
	}
}

Answer 1

[Армянское Радио]

1. По стандарту C++, всякая функция, которая что-то возвращает, должна содержать return. Иначе - неопределенное поведение, так как компилятор не сможет сгенерировать правильный эпилог.
2. Пролог и эпилог должен генерировать кто-то один.
3. Некоторые особо дурные компиляторы умеют отключать генерирование пролога и эпилога. Напимер, VC++ это делает при помощи __declspec(naked).

Вывод:
Либо вы выключаете пролог/эпилог и пишите на ассемблере всю функцию, включая пролог и эпилог.
Либо вы пишите только ВСТАВКИ, и не выносите мозг компилятору, перекашивая ему стек. (В начале и в конце вставки стек должен быть прежним).

Comments

[Дмитрий]

А чего это дурного в naked-функциях? Не раз лично сталкивался с необходимостью сгенерировать голую функцию. Очень даже полезная опция, и, по моему мнению, должна присутствовать в любом адекватном компиляторе.

[Армянское Радио]

Дмитрий Мостовенко: Проблема в том, что мы нагло говорим оптимизатору ФУ, лепя собственный пролог и эпилог, в результате, можем получить либо неподдерживаемый-непереиспользуемый-непереносимый (малейшая правка исходника поломает все ассемблерные прелести) либо медлительный (так как оптимизатор в этом месте умыл руки) код.
Гораздо перспективнее не лепить ассемблер, а писать так, чтобы оптимизатор сделал хороший ассемблер (развернул циклы, векторизовал все что можно, выровнял обмен данными на ширину кэша, расставил префетчи и т.п.).

[Chevengur]

Пользователь: Visual Studio.

Answer 2

[Владимир Мартьянов]

Полный текст ошибки угадывать предлагаете?

Comments

[Chevengur]

Добавил скрины.

Answer 3

[sitev_ru]

Ошибка в retn. Поставь в конце main сишный оператор return; и дизассемблируй - и скинь сюда... Там и будет ответ...

Comments

[Армянское Радио]

Не следует городить костыли вокруг стандарта. Компилятор и оптимизатор сочиняют пролог и эпилог на свое усмотрение. Поэтому, если просто скопировать эпилог из частного случая, можно получить дикие глюки в дальнейшем.

[Chevengur]

Дело в том, что я как-то дизассемблировал "return 0" и получил именно то, что я написал. Потом я, чтобы окончательно убедиться, заменил "return 0" на эту вставку и все работало как надо. Почему тут выдается ошибка не понимаю.

[sitev_ru]

Вот что у меня получилось:
_asm {
xor eax, eax;

pop edi
pop esi
pop ebx
add esp, 192;
cmp ebp, esp
mov esp, ebp
pop ebp
ret 0
}