Assuming that, branch predictor should make that check close to free. But the code still works even when that assumption is violated.