Помощь - Поиск - Пользователи - Календарь
Полная версия этой страницы: Эффективность кода WinAVR
Форум разработчиков электроники ELECTRONIX.ru > Микроконтроллеры (MCs) > AVR
777777
Apr 21 2008, 07:06
Она действительно такая никудышняя или можно повысить какими-то ключами?
Вот пример:
Код
40:           if(chng != 0)
+00000074:   8189        LDD     R24,Y+1          Load indirect with displacement
+00000075:   2388        TST     R24              Test for Zero or Minus
+00000076:   F179        BREQ    PC+0x30          Branch if equal
42:               if(chng & (1<<IN1_INC))
+00000077:   8189        LDD     R24,Y+1          Load indirect with displacement
               ...

В следующей строке компилятор уже не помнит, что переменная уже лежит в R24 и грузит ее заново. Такой тупой компиляции я никак не ожидал, может надо где-то включить оптимизацию? Да и хелпа я что-то нигде не найду sad.gif
Kuzmi4
Apr 21 2008, 07:07
2 777777 - какие ключи использовали ??
..
там в принципе ключик -Os - генерит более менее правильный код..
777777
Apr 21 2008, 07:12
Цитата(Kuzmi4 @ Apr 21 2008, 11:07) *
2 777777 - какие ключи использовали ??


То, что AVR поставил по умолчанию:
-Wall
-gdwarf-2
-O0

Кстати, на означает ли последний ключ отключение оптимизации? Где бы про них почитать, а то хелп только на AVR Studio, а на сишный компилятор нигде не найду sad.gif
Палыч
Apr 21 2008, 07:18
-O0 - Do not optimize

Ключи описаны в файле gcc.pdf
777777
Apr 21 2008, 07:21
Цитата(Kuzmi4 @ Apr 21 2008, 11:07) *
там в принципе ключик -Os - генерит более менее правильный код..


Классно, код сразу сокранился почти в 2 раза. С таким уже можно работать. smile.gif
И еще вопрос: а есть ли там bool? Редактор подсвечивает bool, true и false, а компилер на них ругается. Может их тоже включать надо?
MrYuran
Apr 21 2008, 07:28
Цитата(777777 @ Apr 21 2008, 11:21) *
Классно, код сразу сокранился почти в 2 раза. С таким уже можно работать. smile.gif
И еще вопрос: а есть ли там bool? Редактор подсвечивает bool, true и false, а компилер на них ругается. Может их тоже включать надо?

надо подключить stdbool.h
Палыч
Apr 21 2008, 08:06
Цитата(MrYuran @ Apr 21 2008, 10:28) *
надо подключить stdbool.h
Или ключ -xc++
777777
Apr 21 2008, 08:54
Цитата(MrYuran @ Apr 21 2008, 11:28) *
надо подключить stdbool.h


Э, это не то! там они просто дефайнятся, а я хотел поддержки со стороны компилятора, причем чтобы bool имел размер в 1 бит, как в 51 (правда, там этот тип называется bit). И если объявить такую функцию, то она будет возвращать свое значениев не в регистре, а в бите переноса.
Палыч
Apr 21 2008, 09:03
Цитата(777777 @ Apr 21 2008, 11:54) *
Э, это не то! там они просто дефайнятся, а я хотел поддержки со стороны компилятора, причем чтобы bool имел размер в 1 бит, как в 51 (правда, там этот тип называется bit). И если объявить такую функцию, то она будет возвращать свое значениев не в регистре, а в бите переноса.
И, зачем это Вам? AVR - это не МК51, битовоадресуемой памяти нет, битовых операций тоже ( SBI, CBI, BST, BLD - невсчет).
mse
Apr 21 2008, 09:24
Цитата(Палыч @ Apr 21 2008, 13:03) *
И, зачем это Вам? AVR - это не МК51, битовоадресуемой памяти нет, битовых операций тоже ( SBI, CBI, BST, BLD - невсчет).

Есть, есть...;О) Мало, не везде, но есть. GPIOR0...2
Obama
Apr 21 2008, 09:48
Цитата(Палыч @ Apr 21 2008, 11:18) *
-O0 - Do not optimize

Ключи описаны в файле gcc.pdf


А где его найти ? У меня в инсталяции WinAVR только 6 .pdf файлов и среди них нету - gcc.pdf
Палыч
Apr 21 2008, 09:59
gcc.gnu.org/onlinedocs/gcc-4.0.2/gcc.pdf

P.S. Свежее: gcc.gnu.org/onlinedocs/gcc-4.3.0/gcc.pdf
mdmitry
Apr 21 2008, 14:21
После инсталляции:
C:\WinAVR-20071221\doc\gcc\HTML\gcc-4.2.2 и посмотреть ... smile.gif
777777
Apr 21 2008, 14:43
Я в шоке. Какой код можно сгенерировать на такую строку:
Код
if(v & F0BIT)

Вот результат:
Код
               if(v & F0BIT)
+0000003B:   2F24        MOV     R18,R20          Copy register
+0000003C:   2733        CLR     R19              Clear Register
+0000003D:   2F93        MOV     R25,R19          Copy register
+0000003E:   2F82        MOV     R24,R18          Copy register
+0000003F:   E063        LDI     R22,0x03         Load immediate
+00000040:   9596        LSR     R25              Logical shift right
+00000041:   9587        ROR     R24              Rotate right through carry
+00000042:   956A        DEC     R22              Decrement
+00000043:   F7E1        BRNE    PC-0x03          Branch if not equal
+00000044:   7081        ANDI    R24,0x01         Logical AND with immediate
+00000045:   7090        ANDI    R25,0x00         Logical AND with immediate
+00000046:   2388        TST     R24              Test for Zero or Minus
+00000047:   F011        BREQ    PC+0x03          Branch if equal

А все потому, что константа F0BIT описана следующим образом:
Код
const int F0BIT    = (1<<F0);    
const int F1BIT    = (1<<F1);

И вот вместо того, чтобы на этапе компиляции вычислить это выражение и сделать логическое И с переменной, компилятор решает сдвинуть переменную на F0 битов! Особенно порадовала строка ANDI R25,0x00. Впрочем, CLR R19 с последующей MOV R25,R19 тоже ничего...

А я уж было обрадовался что компилятор заработал... sad.gif
aaarrr
Apr 21 2008, 15:06
Цитата(777777 @ Apr 21 2008, 18:43) *
А все потому, что константа F0BIT описана следующим образом:
Код
const int F0BIT    = (1<<F0);    
const int F1BIT    = (1<<F1);

А зачем было описывать константу столь затейливым образом? Компилятор не работает, как же.
777777
Apr 21 2008, 15:42
Цитата(aaarrr @ Apr 21 2008, 19:06) *
А зачем было описывать константу столь затейливым образом? Компилятор не работает, как же.


Тот же результат наблюдается если написать const int F0BIT = 8;
И ничего затейливого в этом нет.
singlskv
Apr 21 2008, 15:46
Цитата(777777 @ Apr 21 2008, 19:42) *
Тот же результат наблюдается если написать const int F0BIT = 8;
И ничего затейливого в этом нет.

Пользуйтесь define и проблем не будет:
Код
#define FOBIT 8
#define FOBIT_MASK (1<<FOBIT)
......

  if (XXX & FOBIT_MASK)
............
Палыч
Apr 21 2008, 15:48
Цитата(777777 @ Apr 21 2008, 18:42) *
Тот же результат наблюдается если написать const int F0BIT = 8; И ничего затейливого в этом нет.
Что, тоже сдвигает? smile.gif А, если так:
#define F0BIT (1<<F0)
777777
Apr 21 2008, 16:44
Цитата(Палыч @ Apr 21 2008, 19:48) *
Что, тоже сдвигает? smile.gif А, если так:
#define F0BIT (1<<F0)


То же самое. Впрочем, я уже скачал новую версию, 20080411 (4.3.0), там это место генерируется весьма эффективно, через SBRS, но там в другом месте глюк - часть кода не транслируется вообще, завтра буду разбираться.
Qwertty
Apr 21 2008, 17:11
GCC 3.4.6
Код
#define    F0    5
const int F0BIT    = (1<<F0);
uint16_t v;

int    main(void)
{
if(v & F0BIT) PORTD = 0; else PORTD = 0xFF;

while(1){};
}


Код
---- main.c ---------------------------------------------------------------------------------------
23:       if(v & F0BIT) PORTD = 0; else PORTD = 0xFF;
+00000032:   91800062    LDS     R24,0x0062       Load direct from data space
+00000034:   91900063    LDS     R25,0x0063       Load direct from data space
+00000036:   FF85        SBRS    R24,5            Skip if bit in register set
+00000037:   C002        RJMP    PC+0x0003        Relative jump
+00000038:   BA12        OUT     0x12,R1          Out to I/O location
+00000039:   C002        RJMP    PC+0x0003        Relative jump
+0000003A:   EF8F        SER     R24              Set Register
+0000003B:   BB82        OUT     0x12,R24         Out to I/O location
33:       while(1){};
+0000003C:   CFFF        RJMP    PC-0x0000        Relative jump

Никто ничего не вычисляет smile.gif
Aesthete Animus
Apr 21 2008, 17:36
Вопрос конечно совсем не в тему... Но не скажите как вы генерите листинги, что в них вставляются комментарии (Load direct from data space, Out to I/O location и пр.)?
Qwertty
Apr 21 2008, 17:50
Цитата(Aesthete Animus @ Apr 21 2008, 21:36) *
Вопрос конечно совсем не в тему... Но не скажите как вы генерите листинги, что в них вставляются комментарии (Load direct from data space, Out to I/O location и пр.)?

Я запускаю отладку в студии, а потом view -> dissasembler -> ctrl+c -> ctrl+v...
Aesthete Animus
Apr 21 2008, 18:24
Цитата(Qwertty @ Apr 21 2008, 21:50) *
Я запускаю отладку в студии, а потом view -> dissasembler -> ctrl+c -> ctrl+v...

Понятно... Просто я обычно делаю через avr-objdump -h -S main.elf > main.lst, потому и было неясно...
777777
Apr 22 2008, 04:31
Цитата(Qwertty @ Apr 21 2008, 21:11) *
GCC 3.4.6


У меня была 3.4.5


Цитата(777777 @ Apr 21 2008, 20:44) *
... Впрочем, я уже скачал новую версию, 20080411 (4.3.0), там это место генерируется весьма эффективно, через SBRS, но там в другом месте глюк - часть кода не транслируется вообще, завтра буду разбираться.


После уменьшения кода до минимально необходимого для повторения глюка, удалось понять его причину. Дело в том, что gcc - компилятор "настоящий" (в отличие от Keil, напимер), поэтому volatile нужно писать всегда, где это надо smile.gif
Qwertty
Apr 22 2008, 07:05
Цитата(777777 @ Apr 22 2008, 08:31) *
У меня была 3.4.5

Попробовал в 4.2.2 - тоже нормально, почти оптимальный результат.
Цитата(777777 @ Apr 22 2008, 08:31) *
После уменьшения кода до минимально необходимого для повторения глюка, удалось понять его причину. Дело в том, что gcc - компилятор "настоящий" (в отличие от Keil, напимер), поэтому volatile нужно писать всегда, где это надо smile.gif

Никогда не видел, что бы отсутствие волатила препятствовало компиляции. Обычно это совсем не мешает, просто программа работает не совсем так, как надо. Или совсем не так smile.gif
Можно примерчик кода не собирающегося без волатила?
west329_
Apr 22 2008, 07:17
извеняюсь за оффтоп, что ето значит volatile, встречал пару раз в обявлениях процедур[quote]volatile
777777
Apr 22 2008, 07:30
Цитата(Qwertty @ Apr 22 2008, 11:05) *
Никогда не видел, что бы отсутствие волатила препятствовало компиляции. Обычно это совсем не мешает, просто программа работает не совсем так, как надо. Или совсем не так smile.gif

Ну так программа работает не так именно потому, что компилятор постарался smile.gif
Цитата(Qwertty @ Apr 22 2008, 11:05) *
Можно примерчик кода не собирающегося без волатила?

Код
#include <avr/io.h>

#define    CTRL0        0        // output bits
#define    CTRL1        1        //

#define    F0            2        // input bits
#define    F1            3        //

/*volatile*/ int8_t Pulse;

int main()
    {
    // port B
    PORTB = 0xff;
    DDRB = (1<<CTRL0)|(1<<CTRL1);

    uint8_t State = PINB;    // previous B state
    Pulse = 0;

    while(1)
        {
        // inc/dec Pulse if F1 changes
        if((PINB^State) & (1<<F1))
            {
            State = PINB;    // ***
            uint8_t v = -1;
            if(State & (1<<F0))
                v = 1;
            if(State & (1<<F1))
                v = -v;
            Pulse += v;
            }
        }
    }

переменную Pulse предполагается использовать в прерывании. Но компилятор об этом не знает и потому считает ненужными все стоки после // *** так как он не видт использования Pulse. Правда, тогда непонятно почему он вообще не выкидывает while(1), ведь внутри него ничего не происходит - порты не записываются, а локальные переменные не должны никого интересовать.
IgorKossak
Apr 22 2008, 07:39
Цитата(777777 @ Apr 22 2008, 10:30) *
Правда, тогда непонятно почему он вообще не выкидывает while(1), ведь внутри него ничего не происходит - порты не записываются, а локальные переменные не должны никого интересовать.

Главное, что порт читается, а чтение может быть разрушающим (или компилятору надо хранить список таких специфических портов).
Компилятор не должен делать предположений на этот счёт.
Для просмотра полной версии этой страницы, пожалуйста, пройдите по ссылке.
Invision Power Board © 2001-2025 Invision Power Services, Inc.