稀疏有條件的常數傳播 在電腦科學的領域稀疏有條件的常數傳播sparse conditional constant propagation是一個优化的技術常用在以静态单赋值形式SSA進行最佳化的編譯器它可以移除程式中一些無用的程式碼以及進行常數傳播然而它比起死碼刪除以及常數傳播更加的強大 這個演算法在SSA中藉由實現程式碼的抽象释义來運作在實現抽象釋義的過程中它使用常數的格Lattice以及在全域環境對應SSA變數到這個格的數值演算法的關鍵在於它如何處理分支指令的詮釋當意外發生分支的狀態盡可能評估最佳的方式使綁定變數的抽象數值更加的精確在需要數值要絕對精確的案例之下抽象執行可以決定分支的方向如果數值不是常數或是一個變數在為定義的狀態那麼兩個分支的方向必須都保留 完成後的抽象表現指令不會到達被標注為死碼的程式區段SSA變數在常數會使用到的地方可能會以內連inline的方式實現比如