Непонятные действия оптимизации. Опции

[Oleg_IT]

Начал проект с простого (WinAVR-20070525), таймер и исключающее ИЛИ пина порта (PORTA) в обработчике прерывания этого самого таймера. На выходе ожидался генератор меандра. Загрузил, не работает. После некоторых мук определил, что виновата оптимизация, собираю проект без оптимизации всё работает. Немного расширил проект, стал работать и с оптимизацией, но всё равно некоторые важные части оптимизирует на свой лад. Я понимаю соптимизировать переменную, которая ничего кроме инвертирования не делает, но выкидывание работы с портом, этого я не понимаю. Может я и правда чего не понимаю.

[mandrew]

Как на счет объявить переменные с квалификатором volatile, а ввод/вывод сделать на асме.

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

Может я и правда чего не понимаю.

А уж нам-то каково телепатировать!
Показывайте код.

[Oleg_IT]

Я переменными для начала не пользовался и 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;
}

[_Pasha]

Простенький код
************************
TCCR0 = (1 << CS00);

Уважаемый, никакой Си не избавит Вас от необходимости курить мануал и думать головой.
Каким макаком у Вас будет прерывание, если Вы не потрудились даже настроить таймер на работу с OCR0???

[Ivan A-R]

% avr-gcc --version
avr-gcc (GCC) 4.3.1

Полёт нормальный.

% avr-gcc -Os -mmcu=atmega16 -S test.c

В ассемблерном листинге присутствуют в функции прерывания команды которые дрыгают ногой.

[demiurg_spb]

А уж нам-то каково телепатировать!
Показывайте код.

И для какого MCU Вы компилируете вашу программу?
Невозможно дать Вам совет по инициализации таймера не зная тип MCU.
И ещё, хочу Вам напомнить про сторожевой таймер:
Я не увидел в Вашем коде ни wdt_disable() ни wdt_reset()...
Пожалуйста форматируйте код в постах (есть волшебная кнопка # над окном ввода текста сообщения).

[defunct]

Я не увидел в Вашем коде ни wdt_disable() ни wdt_reset()...

А зачем им там быть? Раз нет значит не используется.

если Вы не потрудились даже настроить таймер на работу с OCR0???

Почему же, он всего лишь не выставил CTC (WGM01), и делает сброс таймера вручную. Такой способ тоже имеет право на жизнь. OCIE0 возникнет в любом случае при достижении таймером значения OCR0.


Oleg_IT
Ваша программа работает одинаково, как с оптимизацией, так и без нее.
Уточняйте, где смотреть проблему?

[demiurg_spb]

А зачем им там быть? Раз нет значит не используется.

Это не факт..

[defunct]

Это не факт..

Тогда давайте посоветуем автору топика проверить фуз WDTON.
Больше вариантов произвольного включения WDT нет.

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

И для какого MCU Вы компилируете вашу программу?

Да, вдруг у него мега128 и стоит фуз совместимости с m103?

[Oleg_IT]

Уважаемый, никакой Си не избавит Вас от необходимости курить мануал и думать головой.
Каким макаком у Вас будет прерывание, если Вы не потрудились даже настроить таймер на работу с OCR0???

Уважаемый, я Вас не понял. Где тут ошибка??? В регистр TCCR0 устанавливаю бит CS00, который clkI/O/(No prescaling). Не отметил, МК ATMetga32. Я же говорю, без оптимизации все работает!!!

Вочдог не использую и фьюз не стоит.

Пожалуйста форматируйте код в постах (есть волшебная кнопка # над окном ввода текста сообщения).

Спасибо, учту.

Ваша программа работает одинаково, как с оптимизацией, так и без нее.
Уточняйте, где смотреть проблему?

Увы не одинаково и не стабильно. Без оптимизации всё нормально, с –Os и до –O1 чудеса.

[Goodefine]

В регистр TCCR0 устанавливаю бит CS00, который...

Так и надо:

Код

TCCR0   = (1 << CS00);

?
Или очепятка?

Код

TCCR0|= (1 << CS00);

Сообщение отредактировал Goodefine - Dec 22 2008, 16:57

[Oleg_IT]

Так и надо:

Код

TCCR0   = (1 << CS00);

?
Или очепятка?

Код

TCCR0|= (1 << CS00);

Нет, именно так

Код

TCCR0   = (1 << CS00);

это не очепятка Просто в этом регистре мне ни чего не нужно кроме этого бита.

[Ivan A-R]

Oleg_IT, попробуй сгенерить ассемблерный листинг с включённой оптимизацией и посмотри что выйдет. Если в листинге увидишь, что нужный код выкинут, значит обновляй тулчейн. Если не выкинут, значит ищи багу в другом месте.

[defunct]

Увы не одинаково и не стабильно. Без оптимизации всё нормально, с –Os и до –O1 чудеса.

Опишите плз. эти самые "чудеса".
Что не так?

[Oleg_IT]

Опишите плз. эти самые "чудеса".
Что не так?

С той простенькой программой при оптимизации меандра на выходе нет, а без оптимизации есть. В более расширенной версии оптимизатор «выкидывает» всё что в мейне под 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;
}

[Александр Куличо...]

Викидывает, потому что при запуске программы Start равно 0 и, следовательно, проверка условия бессмысленна. Компилятор не знает о том, что переменная может поменятся в прерывании. Ему это нужно указать с помощью квалификатора volatile:

volatile char Flags;

[smac]

С той простенькой программой при оптимизации меандра на выходе нет, а без оптимизации есть. В более расширенной версии оптимизатор «выкидывает» всё что в мейне под if (Start == 1) …

Я конечно полный дилетант в С, но я бы объявил переменные и квалификатор volatile у переменной Start поставил
З. Ы. Надеюсь что нигде не ошибся в терминах
З. З. Ы. Упс, опередили

Сообщение отредактировал smac - Dec 22 2008, 19:15

[defunct]

С той простенькой программой при оптимизации меандра на выходе нет, а без оптимизации есть.

А что есть вместо меандра? Точнее плз ;>
У меня с той простенькой программой при оптимизации -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;
}

Я не знаю значений Ваших констант, поэтому поставьте какие должны быть. Работает абсолютно одинаково, с оптимизацией и без нее. Что я поменял:
1. Сгруппировал все переменные в одну структуру (удобнее писать программу, т.к. не нужно помнить все переменные, можно помнить только имя одной структуры остальное сделает Code Completion, и удобнее отлаживать - в watch достаточно написать только имя структуры и видно сразу все переменные).
2. Объявил типы в удобной форме (вместо длинючих "volatile unsigned char", ведь много удобнее и понятнее написать V8).
3. Объявил поле Start как volatile, чтобы компилятор не выбрасывал обращения к этой переменной на свое усмотрение.

[Oleg_IT]

А что есть вместо меандра? Точнее плз ;>
У меня с той простенькой программой при оптимизации -Os меандр есть, по крайней мере я вижу что порт переключается...

Спасибо за подсказку модификации кода.

В той простенькой программе с оптимизацией на выходе вообще ни чего нет.

[sonycman]

А вы нам приведите ассемблерный листинг того варианта программы (функцию main и обработчик прерывания), в котором ничего на выходе нет.
Сразу будет видно, где чего не хватает