]> granicus.if.org Git - llvm/commit
[ValueTracking] Honour recursion limit.
authorDavide Italiano <davide@freebsd.org>
Wed, 9 Aug 2017 15:13:50 +0000 (15:13 +0000)
committerDavide Italiano <davide@freebsd.org>
Wed, 9 Aug 2017 15:13:50 +0000 (15:13 +0000)
commit7805791efa2b5fad946dc9c763b9c1d8b5356e2a
treecf9f43c3288de00640175626ed6313b57fb0b412
parent4858c15c41e268242513b029a9efec6040c5d5b3
[ValueTracking] Honour recursion limit.

The recently improved support for `icmp` in ValueTracking
(r307304) exposes the fact that `isImplied` condition doesn't
really bail out if we hit the recursion limit (and calls
`computeKnownBits` which increases the depth and asserts).

Differential Revision:  https://reviews.llvm.org/D36512

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@310481 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/ValueTracking.cpp
test/Transforms/SimplifyCFG/pr34131.ll [new file with mode: 0644]