WinAvr: это что за оптимизация? Опции

[777777]

Установку/сброс битов WinAvr всерда делал нормально:

Код

    PORTD &= ~_BV(PD6);
514:    5e 98           cbi    0x0b, 6; 11

Однако для USART-овских регистров он генерит какую-то хрень:

Код

        UCSR0B &= ~_BV(UDRIE0);
4ca:    80 91 c1 00     lds    r24, 0x00C1
4ce:    8f 7d           andi    r24, 0xDF; 223
4d0:    80 93 c1 00     sts    0x00C1, r24

А в другом месте он устроил вообще черт знает что:

Код

    UCSR0B &= ~_BV(TXCIE0);
50a:    e1 ec           ldi    r30, 0xC1; 193
50c:    f0 e0           ldi    r31, 0x00; 0
50e:    80 81           ld    r24, Z
510:    8f 7b           andi    r24, 0xBF; 191
512:    80 83           st    Z, r24

Это что, садизм в особо извращенной форме? Как его заставить делать более осмысленный код?

Сообщение отредактировал 777777 - May 21 2010, 07:57

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

Однако для USART-овских регистров он генерит какую-то хрень:

Какой адрес у регистра USARTа? Каков допустимый диапазон адресов у команды cbi? Как бы вы сделали это на ассемблере?

А в другом месте он устроил вообще черт знает что:
...
Это что, садизм в особо извращенной форме? Как его заставить делать более осмысленный код?

А может там дальше идут еще обращения к соседним регистрам? И потратив 2 слова на загрузку адреса в Z компилятор экономит по слову на каждой следующей команде lds/sts. Если идет обращение r-m-w хотя бы к двум регистрам, такое решение уже оказывается на 2 слова короче.

[777777]

Какой адрес у регистра USARTа? Каков допустимый диапазон адресов у команды cbi? Как бы вы сделали это на ассемблере?

Да, это я запамятовал... Но следующий пример зачем он сделал так?

А может там дальше идут еще обращения к соседним регистрам? И потратив 2 слова на загрузку адреса в Z компилятор экономит по слову на каждой следующей команде lds/sts. Если идет обращение r-m-w хотя бы к двум регистрам, такое решение уже оказывается на 2 слова короче.

Нет там ничего. Это обработка прерывания, состоящая из двух строк:

Код

    UCSR0B &= ~_BV(TXCIE0);
50a:    e1 ec           ldi    r30, 0xC1; 193
50c:    f0 e0           ldi    r31, 0x00; 0
50e:    80 81           ld    r24, Z
510:    8f 7b           andi    r24, 0xBF; 191
512:    80 83           st    Z, r24
    PORTD &= ~_BV(PD6);
514:    5e 98           cbi    0x0b, 6; 11

Из-за этого ему приходится дополнительно сохранять/восстанавливать регистры r30/r31

[swisst]

может немного оффтоп, но если я правильно понял, то в данном случае можно применить атрибут ISR_NAKED и сохранения контекста не будет...

Причина редактирования: Бездумное цитирование

[_Pasha]

ISR_NAKED и сохранения контекста не будет...

Нормально там контекст сохраняется в здравых случаях. Ручками-то не намного лучше, при этом регистры жрутся. Если же имеется случай, когда есть несколько векторов, например, уартов, в начале прерывания надо сохраниться и инициалазировать указатели - а дальше переход в длинннную пп - как сделать асмом - это очевидно. На сях выходил из положения инлайновыми функциями.