[llvm-dev] InstCombine, graph rewriting, Equality saturation

[Hal Finkel via llvm-dev]

On 09/08/2017 12:10 AM, John Regehr via llvm-dev wrote:
>> Should I create a small prototype of equality saturation as an LLVM 
>> pass so that there can be some concrete discussion on this? I'd love 
>> pointers.
>
> I think that would be awesome.

+1

The research implementation from Michael Stepp, Ross Tate, and friends 
is online: http://goto.ucsd.edu/~mstepp/peggy/

  -Hal

>
> John
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev

-- 
Hal Finkel
Lead, Compiler Technology and Programming Languages
Leadership Computing Facility
Argonne National Laboratory