The conversation between human and AI assistant.
[|Human|] What is SSA in compiler design?
[|AI|] SSA, or static single assignment form, is a property of an intermediate representation (IR) that requires each variable to be assigned exactly once. Additionally, each variable in SSA must be defined before it is used.
[|Human|] 
What is SSA in compiler design?