OSDN Git Service

[LVI] NFC. On the fast dest path use inverse predicate instead of inverse range result
authorArtur Pilipenko <apilipenko@azulsystems.com>
Mon, 8 Aug 2016 14:33:11 +0000 (14:33 +0000)
committerArtur Pilipenko <apilipenko@azulsystems.com>
Mon, 8 Aug 2016 14:33:11 +0000 (14:33 +0000)
commitfe11e980a91ccec671d537aa1c7fd5ec29fca706
treeeb638e6f9421f817db3b15c88a5dec861d5661f8
parentb8275878185b00ef41ddc837e357f08f9b6f96bf
[LVI] NFC. On the fast dest path use inverse predicate instead of inverse range result

Gathering constantins from a condition on the false path ask makeAllowedICmpRegion about inverse predicate instead of inversing the resulting range.

This change was separated from the review "[LVI] Make LVI smarter about comparisons with non-constants" (https://reviews.llvm.org/D23205#inline-198361)

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@278009 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/LazyValueInfo.cpp