Размерность стандартных типов (char, int, long и т.п.) вовсе не гарантируется стандартом языка Си. Стандартом гарантируется лишь, что sizeof(char) ≤ sizeof(short int) ≤ sizeof(int) ≤ sizeof(long int). А конкретная размерность этих типов определяется архитектурой МК и/или компилятором.
По поводу вашего примера в начале топика, быстрее всего (компилятор его оптимизирует для этого) будет выполняться цикл вида

Во-первых, используется "естественный" для архитектуры тип локальной переменной. Во-вторых, загрузка значения константы происходит только один раз в начале цикла. В-третьих, в процессе выполнения цикла это значение будет декрементироваться и сравниваться с нулем, а не со значением константы, что (сравнение с нулем) в подавляющем большинстве случаев опять же более "естественно" для системы команд любого МК.
Правда этот способ не применим в случае, если значение переменной i используется внутри цикла для, например, индексации линейно возрастающего массива.

И все-же uint_fast8_t будет более к месту.



Тогда уж можно доходить до логического конца (или начала, с этого начиналась борьба человека с компиляторами Си)


С таким циклом справятся любые компиляторы, даже самые древние

Угу. Я подумал-подумал и... не стал приводить пример с while, т.к. изначально пример с for был.

не стоит особенно утруждать себя заботами о быстродействии, пишите int , номенклатура армов широка и сравнить их просто умножив поделив частоты не удается. Если в память влазиете пишите int - в большинстве это поделки

Любезный! Не снизойдете ли до простых смертных разъяснить, что вы хотели этой фразой сказать?