law@redhat.com wrote:
In message <20040208062304.GB25666@mail.shareable.org>, Jamie Lokier
writes:
Note that there are several different variations of SSA form,
particularly minimal vs. non-minimal, so a definition of which one is
being used and assumed e.g. by tree-SSA would be good.
Minimal vs pruned vs semi-pruned are not properties of the SSA form
-- they
only differ in how many useless PHI nodes are initially generated when
translating into SSA form.
Granted, but papers do refer to them as "minimal SSA" et al., and the
properties are relevant to algorithms. Without being 100% certain
from memory, I recall some algorithms require some of the "useless"
PHI nodes to be present.