Рассуждения о _regvar и register, Вынесено из темы "Глюки компилятора.." Опции

[kamedi_clab]

IAR 4.21A помогите - что за ошибка ?

Error[Pa043]: the keyword "__regvar" is not available with the current settings. Registers must be locked with --lock_regs C:\_AN447 my\_bldc_iar\main.c 55
before __regvar can be used

Total number of errors: 1
Total number of warnings: 0

вот проект прицепил - http://slil.ru/25402589 (20 Кб)

Сообщение отредактировал kamedi_clab - Jan 26 2008, 14:08

[Qwertty]

А что спецификатор типа памяти register ИАР не понимает? Зачем еще __regvar изобретать?

[zltigo]

А что спецификатор типа памяти register ИАР не понимает?

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

Зачем еще __regvar изобретать?

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

[Qwertty]

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

Ну не совсем игнорируют. Просто компилятор обычно сам решает размещать переменную в регистре или нет. Но если все переменные в доступные регистры не влезают, то объявленные с register будут иметь приоритет.

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

Спасибо, понял. Это типа как в ГЦЦ регистр для хранения 0. Хотя не понятен смысл объявления глобальных переменных в регистрах. Слишком много это вызовет ограничений, у таких переменных даже адрес взять нельзя, возможность работы посредством указателя теряется.

[zltigo]

Ну не совсем игнорируют.

Поверьте моему опыту - игнорирут. Посмотрите документацию на любимый компилятор и увидете чего-нибудь типа User requests for register variables are ignored.

Спасибо, понял. Это типа как в ГЦЦ регистр для хранения 0.

Ну очень ограниченое сравнение. В частности полный аналог описанного это --zero_register

[singlskv]

Поверьте моему опыту - игнорирут. Посмотрите документацию на любимый компилятор и увидете чего-нибудь типа User requests for register variables are ignored.

А если любимый gcc ?
Он не игнорирует и я этим иногда пользуюсь,
только нужно проявлять осторожность при использовании библиотек в случае
объявления большого количества регистровых переменных(ну или листинг смотреть...).

[zltigo]

А если любимый gcc ?
Он не игнорирует и я этим иногда пользуюсь,

Исключения, только подтверждают правила .

только нужно проявлять осторожность при использовании библиотек в случае
объявления большого количества регистровых переменных(ну или листинг смотреть...).

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

А можете поподробнее про осторожность? Чего опасаться?

Абсолютно нечего - безопасно.

[singlskv]

Да ну? У Вас совершенно ошибочные представления о квалификаторе register, даже в случаях если он не игнорируется в принципе, он носит только рекомендательный характер.
Абсолютно нечего - безопасно.

Эксперименты ставить будем ?
Для затравки, предлагаю объявить регистры R0,R1 байтовыми переменными и присвоить
им значение например 255 ...
Если не убедит, подгоню примеры повеселее....

[zltigo]

Эксперименты ставить будем ?

Нет для начала будем читать (пост #69) о чем идет речь речь идет о квалификаторе register.

Для затравки, предлагаю объявить регистры R0,R1 байтовыми переменными...

Давайте - есть квалификатор register описанный в стандарте языка. Давайте попробуйте с его помощью сделать вышеобещанное. Готов внимать.

Если не убедит, подгоню примеры повеселее....

Да и так уже не скучно.

[singlskv]

Нет для начала будем читать (пост #69) о чем идет речь речь идет о квалификаторе register.
Давайте - есть квалификатор register описанный в стандарте языка. Давайте попробуйте с его помощью сделать вышеобещанное. Готов внимать.

register unsigned char mynull asm("r0");
......

mynull=255;

попробуйте, не пожалеете...

[zltigo]

попробуйте

Если Вы это срьезно, то ну и каша у Вас в голове .

[singlskv]

Если Вы это срьезно, то ну и каша у Вас в голове .

Ну кашу я вобще не ем, кроме разьве что гречневой, так что в
голове она у меня редкая гостья

ну перечитываем тогда что ли пост №68 с которого и началась дискуссия:

А что спецификатор типа памяти register ИАР не понимает? Зачем еще __regvar изобретать?

так вот gcc его понимает и пользуется им для размещения переменных в регистрах...

[Qwertty]

ну перечитываем тогда что ли пост №68 с которого и началась дискуссия:
так вот gcc его понимает и пользуется им для размещения переменных в регистрах...

Это просто я тогда не понял, о чем идет речь. Вот и спросил о register и IAR. Я тоже сижу на ГЦЦ, и проблем с размещением в регистрах не испытывал. Правда номер регистра жестко не задаю. В документации к avr-libs указывается, что компилятор не контролирует конфликты в случае жесткого указания номера регистра. Документированные грабли и не грабли вовсе, а так, особенности реализации

[SIA]

Это просто я тогда не понял, о чем идет речь. Вот и спросил о register и IAR. Я тоже сижу на ГЦЦ, и проблем с размещением в регистрах не испытывал. Правда номер регистра жестко не задаю. В документации к avr-libs указывается, что компилятор не контролирует конфликты в случае жесткого указания номера регистра. Документированные грабли и не грабли вовсе, а так, особенности реализации

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

[singlskv]

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

Выгода может быть в разы, в 2-3 раза легко...
О переносимости такого кода речи нет, это используется только на самом низком уровне и только
при условии что ты знаешь что делаешь.

Можно понять, если регистр особенный и с этой переменной надо что-то специфичное делать, но такой кусочек кода надо бы оформлять маленькой препроцессорной вставочкой/подпрограммкой, и подробно комментить.

Вот пример моих коментариев из реального проекта:

Код

//-------------------------------------------------------------------
// Прерывание системного таймера
//   используются только регистровые переменные
//   никакие регистры не сохраняются
//   SREG не сохраняется
//   ОБЯЗАТЕЛЬНО ПРОВЕРИТЬ СГЕНЕРИРОВАННЫЙ КОД !!!!!!!!!!!!!!!!!!!!!
//-------------------------------------------------------------------

там всего 8 команд + reti
Но я точно знаю что я делаю.

Вы можете спросить почему это не написано на асм.
Потому что в качестве бонуса я получаю возможность обращаться к регистровым переменным
как к обычным С переменным в обычном С коде...

[Qwertty]

Вы можете спросить почему это не написано на асм.
Потому что в качестве бонуса я получаю возможность обращаться к регистровым переменным
как к обычным С переменным в обычном С коде...

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

Вот как раз для такой оптимизации использование register абслоютно беcсмысленно
и может даже(в принципе) помешать компилятору....
Для таких кусков кода нужно грамотно использовать локальные переменные.
Если хотите примеров, покажите кусок кода где register дал выигрыш, и я покажу
как нужно было написать просто с локальными переменными.

Это и есть локальная переменная. Я выше писал, что не объявляю глобальных переменных регистровыми. Сам по себе register даст выигрыщ только если локальных переменных много, тогда это будет подсказка оптимизатору о том, какие размещать в регистрах в первую очередь. Если локальная переменная одна, то она станет регистровой сама по себе И перестанет показывать свое значение в студии А вот помешать компилятору вряд-ли удастся, он просто молча проигнорирует register и все, даже варнинга не даст.