caxapa.ru :: Вот реалистичный пример:

SciFi (22.09.2014 14:37, просмотров: 131) ответил Vit на ложь:) компиляторостроителю неизвестно, что будет лежать по неизвестному на момент компиляции адресу, потому он не сможет в регистр загнать константу. насчет выбросить присваивание - отдельный балет

Вот реалистичный пример: void wait_until_buf_contains_marker(uint8_t marker) { for (;;) { int i; for (i = tail; i != head; ) { if (buf[++i & (BUFSIZE - 1)] == marker) { return; } } } } Компилятор вполне может вынести за цикл кеширование содержимого буфера. Это вполне оправданно, если буфер сидит в медленной памяти. Вывод: буфер должен быть объявлен как volatile.

ส็็็็็็็็็็็็็็็็็็็็็็็็็༼ ຈل͜ຈ༽ส้้้้้้้้้้้้้้้้้้้้้้้

Ответить

- i здесь не volatile. - Vit(22.09.2014 17:54)
  - Это не важно. Если i будет volatile, ничего не изменится. - SciFi(22.09.2014 17:56)
    - как раз именно это и важно. - Vit(22.09.2014 23:46)
      - В каком именно месте? Со ссылками на нормативные документы, пожалуйста. Ибо на самом деле "не важно". - SciFi(22.09.2014 23:52)
        
        Вы утверждаете, что компиляторостроитель вправе заменить обращение по неизвестному на момент компиляции адресу обращением по фиксированному, да ещё и в регистрах. Полагаю, что натянуть сову на глобус несколько проще - Vit(23.09.2014 00:13)
        
        Чукча не читатель? Массив закеширован в регистрах ЦПУ (memory mapped) по адресу x. Обращение к элементу массива с индексом i происходит по адресу (x + i). Сова с глобусом идёт лесом. - SciFi(23.09.2014 00:17)
        
        адрес начала массива какая тварь на каком основании подменит в операции вычисления адреса со смещением? - Vit(23.09.2014 00:20)
        
        Вы меня потеряли. Нифига я не понял. - SciFi(23.09.2014 00:22)

Средства и методы разработки