[llvm-dev] InstCombine, graph rewriting, Equality saturation (original) (raw)
Hal Finkel via llvm-dev llvm-dev at lists.llvm.org
Fri Sep 8 16:48:35 PDT 2017
- Previous message: [llvm-dev] InstCombine, graph rewriting, Equality saturation
- Next message: [llvm-dev] InstCombine, graph rewriting, Equality saturation
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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
- Previous message: [llvm-dev] InstCombine, graph rewriting, Equality saturation
- Next message: [llvm-dev] InstCombine, graph rewriting, Equality saturation
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]