Chad Rosier b7dfbb40a3 [ValueTracking] Improve isImpliedCondition for conditions with matching operands. ...

This patch improves SimplifyCFG to catch cases like:

  if (a < b) {
    if (a > b) <- known to be false
      unreachable;
  }

Phabricator Revision: http://reviews.llvm.org/D18905

llvm-svn: 266767

2016-04-19 17:19:14 +00:00

..

2008-11-27-EntryMunge.ll

…

2010-08-26-and.ll

…

2011-04-02-SimplifyDeadBlock.ll

…

2011-04-14-InfLoop.ll

…

2012-07-19-NoSuccessorIndirectBr.ll

…

and-and-cond.ll

…

and-cond.ll

…

assume-edge-dom.ll

…

assume.ll

…

basic.ll

[JumpThreading] See through Cast Instructions

2016-03-16 04:52:52 +00:00

branch-no-const.ll

…

compare.ll

…

conservative-lvi.ll

…

crash.ll

…

degenerate-phi.ll

…

implied-cond.ll

[ValueTracking] Improve isImpliedCondition for conditions with matching operands.

2016-04-19 17:19:14 +00:00

indirectbr.ll

…

induction.ll

[LVI] Introduce an intersect operation on lattice values

2016-02-02 03:15:40 +00:00

landing-pad.ll

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

lvi-load.ll

…

no-irreducible-loops.ll

…

or-undef.ll

…

phi-eq.ll

…

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

…

pr22086.ll

…

pr26096.ll

Avoid inlining call sites in unreachable-terminated block

2016-02-01 20:55:11 +00:00

select.ll

[JumpThreading] Split select that has constant conditions coming from the PHI node

2016-01-08 19:39:39 +00:00

thread-cmp.ll

…

thread-loads.ll

…

update-edge-weight.ll

[BPI] Replace weights by probabilities in BPI.

2015-12-22 18:56:14 +00:00