Sanjoy Das 83c1a62e0a [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

llvm-svn: 251557

2015-10-28 21:27:08 +00:00

..

2008-11-27-EntryMunge.ll

…

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

…

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

…

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

…

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

…

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