Оптимизация в AVR GCC

[STM32F0]

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

Вы не видите противоречия в своих словах? Жаль!

[xlr8]

Увы, в контексте предшествующих обсуждений - не вижу. Исход (не код) один, пути - разные. Яркий пример тому, рассмотренный в начале PORTx |= (1‹‹y) (почему-то упорно обрезаются 3и последних символа этого выражения).

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

[CERGEI1982]

Это как удалить у себя на компе винду и установив дос, работать в дос. Оптимизируя быстроту выполнения команд

[Someone]

без пошаговой отладки, а она адекватна только при выключенной оптимизации.

Глупости. Пример "неадекватности" приведите пожалуйста. А то у меня почему-то никогда проблем с пошаговой отладкой не возникало ни в одной из версий студии, начиная с 4.18. Оптимизация всегда стоит Os. И ничего "неадекватного" я не видел.

[Someone]

и волатию все

Зря. Можно поиметь проблемы. Volatile надо использовать с умом, только там, где это действительно необходимо.

[Bill]

Короче теперь я напуган до смерти и волатию все, что движется, а если не движется, шевелю и волатилю... ацтой.

Ну, как говорится, у страха глаза велики. Пугаться тут нечего. Главное понять что зачем почему и отчего.
Магическое слово volatile говорит компилятору, что значение переменной с таким квалификатором может изменяться независимо от программы, например в прерываниях. Маленький пример:

char flag;
..........
     while (!flag);     // Wait for the event

В данном случае переменная внутри цикла никак не меняется. Поэтому при включенной оптимизации (компилятор стремится сделать как можно более эффективный код) копирование переменой flag в регистр процессора выносится за пределы цикла. Это будет выглядеть примерно так:

        lds   r16, flag
loop:   tst   r16
        breq  loop

Т.е. программа попросту "подвисает".
Если же объявить переменную flag с квалификатором volatile, т.е.

volatile char flag;
.......
      while (!flag);     // Wait for the event

то будет примерно такой код

loop:  lds   r16, flag
       tst   r16
       breq  loop

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