Prazek added inline comments.
================
Comment at: lib/Analysis/ScalarEvolution.cpp:6980
@@ -6991,1 +6979,3 @@
+ // Check conditions due to any @llvm.assume intrinsics.
+ for (auto &AssumeVH : AC.assumptions()) {
----------------
nlewycky wrote:
> What is it about this check which is a problem? Or put another way, why is
> this not okay but the call to isImpliedCond on line 6956 is fine? The problem
> is recursion through isImpliedCond->getSCEV->..., right?
The problem is that the check wasn't covering assume loop which caused big hang.
Stacktrace looked more like this
(isImpliedCond -> getZeroExtendExpr -> isLoopBackedgeGuardedByCond) x much
http://reviews.llvm.org/D12719
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
