Помощь - Поиск - Пользователи - Календарь
Полная версия этой страницы: Вычисляемая константа в PCW, как?
Форум разработчиков электроники ELECTRONIX.ru > Микроконтроллеры (MCs) > Все остальные микроконтроллеры > PIC
Eddy71
Возникло желание "попросить" компилятор (PCW) при компиляции рассчитать значение константы (на этапе отладки устройства приходится часто подбирать значение). Пытаюсь вставить такое:
Код
const unsigned int16 VoltageMax = 2.5/(4.18/1024);

Ругается. Приходится вручную подставлять 612.
Если не указываю, что это константа, компилятор напихивает библиотек и прошивка "раздувается".
Что я не так делаю?
_Pasha
Цитата(Eddy71 @ Feb 25 2009, 15:21) *
Что я не так делаю?


#define VoltageMax  (2.5/(4.18/1024))
MrYuran
Цитата(Eddy71 @ Feb 25 2009, 14:21) *
Код
const unsigned int16 VoltageMax = 2.5/(4.18/1024);

Ругается.

Логичнее было бы VoltageMax = 1024 * 2.5/4.18
Но, учитывая unsigned int16, окончательный вариант будет
const unsigned int16 VoltageMax = (unsigned int16)(1024 * 2.5/4.18);
_Pasha
Цитата(_Pasha @ Feb 25 2009, 15:27) *
#define VoltageMax  (2.5/(4.18/1024))


бр-р


пример

Код
#define VoltageMax  (2.5/(4.18/1024))

// тра-та-та

volatile int16 VV = VoltageMax;
Eddy71
Цитата(MrYuran @ Feb 25 2009, 15:31) *
Логичнее было бы VoltageMax = 1024 * 2.5/4.18
Но, учитывая unsigned int16, окончательный вариант будет
const unsigned int16 VoltageMax = (unsigned int16)(1024 * 2.5/4.18);

Остановился на этом варианте. Хоть он и "самый длинный", но с учетом того, что я только осваиваю компилятор, он самый наглядный. Хотя и другие варианты откомпилировались без ругани. Интересно, почему писатели юзер мануала не предположили, что кто-то захочет такое вставить в свою программу..
Спасибо большое всем. smile.gif
MrYuran
Вообще константа отличается от дефайна тем, что она располагается в памяти (ОЗУ или во флеши) и программа по мере надобности к ней обращается.
Дефайн подставляется по месту на этапе компиляции препроцессором.
Eddy71
Цитата(MrYuran @ Feb 25 2009, 14:58) *
Вообще константа отличается от дефайна тем, что она располагается в памяти (ОЗУ или во флеши) и программа по мере надобности к ней обращается.
Дефайн подставляется по месту на этапе компиляции препроцессором.

Сейчас пытался дефайном вставить - ругается, зараза..
Сам дефайн "съедает". А вот потом присвоить переменным не выходит.
ОЗУ тратить не хочется..
MrYuran
Цитата(Eddy71 @ Feb 25 2009, 16:07) *
Сейчас пытался дефайном вставить - ругается, зараза..

А ругается-то как?

Error - это ругается.
А Warning - это просто предупреждает, что, мол, имеете право, но возможны проблемы...

Лучше выкладывайте, как ругается и на что, показательней будет
Eddy71
Цитата(MrYuran @ Feb 25 2009, 16:28) *
А ругается-то как?
Лучше выкладывайте, как ругается и на что, показательней будет


Вротмненоги!... Хотел показать - откомпилировалось без ошибок. Правда аномалия:
Код
const unsigned int16 ChargeMax = (unsigned int16)(1024 * 2.5/4.18);
const unsigned int16 ChargeMin = (unsigned int16)(1024 * 2.5/4.10);

после такого пишет Memory Usage: ROM38% RAM30%

А после такого варианта:
Код
#define VoltageMax  (2.5/(4.18/1024))
#define VoltageMin  (2.5/(4.10/1024))
volatile unsigned int16 ChargeMax = VoltageMax;
volatile unsigned int16 ChargeMin = VoltageMin;


Memory Usage: ROM39% RAM36%

Непонятно..
_Pasha
Цитата(Eddy71 @ Feb 25 2009, 18:22) *
Непонятно..

Все просто: второй случай

volatile unsigned int16 ChargeMax = VoltageMax;


Подразумевает, что VoltageMax жрет флеш в виде непосредственного операнда либо двух байт в таблице инициализации, и ChargeMax жрет две ячейки памяти ОЗУ.

Экономия при дефайне получается, когда например

Код
int16 temp;

temp = WREG; // что-то откуда-то прочли

if(temp > VoltageMax) temp = VoltageMax;


типотак
Eddy71
Цитата(_Pasha @ Feb 25 2009, 17:30) *
Экономия при дефайне получается, когда например
Код
int16 temp;
temp = WREG; // что-то откуда-то прочли
if(temp > VoltageMax) temp = VoltageMax;

Мне переприсваивать не надо. У меня читается АЦП
Цитата
temp = WREG; // что-то откуда-то прочли)

И затем сравнивается со значениями Max и Min. То есть с константами, которые никоим образом не меняются при работе программы.

Понимаю, что проблема яйца выеденного не стоит, тем более работают оба варианта одинаково, просто хочется разобраться с логикой работы компилятора, чтобы потом глупых вопросов не задавать.
Вот это код:
Код
#define VoltageMax  (2.5/(4.18/1024))
volatile unsigned int16 ChargeMax = VoltageMax;

преобразовался в:
Код
0160:  MOVLW  64
0161:  MOVWF  2E
0162:  MOVLW  02
0163:  MOVWF  2F

Зато в случае с константой значения выплыли только при сравнении:
Код
value>ChargeMax

превратилось в
Код
00E7:  MOVF   34,W
00E8:  SUBLW  01
00E9:  BTFSC  03.0
00EA:  GOTO   0F2
00EB:  XORLW  FF
00EC:  BTFSS  03.2
00ED:  GOTO   0C3
00EE:  MOVF   33,W
00EF:  SUBLW  64
00F0:  BTFSS  03.0
00F1:  GOTO   0C3

В предидущем случае в том же кусочку вместо movlw шли movf и размер кода рос.
Так что определение значений :
Код
const unsigned int16 ChargeMax = (unsigned int16)(1024 * 2.5/4.18);

Оказалось самым правильным. smile.gif
xemul
Цитата(Eddy71 @ Feb 25 2009, 17:22) *
...
Непонятно..

Вы volatile пишете осмысленно, или просто потому, что слово красивое? Уберите volatile перед ChargeMax, и (value>ChargeMax) будет нормальным образом оптимизировано. volatile - указание компилятору не оптимизировать операции с такими переменными, т.к. они могут изменяться непредсказуемым образом (н-р, в прерываниях).
На
Код
#define VoltageMax  (2.5/(4.18/1024))
#define VoltageMin  (2.5/(4.10/1024))
volatile unsigned int16 ChargeMax = VoltageMax;
volatile unsigned int16 ChargeMin = VoltageMin;

препроцессор должен выдать два предупреждения вроде "implicit conversion float to integer" (неявное преобразование плавучки в целое, которое может сопровождаться потерей точности).
На
Код
const unsigned int16 ChargeMax = (unsigned int16)(1024 * 2.5/4.18);

он так не говорит, т.к. (unsigned int16) - оператор явного преобразования типа. Компилятор понимает, что и Вы понимаете суть происходящего.
Понаблюдайте за реакцией компилятора (естесно, по очереди) на эти #define:
Код
#define VoltageMax  (unsigned int16)(2.5/(4.18/1024))   // будет 612 без предупреждения; промежуточные вычисления во float
//#define VoltageMax  (250/(418/1024))   // будет ошибка "divide by zero"; (418/1024) = 0
//#define VoltageMax  (1024*250/418)     // будет 63 вместо 612, но без предупреждения; переполнение int, 1024*250 > 32767
//#define VoltageMax  (1024L*250/418)    // будет 612 без предупреждения; промежуточные вычисления препроцессор проведет в long
unsigned int16 ChargeMax = VoltageMax;
demiurg_spb
Привыкайте писать грамотно. Используйте препроцессор (define etc.) только там, где он необходим.
Вы программируете в первую очередь на СИ а не на языке препроцессора (условно говоря).
static const заменяет define в 90% случаев (и не занимет память как в случае без static).
Код
static const unsigned int16 CHARGE_MAX = (unsigned int16)(1024.0 * 2.5 / 4.18 + 0.5);
static const unsigned int16 CHARGE_MIN = (unsigned int16)(1024.0 * 2.5 / 4.10 + 0.5);

+0.5 для правильного округления положительных чисел до целого при отбрасывании дробной части
(int)(1.1 + 0.5) = 1
(int)(1.4 + 0.5) = 1
(int)(1.5 + 0.5) = 2
(int)(1.9 + 0.5) = 2
(int)(2.0 + 0.5) = 2

Имена констант и то что объявлено через define заглавными буквами, всё остальное строчными.
Eddy71
Исчерпывающий совет. Одно не совсем понятно. Почему константу еще и static надо усугублять? Ведь константа по-определению не меняется в процессе исполнения программы..
demiurg_spb
Если константа объявлена как статик, то компилятор понимает что она локальна в модуле или в процедуре.
И если компилятор видит что внутри этого модуля не происходит взятие адреса этой константы, то он её не создаёт.
Т.е. не занимает под неё память (получается почти полная аналогия с define в смысле отъедания памяти).
Если объявлена просто константа типа const float f; - то она займёт память (целых 4 байта).
Вообще у static я насчитал 3 различных смысла (хотя по правде их только два):
1) для "облегчения" констант
2) для сокрытия локальных процедур и переменных в модуле (+ развязывает руки компилятору по встраиванию таких функций как inline)
3) для локальных статических переменных внутри процедур с неограниченным сроком годностиsmile.gif

Всем этим надо активно и умело пользоваться и размер Ваших программ сильно уменьшится, что Вы даже удивитесьsmile.gif
Возьмите за правило: если функция или переменная или константа не объявляется в заголоыочном файле как extern
(т.е. не используется за пределами единицы трансляции) то она должна быть static.
Помимо всего это ещё и дополнительное средство самодокументирования кода.
MrYuran
Цитата(demiurg_spb @ Feb 26 2009, 12:53) *
Если константа объявлена как статик, то компилятор понимает что она локальна в модуле или в процедуре.

А если не локальна?
Типа SYSTEM_TICKS_IN_1S ?
Тогда всё-таки лучше дефайн.
Сергей Борщ
Цитата(MrYuran @ Feb 26 2009, 12:01) *
А если не локальна?
Тогда она объявляется в заголовочном файле и будет локальной для любого модуля, в который включен этот заголовочный файл. Эффект практически тот же, что и с #define, но компилятор может проводить проверки типов.
MrYuran
Цитата(Сергей Борщ @ Feb 26 2009, 13:05) *
Тогда она объявляется в заголовочном файле и будет локальной для любого модуля, в который включен этот заголовочный файл.

Не совсем понял, вернее, совсем не понял.
Он же тогда напишет, что переменная non-static и соответственно её таковой считать не будет (или будет?)
Сергей Борщ
Цитата(MrYuran @ Feb 26 2009, 12:13) *
Он же тогда напишет, что переменная non-static и соответственно её таковой считать не будет (или будет?)
Кто напишет? Вы ее явно объявили static, в заголовочном файле. Она глобальная, значит static ограничивает ее область видимости текущей единицей компиляции.
demiurg_spb
Сергей прав. Я просто забыл ещё упомянуть о возможности включения static const в заголовочные файлы.
Это полезно для замены define на константы.
Но тут может "таиться опасность" если Вы так поступите с константным массивом большого размера или структурой и т.п.
то размер программы может резко скакануть. Т.к. в каждом модуле будет по копии этого объекта (если он используется в каждом модуле).
Вот тут как раз и нужен просто const + extern const в заголовочном файле.
Eddy71
Попробовал разные варианты компиляции, похоже PCW не делает различий между static const и просто const. Поглядел в результаты компиляции - и так и так правильно. В заголовочный файл вытаскивать вычисляемую константу (пока) смысла не вижу. Когда её значение подбирается (на этапе "вылизывания" процедур) её удобно держать перед глазами (и править, если что-то не так). Я прикрутил компилятор к любимому MPLABу, а он после компиляции открывает заново main.c и после перешивки контроллера и "мучании" платы если надо подкорректировать значение константы это удобнее сделать тут же. Тем более константы (пока их в программе 4 у меня глобальные и используются в нескольких процедурах) расположены в начале файла и их тут-же можно подправить не переключаясь между файлами.
Eddy71
По ходу обучения писанию на Си возник глупейший вопрос:
...
Извиняюсь, вопрос снялся. Таки вспомнил.. smile.gif
Для просмотра полной версии этой страницы, пожалуйста, пройдите по ссылке.
Invision Power Board © 2001-2025 Invision Power Services, Inc.