It's not, because the Phi's in Pizlo form introduce a Static Single Use variable, which makes them easy to analyze. Allocas have no requirement that there's a

It's not, because the Phi's in Pizlo form introduce a Static Single Use variable, which makes them easy to analyze. Allocas have no requirement that there's a static single use. They are quite hard to analyze.