※ 引述《shane87123 (陽光大肥宅)》之銘言： : 大家好，編譯器版首po，問題如果太白癡還請見諒～ : 最近在研究 Cmpiler 的 Optimizer 這塊，我選擇使用 LLVM，畢竟他的模組性是大家有 : 目共睹的。 : 近期在研究 Optimizer 的 Phase ordering Problem 這個問題（我發現繁中關鍵字很少 : ） : 感覺討論度不高，不知道為什麼XD : 最近想用 opt 這個工具去玩玩看 pass 的 order : 那因為我想先使用 new passmanager 的 cmmand，所以我的指令一開始是這樣打： : opt -S -passes=always-inline,licm input.ll -o output.ll : 結果出現 error，內容大概是要先 memorySSA 有詳細的錯誤訊息嗎？很有可能是IR內容的問題 因為我剛剛隨便拿一個 .ll 檔 然後用你的 command line flag，但是啥事也沒發生 : 但我使用 legacy passmanager，就可以： : opt -S --always-inline --licm input.ll -o output.ll : 為什麼會這樣呢？ : 我是比較想要使用新版的，我擔心用舊版的之後會不支援。 : 另外，假如我 command 這樣使用： : clang -S -emit-llvm input.c -o output.ll : 出來的 IR 內容最底下的 attributes 會有一個參數是這樣：optnone : 甚至會有noinline : 想請問大家，這些參數該怎麼一開始就消除？以及這些參數的相關含義要去哪裡查才查得 : 到？ optnone是 -O0 的時候會加在每個function的attribute，意思是請 optimizer 不要去 處理該 function，你可以用這個flag請clang在 -O0 的時候不要加它： clang -Xclang -disable-O0-optnone ... 要注意的是一定要加 "-Xclang" 因為 -disable-O0-optnone 是 frontend flag 不是 driver flag 至於各 attribute 的意思，LLVM Language Reference 裡就有了： https://llvm.org/docs/LangRef.html : 有這些參數，我每一次都要去 vim 一次修掉，才能 opt 他。 : 然後，opt 傳入的 passes 理論上不論順序如何，出來的 code 都不會執行錯誤對吧？ 大部分的時候都不會錯 但不是絕對。事實上有一個領域就是在檢查這種錯誤 -- 也就是 miscompilation 或者 misoptimization。 有興趣的話也可以查查 "compiler translation validation" 這個領域在做的東西 : 先謝謝版友了，有這個版真的很棒。 --

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