数据流分析——IN OUT

Data flow analysis - IN OUT

我无法理解为什么“001 1100”是我画的部分的结果。我发现的结果是不同的。那里有错误吗?

如果 genkill 正确,则不会出错。 + 和 - 是按位逻辑运算符,而不是算术运算符。 A + B 是 A or B,A - B 是 A 而不是 B(位掩码 B 下的位清除 A)。这就是用位向量完成集并集和集差集的方式。

000 1100 + (111 0000 - 110 0001) = 000 1100 + 001 0000 = 001 1100