"Documentation by paper"

[Robert Dewar]

law@redhat.com wrote:

> In message <20040209175301.GB3455@mail.shareable.org>, Jamie Lokier writes:
>  >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.

> I'll also note that our optimizers don't care if they're presented with the
> extra PHI nodes or not

Fine, this should be part of the documented spec.