Про IAR компилятор С Опции

[Dopler]

Здравствуйте.

Раньше никогда на C под железо не писал, только на ассемблере. Но жизнь показывает, что для ARM писать все на asm не актуально. Начал смотреть, какой код генерирует компилятор. Вот для примера две строки на C:

Код

      for(waiting_time = 1999; waiting_time >= 0; waiting_time--);

      for(waiting_time = 0; waiting_time <= 2000; waiting_time++);

Обе эти строки эквивалентны с точки зрения выполнения программы на С (т.е. будет 2000 шагов). Компилятор генерирует следующий код:

\ main:
\ ??main_0:
\ 00000000 CF00A0E3 MOV R0,#+207
\ 00000004 700E80E3 ORR R0,R0,#0x700
\ 00000008 000000EA B ??main_1
\ ??main_2:
\ 0000000C 010040E2 SUB R0,R0,#+1
\ ??main_1:
\ 00000010 000050E3 CMP R0,#+0
\ 00000014 FCFFFF5A BPL ??main_2
19
20 //AT91C_BASE_PIOB->PIO_CODR = 1 << 22;
21 for(waiting_time = 0; waiting_time < 2000; waiting_time++) ;
\ 00000018 0000A0E3 MOV R0,#+0
\ ??main_3:
\ 0000001C 7D0E50E3 CMP R0,#+2000
\ 00000020 F6FFFFAA BGE ??main_0
\ 00000024 010080E2 ADD R0,R0,#+1
\ 00000028 FBFFFFEA B ??main_3



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

[VAI]

я, обычно, смотрю листинг, что у меня получилось, делаю несколько вариантов одного и того-же (как Вы в Вашем примере), и выбираю, с моей точки зрения, оптимальный.
И уровень оптимизации делаю максимальный или приближеный к нему.

[scifi]

Забавно, а у меня комилятор в обоих случаях сгенерил одно и то же:

Код

    for (i=0; i<2000; i++)
        __no_operation();
    for (i=1999; i>=0; i--)
        __no_operation();

    for (i=0; i<2000; i++)
  000195C4  E3A00E7D  MOV          R0, #0x7D0
        __no_operation();
  000195C8  E1A00000  NOP          
    for (i=0; i<2000; i++)
  000195CC  E2500001  SUBS         R0, R0, #0x1
    for (i=0; i<2000; i++)
  000195D0  1AFFFFFC  BNE          0x0195C8
    for (i=1999; i>=0; i--)
  000195D4  E3A00E7D  MOV          R0, #0x7D0
        __no_operation();
  000195D8  E1A00000  NOP          
    for (i=1999; i>=0; i--)
  000195DC  E2500001  SUBS         R0, R0, #0x1
    for (i=1999; i>=0; i--)
  000195E0  1AFFFFFC  BNE          0x0195D8

Это IAR 4.40, С++, максимальная оптимизация на скорость. Надо сказать, этот компилятор оставляет хорошее впечатление.
А вообще лучше не лезть в дела компилятора, а заниматься более интересными вещами, то есть написанием программ. Проверять сгенерированный код надо только тогда, когда не хватает памяти или скорости. Иначе не останется времени на отдых :-)

[Dopler]

Примерно о таком коде я и мечтал, если бы еще и NOP выкинуть... Если убрать пустую операцию, то весь цикл попадает под нож оптимизатора при максимальной оптимизации, во всех других режимах оптимизаци цикл сохраняет первозданное уродство с тремя переходами.

Вопрос в том, что при желании сделать например, функцию

Код

SimpleDelay (long d)
{
     for (;d!=0;d--);

}

Этот самый Delay будет прямо зависить от режима оптимизации, и вообще улетит при максимальной.

Следующий вопрос, а как-нибудь вообще можно объявить функцию на asm как inline? Или сделать макрос на asm для использования в C-коде?

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

Если убрать пустую операцию, то весь цикл попадает под нож оптимизатора при максимальной оптимизации

Если писать правильно, то не попадает.

Вопрос в том, что при желании сделать например, функцию

Код

SimpleDelay (long d)
{
     for (;d!=0;d--);
}

Этот самый Delay будет прямо зависить от режима оптимизации, и вообще улетит при максимальной.

А если так:

Код

SimpleDelay (long volatile d)
{
     for (;d!=0;d--);
}

При разном уровне действительно возможно различное время выполнения, но можно ведь для этой конкретной функции выставить желаемый уровень оптимизации с помощью #pragma.

Следующий вопрос, а как-нибудь вообще можно объявить функцию на asm как inline? Или сделать макрос на asm для использования в C-коде?

В gcc вроде да, в IAR - точно нет. Про остальные не знаю.