Встроенная сборка внутри циклов

Я не могу понять, в чем проблема, но попробуйте написать код, используя чистый ассемблерный код, такой же, как

asm{
   loop1:
     mov ax, this->var
     ...
     dec ax
     cmp ax, 0
     je exit
     jmp loop1
}

...

выход:

Также попробуйте сделать значение «var» статическим, это тоже может помочь.

Осмотрите разборку. Наиболее вероятная причина заключается в том, что i и/или переменные, содержащие конечное значение, повторно выбираются из фиксированного смещения в стеке на каждой итерации цикла for, а ваш push смещает указатель стека от того места, где ожидал компилятор, и поэтому вызывает получение неправильных значений.

Вы можете попробовать различные обходные пути (например, объявить локальные переменные register), но, к сожалению, в этом случае нет хорошего способа гарантировать правильное поведение в C/C++. Чтобы избежать этой проблемы, реализуйте цикл самостоятельно, как предлагает oivoodoo.

Вот мои попытки психической отладки:

i и this, скорее всего, хранятся в стеке, а на 386 и более поздних версиях машинный код может напрямую обращаться к esp-относительным ячейкам памяти, поэтому компилятор вполне может создавать такие инструкции, как

mov eax,[esp+8]

чтобы получить значение this в регистр eax. Проблема в том, что ваши push операции путаются с указателем стека, поэтому эти жестко запрограммированные обращения будут обращаться (все чаще) к неправильным ячейкам памяти после первой итерации.

Скорее всего, более простые формы циклов без this->someVar оптимизируются компилятором более тщательно и приводят к тому, что машинный код использует только регистры и не использует esp-относительный доступ, то есть они продолжают нормально работать.

Когда-то все обращения к памяти с локальными переменными и аргументами выполнялись через регистр ebp, который не изменяется вашим встроенным ассемблерным кодом. Если вы можете найти переключатель компилятора, который принудительно использует ebp вместо esp, это может решить вашу проблему.

Предупреждение: компилятор не ожидает, что вы возитесь со стеком — он ожидает, что он всегда знает, где находится вершина стека. Если вы действительно хотите динамически помещать вещи в стек, я бы предложил полностью написать сам цикл на языке ассемблера как oivoodoo сделал.

Во-первых, что, вероятно, происходит, так это то, что gcc под linux использует указатель стека для индексации ваших локальных переменных, а не использует указатель фрейма стека. Это оптимизация, которая позволяет gcc использовать указатель фрейма (BP в x86) в качестве еще одного регистра общего назначения и избежать большого количества кода, устанавливающего фреймы. Кадры — это, по сути, просто область между SP и BP, принадлежащая локальной функции. Держу пари, что если бы вы включили вызов alloca с размером, который вы передали в эту функцию, все стало бы лучше, потому что это заставило бы компилятор не выполнять эту оптимизацию.

При этом ошибка действительно в вашем коде. Если вы действительно не знаете, что делаете, вы никогда не должны выходить из встроенного asm с указателем стека, отличным от того, который был при входе во встроенный asm. Компиляторы почти всегда думают, что они владеют исключительно указателем стека. Они полагаются на то, что он останется неизменным, чтобы они могли использовать его, чтобы найти, где они сохранили переменные. Вы также должны держаться подальше от указателя кадра (BP).

Времена, когда можно возиться с ними, редки и обычно для таких вещей, как код переключения контекста (переход от одного потока или процесса к другому).

Если вы знаете ограничение на количество аргументов, вы можете просто вызвать его с помощью одного вызова функции с этим количеством аргументов, выровняв ваши фактические аргументы до конца.

Предупреждение: abi x86_64 использует регистр для некоторых параметров, что нарушает это и ваш код.