Craig Topper b60f866a8b [LVI] Teach LVI to reason about ORs of icmps similar to how it reasons about ANDs of icmps ... Summary: LVI can reason about an AND of icmps on the true dest of a branch. I believe we can do similar for the false dest of ORs. This allows us to get the same answer for the demorganed versions of some of the AND test cases as you can see. Reviewers: anna, reames Reviewed By: reames Subscribers: llvm-commits Differential Revision: https://reviews.llvm.org/D34431 llvm-svn: 306076		2017-06-23 01:08:16 +00:00
..
2010-09-02-Trunc.ll	…
2010-09-26-MergeConstantRange.ll	…
add.ll	[LVI] Teach LVI to reason about ORs of icmps similar to how it reasons about ANDs of icmps	2017-06-23 01:08:16 +00:00
alloca.ll	Add address space mangling to lifetime intrinsics	2017-04-10 20:18:21 +00:00
ashr.ll	[CVP] Convert an AShr to a LShr if 1st operand is known to be nonnegative.	2016-10-12 13:41:38 +00:00
basic.ll	[IR] Make SwitchInst::CaseIt almost a normal iterator.	2017-03-26 02:49:23 +00:00
conflict.ll	Revert @llvm.assume with operator bundles (r289755-r289757)	2016-12-19 08:22:17 +00:00
crash.ll	[LVI] Fix potential memory corruption in getValueFromCondition	2016-08-12 15:08:15 +00:00
guards.ll	[LVI] Fix a bug with a guard being the very first instruction in a BB not taken into account	2016-10-21 15:02:21 +00:00
icmp.ll	…
non-null.ll	…
range.ll	[LVI] Take range metadata into account while calculating icmp condition constraints	2016-08-12 10:14:11 +00:00
sdiv.ll	…
select.ll	…
srem.ll	…