反编译器如何将多个SSA表单指令组合成一个语句？

Question

我只是想知道反编译器如何将多个SSA表单指令合并成一个语句？或者已经有一种算法可以组合这些指令了？

例如，(为了使问题更简单，我使用高级语言来做一个例子。)

for(int i = 1; i < N-1; i++) {
  int d = 3;
  int v1 = A[i-1];
  int v2 = A[i];
  int t1 = v1+v2;
  int v3 = A[i+1];
  int sum = t1+v3;
  int res = sum / d;
  B[i] = res;
}

实际上，这是将三个元素数组元素Ai-1、Ai和Ai+1平均起来并存储到B中。

for(int i = 1; i < N-1; i++) {
  B[i] = (A[i-1]+A[i]+A[i+1]) / 3;
}

谢谢。

Answer 1

SSA是一种中间编译器表示；反编译器查看生成的程序集。编译器为多个SSA语句选择一个寄存器的可能性很大--尽管SSA确实允许编译器做出不同的选择。

例如，在您的示例中，可以在单个寄存器中添加A[i-1]+A[i]+A[i+1]。这是不可避免的依赖。反编译器，回顾过去，只看到单个寄存器，而不是SSA语句。