search for: rl285535

Thanks for the helpful reply! I see that we are trying to keep ScalarEvolution stable around instruction ordering. My suggestion would be to not restrict the fix by only recursing on the first operand. By "dominator logic" I meant that if all other 'cheap' checks fail, we should decide by walking the dominator tree to see which instruction's basic block is encountered

...aj, On 10/18/16, 1:25 PM, Chawla, Pankaj wrote: > I see that we are trying to keep ScalarEvolution stable around > instruction ordering. My suggestion would be to not restrict the fix > by only recursing on the first operand. I think I've addressed this in https://reviews.llvm.org/rL285535, PTAL. -- Sanjoy