The Shift of Theseus：玩具级位溯源抽象域

作者提出一种“位溯源”抽象域，为每个 SSA 变量的每一位记录来源，能判断某位是否与另一变量另一位相同或为常量 0/1，从而把 `a = x & 0x0f` 与 `b = x >> 60` 识别为同值并折叠。文中给出域值、转移函数与位运算转移函数的实现，并基于 Pydrofoil 与 PyPy 做了评估。