"Documentation by paper"

[Daniel Berlin]

On Feb 9, 2004, at 1:13 PM, Robert Dewar wrote:

> Daniel Berlin wrote:
>
>> This is theoretical.
>> I provided some data that showed at least one algorithm that claimed 
>> they wanted "useless" phi nodes to be present worked slightly better 
>> without them.
>
> Well surely it is part of the specification of the *implementation*
> whether these "useless" nodes are supposed to be present or not.
No, and you've missed my point.
The paper on the exact algorithm we implement claims they help.
With an implementation implemented *EXACTLY* according to this 
algorithm, they do not help.
That is all.
It has nothing to do with an implementation difference.