编译器中间表示采用 SSA（静态单赋值）形式的特点是？

1. A.每个变量恰好赋值一次，汇合处用 φ 函数选版本
2. B.禁止使用循环，源程序中的循环需要先展开
3. C.变量需要声明为全局的，不允许局部变量
4. D.每个变量仅允许被使用一次，用后即销毁