Вопрос по быстродействию SAM7 Опции

[evgene]

Некоторое время использую в новых проектах AT91SAM7S. Ранее не требовалось оптимизации по быстродействию, но возникла задача, в которой очень важно обеспечить высокую производительность алгоритма. После экспериментов с быстродействием, столкнулся с необъяснимым эффектом. Суть проблемы такова: написал процедуру, просмотрел в дебагере сколько тактов процессора идет на обработку. Зная частоту проца, вычислил время исполнения кода. После практического измерения, реальное время исполнения оказалось значительно выше (примерно в 1.6 раза).
Для упрощения задачи написал процедуру:
__ramfunc void Benchmark()
{
volatile unsigned int i ;
for ( i = 0 ;(i < 480000 );i++ ) ;

}
При частоте ядра 48 МГц время выполнения должно составлять около 100 мс. На практике 160 мс.
Частота ядра выставлена верно, измерения фактического времени выполнения тоже верны, все перепроверено несколько раз. Компилятор - IAR, оптимизация отключена. Смотрел асм. Там все верно (должно быть 10 тактов в одном цикле).
За счет чего падает производительность. Не понимаю где скрыт подвох.

[aaarrr]

Можно. RVDS 2.2, оптимизация отключена:

Код

    Benchmark
    $a
    .text
        0x00000000:    e3a00000    MOV      r0,#0
        0x00000004:    ea000000    B        {pc} + 0x8 ; 0xc
        0x00000008:    e2800001    ADD      r0,r0,#1
        0x0000000c:    e250c807    SUBS     r12,r0,#0x70000
        0x00000010:    225ccc53    SUBSCS   r12,r12,#0x5300
        0x00000014:    3afffffb    BCC      {pc} - 0xc ; 0x8
        0x00000018:    e12fff1e    BX       r14

[KAlex]

Можно. RVDS 2.2, оптимизация отключена:

Код

    Benchmark
    $a
    .text
        0x00000000:    e3a00000    MOV      r0,#0
        0x00000004:    ea000000    B        {pc} + 0x8; 0xc
        0x00000008:    e2800001    ADD      r0,r0,#1
        0x0000000c:    e250c807    SUBS     r12,r0,#0x70000
        0x00000010:    225ccc53    SUBSCS   r12,r12,#0x5300
        0x00000014:    3afffffb    BCC      {pc} - 0xc; 0x8
        0x00000018:    e12fff1e    BX       r14

А как же "volatile"?
Вот IAR без "volatile". Тоже ничего. Хотя загрузка константы осталась в цикле.

Код

   \                     Benchmark:
   \   00000000   0010A0E3           MOV         R1,#+0
   \   00000004   0100A0E1           MOV         R0,R1
   \                     ??Benchmark_0:
   \   00000008   701AA0E3           MOV         R1,#+458752
   \   0000000C   531C81E3           ORR         R1,R1,#0x5300
   \   00000010   010050E1           CMP         R0,R1
   \   00000014   0100002A           BCS         ??Benchmark_1
   \   00000018   010090E2           ADDS        R0,R0,#+1
   \   0000001C   F9FFFFEA           B           ??Benchmark_0
   \                     ??Benchmark_1:
   \   00000020   1EFF2FE1           BX          LR                ;; return

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

Вот IAR без "volatile". Тоже ничего. Хотя загрузка константы осталась в цикле.

А теперь включите оптимизацию и убедитесь, что цикл исчез вообще

[KAlex]

А теперь включите оптимизацию и убедитесь, что цикл исчез вообще

А я и не спорю что исчезнет. Просто в примере от aaarrr я тоже не вижу volatile.

__ramfunc void Benchmark()
{
volatile unsigned int i ;
for ( i = 0 ;(i < 480000 );i++ ) ;

}

Не претендую на истину, но правильнее наверно будет так:
__ramfunc __arm void Benchmark(){
const int c=480000;
volatile unsigned int i ;
for ( i = 0 ;(i < c );i++ );
}

Соответственно листинг:
\ Benchmark:
\ 00000000 04D04DE2 SUB SP,SP,#+4
242 const int c=480000;
\ 00000004 701AA0E3 MOV R1,#+458752
\ 00000008 531C81E3 ORR R1,R1,#0x5300
\ 0000000C 0100A0E1 MOV R0,R1
243 volatile unsigned int i ;
244 for ( i = 0 ;(i < c );i++ );
\ 00000010 0020A0E3 MOV R2,#+0
\ 00000014 00208DE5 STR R2,[SP, #+0]
\ ??Benchmark_0:
\ 00000018 00109DE5 LDR R1,[SP, #+0]
\ 0000001C 000051E1 CMP R1,R0
\ 00000020 0300002A BCS ??Benchmark_1
\ 00000024 00209DE5 LDR R2,[SP, #+0]
\ 00000028 012092E2 ADDS R2,R2,#+1
\ 0000002C 00208DE5 STR R2,[SP, #+0]
\ 00000030 F8FFFFEA B ??Benchmark_0
245 }
\ ??Benchmark_1:
\ 00000034 04D08DE2 ADD SP,SP,#+4 ;; stack cleaning
\ 00000038 1EFF2FE1 BX LR ;; return