別名分析 - 維基百科，自由的百科全書

本條目存在以下問題，請協助改善本條目或在討論頁針對議題發表看法。

此條目可參照英語維基百科相應條目來擴充。 (2023年1月12日)
若您熟悉來源語言和主題，請協助參考外語維基百科擴充條目。請勿直接提交機械翻譯，也不要翻譯不可靠、低品質內容。依版權協議，譯文需在編輯摘要註明來源，或於討論頁頂部標記{{Translated page}}標籤。

此條目已列出參考文獻，但因為沒有文內引註而使來源仍然不明。 (2023年1月12日)
請加上合適的文內引註來改善這篇條目。

此條目需要補充更多來源。 (2023年1月12日)
請協助補充多方面可靠來源以改善這篇條目，無法查證的內容可能會因為異議提出而被移除。
致使用者：請搜尋一下條目的標題（來源搜尋："別名分析" — 網頁、新聞、書籍、學術、圖像），以檢查網路上是否存在該主題的更多可靠來源（判定指引）。

別名分析（Alias analysis）是編譯器理論中的一種程序分析技術。當程序中同時出現兩個甚至多個符號代表同樣一個內存位置時，這些符號便可稱作別名。與此相對應的，當兩個或更多指針指向同一個地址時，那些指針稱作別名指針。別名分析則是判斷一個程序內是否存在別名的算法。

別名（Alias）的存在會增加編譯器的優化難度，甚至阻止某種優化的發生。因此，別名是否存在於程序中，對於一些優化手段是不可或缺的一個信息。在這種場景下，別名分析顯得尤為重要。

參考[編輯]

Appel, Andrew W. Modern Compiler Implementation in ML. Cambridge, UK: Cambridge University Press. 1998. ISBN 0-521-60764-7.

閱論編編譯器優化

基本塊	窺孔優化

循環優化（英語：Loop optimization）	歸納變量（英語：Induction variable）強度折減循環合併（英語：Loop fusion）循環反演（英語：Loop inversion）循環交換（英語：Loop interchange）循環不變代碼外提循環嵌套優化（英語：Loop nest optimization）循環展開循環分割（英語：Loop splitting）迴圈判斷外提軟件流水（英語：Software pipelining）自動並行化（英語：Automatic parallelization）

數據流分析	公共子表達式消除常數折疊歸納變量識別和消除（英語：Induction variable recognition and elimination）無作用儲存體（英語：Dead store）消除用戶定義鏈（英語：Use-define chain）活躍變量分析（英語：Live variable analysis）可用表達式（英語：Available expression）

基於SSA的優化	全局值編號（英語：Global value numbering）稀疏有條件的常數傳播

代碼生成	暫存器配置指令選擇指令調度再具體化

函數	尾調用消除去森林化（英語：Deforestation (computer science)）

全局	過程間優化（英語：Interprocedural optimization）

其他	邊界檢查消除（英語：Bounds-checking elimination）編譯時函數執行（英語：Compile-time function execution）死碼刪除內聯展開跳轉線程（英語：Jump threading）

靜態分析	別名分析指針分析（英語：Pointer analysis）形狀分析（英語：Shape analysis (program analysis)）逃逸分析數組訪問分析（英語：Array access analysis）依賴分析（英語：Dependence analysis）控制流分析數據流分析