для цикла игнорируется (оптимизируется?)

Я использую циклы for / while для реализации задержки в моем коде. Длительность задержки здесь не важна, хотя она достаточно велика, чтобы быть заметной. Вот фрагмент кода.

uint32_t i;

// Do something useful

for (i = 0; i < 50000000U; ++i)
{}

// Do something useful

Проблема, которую я наблюдаю, заключается в том, что этот цикл for не выполняется. Вероятно, компилятор игнорирует / оптимизирует его. Однако, если я квалифицирую счетчик цикла i как volatile, цикл for, кажется, выполняется, и я замечаю желаемую задержку в выполнении.

Такое поведение кажется немного противоречащим моему пониманию оптимизации компилятора с / без ключевого слова volatile.

Даже если счетчик цикла оптимизируется и сохраняется в регистре процессора, не должен ли счетчик по-прежнему работать, возможно, с меньшей задержкой? (Поскольку накладные расходы на выборку из памяти устранены.)

Платформа, для которой я создаю, - это процессор Xtensa (от Tensilica), а компилятор C - это тот, который предоставляется Tensilica, компилятор Xtensa C / C ++, работающий с высочайшим уровнем оптимизации.

Я пробовал то же самое с gcc 4.4.7 с -o3 и высокими уровнями оптимизации. Кажется, что в этом случае задержка работает.