Anna Thomas 0dae0619be [JumpThreading] Safely replace uses of condition ...

This patch builds over https://reviews.llvm.org/rL303349 and replaces
the use of the condition only if it is safe to do so.

We should not blindly RAUW the condition if experimental.guard or assume
is a use of that
condition. This is because LVI may have used the guard/assume to
identify the
value of the condition, and RUAWing will fold the guard/assume and uses
before the guards/assumes.

Reviewers: sanjoy, reames, trentxintong, mkazantsev

Reviewed by: sanjoy, reames

Subscribers: llvm-commits

Differential Revision: https://reviews.llvm.org/D33257

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@303633 91177308-0d34-0410-b5e6-96231b3b80d8

2017-05-23 13:36:25 +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

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

assume.ll

[JumpThreading] Safely replace uses of condition

2017-05-23 13:36:25 +00:00

basic.ll

Revert r300657 due to crashes in stage2 of bootstraps:

2017-04-19 06:23:20 +00:00

branch-no-const.ll

…

compare.ll

…

conservative-lvi.ll

…

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

…

fold-not-thread.ll

[JumpThreading] Safely replace uses of condition

2017-05-23 13:36:25 +00:00

guards.ll

[JumpThreading] Safely replace uses of condition

2017-05-23 13:36:25 +00:00

implied-cond.ll

[ValueTracking] Improve isImpliedCondition when the dominating cond is false.

2016-04-25 17:23:36 +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

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

[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

…

pr22086.ll

ValueTracking: ComputeNumSignBits should tolerate misshapen phi nodes

2015-01-04 07:06:53 +00:00

pr26096.ll

Avoid inlining call sites in unreachable-terminated block

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

pr27840.ll

Jump threading: avoid trying to split edge into landingpad block (PR27840)

2016-10-03 18:18:04 +00:00

select.ll

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

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

static-profile.ll

[JumpThreading] Only write back branch-weight MDs for blocks that originally had PGO info

2016-09-06 16:08:33 +00:00

thread-cmp.ll

[JumpThreading] Simplify comparisons when simplifying branches

2015-05-07 00:19:14 +00:00

thread-loads.ll

[JumpThreading] Perform phi-translation in SimplifyPartiallyRedundantLoad.

2017-03-19 15:30:53 +00:00

update-edge-weight.ll

[BPI] Replace weights by probabilities in BPI.

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