Полная версия этой страницы: Непонятные действия оптимизации.
Начал проект с простого (WinAVR-20070525), таймер и исключающее ИЛИ пина порта (PORTA) в обработчике прерывания этого самого таймера. На выходе ожидался генератор меандра. Загрузил, не работает. После некоторых мук определил, что виновата оптимизация, собираю проект без оптимизации всё работает. Немного расширил проект, стал работать и с оптимизацией, но всё равно некоторые важные части оптимизирует на свой лад. Я понимаю соптимизировать переменную, которая ничего кроме инвертирования не делает, но выкидывание работы с портом, этого я не понимаю. Может я и правда чего не понимаю.
Как на счет объявить переменные с квалификатором volatile, а ввод/вывод сделать на асме.
Цитата(Oleg_IT @ Dec 22 2008, 13:01) 
Может я и правда чего не понимаю.
А уж нам-то каково телепатировать!Показывайте код.
Я переменными для начала не пользовался и volatile мне не к чему. А на порт volatile ставить… В АСМе порты программировать можно, но если проект на Си, то и с портами желательно в Си работать.
Простенький код
Простенький код
Код
ISR (TIMER0_COMP_vect)
{
TCNT0 = 0x00;
PORTA ^= 1;
}
int main(void)
{
TCCR0 = (1 << CS00);
TCNT0 = 0x00;
OCR0 = Dl;
TIMSK |= (1 << OCIE0);
DDRA = 0xFF;
PORTA = 0xFF;
sei();
while (1)
{
}
return 0;
}
{
TCNT0 = 0x00;
PORTA ^= 1;
}
int main(void)
{
TCCR0 = (1 << CS00);
TCNT0 = 0x00;
OCR0 = Dl;
TIMSK |= (1 << OCIE0);
DDRA = 0xFF;
PORTA = 0xFF;
sei();
while (1)
{
}
return 0;
}
Цитата(Oleg_IT @ Dec 22 2008, 16:54)
Простенький код
************************
TCCR0 = (1 << CS00);
************************
TCCR0 = (1 << CS00);
Уважаемый, никакой Си не избавит Вас от необходимости курить мануал и думать головой.
Каким макаком у Вас будет прерывание, если Вы не потрудились даже настроить таймер на работу с OCR0???
% avr-gcc --version
avr-gcc (GCC) 4.3.1
Полёт нормальный.
% avr-gcc -Os -mmcu=atmega16 -S test.c
В ассемблерном листинге присутствуют в функции прерывания команды которые дрыгают ногой.
avr-gcc (GCC) 4.3.1
Полёт нормальный.
% avr-gcc -Os -mmcu=atmega16 -S test.c
В ассемблерном листинге присутствуют в функции прерывания команды которые дрыгают ногой.
Цитата(Сергей Борщ @ Dec 22 2008, 14:23)
А уж нам-то каково телепатировать!
Показывайте код.
И для какого MCU Вы компилируете вашу программу?Показывайте код.
Невозможно дать Вам совет по инициализации таймера не зная тип MCU.
И ещё, хочу Вам напомнить про сторожевой таймер:
Я не увидел в Вашем коде ни wdt_disable() ни wdt_reset()...
Пожалуйста форматируйте код в постах (есть волшебная кнопка # над окном ввода текста сообщения).
Цитата(demiurg_spb @ Dec 22 2008, 15:28)
Я не увидел в Вашем коде ни wdt_disable() ни wdt_reset()...
А зачем им там быть? Раз нет значит не используется.
Цитата(_Pasha @ Dec 22 2008, 15:13)
если Вы не потрудились даже настроить таймер на работу с OCR0???
Почему же, он всего лишь не выставил CTC (WGM01), и делает сброс таймера вручную. Такой способ тоже имеет право на жизнь. OCIE0 возникнет в любом случае при достижении таймером значения OCR0.
Oleg_IT
Ваша программа работает одинаково, как с оптимизацией, так и без нее.
Уточняйте, где смотреть проблему?
Цитата(defunct @ Dec 22 2008, 16:42)
А зачем им там быть? Раз нет значит не используется.
Это не факт..
Цитата(demiurg_spb @ Dec 22 2008, 15:51)
Это не факт..
Тогда давайте посоветуем автору топика проверить фуз WDTON.
Больше вариантов произвольного включения WDT нет.
Цитата(demiurg_spb @ Dec 22 2008, 15:28)
И для какого MCU Вы компилируете вашу программу?
Да, вдруг у него мега128 и стоит фуз совместимости с m103?
Цитата(_Pasha @ Dec 22 2008, 16:13)
Уважаемый, никакой Си не избавит Вас от необходимости курить мануал и думать головой.
Каким макаком у Вас будет прерывание, если Вы не потрудились даже настроить таймер на работу с OCR0???
Каким макаком у Вас будет прерывание, если Вы не потрудились даже настроить таймер на работу с OCR0???
Уважаемый, я Вас не понял. Где тут ошибка??? В регистр TCCR0 устанавливаю бит CS00, который clkI/O/(No prescaling). Не отметил, МК ATMetga32. Я же говорю, без оптимизации все работает!!!
Вочдог не использую и фьюз не стоит.
Цитата(demiurg_spb @ Dec 22 2008, 16:28)
Пожалуйста форматируйте код в постах (есть волшебная кнопка # над окном ввода текста сообщения).
Спасибо, учту.
Цитата(defunct @ Dec 22 2008, 16:42)
Ваша программа работает одинаково, как с оптимизацией, так и без нее.
Уточняйте, где смотреть проблему?
Уточняйте, где смотреть проблему?
Увы не одинаково и не стабильно. Без оптимизации всё нормально, с –Os и до –O1 чудеса.
Цитата(Oleg_IT @ Dec 22 2008, 19:35)
В регистр TCCR0 устанавливаю бит CS00, который...
Так и надо:
Код
TCCR0 = (1 << CS00);
?Или очепятка?
Код
TCCR0|= (1 << CS00);
Цитата(Goodefine @ Dec 22 2008, 19:56)
Так и надо:
Или очепятка?
Код
TCCR0 = (1 << CS00);
?Или очепятка?
Код
TCCR0|= (1 << CS00);
Нет, именно так
Код
TCCR0 = (1 << CS00);
это не очепятка
Просто в этом регистре мне ни чего не нужно кроме этого бита.
Oleg_IT, попробуй сгенерить ассемблерный листинг с включённой оптимизацией и посмотри что выйдет. Если в листинге увидишь, что нужный код выкинут, значит обновляй тулчейн. Если не выкинут, значит ищи багу в другом месте.
Цитата(Oleg_IT @ Dec 22 2008, 18:35)
Увы не одинаково и не стабильно. Без оптимизации всё нормально, с –Os и до –O1 чудеса.
Опишите плз. эти самые "чудеса".
Что не так?
Цитата(defunct @ Dec 22 2008, 20:44)
Опишите плз. эти самые "чудеса".
Что не так?
Что не так?
С той простенькой программой при оптимизации меандра на выходе нет, а без оптимизации есть. В более расширенной версии оптимизатор «выкидывает» всё что в мейне под if (Start == 1) …
Код
ISR (TIMER0_COMP_vect)
{
TCNT0 = 0x00;
if (Flag == 1)
{
PORTA ^= 0x01;
if ((PINA & 0x02) == 0)
CountIn_1++;
CountCycleImp++;
if (CountCycleImp == ConstCntCycleImp)
{
PORTA &=~ 0x01;
Flag = 0;
CountCycleImp = 0;
Start = 1;
return;
}
}
else
{
CountCycleImp++;
if (CountCycleImp == ConstCntCycleWithoutImp)
{
Flag = 1;
CountCycleImp = 0;
}
}
}
////////////////////// MAIN ///////////////////
int main(void)
{
TCCR0 = (1 << CS00);
TCNT0 = 0x00;
OCR0 = 0x50;
TIMSK |= (1 << OCIE0);
DDRA = 0xFD;
PORTA = 0xFF;
sei();
while (1)
{
if (Start == 1)
{
Start = 0;
if (CountIn_1 < CountIn_1_Min)
PORT_W |= 0x04;
if (CountIn_1 > CountIn_1_Max)
PORT_W &=~ 0x04;
CountIn_1 = 0;
}
}
return 0;
}
{
TCNT0 = 0x00;
if (Flag == 1)
{
PORTA ^= 0x01;
if ((PINA & 0x02) == 0)
CountIn_1++;
CountCycleImp++;
if (CountCycleImp == ConstCntCycleImp)
{
PORTA &=~ 0x01;
Flag = 0;
CountCycleImp = 0;
Start = 1;
return;
}
}
else
{
CountCycleImp++;
if (CountCycleImp == ConstCntCycleWithoutImp)
{
Flag = 1;
CountCycleImp = 0;
}
}
}
////////////////////// MAIN ///////////////////
int main(void)
{
TCCR0 = (1 << CS00);
TCNT0 = 0x00;
OCR0 = 0x50;
TIMSK |= (1 << OCIE0);
DDRA = 0xFD;
PORTA = 0xFF;
sei();
while (1)
{
if (Start == 1)
{
Start = 0;
if (CountIn_1 < CountIn_1_Min)
PORT_W |= 0x04;
if (CountIn_1 > CountIn_1_Max)
PORT_W &=~ 0x04;
CountIn_1 = 0;
}
}
return 0;
}
Викидывает, потому что при запуске программы Start равно 0 и, следовательно, проверка условия бессмысленна. Компилятор не знает о том, что переменная может поменятся в прерывании. Ему это нужно указать с помощью квалификатора volatile:
volatile char Flags;
volatile char Flags;
Цитата(Oleg_IT @ Dec 22 2008, 21:50)
С той простенькой программой при оптимизации меандра на выходе нет, а без оптимизации есть. В более расширенной версии оптимизатор «выкидывает» всё что в мейне под if (Start == 1) …
Я конечно полный дилетант в С, но я бы объявил переменные и квалификатор volatile у переменной Start поставил
З. Ы. Надеюсь что нигде не ошибся в терминах
З. З. Ы. Упс, опередили
Цитата(Oleg_IT @ Dec 22 2008, 20:50)
С той простенькой программой при оптимизации меандра на выходе нет, а без оптимизации есть.
А что есть вместо меандра? Точнее плз ;>
У меня с той простенькой программой при оптимизации -Os меандр есть, по крайней мере я вижу что порт переключается...
Насчет Вашей новой программы, с учетом советов предыдущих ораторов, можно написать как-то так:
Код
#include <avr/io.h>
#include <avr/interrupt.h>
typedef unsigned char U8;
typedef unsigned short U16;
typedef unsigned long U32;
typedef volatile unsigned char V8;
typedef volatile unsigned short V16;
typedef volatile unsigned long V32;
#define ConstCntCycleImp 5
#define ConstCntCycleWithoutImp 3
#define CountIn_1_Min 5
#define CountIn_1_Max 10
#define PORT_W PORTA
typedef struct tagDEVICE_CONTEXT
{
U8 Flag;
V8 Start;
U8 CountIn_1;
U8 CountCycleImp;
} TDEVICE_CONTEXT, *PDEVICE_CONTEXT;
TDEVICE_CONTEXT devContext = { 0 };
ISR (TIMER0_COMP_vect)
{
TCNT0 = 0x00;
if (devContext.Flag == 1)
{
PORTA ^= 0x01;
if ((PINA & 0x02) == 0)
devContext.CountIn_1++;
devContext.CountCycleImp++;
if (devContext.CountCycleImp == ConstCntCycleImp)
{
PORTA &=~ 0x01;
devContext.Flag = 0;
devContext.CountCycleImp = 0;
devContext.Start = 1;
return;
}
}
else
{
devContext.CountCycleImp++;
if (devContext.CountCycleImp == ConstCntCycleWithoutImp)
{
devContext.Flag = 1;
devContext.CountCycleImp = 0;
}
}
}
////////////////////// MAIN ///////////////////
int main(void)
{
TCCR0 = (1 << CS00);
TCNT0 = 0x00;
OCR0 = 0x50;
TIMSK |= (1 << OCIE0);
DDRA = 0xFD;
PORTA = 0xFF;
sei();
while (1)
{
if (devContext.Start == 1)
{
devContext.Start = 0;
if (devContext.CountIn_1 < CountIn_1_Min)
PORT_W |= 0x04;
if (devContext.CountIn_1 > CountIn_1_Max)
PORT_W &=~ 0x04;
devContext.CountIn_1 = 0;
}
}
return 0;
}
#include <avr/interrupt.h>
typedef unsigned char U8;
typedef unsigned short U16;
typedef unsigned long U32;
typedef volatile unsigned char V8;
typedef volatile unsigned short V16;
typedef volatile unsigned long V32;
#define ConstCntCycleImp 5
#define ConstCntCycleWithoutImp 3
#define CountIn_1_Min 5
#define CountIn_1_Max 10
#define PORT_W PORTA
typedef struct tagDEVICE_CONTEXT
{
U8 Flag;
V8 Start;
U8 CountIn_1;
U8 CountCycleImp;
} TDEVICE_CONTEXT, *PDEVICE_CONTEXT;
TDEVICE_CONTEXT devContext = { 0 };
ISR (TIMER0_COMP_vect)
{
TCNT0 = 0x00;
if (devContext.Flag == 1)
{
PORTA ^= 0x01;
if ((PINA & 0x02) == 0)
devContext.CountIn_1++;
devContext.CountCycleImp++;
if (devContext.CountCycleImp == ConstCntCycleImp)
{
PORTA &=~ 0x01;
devContext.Flag = 0;
devContext.CountCycleImp = 0;
devContext.Start = 1;
return;
}
}
else
{
devContext.CountCycleImp++;
if (devContext.CountCycleImp == ConstCntCycleWithoutImp)
{
devContext.Flag = 1;
devContext.CountCycleImp = 0;
}
}
}
////////////////////// MAIN ///////////////////
int main(void)
{
TCCR0 = (1 << CS00);
TCNT0 = 0x00;
OCR0 = 0x50;
TIMSK |= (1 << OCIE0);
DDRA = 0xFD;
PORTA = 0xFF;
sei();
while (1)
{
if (devContext.Start == 1)
{
devContext.Start = 0;
if (devContext.CountIn_1 < CountIn_1_Min)
PORT_W |= 0x04;
if (devContext.CountIn_1 > CountIn_1_Max)
PORT_W &=~ 0x04;
devContext.CountIn_1 = 0;
}
}
return 0;
}
Я не знаю значений Ваших констант, поэтому поставьте какие должны быть. Работает абсолютно одинаково, с оптимизацией и без нее. Что я поменял:
1. Сгруппировал все переменные в одну структуру (удобнее писать программу, т.к. не нужно помнить все переменные, можно помнить только имя одной структуры остальное сделает Code Completion, и удобнее отлаживать - в watch достаточно написать только имя структуры и видно сразу все переменные).
2. Объявил типы в удобной форме (вместо длинючих "volatile unsigned char", ведь много удобнее и понятнее написать V8).
3. Объявил поле Start как volatile, чтобы компилятор не выбрасывал обращения к этой переменной на свое усмотрение.
Цитата(defunct @ Dec 23 2008, 03:48)
А что есть вместо меандра? Точнее плз ;>
У меня с той простенькой программой при оптимизации -Os меандр есть, по крайней мере я вижу что порт переключается...
У меня с той простенькой программой при оптимизации -Os меандр есть, по крайней мере я вижу что порт переключается...
Спасибо за подсказку модификации кода.
В той простенькой программе с оптимизацией на выходе вообще ни чего нет.
А вы нам приведите ассемблерный листинг того варианта программы (функцию main и обработчик прерывания), в котором ничего на выходе нет.
Сразу будет видно, где чего не хватает
Сразу будет видно, где чего не хватает
Для просмотра полной версии этой страницы, пожалуйста, пройдите по ссылке.