David Majnemer 7c5cb20b30 Merging r221318: ...

------------------------------------------------------------------------
r221318 | majnemer | 2014-11-04 15:49:08 -0800 (Tue, 04 Nov 2014) | 10 lines

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.
------------------------------------------------------------------------


git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_35@223647 91177308-0d34-0410-b5e6-96231b3b80d8

2014-12-08 09:16:46 +00:00

..

2003-02-26-LoopExitNotDominated.ll

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

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

2003-02-27-NestedLoopExitBlocks.ll

Rename 'loopsimplify' to 'loop-simplify'.

2011-02-10 23:38:10 +00:00

2003-02-27-PreheaderExitNodeUpdate.ll

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

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

2003-02-27-PreheaderProblem.ll

Fix the remaining TCL-style quotes found in the testsuite. This is

2012-07-02 19:09:46 +00:00

2003-02-27-StoreSinkPHIs.ll

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

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

2003-02-28-PromoteDifferentType.ll

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

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

2003-05-02-LoadHoist.ll

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

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

2003-12-11-SinkingToPHI.ll

AArch64: adjust tests which rely on a default JIT

2013-02-18 11:08:37 +00:00

2004-09-14-AliasAnalysisInvalidate.ll

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

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

2004-11-17-UndefIndexCrash.ll

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

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

2006-09-12-DeadUserOfSunkInstr.ll

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

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

2007-05-22-VolatileSink.ll

Convert all tests using TCL-style quoting to use shell-style quoting.

2012-07-02 12:47:22 +00:00

2007-07-30-AliasSet.ll

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

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

2007-09-17-PromoteValue.ll

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

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

2007-09-24-PromoteNullValue.ll

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

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

2007-10-01-PromoteSafeValue.ll

PR9634: Don't unconditionally tell the AliasSetTracker that the PreheaderLoad

2011-04-07 01:35:06 +00:00

2008-05-20-AliasSetVAArg.ll

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

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

2008-07-22-LoadGlobalConstant.ll

Make BasicAliasAnalysis a normal AliasAnalysis implementation which

2010-10-18 18:04:47 +00:00

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

Add radar fixed in comment.

2009-12-14 19:07:25 +00:00

2011-04-06-HoistMissedASTUpdate.ll

Upgrade syntax of tests using volatile instructions to use 'load volatile' instead of 'volatile load', which is archaic.

2011-11-27 06:54:59 +00:00

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

PR9604; try to deal with RAUW updates correctly in the AST. I'm not convinced

2011-04-09 06:55:46 +00:00

2011-07-06-Alignment.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2012-12-30 01:28:40 +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

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

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

crash.ll

Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID

2012-12-30 02:33:22 +00:00

debug-value.ll

Debug Info: update testing cases to specify the debug info version number.

2013-11-23 01:16:29 +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

Revert the test moves from 176733. Use "REQUIRES: asserts" instead.

2013-03-12 16:27:52 +00:00

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

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

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

PR21582.ll

Merging r222338:

2014-12-08 08:48:09 +00:00

Preserve-LCSSA.ll

Make these tests more interesting by using

2009-10-24 23:23:04 +00:00

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

Bring LICM into compliance with the new "Memory Model for Concurrent Operations" in LangRef.

2011-07-20 21:37:47 +00:00

sinking.ll

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

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

speculate.ll

Merging r221318:

2014-12-08 09:16:46 +00:00

volatile-alias.ll

Fix broken CHECK lines.

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