Fedor Indutny 03afaa3e4e [CallSiteSplitting] properly split musttail calls ...

Summary:
`musttail` calls can't be naively splitted. The split blocks must
include not only the call instruction itself, but also (optional)
`bitcast` and `return` instructions that follow it.

Clone `bitcast` and `ret`, place them into the split blocks, and
remove the tail block when done.

Reviewers: junbuml, mcrosier, davidxl, davide, fhahn

Reviewed By: fhahn

Subscribers: JDevlieghere, llvm-commits

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

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

2018-03-03 21:40:14 +00:00

..

ADCE

[ADCE][Dominators] Reapply: Teach ADCE to preserve dominators

2017-08-22 16:30:21 +00:00

AddDiscriminators

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

AggressiveInstCombine

[AggressiveInstCombine] Fixed TruncCombine class to handle TruncInst leaf node correctly.

2018-01-31 22:39:05 +00:00

AlignmentFromAssumptions

[AlignmentFromAssumptions] Set source and dest alignments of memory intrinsiscs separately

2018-02-22 18:55:59 +00:00

ArgumentPromotion

[ArgumentPromotion] don't break musttail invariant PR36543

2018-03-02 00:59:27 +00:00

AtomicExpand

Add address space mangling to lifetime intrinsics

2017-04-10 20:18:21 +00:00

BDCE

[BDCE] Salvage debug info from dying insts

2018-02-21 01:55:33 +00:00

BlockExtractor

[llvm-extract] Support extracting basic blocks

2018-01-23 21:51:34 +00:00

BranchFolding

Move branch folding test to a better location.

2015-12-03 19:41:25 +00:00

CalledValuePropagation

Add CalledValuePropagation pass

2017-10-25 13:40:08 +00:00

CallSiteSplitting

[CallSiteSplitting] properly split musttail calls

2018-03-03 21:40:14 +00:00

CodeExtractor

[PartialInliner] Update test (NFC).

2018-02-04 18:40:24 +00:00

CodeGenPrepare

[AMDGPU] Switch to the new addr space mapping by default

2018-02-02 16:07:16 +00:00

ConstantHoisting

Fix out-of-order stepping behavior in programs with hoisted constants.

2017-11-09 20:01:31 +00:00

ConstantMerge

Canonicalize the representation of empty an expression in DIGlobalVariableExpression

2017-08-30 18:06:51 +00:00

ConstProp

[TargetLibraryInfo] fix finite mathlib function availability

2018-01-08 17:38:09 +00:00

Coroutines

[Coroutines] Don't move stores for allocator args

2018-02-15 19:31:45 +00:00

CorrelatedValuePropagation

[CVP] Don't Replace incoming values from unreachable blocks with undef.

2018-01-29 05:59:55 +00:00

CrossDSOCFI

[cfi] Build __cfi_check as Thumb when applicable.

2017-08-29 22:29:15 +00:00

DCE

[DCE] Salvage debug info from dead insts

2018-02-15 22:26:18 +00:00

DeadArgElim

[DAE] don't remove args of musttail target/caller

2018-03-01 00:09:35 +00:00

DeadStoreElimination

[DSE] Don't DSE stores that subsequent memmove calls read from

2018-02-20 23:19:34 +00:00

DivRemPairs

[DivRemPairs] split tests per target to account for bots that don't build for all targets

2017-09-09 14:10:59 +00:00

EarlyCSE

[EarlyCSE] Salvage debug info during DCE

2018-01-09 15:08:37 +00:00

EliminateAvailableExternally

[PM] Port EliminateAvailableExternally pass to the new pass manager.

2016-05-05 02:37:32 +00:00

EntryExitInstrumenter

EntryExitInstrumenter: set DebugLocs on the inserted call instructions (PR35412)

2017-11-28 18:44:26 +00:00

ExpandMemCmp/X86

[x86, MemCmpExpansion] allow 2 pairs of loads per block (PR33325)

2018-01-06 16:16:04 +00:00

Float2Int

[PM] Port float2int to the new pass manager

2016-06-24 23:32:02 +00:00

ForcedFunctionAttrs

[attrs] Split off the forced attributes utility into its own pass that

2015-12-27 08:13:45 +00:00

FunctionAttrs

[FunctionAttrs][ArgumentPromotion][GlobalOpt] Disable some optimisations passes for naked functions

2018-02-22 14:42:08 +00:00

FunctionImport

[ThinLTO] Revert r325320: Import global variables

2018-03-02 23:40:08 +00:00

GCOVProfiling

Canonicalize the representation of empty an expression in DIGlobalVariableExpression

2017-08-30 18:06:51 +00:00

GlobalDCE

[PM] Teach the PGO instrumentation pasess to run GlobalDCE before

2017-05-25 07:15:09 +00:00

GlobalMerge

Canonicalize the representation of empty an expression in DIGlobalVariableExpression

2017-08-30 18:06:51 +00:00

GlobalOpt

[GlobalOpt] don't change CC of musttail calle(e|r)

2018-02-28 22:28:44 +00:00

GlobalSplit

Fix one-after-the-end type metadata handling in globalsplit.

2017-03-07 22:18:48 +00:00

GuardWidening

[GuardWidening] Fix incorrect use of remove_if

2016-05-21 02:24:44 +00:00

GVN

Mark MergedLoadStoreMotion as not preserving MemDep results

2018-02-23 10:41:57 +00:00

GVNHoist

[GVNHoist] Fix: PR35222 gvn-hoist incorrectly erases load in case of a loop

2018-01-04 07:47:24 +00:00

GVNSink

Add an @llvm.sideeffect intrinsic

2017-11-08 21:59:51 +00:00

IndirectBrExpand

Introduce the "retpoline" x86 mitigation technique for variant #2 of the speculative execution vulnerabilities disclosed today, specifically identified by CVE-2017-5715, "Branch Target Injection", and is one of the two halves to Spectre..

2018-01-22 22:05:25 +00:00

IndVarSimplify

[NFC] Fix metadata placement in test

2018-02-15 07:13:18 +00:00

InferAddressSpaces

[AMDGPU] Switch to the new addr space mapping by default

2018-02-02 16:07:16 +00:00

InferFunctionAttrs

Add argmononly attribute to strlen and wcslen, i.e. they only read memory (string) passed to them.

2017-06-18 03:10:26 +00:00

Inline

[NFC] fix trivial typos in comments and documents

2018-01-29 05:17:03 +00:00

InstCombine

[InstCombine] add test for vectors with undef elts; NFC

2018-03-03 18:00:15 +00:00

InstMerge

Remove the load hoisting code of MLSM, it is completely subsumed by GVNHoist

2017-01-24 19:55:36 +00:00

InstNamer

Add basic test case for -instnamer

2017-05-08 23:18:46 +00:00

InstSimplify

[InstSimplify] add tests for FP with undef operand; NFC

2018-02-27 20:17:18 +00:00

InterleavedAccess

[X86][LLVM]Expanding Supports lowerInterleaved{store|load}() in X86InterleavedAccess (VF64 stride 3-4)

2017-10-02 07:35:25 +00:00

Internalize

[Internalize] Test that __stack_chk_{guard, fail} are not internalized.

2016-06-05 19:08:54 +00:00

IPConstantProp

[IPSCCP] do not break musttail invariant (PR36485)

2018-03-01 01:19:18 +00:00

IRCE

[SCEV] Smart range calculation for SCEVUnknown Phis

2018-03-01 06:56:48 +00:00

JumpThreading

[JumpThreading] PR36133 enable/disable DominatorTree for LVI analysis

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

LCSSA

[Test] Fix the test to output to /dev/null instead of redirecting.

2018-02-23 19:03:04 +00:00

LICM

[LICM] update BlockColors after splitting predecessors

2018-02-12 17:56:55 +00:00

LoadStoreVectorizer

[AMDGPU] Switch to the new addr space mapping by default

2018-02-02 16:07:16 +00:00

LoopDataPrefetch

[PM] Port LoopDataPrefetch AArch64 tests to new pass manager

2016-08-22 12:59:58 +00:00

LoopDeletion

[LoopDeletion] Handle users in unreachable block

2018-01-12 07:24:43 +00:00

LoopDistribute

Move test of lazy BFI with ORE to a generic directory

2017-01-13 00:16:23 +00:00

LoopIdiom

Adding a width of the GEP index to the Data Layout.

2018-02-14 06:58:08 +00:00

LoopInterchange

[LoopInterchange] Add test case for D43236.

2018-02-26 10:46:25 +00:00

LoopLoadElim

[PM] Port LoopLoadElimination to the new pass manager and wire it into

2017-01-27 01:32:26 +00:00

LoopPredication

[Loop Predication] Teach LP about reverse loops with uge and sge latch conditions

2018-02-08 10:34:08 +00:00

LoopReroll

Remove the obsolete offset parameter from @llvm.dbg.value

2017-07-28 20:21:02 +00:00

LoopRotate

[LoopRotate] Detect loops with indirect branches better (we're giving up on them).

2018-01-09 23:54:35 +00:00

LoopSimplify

[BasicBlockUtils] Check for unreachable preds before updating LI in UpdateAnalysisInformation

2018-01-02 16:25:50 +00:00

LoopSimplifyCFG

LPM: Drop require<loops> from these tests, it's redundant. NFC

2016-05-10 18:28:10 +00:00

LoopStrengthReduce

[LoopStrengthReduce, x86] don't add cost for a cmp that will be macro-fused (PR35681)

2018-02-05 23:43:05 +00:00

LoopUnroll

LoopUnroll: respect pragma unroll when AllowRemainder is disabled

2018-03-02 16:22:32 +00:00

LoopUnswitch

[SimplifyCFG] Re-apply Relax restriction for folding unconditional branches

2018-02-08 07:16:29 +00:00

LoopVectorize

[SCEV] Smart range calculation for SCEVUnknown Phis

2018-03-01 06:56:48 +00:00

LoopVersioning

[LAA] Correctly return a half-open range in expandBounds

2017-04-05 09:24:26 +00:00

LoopVersioningLICM

[LAA] Correctly return a half-open range in expandBounds

2017-04-05 09:24:26 +00:00

LowerAtomic

LowerAtomic: Don't skip optnone functions; atomic still need lowering (PR34020)

2017-08-23 15:43:28 +00:00

LowerExpectIntrinsic

Fix builin_expect lowering bug

2017-06-07 18:32:24 +00:00

LowerGuardIntrinsic

[PM] Port LowerGuardIntrinsic to the new PM.

2016-07-28 22:08:41 +00:00

LowerInvoke

[PM] Port LowerInvoke to the new pass manager

2016-08-12 17:28:27 +00:00

LowerSwitch

LowerSwitch: Fix producing invalid IR on unreachable code

2017-04-21 23:54:12 +00:00

LowerTypeTests

Minor tweak to test case.

2018-02-08 23:10:07 +00:00

Mem2Reg

[Debugify] Add a pass to test debug info preservation

2017-12-08 21:57:28 +00:00

MemCpyOpt

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

MergeFunc

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

MergeICmps

[MergeICmps] Revert accidentally submitted failing test case.

2018-03-02 14:53:33 +00:00

MetaRenamer

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

NameAnonGlobals

[ThinLTO] Ensure anonymous globals renamed even at -O0

2016-09-17 20:40:16 +00:00

NaryReassociate

Revert @llvm.assume with operator bundles (r289755-r289757)

2016-12-19 08:22:17 +00:00

NewGVN

[NewGVN] Update phi-of-ops def block when updating existing ValuePHI.

2018-02-27 09:34:51 +00:00

ObjCARC

[ObjCARC] Do not turn a call to @objc_autoreleaseReturnValue into a call

2018-01-19 23:51:13 +00:00

PartiallyInlineLibCalls

[PartiallyInlineLibCalls][x86] add TTI hook to allow sqrt inlining to depend on arg rather than result

2017-11-27 21:15:43 +00:00

PGOProfile

[ThinLTO] Revert r325320: Import global variables

2018-03-02 23:40:08 +00:00

PhaseOrdering

Adding a width of the GEP index to the Data Layout.

2018-02-14 06:58:08 +00:00

PlaceSafepoints

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

PreISelIntrinsicLowering

[PM] Port PreISelIntrinsicLowering to the new PM

2016-06-24 20:13:42 +00:00

PruneEH

[PruneEH] Be correct in the face IPO

2016-10-03 19:35:30 +00:00

Reassociate

[InstCombine] allow fmul fold with less than 'fast'

2018-03-02 00:14:51 +00:00

Reg2Mem

Move the personality function from LandingPadInst to Function

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

RewriteStatepointsForGC

[IR] Fix creating mutable versions of TBAA access tags

2018-02-13 14:44:25 +00:00

SafeStack

[SafeStack] Use updated CreateMemCpy API to set more accurate source and destination alignments.

2018-02-12 22:39:47 +00:00

SampleProfile

Profiling tests: Endianess XFAIL for powerpc- (32-bit)

2018-01-09 20:09:23 +00:00

Scalarizer

Remove the obsolete offset parameter from @llvm.dbg.value

2017-07-28 20:21:02 +00:00

SCCP

[SCCP] Test that constant propagation updates debug info, NFC

2018-02-15 19:13:04 +00:00

SeparateConstOffsetFromGEP

[AMDGPU] Change constant addr space to 4

2018-02-13 18:00:25 +00:00

SimpleLoopUnswitch

[PM/Unswitch] Teach SimpleLoopUnswitch to do non-trivial unswitching,

2017-11-17 19:58:36 +00:00

SimplifyCFG

Adding a width of the GEP index to the Data Layout.

2018-02-14 06:58:08 +00:00

Sink

[Sink] Really really fix predicate in legality check

2018-01-11 21:28:57 +00:00

SLPVectorizer

[SLP] Added new tests and updated existing for jumbled load, NFC.

2018-02-28 04:19:34 +00:00

SpeculateAroundPHIs

Add a new pass to speculate around PHI nodes with constant (integer) operands when profitable.

2017-11-28 11:32:31 +00:00

SpeculativeExecution

Revert r301950: SpeculativeExecution: Stop using whitelist for costs

2017-05-10 12:30:07 +00:00

SROA

[Transforms] Propagate TBAA info in SROA

2018-02-16 10:10:29 +00:00

StraightLineStrengthReduce

AMDGPU: Mark all unspecified CC functions in tests as amdgpu_kernel

2017-03-21 21:39:51 +00:00

StripDeadPrototypes

[PM] Port StripDeadPrototypes to the new pass manager

2015-10-30 23:28:12 +00:00

StripSymbols

Canonicalize the representation of empty an expression in DIGlobalVariableExpression

2017-08-30 18:06:51 +00:00

StructurizeCFG

Revert "StructurizeCFG: Test for branch divergence correctly"

2018-02-24 17:29:09 +00:00

SyntheticCountsPropagation

Add a pass to generate synthetic function entry counts.

2018-01-09 19:39:35 +00:00

TailCallElim

Remove this test

2017-11-28 22:39:38 +00:00

ThinLTOBitcodeWriter

[ThinLTO] fix test failure without x86 backend

2018-02-06 07:03:09 +00:00

Util

Remove alignment argument from memcpy/memmove/memset in favour of alignment attributes (Step 1)

2018-01-19 17:13:12 +00:00

WholeProgramDevirt

Make GlobalValues with non-default visibilility dso_local.

2018-01-18 02:08:23 +00:00