2 ms·
> what makes SSA so special for compiler construction It makes doing immutability and loop invariant reasoning a ton easier, along with constant propagation: h
by mdaniel 12y ago
> what makes SSA so special for compiler construction
It makes doing immutability and loop invariant reasoning a ton easier, along with constant propagation: https://en.wikipedia.org/wiki/Static_single_assignment_form https://en.wikipedia.org/wiki/Static_single_assignment_form
- bishc 12y agoMore generally, SSA means implicit use/def information. Use/def information and traversal are critical components of many static analyses and transformations: having the IR in SSA form greatly simplifies reasoning about and implementing these analyses and transformations.