∨/
Our short-row algorithms are branchless: the operations performed do not depend on the values in the array.