Проверка на равенство векторов прерывания директивой #if Опции

[ARV]

Уважаемые знатоки GCC!
Захотел сделать "гибкий" код (для AVR), в котором бы можно было гибко варьировать обработчики прерываний. Как-то так:

Код

#define MY_INTERRUPT     TIMER0_OVF_vect
...
ISR(MY_INTERRUPT){
...
}

Разумеется, это работает.

Теперь вторая хотелка: по значению константы-макроса MY_INTERRUPT делать ту или иную инициализацию периферии, вот примерно так:

Код

#if MY_INTERRUPT == TIMER0_OVF_vect
// тут инициализация таймера 0
#elif MY_INTERRUPT == ADC_vect
// тут инициализация АЦП
#elif MY_INTERRUPT == RXC_vect
// тут инициализация USART
// и т.д.
#endif

И вот это не работает: ВСЕГДА срабатывает первый #if, какой бы вектор не был присвоен MY_INTERRUPT!

Что я делаю не так? Как надо?

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

Что я делаю не так? Как надо?

Есть подозрение, что перед этими проверками или перед определением MY_INTERRUPT не включен заголовочный файл, в котором определены #define TIMER0_OVF_vect и т.д. Поэтому все эти символы как бы равны пустой строке и все равны MY_INTERRUPT. Сделайте перед этими условиями простую проверку:

CODE

#if !defined(MY_INTERRUPT) || !defined(TIMER0_OVF_vect) || !defined(ADC_vect) || !defined(RXC_vect)
#error Попался!!!
#endif

[ARV]

Вы правы - попался!
Но КАК?!
Векторы прерываний определены в "стандартных" для avr-gcc заголовках, в проект включается самый "главный" avr/io.h, который уже подтягивает остальные нужные. Макрос ISR отлично "видит" и ADC_vect и любой иной... как в простом if-е эти макросы вдруг оказываются неопределеными?!

[Владивольт]

Когда препроцессор закончит разворачивать символьные идентификаторы вида xxx_vect
по дефайнам из системных заголовочных файлов, получатся идентификаторы вида

Код

__vector_12
__vector_13
__vector_16

(Последним сработает определение

Код

#define _VECTOR(N) __vector_ ## N

из файла SFR_DEFS.H)

Далее, для директивы проверки #if все неопределённые символьные идентификаторы -- нули.

Identifiers that are not macros, which are all considered to be the number zero.

Так что срабатывает первый #if

Код

#if 0 == 0

[jorikdima]

Найдите (скорее всего в настройках надо квлючить) результат препроцессора. Там увидите, что именно идет компилятору. Ну а далее внимательно искать почему дефайн не виден, как тут подскажешь.

Во, ответили уже.

[arhiv6]

Найдите (скорее всего в настройках надо включить) результат препроцессора.

Для gcc это делается ключом -E

Код

gcc -E test.c > test.txt

[ARV]

хм... Получается, __vector_12 для компилятора такой же ноль, как и __vector_11? как же тогда разные вектора прерываний получаются? ISR(__vector_12) совсем не совпадает с ISR(__vector_11)... что-то я не понимаю...

[Владивольт]

хм... Получается, __vector_12 для компилятора такой же ноль, как и __vector_11? как же тогда разные вектора прерываний получаются? ISR(__vector_12) совсем не совпадает с ISR(__vector_11)... что-то я не понимаю...

не для компилятора, а для препроцессора.
Процедуры расставит линкер и скорректирует адреса переходов

Код

50:○0c 94 7c 10 ○ jmp○0x20f8○ ; 0x20f8 <__vector_20>
54:○0c 94 5e 11 ○ jmp○0x22bc○ ; 0x22bc <__vector_21>
58:○0c 94 50 11 ○ jmp○0x22a0○ ; 0x22a0 <__vector_22>
5c:○b1 c2       ○ rjmp○ .+1378   ○; 0x5c0 <__bad_interrupt>
5e:○00 00       ○ nop
60:○af c2       ○ rjmp○ .+1374   ○; 0x5c0 <__bad_interrupt>
62:○00 00       ○ nop
64:○ad c2       ○ rjmp○ .+1370   ○; 0x5c0 <__bad_interrupt>
66:○00 00       ○ nop

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

Вы правы - попался!
Но КАК?!

Нет такого вектора RXC_vect, он называется USART_RX_vect. Ответа на основной вопрос не знаю, увы.

[ARV]

В общем, получается, что взять один из предопределенных макросов и использовать его, как селектор вариантов собственного кода, я не могу...
Очень это огорчительно... и не понятно.

[aiwa]

Вы можете слегка изменить конструкцию, воспользовавшись стандартными определениями номеров векторов:

Код

#define MY_INTERRUPT_num     __TIMER0_OVF_vect_num
#define MY_INTERRUPT     _VECTOR(MY_INTERRUPT_num)
...
ISR(MY_INTERRUPT){
...
}

#if MY_INTERRUPT_num == TIMER0_OVF_vect_num
// тут инициализация таймера 0
#elif MY_INTERRUPT_num == ADC_vect_num
// тут инициализация АЦП
#elif MY_INTERRUPT_num == RXC_vect_num
// тут инициализация USART
// и т.д.
#endif

Сообщение отредактировал aiwa - Jun 13 2016, 11:38

[ARV]

Вы можете слегка изменить конструкцию, воспользовавшись стандартными определениями номеров векторов

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

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

[aiwa]

во-первых, я не понимаю, чем это будет отличаться от использования "стандартных" макросов, уже определенных
.................
в случае с нестандартными определениями векторов смысл в этом пропадает.....

Во-первых, определения "TIMER0_OVF_vect_num" имеют такую же "стандартность" как и "TIMER0_OVF_vect", потому что определены в стандартных заголовочных файлах равносильно:

Код

например, для мега16:
/* Timer/Counter0 Overflow */
#define TIMER0_OVF_vect_num        9
#define TIMER0_OVF_vect            _VECTOR(9)
#define SIG_OVERFLOW0            _VECTOR(9)

код с определениями с "_num", будет отличаться от "стандартных" тем, что препроцессор его все-таки кушает правильно.
Проверял на Вашем примере, единственное - не удалил два лидирующих подчеркивания в дефайне.

В принципе, отличие от первоначальной идеи всего лишь в суффиксе.
Вместо "#define MY_INTERRUPT TIMER0_OVF_vect" пользватель будет писать "#define MY_INTERRUPT_num TIMER0_OVF_vect_num".

Конструкция "#define MY_INTERRUPT _VECTOR(MY_INTERRUPT_num)" может быть реализована без его участия:
#ifdef MY_INTERRUPT_num
#define MY_INTERRUPT _VECTOR(MY_INTERRUPT_num)
#endif



Сообщение отредактировал aiwa - Jun 22 2016, 14:54