最近剛好用到 opt 觀察個別的 pass 最佳化結果時遇到跟 #1XeRxLcp 類似的問題 有的最佳化用 O1 會出現, 但是直接執行對應的 pass 卻沒有效果. 後來剛好查到的討論, 我覺得可能有關 (原本的問題連結: ┌─────────────────────────────────────┐ │ 文章代碼(AID): #1XeRxLcp (CompilerDev) [ptt.cc] [問題] 用 opt 重現 O3 │ │ 文章網址: https://webptt.com/m.aspx?n=bbs/CompilerDev/M.1637990101.A.9B3.html │ │ 這一篇文章值 88 Ptt幣 │ └─────────────────────────────────────┘) LLVM 用 O1 最佳化程式時, 個別的 pass 不是全部用預設的組態執行. 對於在特定位置執行的 pass, 有些會啟用不同的變換選項. 例如在跑 SimplifyCFG 時, 這裡會把 switch 轉換成 lookup table https://github.com/llvm/llvm-project/blob/llvmorg-13.0.0/llvm/lib/Passes/PassBuilder.cpp#L1267 L1258 // Now that we've formed fast to execute loop structures, we do further // optimizations. These are run afterward as they might block doing complex // analyses and transforms such as what are needed for loop vectorization. // Cleanup after loop vectorization, etc. Simplification passes like CVP and // GVN, loop transforms, and others have already run, so it's now better to // convert to more optimized IR using more aggressive simplify CFG options. // The extra sinking transform can create larger basic blocks, so do this // before SLP vectorization. FPM.addPass(SimplifyCFGPass(SimplifyCFGOptions() .forwardSwitchCondToPhi(true) .convertSwitchToLookupTable(true) .needCanonicalLoops(false) .hoistCommonInsts(true) .sinkCommonInsts(true))); 想用 opt 重現這個效果的話, 不能執行預設的 -simplifycfg pass, 要手動調整參數. 把 O1 的 pass pipeline 印出來看的時候也很容易忽略這部分 opt --passes='simplifycfg<switch-to-lookup>' -S -o output.ll input.ll 類似的 pass 還有像執行 loop unswitching 的時候是不是 non-trivial 等等. 舉例來說, non-trivial loop unswitching 的策略會複製整個迴圈, 但最基本的 trivial 策略只會單獨把特定 branch/if 提升到迴圈外面. 像這裡列出了 simplifycfg 的選項, 可以看到上面 forwardSwitchCondToPhi, convertSwitchToLookupTable, hoistCommonInsts 等都可以手動調整. 有多個選項的話, 選項之間用分號區隔: opt --passes='simplifycfg<switch-to-lookup;hoist-common-insts>' \ -S -o output.ll input.ll https://github.com/llvm/llvm-project/blob/llvmorg-13.0.0/llvm/lib/Passes/PassRegistry.def#L355 這裡則列出了 loop unswitching 的選項 https://github.com/llvm/llvm-project/blob/llvmorg-13.0.0/llvm/lib/Passes/PassRegistry.def#L448 另外謝謝板主在 #1XPc02WZ 分享 -disable-O0-optnone 的用法! 完全想不到可以控制這個 (這篇 ┌─────────────────────────────────────┐ │ 文章代碼(AID): #1XPc02WZ (CompilerDev) [ptt.cc] Re: [問題] llvm opt工具? │ │ 文章網址: https://webptt.com/m.aspx?n=bbs/CompilerDev/M.1634099202.A.823.html │ │ 這一篇文章值 102 Ptt幣 │ └─────────────────────────────────────┘) --

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 162.237.29.174 (美國) ※ 文章網址: https://webptt.com/m.aspx?n=bbs/CompilerDev/M.1645417109.A.537.html