llvm：为什么adce比dce更具侵略性

由于

adce

和

dce

都是

llvm opt

中的优化器，并且最佳方向不同（

adce

首先考虑所有的仪器死机，而

dce

首先考虑所有的仪器活机）。但是为什么

adce

比

dce

更具侵略性呢？还有一个问题是，有没有一个示例（一个.ll文件）的输出（一个由

dce

优化，另一个由

adce

优化）是不同的？

在这种情况下，侵略性意味着adce在有任何疑问时会认为指令已失效，并将其删除。当有疑问时，dce会留下它。当有明确的理由时，它们都会切换，这是表达同一事物的另一种方式。