The mask that compiles to nothing: how HotSpots JIT learned to reason about bits

A deep dive into the known-bits abstraction that recently landed in HotSpot's C2 JIT compiler: the same tristate-bit abstraction LLVM and GCC use, and why it lets the JVM delete redundant masks and shifts.