C компилятор для PicoBlaze, ручные доводки после рссоmp Опции

[anatolich]

Господин Francesco Poderico предлагает С компилятор для ПикоБлэйза. Это СТЭК компилятор.
Конечно удобнее чем KCPSM3.
Но много приходится доводить после компиляции вручную.
Так:
заданные define константы не видны в аsm вставках - приходиться вписывать в код вручную;
если обрабатывать прерывание, то нужно запустить цикл
while(1) {МОЙ КОД} (_end_main: JUMP _end_main - то есть МОЙ КОД остается в стороне)
из которого по прерыванию вываливаемся
в специальную процедуру interrupt my_code(void)
В нем при компиляции вписывается RETURNI DISABLE и мы попадаем
на _end_main: JUMP _end_main

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

Может ли кто-нибудь поделиться опытом работы с этим компилятором?
Или лучше использовать другие тулчейны?