"Оптимизация" в WinAVR и как с этим бороться Опции

[MaxiMuz]

Перейдя с ассемблера на WinAVR, невольно стал обращать на размер кода. Когда стал разбираться в конкретике генерируемого кода , хваленный на многих сайтах WinAVR обнажил свое несовершенство.
Короче, программка :

Код

#include <avr/io.h>
#include <inttypes.h>

#define Btn1 PB2
#define Btn2 PB3

#define  KeyMask (1<<Btn1)|(1<<Btn2)
#define sbi(p,b) (p |= (1<<b)) //Установить бит

volatile register int8_t Cnt asm("r19");    // фоновый счетчик
volatile register int8_t a asm ("r16");

int main (void)
{
asm("nop");
a = 1;

while(1)
{
if (~(PINB)&(KeyMask))
    {
    a |= 0x01;
    }
if ((--Cnt)==0)
    {
    if (a==1 )
        {
        a=0;
        sbi (PINB,PB2);
        }
    }
}
}

Соответственно , полученный код:

Код

a = 1;
     ldi    r16, 0x01

while(1)
{
[color="#FF00FF"]if (~(PINB)&(KeyMask))
     in     r24, 0x16
     ldi    r25, 0x00
     com    r24
     com    r25
     andi    r24, 0x0C
     andi    r25, 0x00
     or     r24, r25
     breq    .+2[/color]
{
a |= 0x01;
}
     ori    r16, 0x01

[color="#FF0000"]if ((--Cnt)==0)
     mov    r24, r19
     subi    r24, 0x01
     mov    r19, r24[/color]
     brne    .-26    
{
    if (a==1 )
     cpi    r16, 0x01
     brne    .-30
{
        a=0;
     ldi    r16, 0x00

sbi (PINB,PB2);
     sbi    0x16, 2
     rjmp    .-36

Конструкцию if ((--Cnt)==0) выделенную крас.цветом может заменить всего одна машинная команда: dec r19!
Вопрос: как заставить компилятор это делать ?

Во втором случае: if (~(PINB)&(KeyMask)) , невижу смысла во втором парном регистре r25. Можно использовать "tst r24". Можно как нибудь с этим бороться ?!
Не хочеться чтобы потом код получался неоправданно раздутым!
Может быть стоит подождать другую версию компилятора (пользуюсь WinAVR-20100110) или уже пререходить на совсем другой ?

[MaxiMuz]

Спасибо за ответы !

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

Код

#include <avr/io.h>
#include <avr/interrupt.h>  // задает макросы sei() , cli()
#include <inttypes.h>

//=====================================================================
// определение регистров:
volatile register uint8_t FLCnt asm("r16"); //фоновый счетчик длительности переключения свдиода
volatile register uint8_t DBKCnt asm("r18"); //фоновый счетчик для отсчета периода блокировки опроса кнопок
volatile register struct
{
  uint8_t bDbRKey : 1;
  uint8_t bFLed : 1;
} RFGP asm ("r17");

//;----------------------------------------------------------------------------------------------------------------------------------------
//=== Определение макросов
#define sbi(p,b) (p |= (1<<b)) //Установить бит
//;----------------------------------------------------------------------------------------------------------------------------------------
//Определение портов:
/* направление для порта В*/
#define DIRB 0b00010001
/* Pull-ups для порта В*/
#define PUPB 0b00000101

//;----------------------------------------------------------------------------------------------------------------------------------------
//Определение контактов
#define Control1 PB4 /* линия управления VT (1 - откр; 0 - закр ) */
#define Btn1 PB2 /* линия кнопки (на общ.пров) */
#define Led PB0 /* линия светодиода ("1" - вкл. ч/з резистор на общ.) */

//;----------------------------------------------------------------------------------------------------------------------------------------
/* длительность запрета на опрос клавиш t=(101-1)*0,1=10 sec */
#define Vl_DBKCnt 101

/* t=5*0,1=0,5 sec */
#define Vl_FLCnt 5

// Маска кнопок:"Btn"
#define  KeyMask (1<<Btn1)|(1<<1)


//=====================================================================
//=====================================================================
SIGNAL ( SIG_OUTPUT_COMPARE0A)
{//______ Моргание светодиода t=5*0,1=0,5 sec
if (!(--FLCnt))
{//__ Переключение свдиода
  FLCnt=Vl_FLCnt;// перезагрузка ф.счетчика              !!!!
  ~(RFGP.bFLed);
  sbi (PINB,Led);// ________ Переключение свдиода !
}

//______ Формирование запрета на опрос клавиш t=(101-1)*0,1=10 sec
if (RFGP.bDbRKey==1)
{ //__ проверка на первый запуск
   if (DBKCnt == 0 )
    DBKCnt=Vl_DBKCnt;
   --DBKCnt;//__ продолжение счета
   if (DBKCnt==0) // checking of =0
   { //__ сброс флага
     RFGP.bDbRKey=0;
     DBKCnt=Vl_DBKCnt;
   }
}
}

//=============================================================================
//=============================================================================
int main (void)
{
//_________________________ ИНИЦИАЛИЗАЦИЯ _____________________________
uint8_t temp;

PORTB=PUPB; //иницализация порта B
DDRB=DIRB; // задание направления для порта B
TIMSK0=(1<<OCIE0A); /* установка разр. прер-ия по совпадению т/сч.0 с регистром OCR0A */
OCR0A=234; //загрузка регистра совпадения OCR0A коэф. деления
TCCR0A= (1<<WGM01); //установка режима СТС - обнуление Т/С0 при совпадении с регистром OCR0A
TCCR0B=(1<<CS02)|(1<<CS00); // <---- конфигурация и запуск сч-ка в реж. СТС с предделителем ckl/1024
RFGP.bDbRKey=0;
RFGP.bFLed=0;
[color="#ff0000"]DBKCnt=Vl_DBKCnt; //задание начальных значений для счетчиков
FLCnt=(uint8_t)Vl_FLCnt;[/color]

sei (); // Разрешение общего прерывания
//____________________ ЦИКЛ РАБОЧЕЙ ПРОГРАММЫ ______________________
while (1)
{ //____ Считывание кнопки
  temp=~(PINB);
  temp &= KeyMask;
  if (temp)
  {  //______ Обработка нажатия кн."Btn"
   if ( RFGP.bDbRKey==0)//____ проверка на запрет считывания кнопок
   { RFGP.bDbRKey=1; // sbr RFGP,(1<<bDbRKey)
     sbi (PINB,Control1); // ________ Переключение линии Control1 _______________!!!!!
   }
  }
}
}

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

Хотел бы услышать ваши предположения.

Прочитайте еще раз про яйцо и микроволновку. Мне лень считать, сколько раз вам писали, что регистровую переменную нельзя делать volatile, о чем прямым текстом пишут создатели компилятора. Вы же с упорством пьяного продолжаете писать register volatile и пенять на компилятор.

[MaxiMuz]

Прочитайте еще раз про яйцо и микроволновку. Мне лень считать, сколько раз вам писали, что регистровую переменную нельзя делать volatile, о чем прямым текстом пишут создатели компилятора. Вы же с упорством пьяного продолжаете писать register volatile и пенять на компилятор.

Извиняюсь что возмутил вас употребением и применением volatile !
Кстати сказать, из ответ на вопрос о использовании Volatile к регистровым глобальным переменным я со своим плохим знанием английского понял что компилятор уже считает регистровые переменные как volatile. Другими словами использование квалификатора бессмысленно.
Я убрал в обьявлении переменных FLCnt, DBKCnt volatile, результат тотже !
Вопрос остается открытым

[AHTOXA]

Вопрос остается открытым

Какой?

[ReAl]

Какой?

Почему регистровые переменную, вне зависимости от наличя слова volatile, компилятор, предупредивший о своём отношении к таким объявлениям, не рассматривает как volatile и выкидывает из main() их инициализацию, так как в этой же main() к переменным больше обращений нет, а про обращение к ним из прерываний компилятор «не знает».

[AHTOXA]

По-моему, на этот вопрос тоже уже ответили, и не раз
Я на всякий случай ещё раз повторю ответ: да, в этом моменте компилятор работает криво.
Варианты решения проблемы тоже вроде все предложены:

1. Не использовать регистровые переменные.
2. Использовать, но не в качестве volatile-переменных.
3. Использовать, но для обращения к этим переменным применять подпрограммы на (инлайн-)ассемблере.