range-inference

This article explains how HotSpot's C2 JIT compiler uses a 'known bits' abstraction to track which bits of an integer are definitely zero or one, enabling optimizations like eliminating redundant bitwise AND operations.