1.閉包記錄分配：若逃逸分析能識別哪些閉包記錄在創建它們的函數中是出口不活躍的，則這些閉包記錄可分配在棧幀中（不再是堆中）
2.內聯擴展：由于小函數較多，因此內聯可以免去調用開銷而提高性能，對于遞歸函數，需先用循環前置頭轉換再內聯，如果是尾遞歸函數，可先使用尾調用優化刪除遞歸。如果一個函數的所有調用都被內聯擴展，并且該函數沒有作為參數傳遞或其它方式被引用，那么可以刪除這個函數本身即函數定義。內聯擴展可以繼續作用于擴展后的函數體，只要存在函數調用，這也叫層疊式內聯
3.循環不變量參數外提：遞歸函數經過循環前置頭轉換后，若每次遞歸調用頭函數，傳入的某些參數值總不變，則可以將它們從函數參數中刪除，函數體中的每次使用出現用序曲函數對應的參數名替換
4.解開嵌套的let：將嵌套的多層let中的代碼合并為一個let中的代碼，in中的代碼不變
5.避免代碼膨脹：由于內聯復制函數體，通常使程序體積變大，且層疊式內聯可無限擴展下去，因此為避免代碼膨脹，有如下啟發式策略對內聯進行控制
a) 只內聯執行很頻繁的函數調用，可根據靜態估計比如循環嵌套深度、迭代次數，或根據執行剖面分析反饋，計算函數的執行頻率
b) 內聯很小的函數，其函數體不會比直接調用多出較多指令
c) 內聯只調用一次的函數，然后刪除原來的函數定義
posted on 2023-09-07 06:47
春秋十二月 閱讀(77)
評論(0) 編輯 收藏 引用 所屬分類:
Compiler