Displaying 3 results from an estimated 3 matches for "inequivalent".
Did you mean:
equivalent
2016 Aug 31
2
[RFC] Interprocedural MIR-level outlining pass
>
>
> Yes, this was exactly my point. We want to recognize
> structurally-equivalent sequences of instructions on inequivalent operands.
>
Yes, and my point is "none of the vn and vn-dag generating algorithms care".
you can define equivalent to be "structural", you can define it to be
"these two variables are equivalent if they both start with "a"", you can
define it however you...
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
>
2016 Sep 01
3
[RFC] Interprocedural MIR-level outlining pass
...in,
Hal
> (I'm going to just leave this thread be now)
> On Wed, Aug 31, 2016 at 4:17 PM, Daniel Berlin < dberlin at dberlin.org
> > wrote:
> > > Yes, this was exactly my point. We want to recognize
> > > structurally-equivalent sequences of instructions on inequivalent
> > > operands.
> >
>
> > Yes, and my point is "none of the vn and vn-dag generating
> > algorithms
> > care".
>
> > you can define equivalent to be "structural", you can define it to
> > be
> > "these two variab...