range-inference

本文解释HotSpot的C2 JIT编译器如何使用“已知位”抽象来跟踪整数中哪些位确定是0或1，从而实现消除冗余按位与操作等优化。