如何测试-O3优化是否正确执行?我列出了几个-O3 Optimisations(LLVM),这些是目标独立的。
一种方法是我们可以找到一些标准测试套件,其中包含用于验证这些优化的测试用例(因为它们是独立于目标的)。但是,我不知道哪些是标准测试套件。
----- CallGraph Construction
----- Strip Unused Function Prototypes
----- Loop Load Elimination
----- A No-Op Barrier Pass
----- Simplify the CFG
----- Eliminate Available Externally Globals
----- Alignment from assumptions
----- Merge Duplicate Global Constants
----- Jump Threading
----- Dead Store Elimination
----- Scalar Evolution Analysis
你能帮助我吗,无论如何都要验证这些优化吗? LLVM(或dejagnu)是否具有涵盖所有目标独立优化的测试用例的测试套件?