Mehdi Amini 2a8d4fb24b Revert "[InstCombineCalls] Use isKnownNonNullAt() to check nullness of passing arguments at callsite" ... This reverts commit r247356. Breaks test/Transforms/InstCombine/pr8547.ll with: Wrong types for attribute: byval inalloca nest noalias nocapture nonnull readnone readonly sret dereferenceable(1) dereferenceable_or_null(1) %call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0), i32 nonnull %conv2) #0 LLVM ERROR: Broken function found, compilation aborted! From: Mehdi Amini <mehdi.amini@apple.com> llvm-svn: 247371		2015-09-11 01:33:48 +00:00
..
ADCE
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
BBVectorize	[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible	2015-09-09 17:55:00 +00:00
BDCE
BranchFolding
CodeExtractor
CodeGenPrepare
ConstantHoisting
ConstantMerge
ConstProp	[test] (NFC) Simplify Transforms/ConstProp/calls.ll	2015-08-28 18:04:20 +00:00
CorrelatedValuePropagation
DeadArgElim	DeadArgElim: don't eliminate arguments from naked functions	2015-09-01 18:06:46 +00:00
DeadStoreElimination	DI: Require subprogram definitions to be distinct	2015-08-28 20:26:49 +00:00
EarlyCSE	Allow value forwarding past release fences in EarlyCSE	2015-08-27 01:32:33 +00:00
EliminateAvailableExternally
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
GlobalOpt	DI: Require subprogram definitions to be distinct	2015-08-28 20:26:49 +00:00
GVN	[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible	2015-09-09 17:55:00 +00:00
IndVarSimplify	Make ScalarEvolution::isKnownPredicate a little smarter	2015-08-19 01:51:51 +00:00
Inline	DI: Require subprogram definitions to be distinct	2015-08-28 20:26:49 +00:00
InstCombine	Revert "[InstCombineCalls] Use isKnownNonNullAt() to check nullness of passing arguments at callsite"	2015-09-11 01:33:48 +00:00
InstMerge
InstSimplify	Merge or combine tests and convert to FileCheck.	2015-09-08 18:36:56 +00:00
Internalize
IPConstantProp
IRCE
JumpThreading	[LazyValueInfo] Look through Phi nodes when trying to prove a predicate	2015-08-31 18:31:48 +00:00
LCSSA
LICM	[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible	2015-09-09 17:55:00 +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
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	DI: Require subprogram definitions to be distinct	2015-08-28 20:26:49 +00:00
LoopUnroll	DI: Require subprogram definitions to be distinct	2015-08-28 20:26:49 +00:00
LoopUnswitch
LoopVectorize	[LV] Relax Small Size Reduction Type Requirement	2015-09-10 21:12:57 +00:00
LowerAtomic
LowerBitSets	LowerBitSets: Fix non-determinism bug.	2015-09-09 22:30:32 +00:00
LowerExpectIntrinsic
LowerInvoke
LowerSwitch
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 callsite attributes in thunk generation	2015-09-10 18:08:35 +00:00
MetaRenamer
NaryReassociate
ObjCARC	[PM/AA] Rebuild LLVM's alias analysis infrastructure in a way compatible	2015-09-09 17:55:00 +00:00
PartiallyInlineLibCalls
PhaseOrdering
PlaceSafepoints
PruneEH
Reassociate
Reg2Mem
RewriteStatepointsForGC	[RewriteStatepointsForGC] Extend base pointer inference to handle insertelement	2015-09-09 23:40:12 +00:00
SafeStack
SampleProfile	DI: Require subprogram definitions to be distinct	2015-08-28 20:26:49 +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
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] Use known bits to eliminate dead switch defaults	2015-09-10 17:44:47 +00:00
Sink
SLPVectorizer	DI: Require subprogram definitions to be distinct	2015-08-28 20:26:49 +00:00
SpeculativeExecution
SROA	Fix CHECK directives that weren't checking.	2015-08-31 21:10:35 +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
TailDup
Util