При использовании встроенного ассемблера в MSVC можно выйти за пределы ассемблерного блока, сославшись на метку в коде C/C++, как объяснено в этой статье MSDN.
Можно ли такое сделать при использовании встроенной сборки в GCC?
Вот пример того, что я пытаюсь выполнить:
__asm__ __volatile__ (
" /* assembly code */ "
" jz external_label; "
);
/* some C code */
external_label:
/* C code coninues... */
Однако компилятор жалуется на то, что «external_label» не определен.
Код в этом ответе работает, но имеет неопределенное поведение и, как правило, нарушает работу при включенной оптимизации. Выйти из встроенного ассемблерного оператора безопасно только с помощью asm goto или под ограниченные обстоятельства, когда за оператором asm следует __builtin_unreachable();
(Здесь это неприменимо: никогда не бывает безопасно прыгать в середину встроенного ассемблерного оператора, а затем снова выпадать в сгенерированный компилятором код внутри функции.)
Что, если вы определите метку с помощью ассемблера?
asm("external_label:");
Обновление: этот код работает:
#include <stdio.h>
int
main(void)
{
asm("jmp label");
puts("You should not see this.");
asm("label:");
return 0;
}
Начиная с GCC 4.5, вы также можете использовать asm goto. В следующем примере выполняется переход к метке C:
#include <stdio.h>
int main(void) {
asm goto (
"jmp %l[done]" // %l == lowercase L
:
:
:
: done // specify c label(s) here
);
printf("Should not see this\n");
done:
printf("Exiting\n");
return 0;
}
