The mask that compiles to nothing: how HotSpot's JIT learned to reason about bits 4 points by rrampage