design-patterns - 窥孔优化模式

Question

我一直在阅读本地优化编译器技术，但我一直不明白它们是如何实现的。这个想法是优化器每次都会查看代码的“窗口”，并以某种方式检测模式并用更优化的版本替换它们。

我的问题是，如何发现这些模式？ (假设您的平台是一个虚拟机，它为组装的计算机输出汇编代码，例如 Schocken 的 Hack)。

人们是否真的手动检查代码(使用控制流图或 DAG 或其他)，然后收集所有识别的模式并将它们编码到优化器中？或者有没有自动的方法。

例如，您在分析器中输入要优化的代码，它会喷出所述模式。如果是这样，如何开始写一个？

Answer 1

经典的窥视孔优化与强度降低和您提到的其他事情无关。它们是 2-3 个指令序列，例如

BRANCH FALSE $1
BRANCH $2
$1:

可以减少到

BRANCH TRUE $2

像这样的序列可能出现在简单的代码生成器中，例如带有不生成 AST 的单遍编译器，例如我使用过的一些 COBOL 编译器。