如果在活性分析中同时使用和覆盖变量,变量的状态是什么

What is the state of a variable if it is going to be used and overwritten at the same time in liveness analysis

给定如下规则,
1. 阅读(A) {A}
2. 阅读(B) {A,B}
3. C = A + B {B, }
4. A = A + B {}

{} 中的元素在读取下一行之前处于活动状态。 所以,在第二行,A 和 B 是活的。 在第三行,我不确定 A 是否会存活,因为它将在下一行中使用,同时它会被覆盖。

A 在第 3 行的末尾有效。您需要第 1 行中的 A 值来计算第 4 行中 A 的新值。