重新排序指令如何解决数据依赖关系？

Question

我最近遇到了一个问题。我看了一段关于数据依赖性的视频。讲师说，通过对指令重新排序，可以解决数据依赖性问题。写入后读取危险示例：

A1 <- B1 + C1 
A2 <- A1 + B2 

在这种情况下，第二条指令有两个档位。通过重新排序指令：

A2 <- A1 + B2 
A1 <- B1 + C1 

我们消除了先读后写的危险。从技术上讲，这是正确的。但是，我想知道，第二种方法是否在逻辑上是错误的，并且会引入错误的结果？

如果我错了，请纠正我，因为我是新手。

Answer 1

你是对的，这将改变结果，并且不是有效的优化，除非您有其他信息以某种方式使其安全。（即A已经等于B1 C1，在这种情况下，您应该直接优化它而不是重新排序）。

（我假设“A”是寄存器，A1/A2是跟踪值生命周期的静态单一分配方式的序列号。即A2是A的第二个值。）

希望您正在观看的视频没有表明这是解决第一个案例问题的方法，只是这是一个没有问题的不同示例。