Tom Stellard a4cf325e41 Merging r214336: ...

------------------------------------------------------------------------
r214336 | rafael.espindola | 2014-07-30 17:04:00 -0400 (Wed, 30 Jul 2014) | 9 lines

SimplifyCFG: Avoid miscompilations due to removed lifetime intrinsics.

The lifetime intrinsics need some work in order to make it clear which
optimizations are or are not valid.

For now dropping this optimization avoids a miscompilation.

Patch by Björn Steinbrink.

------------------------------------------------------------------------

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

2015-03-17 20:42:08 +00:00

..

SPARC

Reduce verbiage of lit.local.cfg files

2014-06-09 22:42:55 +00:00

X86

Merging r213884:

2014-07-29 23:40:11 +00:00

2002-05-21-PHIElimination.ll

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

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

2002-09-24-PHIAssertion.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-03-07-DominateProblem.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-08-05-InvokeCrash.ll

Update tests to new EH model. Add landingpad instructions to landing pads.

2011-08-29 20:39:23 +00:00

2003-08-17-BranchFold.ll

Converted 8x tests of SimplifyCFG to use FileCheck instead of grep.

2013-04-09 05:18:53 +00:00

2003-08-17-BranchFoldOrdering.ll

Converted 8x tests of SimplifyCFG to use FileCheck instead of grep.

2013-04-09 05:18:53 +00:00

2003-08-17-FoldSwitch-dbg.ll

Converted 8x tests of SimplifyCFG to use FileCheck instead of grep.

2013-04-09 05:18:53 +00:00

2003-08-17-FoldSwitch.ll

Converted 8x tests of SimplifyCFG to use FileCheck instead of grep.

2013-04-09 05:18:53 +00:00

2004-12-10-SimplifyCFGCrash.ll

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

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

2005-06-16-PHICrash.ll

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

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

2005-08-01-PHIUpdateFail.ll

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

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

2005-10-02-InvokeSimplify.ll

Update tests to new EH model. Add landingpad instructions to landing pads.

2011-08-29 20:39:23 +00:00

2005-12-03-IncorrectPHIFold.ll

Converted 8x tests of SimplifyCFG to use FileCheck instead of grep.

2013-04-09 05:18:53 +00:00

2006-02-17-InfiniteUnroll.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-06-12-InfLoop.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-08-03-Crash.ll

Improve the bail-out predicate to really only kick in when phi

2011-04-26 17:41:02 +00:00

2006-10-19-UncondDiv.ll

Converted 8x tests of SimplifyCFG to use FileCheck instead of grep.

2013-04-09 05:18:53 +00:00

2006-12-08-Ptr-ICmp-Branch.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-11-22-InvokeNoUnwind.ll

Converted 8x tests of SimplifyCFG to use FileCheck instead of grep.

2013-04-09 05:18:53 +00:00

2007-12-21-Crash.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-01-02-hoist-fp-add.ll

Converted 8x tests of SimplifyCFG to use FileCheck instead of grep.

2013-04-09 05:18:53 +00:00

2008-05-16-PHIBlockMerge.ll

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

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

2008-07-13-InfLoopMiscompile.ll

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

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

2008-09-08-MultiplePred.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-09-17-SpeculativeHoist.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-10-03-SpeculativelyExecuteBeforePHI.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-12-06-SingleEntryPhi.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-12-16-DCECond.ll

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

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

2009-01-18-PHIPropCrash.ll

Optimize test more.

2009-11-10 21:02:18 +00:00

2009-01-19-UnconditionalTrappingConstantExpr.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

2009-05-12-externweak.ll

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

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

2010-03-30-InvokeCrash.ll

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

2013-01-01 13:57:25 +00:00

2011-03-08-UnreachableUse.ll

PR9420; an instruction before an unreachable is guaranteed not to have any

2011-03-09 00:48:33 +00:00

2011-09-05-TrivialLPad.ll

Delete trivial landing pads that just continue unwinding the caught

2011-09-05 12:57:57 +00:00

attr-noduplicate.ll

SimplifyCFG: Don't duplicate calls to functions marked noduplicate v2

2013-10-21 20:07:30 +00:00

basictest.ll

Fix pr14893.

2014-01-28 16:56:46 +00:00

branch-cond-merge.ll

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

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

branch-cond-prop.ll

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

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

branch-fold-dbg.ll

Debug Info Testing: updated to use NULL instead of "i32 0" in a few fields.

2013-09-06 21:03:58 +00:00

branch-fold-test.ll

Use opt -S instead of piping bitcode output through llvm-dis.

2009-09-08 22:34:10 +00:00

branch-fold.ll

Remove dyn_cast + dereference pattern by replacing it with a cast and changing

2012-06-24 10:15:42 +00:00

branch-phi-thread.ll

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

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

BrUnwind.ll

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

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

common-dest-folding.ll

FoldBranchToCommonDest merges branches into a single branch with or/and of the condition. It has a heuristics for estimating when some of the dependencies are processed by out-of-order processors. This patch adds another rule to the heuristics that says that if the "BonusInstruction" that we speculatively execute is used by the condition of the second branch then it is okay to hoist it. This change exposes more opportunities for other passes to transform the code. It does not matter that much that we if-convert the code because the selectiondag builder splits or/and branches into multiple branches when profitable.

2013-11-12 22:37:16 +00:00

CoveredLookupTable.ll

Teach simplify-cfg how to correctly create covered lookup tables for switches on iN with N >= 3.

2013-10-20 07:04:37 +00:00

dbginfo.ll

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

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

dce-cond-after-folding-terminator.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

DeadSetCC.ll

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

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

duplicate-phis.ll

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

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

EmptyBlockMerge.ll

Filecheckized 2x tests in SimplifyCFG and removed their date prefix to fit with current llvm style for test names.

2013-01-31 01:04:23 +00:00

EqualPHIEdgeBlockMerge.ll

TryToSimplifyUncondBranchFromEmptyBlock was checking that any common

2013-07-11 08:28:20 +00:00

extract-cost.ll

Add ExtractValue instruction to SimplifyCFG's ComputeSpeculationCost

2014-05-09 17:02:46 +00:00

ForwardSwitchConditionToPHI.ll

Fix PR10103: Less code for enum type translation.

2011-06-18 10:28:47 +00:00

hoist-common-code.ll

fix a bunch of spurious failures for people whose home directory

2009-09-11 17:02:12 +00:00

hoist-dbgvalue.ll

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

2013-11-23 01:16:29 +00:00

HoistCode.ll

fix a bunch of spurious failures for people whose home directory

2009-09-11 17:02:12 +00:00

indirectbr.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

invoke_unwind.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

invoke.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

iterative-simplify.ll

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

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

lifetime.ll

Merging r214336:

2015-03-17 20:42:08 +00:00

MagicPointer.ll

Teach SimplifyCFG about address spaces

2013-10-21 18:55:08 +00:00

multiple-phis.ll

Fix SpeculativelyExecuteBB to either speculate all or none of the phis

2012-01-05 23:58:56 +00:00

no_speculative_loads_with_tsan.ll

Don't speculate loads under ThreadSanitizer

2013-11-21 07:29:28 +00:00

noreturn-call.ll

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

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

phi-undef-loadstore.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

PhiBlockMerge2.ll

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

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

PhiBlockMerge.ll

SimplifyCFG: Add CostRemaining parameter to DominatesMergePoint

2011-04-29 18:47:31 +00:00

PhiEliminate2.ll

SimplifyCFG: Add Trunc, ZExt and SExt to the list of cheap instructions for phi node folding

2011-04-29 18:47:25 +00:00

PhiEliminate3.ll

SimplifyCFG: Expose phi node folding cost threshold as command line parameter

2011-04-29 18:47:38 +00:00

PhiEliminate.ll

- Insert new instructions before DomBlock's terminator,

2010-12-14 08:46:09 +00:00

PHINode.ll

Filecheckized 2x tests in SimplifyCFG and removed their date prefix to fit with current llvm style for test names.

2013-01-31 01:04:23 +00:00

PhiNoEliminate.ll

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

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

PR9946.ll

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

2013-01-01 13:57:25 +00:00

PR16069.ll

Second part of pr16069

2013-06-04 14:11:59 +00:00

PR17073.ll

Fix for PR17073 ( http://llvm.org/pr17073 ), simplifycfg illegally hoists an operation in a phi node that can trap.

2014-07-07 21:19:00 +00:00

preserve-branchweights-partial.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

preserve-branchweights-switch-create.ll

PGO: preserve branch-weight metadata when merging two switches where

2012-09-14 17:29:56 +00:00

preserve-branchweights.ll

PGO branch weight: keep halving the weights until they can fit into

2014-01-27 23:39:03 +00:00

return-merge.ll

fix a bunch of spurious failures for people whose home directory

2009-09-11 17:02:12 +00:00

select-gep.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

sink-common-code.ll

SimplifyCFG: sink common codes from IF, ELSE blocks down to END block.

2012-09-20 22:37:36 +00:00

speculate-math.ll

Allow speculating llvm.sqrt, fma and fmuladd

2014-01-31 00:09:00 +00:00

speculate-store.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

speculate-vector-ops.ll

Make bitcast, extractelement, and insertelement considered cheap for speculation.

2014-05-30 18:34:43 +00:00

speculate-with-offset.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

SpeculativeExec.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

switch_create.ll

Resolve TODO in test now that filecheck has multiple check prefixes.

2013-11-10 02:16:47 +00:00

switch_switch_fold.ll

Use opt -S instead of piping bitcode output through llvm-dis.

2009-09-08 22:34:10 +00:00

switch_thread.ll

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

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

switch-masked-bits.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

switch-on-const-select.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

switch-simplify-crash.ll

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

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

switch-to-icmp.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

trap-debugloc.ll

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

2013-11-22 21:49:45 +00:00

trapping-load-unreachable.ll

IR: add a second ordering operand to cmpxhg for failure

2014-03-11 10:48:52 +00:00

trivial-throw.ll

Don't remove a landing pad if the invoke requires a table entry.

2013-03-11 20:53:00 +00:00

two-entry-phi-return.ll

fix a bunch of spurious failures for people whose home directory

2009-09-11 17:02:12 +00:00

UncondBranchToReturn.ll

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

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

unreachable-blocks.ll

Make Value::isDereferenceablePointer() handle unreachable code blocks. (This

2012-01-23 00:05:17 +00:00

UnreachableEliminate.ll

Update Transforms tests to use CHECK-LABEL for easier debugging. No functionality change.

2013-07-14 01:42:54 +00:00

volatile-phioper.ll

Use function attributes to indicate that we don't want to realign the stack.

2013-08-01 21:42:05 +00:00