[PATCH] D12719: ScalarEvolution assume hanging bugfix

[Sanjoy Das via llvm-commits]

sanjoy added a comment.

In http://reviews.llvm.org/D12719#242207, @Prazek wrote:

> I checked it, it is of course not infinite. I am not sure about n! in case of assumes. I having 10 or 20 assumes will not make it slow. @rsmith was helping me with it, and he thinks that for assumes it is O(n^2), because results are memorized.


I think @rsmith is right -- in this case the complexity is O(n^2).  I thought I had an example where it was O(n!), but I cannot come with anything concrete right now.

Do you mind also changing `O(n!) time complexity` to `O(n^2) time complexity` in the comment?


http://reviews.llvm.org/D12719