Sanjoy Das ee37e50003 [JumpThreading] Use dominating conditions to prove implications ... Summary: If P branches to Q conditional on C and Q branches to R conditional on C' and C => C' then the branch conditional on C' can be folded to an unconditional branch. Reviewers: reames Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D13972 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@251557 91177308-0d34-0410-b5e6-96231b3b80d8		2015-10-28 21:27:08 +00:00
..
2008-11-27-EntryMunge.ll	Convert all tests using TCL-style quoting to use shell-style quoting.	2012-07-02 12:47:22 +00:00
2010-08-26-and.ll	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
2011-04-02-SimplifyDeadBlock.ll
2011-04-14-InfLoop.ll	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
2012-07-19-NoSuccessorIndirectBr.ll	Fix assertion in jump threading (PR13405).	2012-07-20 10:36:17 +00:00
and-and-cond.ll
and-cond.ll
assume-edge-dom.ll	[LVI] Check for @llvm.assume dominating the edge branch	2014-10-14 16:04:49 +00:00
assume.ll	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
basic.ll	[JumpThreading] make jump threading respect convergent annotation.	2015-08-31 06:10:27 +00:00
branch-no-const.ll
compare.ll	Fix the remaining TCL-style quotes found in the testsuite. This is	2012-07-02 19:09:46 +00:00
conservative-lvi.ll	LazyValueInfo: Actually re-visit partially solved block-values in solveBlockValue()	2014-11-25 17:23:05 +00:00
crash.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
degenerate-phi.ll	Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID	2012-12-30 02:33:22 +00:00
implied-cond.ll	[JumpThreading] Use dominating conditions to prove implications	2015-10-28 21:27:08 +00:00
indirectbr.ll	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
landing-pad.ll	Move the personality function from LandingPadInst to Function	2015-06-17 20:52:32 +00:00
lvi-load.ll	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
no-irreducible-loops.ll	Convert all tests using TCL-style quoting to use shell-style quoting.	2012-07-02 12:47:22 +00:00
or-undef.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
phi-eq.ll	[opaque pointer type] Add textual IR support for explicit type parameter to gep operator	2015-03-13 18:20:45 +00:00
phi-known.ll	[LazyValueInfo] Look through Phi nodes when trying to prove a predicate	2015-08-31 18:31:48 +00:00
pr9331.ll
pr15851_hang.ll	Fixed jump threading going to infinite loop.	2014-06-17 14:34:19 +00:00
pr22086.ll	ValueTracking: ComputeNumSignBits should tolerate misshapen phi nodes	2015-01-04 07:06:53 +00:00
select.ll	[opaque pointer type] Add textual IR support for explicit type parameter to load instruction	2015-02-27 21:17:42 +00:00
thread-cmp.ll	[JumpThreading] Simplify comparisons when simplifying branches	2015-05-07 00:19:14 +00:00
thread-loads.ll	[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction	2015-04-16 23:24:18 +00:00
update-edge-weight.ll	Recommit r250345, it was reverted in r250366 to investigate a bot failure.	2015-10-15 14:59:40 +00:00