projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54b50cc) | patch
[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)
commiteed618d5c02f96db5e0b9685f980ac8936c45a3b
tree6edd955cb9e153839c28f78e760d216cf6e0bba8tree | snapshot
parent54b50cc1a84b847a01ccda6e31080ecd7d42c2dfcommit | diff
[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)

llvm-svn: 278009
llvm/lib/Analysis/LazyValueInfo.cpp diff | blob | history
Domain: System / Toolchain;