Displaying 2 results from an estimated 2 matches for "c7ip43an5_q".
2017 Sep 11
3
InstCombine, graph rewriting, Equality saturation
Just thinking out loud…. I’m really not familiar with the vast majority of what instcombine does, so please excuse me if my naiveté is too obvious. I can’t help but notice all of the uses of ‘and’ in Daniel B’s description of what instcombine is right now:
> On Sep 8, 2017, at 11:27 PM, Daniel Berlin via llvm-dev <llvm-dev at lists.llvm.org> wrote:
>
> FWIW, Before getting to
2017 Sep 11
4
InstCombine, graph rewriting, Equality saturation
...o when splitting it into separate passes we would need to either add
> fixed-point iteration to the pass manager running the separate
> instcombine passes (extending the pass management in this way is
> doable and has been explored in the past, e.g.
> https://www.youtube.com/watch?v=c7iP43an5_Q ) or demonstrate/measure
> that we don't regress without the fixed-point iteration across
> separate instcombine passes.
I agree, but I'll add that I view the fixed-point iteration here to be
an asset. It increases the robustness and consistency of the compiler,
and allows later...