Она меняется в другой подпрограмме, но я, когда встал в ступор, специально переде этой процедурой вписал i=0, но результат был тем же.
Тем не менее я проверил, 0 и 2 в другом месте назначаются.
Каждый имеет право на свое личное ошибочное мнение.
У меня было тяжелое детство - я до 14 лет смотрел черно-белый телевизор.
Это оптимизация. Отключил ее и проверка начала осуществляться, но при этом прилично вырос код. Я еще вечером игрался с volatile, но результатов никаких.
То, что предлагал ARV, я делал, но его пост напомнил мне о том, что я забыл упомянуть одну вещь: когда digit == i, это всегда исполняется (т.е. когда 0 == 0), но когда digit становится 1, сравнение i+1 обходится стороной.
Раньше это выражение стояло в прерывании и работало, но как только я перенес его в другое место, стало выкидывать такие вот коленца.
Сейчас еще поиграюсь.
P.S. Исследования показали, что в выражении digit == i + 1 компилятор упорно не желает видеть все, что после i. Скобки не помогают. менял местами слагаемые, задавал отдельную переменную , равную 1 и складывал с i. Даже делал (i | 1) в разных комбинациях. Оптимизатор принципиально игнорирует наращивание.
Уже злюсь, со вчерашнего вечера этой фигней маюсь.
P.P.S. РЕШЕНО правой рукой до носа через левое ухо, но хотя бы работает. Оптимизацию не трогал.
Исследования показали, что даже без volatile переменная i до этой операции доходит нормально (0 или 2 в нужные моменты), просто компилятор упорно не желал делать i+1. Кстати, это Кейл. Но я все равно обманул его
При таком коде занимает 88 байт флеша, если же раскоментировать строку со здвигом и закоментировать с делениями - 104 байта. Если объявить эту функцию как static, то при любом варианте 84 байта. Причем разница в размерах тем больше, чем чаще вызывается эта функция гдето в коде.
во-вторых, если функция объявлена static и используется только в одном месте, она почти со 100% гарантией будет компилятором (оптимизатором) проинлайнена в коде. т.к. в этом случае нет накладных расходов на передачу параметров и возврат результата, это сокращает объем кода.
если рассматривать человека снизу, покажется, что мозг у него глубоко в жопе
при взгляде на многих сверху ничего не меняется...
ARV писал(а):во-первых, у вас 2 разных выражения, отсюда и разный объем при использовании одного и другого:
В другом компиляторе (для STM32) эти выражения дают одинаковый по размеру код, вот я и подумал что оптимизатор их должен привести к одному и тому же. Если она static ведь оптимизатор дает одинаковый размер.
Таки да. У меня, например, что деление на 16, что сдвиг на 4 генерирует абсолютно одинаковый ассемблерный код. Причём сдвиг там даже не используется - вместо сдвига на 4 там просто swap байта:
Спойлер
Apparatchik писал(а):При таком коде занимает 88 байт флеша, если же раскоментировать строку со здвигом и закоментировать с делениями - 104 байта.
А вы сохрание asm выхлоп компилятора для обеих вариантов и сравните в каком-нибудь двухпанельном diff-e - сразу покажет, что там оптимизатор не так понял. Попробуйте сравнить варианты с частями выражения - до '+' и после него.
Одновременным нажатием LIGHT и POWER, РП Sangean ATS-909X (ver 1.29) превращается в ATS-909XR!
int aaa[6][7][8];
int z0 = sizeof(aaa);
int z1 = sizeof(aaa[0]);
int z2 = sizeof(aaa[0][0]);
int z3 = sizeof(aaa[0][0][0]);
printf("%d %d %d \n", z0/z1, z1/z2, z2/z3);
#define __IO volatile /*!< Defines 'read / write' permissions
__INLINE void FlashWord16Prog(uint32_t flash_addr, uint16_t data)
{
...
/* (2) Perform the data write (half-word) at the desired address */
*(__IO uint16_t*)(flash_addr) = data; /* (2) */
...
}
Значение flash_adr приводится к указателю на тип (volatile uint16_t*), затем происходит доступ записи по этому адресу.
Я хочу понять как распутывается эта запись.
Допустим имеем
Что здесь происходит?
а) работа(инкремент) с указателем-переменной как с volatile
б) копирование данных по адресу ptr с отключенной оптимизацией компилятора.
Ничего сложного. Значение data копируется в 16-битную ячейку памяти, на которую указывает ptr. Затем, инкремент смещает указатель так чтобы он указывал на следующую 16-битную ячейку. Ключевое слово volatile гарантирует, что запись в ячейку произойдет именно в этом месте (это так, по простому).
