Определить псевдоним регистра для регистра

Question

Как определить псевдоним регистра в файле ассемблера ('.S') для microblaze? Чтобы я мог написать инструкцию с таким псевдонимом, как

addi    ctx, r0, 0x08       

для ARM это было ctx .req r12, ни .req или же .register работает на микроблэйз.

Файл скомпилирован с GCC.

Answer 1

Возможно, не идеально, но GCC предварительно обрабатывает файлы сборки, поэтому вы можете просто использовать макрос C:

#define ctx r12