Brian M. Rzycki 55da8a3a3e [JumpThreading] PR36133 enable/disable DominatorTree for LVI analysis ...

Summary:
The LazyValueInfo pass caches a copy of the DominatorTree when available.
Whenever there are pending DominatorTree updates within JumpThreading's
DeferredDominance object we cannot use the cached DT for LVI analysis.
This commit adds the new methods enableDT() and disableDT() to LVI.
JumpThreading also sets the appropriate usage model before calling LVI
analysis methods.

Fixes https://bugs.llvm.org/show_bug.cgi?id=36133

Reviewers: sebpop, dberlin, kuhar

Reviewed by: sebpop, kuhar

Subscribers: uabelho, llvm-commits, aprantl, hiraditya, a.elovikov

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



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

2018-02-16 16:35:17 +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

PR9446: RecursivelyDeleteTriviallyDeadInstructions can delete the instruction

2011-04-02 22:45:17 +00:00

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

Re-apply r124518 with fix. Watch out for invalidated iterator.

2011-01-29 04:46:23 +00:00

and-cond.ll

Re-apply r124518 with fix. Watch out for invalidated iterator.

2011-01-29 04:46:23 +00:00

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

Fix some misc. -enable-var-scope violations

2017-11-13 01:47:52 +00:00

branch-no-const.ll

Change tests from "opt %s" to "opt < %s" so that opt doesn't see the

2009-09-11 18:01:28 +00:00

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

ddt-crash2.ll

[JumpThreading] Preservation of DT and LVI across the pass

2018-01-12 21:06:48 +00:00

ddt-crash3.ll

[Dominators] Visit affected node candidates found at different root levels

2018-01-19 21:27:24 +00:00

ddt-crash4.ll

[Dominators] Visit affected node candidates found at different root levels

2018-01-19 21:27:24 +00:00

ddt-crash.ll

[JumpThreading] Preservation of DT and LVI across the pass

2018-01-12 21:06:48 +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

fold-not-thread.ll

[JumpThreading] Safely replace uses of condition

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

guards.ll

[JumpThreading] Restrict PRE across instructions that don't pass control to successors

2017-12-19 09:10:21 +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

lvi-tristate.ll

[JumpThreading] Preservation of DT and LVI across the pass

2018-01-12 21:06:48 +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

Fix PR9331. Simplified version of a patch by Jakub Staszak.

2011-03-08 12:39:03 +00:00

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

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

pr33605.ll

[SimplifyCFG] Defer folding unconditional branches to LateSimplifyCFG if it can destroy canonical loop structure.

2017-07-19 08:53:34 +00:00

pr33917.ll

[JumpThreading] Stop falsely preserving LazyValueInfo.

2017-07-28 03:10:43 +00:00

pr36133.ll

[JumpThreading] PR36133 enable/disable DominatorTree for LVI analysis

2018-02-16 16:35:17 +00:00

range-compare.ll

[JumpThreading] Add test case that was supposed to go with r306085.

2017-06-27 15:26:47 +00:00

select.ll

[JumpThreading] Add a pattern to TryToUnfoldSelectInCurrBB()

2017-07-14 19:16:47 +00:00

static-profile.ll

Disable jump threading into loop headers

2017-09-06 19:36:58 +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

threading_prof1.ll

[Profile] backward propagate profile info in JumpThreading

2017-08-24 22:54:01 +00:00

threading_prof2.ll

[Profile] backward propagate profile info in JumpThreading

2017-08-24 22:54:01 +00:00

update-edge-weight.ll

[BPI] Replace weights by probabilities in BPI.

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