Цитата
При проверке условия на уровне ассемблерных инструкций идет сравнение значения выражения с нулем
Какое это имеет значение? Мы тут наглядность на си рассматриваем, а не ассемблер.
А в таких случаях, как в примере выше, avr-gcc (при включенной оптимизации) использует SBIC или SBIS.
Цитата
Так что прошу от вас обоснования, почему нельзя в условии явно с нулем сравнивать?
Да сравнивайте, кто ж вам не дает

Я разве утверждал что нельзя?? Я писал, что вариант без явного сравнения кажется мне более наглядным.