Philip Reames 1b8af6a8f0 Preserving 'nonnull' metadata in SimplifyCFG ...

When we hoist two loads above an if, we can preserve the nonnull metadata.  We could also do the same for sinking them, but we appear to not handle metadata at all in that case.

Thanks to Hal for the review.

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



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

2014-10-22 16:37:13 +00:00

..

AddDiscriminators.cpp

…

ASanStackFrameLayout.cpp

…

BasicBlockUtils.cpp

…

BreakCriticalEdges.cpp

…

BuildLibCalls.cpp

…

BypassSlowDivision.cpp

…

CloneFunction.cpp

…

CloneModule.cpp

C API: Add LLVMCloneModule()

2014-10-01 17:14:57 +00:00

CMakeLists.txt

…

CmpInstAnalysis.cpp

…

CodeExtractor.cpp

…

CtorUtils.cpp

GlobalOpt: Preserve comdats of unoptimized initializers

2014-09-23 22:33:01 +00:00

DemoteRegToStack.cpp

…

FlattenCFG.cpp

…

GlobalStatus.cpp

…

InlineFunction.cpp

Do not attribute static allocas to the call site's DebugLoc.

2014-10-21 01:00:55 +00:00

InstructionNamer.cpp

…

IntegerDivision.cpp

…

LCSSA.cpp

…

LLVMBuild.txt

…

Local.cpp

Teach combineMetadata how to merge 'nonnull' metadata.

2014-10-21 21:02:19 +00:00

LoopSimplify.cpp

Make use of @llvm.assume in ValueTracking (computeKnownBits, etc.)

2014-09-07 18:57:58 +00:00

LoopUnroll.cpp

LoopUnroll: Create sub-loops in LoopInfo

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

LoopUnrollRuntime.cpp

Use a loop to simplify the runtime unrolling prologue.

2014-09-29 11:15:00 +00:00

LowerExpectIntrinsic.cpp

…

LowerInvoke.cpp

…

LowerSwitch.cpp

…

Makefile

…

Mem2Reg.cpp

Make use of @llvm.assume in ValueTracking (computeKnownBits, etc.)

2014-09-07 18:57:58 +00:00

MetaRenamer.cpp

…

ModuleUtils.cpp

…

PromoteMemoryToRegister.cpp

Make use of @llvm.assume in ValueTracking (computeKnownBits, etc.)

2014-09-07 18:57:58 +00:00

SimplifyCFG.cpp

Preserving 'nonnull' metadata in SimplifyCFG

2014-10-22 16:37:13 +00:00

SimplifyIndVar.cpp

…

SimplifyInstructions.cpp

Make use of @llvm.assume in ValueTracking (computeKnownBits, etc.)

2014-09-07 18:57:58 +00:00

SimplifyLibCalls.cpp

Shrinkify libcalls: use float versions of double libm functions with fast-math (bug 17850)

2014-10-22 15:29:23 +00:00

SSAUpdater.cpp

…

UnifyFunctionExitNodes.cpp

…

Utils.cpp

…

ValueMapper.cpp

…