Странное поведение JMP Опции

[Student2]

Мне надо было сделать JMP к адресу 0200. Код такой:

Код

/*---------------------------------------------------------------------------*/
__C_task void main(void)  /* the main code is here */
/*---------------------------------------------------------------------------*/
{
  Initialize();

  
  if (testCode == 0)  /* bad code */
  {
   ((void (*)())0x200)();     /* jump to the fixed address (!!!! USES ICALL!!!!)*/
  }


  if (busReceiveByte() == seq1)
  {

    if (busReceiveByte() == seq2)
    {
      loader();
    }
  }


  ((void (*)())0x200)();  /*(!!!! USES IJMP!!!!) */
  


}

Но на дизассемблере находил что первый JMP \"сделан\" из ICALL а второй из IJMP, что то вроде:

Код

LDI R30, 0x00
LDI R31, 0x02
ICALL


LDI R30, 0x00
LDI R31, 0x02
IJMP

Мне хотелось как нибудь чтобы компилятор поставил RJMP и не мучил меня с IJMP. Конечно я совсем не согласен когда он огорчил меня с ICALL. Слово goto точно подходить для меня но как установить этикет по адресу 0x200?

[SysRq]

Если пишу (WinAVR):

Код

__attribute__((noreturn)) void testing_workmode(void)
{
}

То вызов транслируется в:

Код

rcall    .-1268  ; 0x130a4 <testing_workmode>

Где я ошибаюсь, почему тоже call?

[AHTOXA]

Потому что (имхо) noreturn влияет на формирование пролога и эпилога функции (убирает сохранение используемых регистров), и не влияет на способ вызова этой функции. Она может быть вообще в другом модуле, и вызывающая функция понятия не имеет, что вызываемая - noreturn.
Для проверки напишите

Код

__attribute__((noreturn)) void f2(void)
{
    for (;;);
}
__attribute__((noreturn)) void f1(void)
{
     f2();
}

И получите warning на f1, что типа noreturn-функция похоже делает return.

[Student2]

Программа сейчас работает, но возникла вот такая проблема поддержки и структурной чистотой - адрес установлен в линкере и он не виден из компилятора. Если хочу использовать то же значение 0200 для установки других параметров мне надо заново установит в файле параметр (например #define SIZE_AREA 0x200). Поддержка кода усложнена и возможность сделать ошибки больше потому что надо менять данные на 2 места .

Я попробовал

Код

#define SIZE_AREA   0x200
.....
((void (*)())SIZE_AREA)();

Все работает прекрасно но нахожу в дизассемблере

Код

LDI  R30, 00
LDI R31, 02
IJMP

В итоге 4 байта больше!

Подскажите как вернут добрый RJMP на месте и вместе с тем установить адрес SIZE_AREA внутри С файла - т.е. был доступен внутри С файла для дополнительные операции как
__root __flash uint16_t MARKER @ (SIZE_AREA-2) = 0x434C;

[Сергей Борщ]

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

Почему? Преркрасно виден. Вы же получали адрес функции Application(). Вы можете этот адрес привести к любому нужному типу:

Код

extern void Application();
__C_task void main(void)
{
    ....
        Application();
        uint16_t Size_Area = (uint16_t)Application;
    ....
}

__root __flash uint16_t MARKER @ (SIZE_AREA-2) = 0x434C;

Вам надо в скрипте линкера создать новый сегмент для этих данных и заставить линкер правильно расположить его:

Код

-DApplication=200
-Z(CODE)MARKER_seg#0-(Application-1)

Код

#pragma segment = "MARKER_seg"
#pragma location = "MARKER_seg"
__root __flash   uint16_t MARKER = 0x434C;

примерно так.