Chen Li 87928bb2ce [SimplifyCFG] Extend SimplifyResume to handle phi of trivial landing pad. ...

Summary: Currently SimplifyResume can convert an invoke instruction to a call instruction if its landing pad is trivial. In practice we could have several invoke instructions with trivial landing pads and share a common rethrow block, and in the common rethrow block, all the landing pads join to a phi node. The patch extends SimplifyResume to check the phi of landing pad and their incoming blocks. If any of them is trivial, remove it from the phi node and convert the invoke instruction to a call instruction.  

Reviewers: hfinkel, reames

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D13718

llvm-svn: 251061

2015-10-22 20:48:38 +00:00

..

ADCE

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

AddDiscriminators

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

AlignmentFromAssumptions

…

ArgumentPromotion

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

AtomicExpand

[ARM] Emit clrex in the expanded cmpxchg fail block.

2015-09-22 17:22:58 +00:00

BBVectorize

[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible

2015-09-09 17:55:00 +00:00

BDCE

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

BranchFolding

Make the default triple optional by allowing an empty string

2015-09-16 05:34:32 +00:00

CodeExtractor

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

CodeGenPrepare

[CGP] transform select instructions into branches and sink expensive operands

2015-10-19 21:59:12 +00:00

ConstantHoisting

…

ConstantMerge

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

ConstProp

[test] (NFC) Simplify Transforms/ConstProp/calls.ll

2015-08-28 18:04:20 +00:00

CorrelatedValuePropagation

[LazyValueInfo] Report nonnull range for nonnull pointers

2015-09-18 13:01:48 +00:00

DeadArgElim

[DeadArgElim] Split the invoke successor edge

2015-09-23 15:41:09 +00:00

DeadStoreElimination

[DeadStoreElimination] Remove dead zero store to calloc initialized memory

2015-09-23 11:38:44 +00:00

EarlyCSE

[EarlyCSE] Fix handling of target memory intrinsics for CSE'ing loads.

2015-10-07 07:41:29 +00:00

EliminateAvailableExternally

Don't change the visibility when converting a definition to a declaration.

2015-07-13 14:18:22 +00:00

Float2Int

…

FunctionAttrs

[FunctionAttr] Infer nonnull attributes on returns

2015-08-31 19:44:38 +00:00

GCOVProfiling

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

GlobalDCE

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

GlobalOpt

GlobalOpt does not treat externally_initialized globals correctly

2015-10-12 13:20:52 +00:00

GVN

Preserve CFG in MergedLoadStoreMotion. This fixes PR24426.

2015-10-18 19:34:10 +00:00

IndVarSimplify

[SCEV] Remove a test case added in r249168

2015-10-22 19:57:41 +00:00

Inline

[InlineFunction] Correctly inline TerminatePadInst

2015-10-13 22:08:17 +00:00

InstCombine

[InstCombine] Revise the test case to match full sequene

2015-10-21 21:50:58 +00:00

InstMerge

…

InstSimplify

Extend known bits to understand @llvm.bswap

2015-10-06 20:20:45 +00:00

Internalize

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

IPConstantProp

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

IRCE

…

JumpThreading

Recommit r250345, it was reverted in r250366 to investigate a bot failure.

2015-10-15 14:59:40 +00:00

LCSSA

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

LICM

[LICM] Hoist calls to readonly argmemonly functions even with stores in the loop

2015-09-21 22:27:59 +00:00

LoadCombine

…

LoopDeletion

…

LoopDistribute

[LAA] Hold bounds via ValueHandles during SCEV expansion

2015-08-21 23:19:57 +00:00

LoopIdiom

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

LoopInterchange

…

LoopReroll

[LoopReroll] Ignore debug intrinsics

2015-09-28 17:03:23 +00:00

LoopRotate

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

LoopSimplify

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

LoopStrengthReduce

[SCEV] Mark AddExprs as nsw or nuw if legal

2015-10-22 19:57:19 +00:00

LoopUnroll

[Tests] Add one more case to LoopUnroll/pr18861.ll for better coverage.

2015-10-02 19:21:52 +00:00

LoopUnswitch

Teach LoopUnswitch not to perform non-trivial unswitching on loops containing convergent operations.

2015-10-09 18:40:20 +00:00

LoopVectorize

[LoopVectorize] Shrink integer operations into the smallest type possible

2015-10-12 12:34:45 +00:00

LowerAtomic

…

LowerBitSets

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

LowerExpectIntrinsic

…

LowerInvoke

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

LowerSwitch

[LowerSwitch] Fix a bug when LowerSwitch deletes the default block

2015-08-11 18:12:26 +00:00

Mem2Reg

DI: Update tests before adding !dbg subprogram attachments

2015-08-28 23:32:00 +00:00

MemCpyOpt

[MemCpyOpt] Fix wrong merging adjacent nontemporal stores into memset calls.

2015-10-09 10:53:41 +00:00

MergeFunc

MergeFunctions: Clear GlobalNumbers ValueMap

2015-10-05 17:26:36 +00:00

MetaRenamer

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

NaryReassociate

[NaryReassociate] SeenExprs records WeakVH

2015-10-01 03:51:44 +00:00

ObjCARC

[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible

2015-09-09 17:55:00 +00:00

PartiallyInlineLibCalls

…

PhaseOrdering

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

PlaceSafepoints

[PlaceSafepoints] Make the width of a counted loop settable.

2015-09-15 01:42:48 +00:00

PruneEH

[PruneEH] A naked, noinline function can return via InlineAsm

2015-06-27 07:52:53 +00:00

Reassociate

Fix a bunch of trivial cases of 'CHECK[^:]*$' in the tests. NFCI

2015-08-10 19:01:27 +00:00

Reg2Mem

Move the personality function from LandingPadInst to Function

2015-06-17 20:52:32 +00:00

RewriteStatepointsForGC

[RS4GC] Re-purpose normalizeForInvokeSafepoint; NFC.

2015-10-20 01:06:24 +00:00

SafeStack

Revert "[safestack] Fast access to the unsafe stack pointer on AArch64/Android."

2015-10-15 21:26:49 +00:00

SampleProfile

Tolerate negative offset when matching sample profile.

2015-10-21 01:22:27 +00:00

Scalarizer

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

ScalarRepl

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

SCCP

[opaque pointer type] Add textual IR support for explicit type parameter for global aliases

2015-09-11 03:22:04 +00:00

SeparateConstOffsetFromGEP

[SeparateConstOffsetFromGEP] sext(a)+sext(b) => sext(a+b) when a+b can't sign-overflow.

2015-08-14 02:02:05 +00:00

SimplifyCFG

[SimplifyCFG] Extend SimplifyResume to handle phi of trivial landing pad.

2015-10-22 20:48:38 +00:00

Sink

…

SLPVectorizer

[SLP] Don't vectorize loads of non-packed types (like i1, i2).

2015-09-30 21:05:43 +00:00

SpeculativeExecution

…

SROA

[PM] Port SROA to the new pass manager.

2015-09-12 09:09:14 +00:00

StraightLineStrengthReduce

[SeparateConstOffsetFromGEP] strengthen the inbounds attribute

2015-08-13 18:48:49 +00:00

StripSymbols

DI: Require subprogram definitions to be distinct

2015-08-28 20:26:49 +00:00

StructurizeCFG

Fix CHECK directives that weren't checking.

2015-08-31 21:10:35 +00:00

TailCallElim

Fix a bunch of trivial cases of 'CHECK[^:]*$' in the tests. NFCI

2015-08-10 19:01:27 +00:00

TailDup

…

Util

…