This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: "Documentation by paper"
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.
-- Jamie