On: Beautiful branchless binary search

[mgaunard]

A branch refers to jumping to a different location. Performing comparing and blending values as a result of them is not a jump.

[preseinger → mgaunard]

nope

https://en.wikipedia.org/wiki/Branch_(computer_science)

a jump is one kind of branch, but branch describes more things than just jumps