https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84436
--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> --- Note that this is good for identity, but we could also turn a map 0->3, 1->4, 5->8 into x->x+3, or generally any map (with an unreachable default case) into a polynomial (or some other simple function), the cost of which might be higher or lower than the jump table. It probably isn't worth going too far in that direction though.
