Любой конечный цикл на машинных инструкциях выглядит как проверка условия + условный переход.
В целом, тот же goto завёрнутый в красивую обёртку.
Так что для процессора разницы нет никакой. Она есть для того, кто будет читать/поддерживать программу, поэтому пиши код так, будто сопровождать его будет кровожадный маньяк-психопат, который знает, где ты живёшь.
Сделай свой код понятным и читаемым.