"Clang can codegen a switch statement with lots of disjoint cases as a binary search" https://zneak.github.io/fcd/2017/02/19/divisions.html (impressive!)