On: Push ifs up and fors down: The idiom, its algebra, and its limits

[bzbz]

Not particularly.

Easier for humans to reason about the branch, when they know that it happens without input from i or y[i].

This is helpful when the `if` statement is complex, or there are multiple if statements, some of which do take y[i] as input.