SSA is a representation of closed Cartesian categories that looks like normal code. Closed Cartesian categories model computation. You don't need SSA and modern compiler frameworks like MLIR make better choices that still mostly use SSA but have more sanity when it comes to basic block boundaries (treat them as having arguments, instead of phi nodes).