В качестве общего источника информации, касающейся использования регистра и других украшений, посмотрите документы для Расширенная встроенная сборка GCC
Я предлагаю вам запустить этот источник через
gcc .... -S
чтобы увидеть, каков результат сгенерированного результата.
Вы также можете запустить
objdump -dC -S <objectfile.o>
Вам понадобится objdump из вашего кросс-компиляторного набора инструментов.Кроме того, скомпилируйте с отладочной информацией, чтобы получить исходную аннотацию (-S).Скомпилируйте с -O0, чтобы избежать путаницы из-за оптимизации.