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

Не будет генерироваться код для проверки условия 2 != 0. А Jmp это просто переход на начало цикла. Т.е. бесконечный цикл можно реализовать по-разному, либо как while (1), либо как for (;;). Просто в первом случае программист должен надеяться на оптимизацию кода компилятором. Во втором случае вообще никаких проверок не выполняется,независимо от уровня оптимизации.