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

[John Regehr via llvm-dev]

> 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.

John