[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)
commit30e5194287a733e5cbfbf3ef95ecadce88a559da
tree9e71c74e0aaea7488486c14a070b6130d2949709
parent79876332638603b735b8317d44b8a143455fee1c
[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

llvm-svn: 310481
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Transforms/SimplifyCFG/pr34131.ll [new file with mode: 0644]