Влияет ли на Link Link (LR) встроенные или скрытые функции?

Re: обновить. Оставляя мой старый ответ ниже, так как он отвечает на оригинальный вопрос до редактирования.

__attribute__((naked)) в основном существует, так что вы можете написать все функция в асме, внутри asm заявления вместо в отдельном .S файл. Компилятор даже не выдает инструкцию возврата, вы должны сделать это самостоятельно. Не имеет смысла использовать это для встроенных функций (как я уже ответил ниже).

Вызов naked функция будет генерировать обычную последовательность вызовов, с bl my_naked_functionчто, конечно, устанавливает LR для указания на инструкцию после bl, naked Функция по сути является никогда не встроенной функцией, которую вы пишете в asm. «пролог» и «эпилог» — это инструкции, которые сохраняют и восстанавливают регистры, сохраненные вызываемым пользователем, и сама инструкция возврата (bx lr).

Попробуйте и посмотрите. Это легко посмотреть на вывод asm gcc. Я изменил имена ваших функций, чтобы помочь объяснить, что происходит, и исправил синтаксис (GNU C __attribute__ продление требует удвоенных паренов).

extern void extfunc(void);

__attribute__((always_inline))
inline void break_the_stack() {   asm volatile("PUSH LR");   }

__attribute__((naked))
void myFunc() {
asm volatile("PUSH {r3, LR}\n\t"  // keep the stack aligned for our callee by pushing a dummy register along with LR
"bl extfunc\n\t""pop {r3, PC}");
}int foo_simple(void) {
extfunc();
return 0;
}

int foo_using_inline(void) {
break_the_stack();
extfunc();
return 0;
}

вывод asm с gcc 4.8.2 -O2 для ARM (по умолчанию, я думаю, цель большого пальца).

myFunc():            # I followed the compiler's foo_simple example for this
PUSH {r3, LR}
bl extfunc
pop {r3, PC}
foo_simple():
push    {r3, lr}
bl      extfunc()
movs    r0, #0
pop     {r3, pc}
foo_using_inline():
push    {r3, lr}
PUSH LR
bl      extfunc()
movs    r0, #0
pop     {r3, pc}

Дополнительный push LR означает, что мы вставляем неправильные данные в ПК. Может быть, еще одна копия LR, в этом случае, но мы возвращаемся с измененным указателем стека, поэтому вызывающая сторона прервется. Не связывайтесь с LR или стеком во встроенной функции, если только вы не пытаетесь сделать что-то вроде бинарного инструментария.

re: comments: если вы просто хотите установить переменную C = LR:

Как отмечает @Notlikethat, LR может не содержать обратный адрес. Так что вы можете захотеть __builtin_return_address(0) чтобы получить адрес возврата текущей функции. Однако, если вы просто пытаетесь сохранить состояние регистра, то вы должны сохранить / восстановить все, что имеет функция в LR, если вы хотите правильно возобновить выполнение в этот момент:

#define get_lr(lr_val)  asm ("mov %0, lr" : "=r" (lr_val))

Это может быть необходимо volatile чтобы он не поднимался вверх по дереву вызовов во время оптимизации всей программы.

Это приводит к дополнительной инструкции mov, когда, возможно, идеальной последовательностью будет сохранение lr, а не копирование сначала в другой регистр. Поскольку ARM использует разные инструкции для перемещения reg-reg и сохранения в памяти, вы не можете просто использовать rm ограничение для выходного операнда, чтобы дать компилятору эту опцию.

Вы можете обернуть это внутри встроенной функции. Оператор-выражение GNU C в макросе также будет работать, но встроенная функция должна подойти:

__attribute__((always_inline)) void* current_lr(void) {  // This should work correctly when inlined, or just use the macro
void* lr;
get_lr(lr);
return lr;
}

Для справки: Что такое SP (стек) и LR в ARM?

naked always_inline функция не полезна.

Документы говорят naked функция может содержать только asm операторы и только «базовый» asm (без операндов, поэтому вы должны получить аргументы из нужного места для ABI самостоятельно). Подчеркнуть это бессмысленно, потому что вы не будете знать, куда компилятор поместит ваши аргументы.

Если вы хотите добавить некоторые асмы, не используйте naked функция. Вместо этого используйте встроенную функцию, которая использует правильные ограничения для параметров ввода / вывода.

x86 В вики есть несколько хороших встроенных ссылок asm, и они не все специфичны для x86. Например, см. сборник встроенных ссылок GNU в конце этого ответа примеры того, как правильно использовать синтаксис, чтобы компилятор создавал максимально эффективный код вокруг вашего фрагмента asm.