David Majnemer f20d7c4c61 Analysis: Make isSafeToSpeculativelyExecute fire less for divides ...

Divides and remainder operations do not behave like other operations
when they are given poison: they turn into undefined behavior.

It's really hard to know if the operands going into a div are or are not
poison.  Because of this, we should only choose to speculate if there
are constant operands which we can easily reason about.

This fixes PR21412.

llvm-svn: 221318

2014-11-04 23:49:08 +00:00

..

2003-02-26-LoopExitNotDominated.ll

…

2003-02-27-NestedLoopExitBlocks.ll

…

2003-02-27-PreheaderExitNodeUpdate.ll

…

2003-02-27-PreheaderProblem.ll

…

2003-02-27-StoreSinkPHIs.ll

…

2003-02-28-PromoteDifferentType.ll

…

2003-05-02-LoadHoist.ll

…

2003-12-11-SinkingToPHI.ll

…

2004-09-14-AliasAnalysisInvalidate.ll

…

2004-11-17-UndefIndexCrash.ll

…

2006-09-12-DeadUserOfSunkInstr.ll

…

2007-05-22-VolatileSink.ll

…

2007-07-30-AliasSet.ll

…

2007-09-17-PromoteValue.ll

…

2007-09-24-PromoteNullValue.ll

…

2007-10-01-PromoteSafeValue.ll

…

2008-05-20-AliasSetVAArg.ll

…

2008-07-22-LoadGlobalConstant.ll

…

2009-12-10-LICM-Indbr-Crash.ll

…

2011-04-06-HoistMissedASTUpdate.ll

…

2011-04-06-PromoteResultOfPromotion.ll

TBAA: handle scalar TBAA format and struct-path aware TBAA format.

2013-09-27 18:34:27 +00:00

2011-04-09-RAUW-AST.ll

…

2011-07-06-Alignment.ll

…

2014-09-10-doFinalizationAssert.ll

Fix assertion in LICM doFinalization()

2014-09-24 16:48:31 +00:00

atomics.ll

Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.

2013-07-14 01:50:49 +00:00

basictest.ll

…

crash.ll

…

debug-value.ll

Revert "Revert "DI: Fold constant arguments into a single MDString""

2014-10-03 20:01:09 +00:00

extra-copies.ll

[LICM] Don't create more than one copy of an instruction per loop exit block when sinking.

2014-06-25 07:54:58 +00:00

hoist-bitcast-load.ll

Look through addrspacecast when checking isDereferenceablePointer

2014-07-14 18:54:12 +00:00

hoist-deref-load.ll

Make Value::isDereferenceablePointer handle offsets to pointer types with dereferenceable attributes

2014-07-19 03:25:16 +00:00

hoist-invariant-load.ll

…

hoisting.ll

Catch more CHECK that can be converted to CHECK-LABEL in Transforms for easier debugging. No functionality change.

2013-07-14 01:50:49 +00:00

lcssa-ssa-promoter.ll

[LPM] Apply a really big hammer to fix PR18688 by recursively reforming

2014-02-01 13:35:14 +00:00

no-preheader-test.ll

…

PR19798.ll

LICM: Don't crash when an instruction is used by an unreachable BB

2014-09-02 16:22:00 +00:00

Preserve-LCSSA.ll

…

promote-order.ll

TBAA: handle scalar TBAA format and struct-path aware TBAA format.

2013-09-27 18:34:27 +00:00

scalar_promote.ll

[LPM] Make LCSSA a utility with a FunctionPass that applies it to all

2014-01-25 04:07:24 +00:00

scalar-promote-memmodel.ll

…

sinking.ll

[LPM] Switch LICM to actively use LCSSA in addition to preserving it.

2014-02-11 12:52:27 +00:00

speculate.ll

Analysis: Make isSafeToSpeculativelyExecute fire less for divides

2014-11-04 23:49:08 +00:00

volatile-alias.ll

Fix broken CHECK lines.

2014-01-11 21:06:00 +00:00