Philip Reames fadf8b424b [LVI] Infer local facts from unary expressions ... As pointed out by John Regehr over in http://reviews.llvm.org/D19485, LVI was being incredibly stupid about applying its transfer rules. Rather than gathering local facts from the expression itself, it was simply giving up entirely if one of the inputs was overdefined. This greatly impacts the precision of the overall analysis and makes it far more fragile as well. This patch implements only the unary operation case. Once this is in, I'll implement the same for the binary operations. Differential Revision: http://reviews.llvm.org/D19492 llvm-svn: 267609		2016-04-26 21:48:16 +00:00
..
2010-09-02-Trunc.ll
2010-09-26-MergeConstantRange.ll
basic.ll	[LVI] Infer local facts from unary expressions	2016-04-26 21:48:16 +00:00
conflict.ll	[LVI] Introduce an intersect operation on lattice values	2016-02-02 03:15:40 +00:00
crash.ll
icmp.ll
non-null.ll	Revert "Change memcpy/memset/memmove to have dest and source alignments."	2015-11-19 05:56:52 +00:00
range.ll	[LVI] Fix a bug which prevented use of !range metadata within a query	2016-03-04 22:27:39 +00:00
sdiv.ll	[CVP] Convert an SDiv to a UDiv if both operands are known to be nonnegative	2016-03-14 03:24:28 +00:00
select.ll	[LVI] Improve select handling to use condition	2016-02-12 00:09:18 +00:00