[ValueTracking] add scan limit for assumes
authorSanjay Patel <spatel@rotateright.com>
Mon, 15 Feb 2021 19:53:07 +0000 (14:53 -0500)
committerSanjay Patel <spatel@rotateright.com>
Mon, 15 Feb 2021 20:24:20 +0000 (15:24 -0500)
commit378941f611ab46b985721874081df88bdf3b7cb1
tree94c33fa62248bdd4ad0a00705e7673af181f286c
parent328261019f50a76b11fa625739cbf32ceb2ce2f7
[ValueTracking] add scan limit for assumes

In the motivating example from https://llvm.org/PR49171 and
reduced test here, we would unroll and clone assumes so much
that compile-time effectively became infinite while analyzing
all of those assumes.
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Transforms/LoopUnroll/assume-timeout.ll [new file with mode: 0644]