标签： llvm
有没有办法确定特定的SSA变量值在程序中的2个点之间不会发生变化？
答案 0 :(得分：6)
来自Wikipedia：
在编译器设计中，静态单一赋值形式（通常缩写为 作为SSA形式或简称SSA）是中间体的属性 表示（IR），表示每个变量都是精确分配的 一次。
所以我不确定你的问题是否有任何意义。
以GEB的方式，我会回答“mu”; - ）