Bruno Cardoso Lopes f80e20287d [SimplifyLibCalls] Fix instruction misplacement in string/memory libcall optimization ...

When trying to optimize fortified library functions use the right
location to insert new instructions in order to preserve correct
def-use order.

This fixes an issue where a misplaced instruction definition would
happen to be *after* one of its use after a RAUW, forming invalid IR.
This behavior was introduced by r227250.

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

rdar://problem/22802369

llvm-svn: 249092

2015-10-01 22:43:53 +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

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

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

Introducing llvm.invariant.group.barrier intrinsic

2015-09-15 18:32:14 +00:00

ConstantHoisting

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

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

Allow value forwarding past release fences in EarlyCSE

2015-08-27 01:32:33 +00:00

EliminateAvailableExternally

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

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

Float2Int

Reapply r233175 and r233183: float2int.

2015-03-27 10:36:57 +00:00

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] Sort members of llvm.used deterministically

2015-09-28 19:02:11 +00:00

GVN

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

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

IndVarSimplify

[SCEV] Don't crash on pointer comparisons

2015-09-28 21:14:32 +00:00

Inline

Move dbg.declare intrinsics when merging and replacing allocas.

2015-09-29 00:30:19 +00:00

InstCombine

[SimplifyLibCalls] Fix instruction misplacement in string/memory libcall optimization

2015-10-01 22:43:53 +00:00

InstMerge

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

InstSimplify

[InstSimplify] Fold simple known implications to true

2015-09-28 17:14:24 +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

[IRCE] Fix a regression introduced in r232444.

2015-03-24 19:29:18 +00:00

JumpThreading

[LazyValueInfo] Look through Phi nodes when trying to prove a predicate

2015-08-31 18:31:48 +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

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

LoopDeletion

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

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

Add support to interchange loops with reductions.

2015-04-23 04:51:44 +00:00

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

[ARM][NEON] Use address space in vld([1234]|[234]lane) and vst([1234]|[234]lane) instructions

2015-09-30 10:56:37 +00:00

LoopUnroll

[Unroll] Do not crash trying to propagate a value to vector load.

2015-09-22 22:27:12 +00:00

LoopUnswitch

[LoopUnswitch] Add block frequency analysis to recognize hot/cold regions

2015-09-29 05:03:32 +00:00

LoopVectorize

[LoopUtils,LV] Propagate fast-math flags on generated FCmp instructions

2015-09-21 19:41:19 +00:00

LowerAtomic

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

LowerBitSets

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

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

LowerExpectIntrinsic

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

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

Emit argmemonly attribute for intrinsics.

2015-08-13 17:40:04 +00:00

MergeFunc

[MergeFuncs] Fix bug in merging GetElementPointers

2015-09-14 15:37:48 +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

PartiallyInlineLibCalls: Check sqrt result type before transforming it.

2014-08-01 23:21:21 +00:00

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

[RewriteStatepointsForGC] Extend base pointer inference to handle insertelement

2015-09-09 23:40:12 +00:00

SafeStack

Fix debug info with SafeStack.

2015-09-30 19:55:43 +00:00

SampleProfile

Update sample profile propagation algorithm.

2015-10-01 00:26:56 +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

[EH] Create removeUnwindEdge utility

2015-09-27 01:47:46 +00:00

Sink

Teach the IR Sink pass to (conservatively) respect convergent annotations.

2015-06-01 17:20:31 +00:00

SLPVectorizer

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

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

SpeculativeExecution

Add a speculative execution pass

2015-05-15 17:54:48 +00:00

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

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

Util

Changed renaming of local symbols by inserting a dot vefore the numeric suffix.

2015-05-12 16:47:30 +00:00