What percentage of real-world if cases would benefit from it, in the sense that the three branches are actually different. I would say it's a small number. Yes, there are range checks which could benefit, but more often than not, the two extreme ranges are treated the same, as an error condition.
My guess is that most hot conditional jumps are loop returns. That's certainly binary.
My guess is that most hot conditional jumps are loop returns. That's certainly binary.