On 9/25/2024 12:31 PM, claptrap wrote: > If multiple nodes in the tree can point to the same shared state, IE variables, > then it's not actually like SSA. They don't. Only after all other DFA is complete does the compiler do common subexpressions, and the common subexpressions create trees with multiple parents.