Displaying 1 result from an estimated 1 matches for "669f5214".
2016 Aug 31
3
[RFC] Interprocedural MIR-level outlining pass
On Tue, Aug 30, 2016 at 7:28 PM, Daniel Berlin <dberlin at dberlin.org> wrote:
> I tend to agree with Hal -- value numbering computes equivalent *values*,
>>
> Sorry, but this is just flat out wrong
>
> "A Global Value Numbering(GVN) algorithm is considered to be complete (or
> precise), if it can detect all Herbrand equivalences among expressions in a
>