Comment by aw1621107

If you hoist small_numbers[smlen] = numbers[i] out of the if statement then the compiler will produce nearly the same branchless assembly for both cases (the only difference being compare against 499 followed by setle vs. compare against 500 followed by setl).

Taking a second look I want to say you need to hoist the assignment for the loops to be semantically identical anyways.