Elena Demikhovsky b5c82c079a Fold fcmp in cases where value is provably non-negative. By Arch Robison. ... This patch folds fcmp in some cases of interest in Julia. The patch adds a function CannotBeOrderedLessThanZero that returns true if a value is provably not less than zero. I.e. the function returns true if the value is provably -0, +0, positive, or a NaN. The patch extends InstructionSimplify.cpp to fold instances of fcmp where: - the predicate is olt or uge - the first operand is provably not less than zero - the second operand is zero The motivation for handling these cases optimizing away domain checks for sqrt in Julia for common idioms such as sqrt(x*x+y*y).. http://reviews.llvm.org/D6972 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@227298 91177308-0d34-0410-b5e6-96231b3b80d8		2015-01-28 08:03:58 +00:00
..
ADCE
AddDiscriminators	IR: Move MDLocation into place	2015-01-14 22:27:36 +00:00
AlignmentFromAssumptions
ArgumentPromotion	IR: Move MDLocation into place	2015-01-14 22:27:36 +00:00
AtomicExpand/ARM
BBVectorize	This patch teaches IndVarSimplify to add nuw and nsw to certain kinds	2015-01-06 19:02:56 +00:00
BranchFolding
CodeExtractor
CodeGenPrepare	[GC] CodeGenPrep transform: simplify offsetable relocate	2015-01-14 23:27:07 +00:00
ConstantHoisting
ConstantMerge
ConstProp
CorrelatedValuePropagation
DeadArgElim	IR: Move MDLocation into place	2015-01-14 22:27:36 +00:00
DeadStoreElimination	IR: Make metadata typeless in assembly	2014-12-15 19:07:53 +00:00
EarlyCSE	Commoning of target specific load/store intrinsics in Early CSE.	2015-01-26 22:51:15 +00:00
FunctionAttrs
GCOVProfiling	IR: Move MDLocation into place	2015-01-14 22:27:36 +00:00
GlobalDCE	Change the .ll syntax for comdats and add a syntactic sugar.	2015-01-06 22:55:16 +00:00
GlobalOpt	IR: Move MDLocation into place	2015-01-14 22:27:36 +00:00
GVN	Add test cases for PRE w/volatile loads	2015-01-26 22:40:44 +00:00
IndVarSimplify	Fix PR22222	2015-01-15 01:46:09 +00:00
Inline	DebugInfo: Use distinct inlinedAt MDLocations to avoid separate inlined calls being coalesced	2015-01-21 22:57:29 +00:00
InstCombine	Move EH personality type classification to Analysis/LibCallSemantics.h	2015-01-28 01:17:38 +00:00
InstMerge	Added 5 more tests related to sink store revision 224247	2014-12-17 08:12:59 +00:00
InstSimplify	Fold fcmp in cases where value is provably non-negative. By Arch Robison.	2015-01-28 08:03:58 +00:00
Internalize
IPConstantProp
IRCE	Teach IRCE to look at branch weights when recognizing range checks	2015-01-27 21:38:12 +00:00
JumpThreading	ValueTracking: ComputeNumSignBits should tolerate misshapen phi nodes	2015-01-04 07:06:53 +00:00
LCSSA	[LCSSA] Handle PHI insertion in disjoint loops	2014-12-22 22:35:46 +00:00
LICM	IR: Move MDLocation into place	2015-01-14 22:27:36 +00:00
LoadCombine
LoopDeletion
LoopIdiom	IR: Move MDLocation into place	2015-01-14 22:27:36 +00:00
LoopReroll
LoopRotate	LoopRotate: Don't walk the uses of a Constant	2015-01-27 06:21:43 +00:00
LoopSimplify
LoopStrengthReduce	IR: Make metadata typeless in assembly	2014-12-15 19:07:53 +00:00
LoopUnroll	Use a smaller pragma unroll threshold to reduce test execution time.	2015-01-21 13:52:02 +00:00
LoopUnswitch
LoopVectorize	Fixed a bug in masked load/store in reversed loop.	2015-01-22 08:20:06 +00:00
LowerAtomic
LowerExpectIntrinsic	[PM] Port LowerExpectIntrinsic to the new pass manager.	2015-01-24 11:13:02 +00:00
LowerInvoke
LowerSwitch	LowerSwitch: replace unreachable default with popular case destination	2015-01-23 20:43:51 +00:00
Mem2Reg	IR: Move MDLocation into place	2015-01-14 22:27:36 +00:00
MemCpyOpt
MergeFunc	IR: Make metadata typeless in assembly	2014-12-15 19:07:53 +00:00
MetaRenamer
ObjCARC	IR: Move MDLocation into place	2015-01-14 22:27:36 +00:00
PartiallyInlineLibCalls
PhaseOrdering
PruneEH
Reassociate	Fix Reassociate handling of constant in presence of undef float	2015-01-16 03:00:58 +00:00
Reg2Mem
SampleProfile	IR: Move MDLocation into place	2015-01-14 22:27:36 +00:00
Scalarizer	IR: Move MDLocation into place	2015-01-14 22:27:36 +00:00
ScalarRepl	IR: Move MDLocation into place	2015-01-14 22:27:36 +00:00
SCCP
SeparateConstOffsetFromGEP/NVPTX
SimplifyCFG	SimplifyCFG: Omit range checks for switch lookup tables when default is unreachable	2015-01-26 19:52:34 +00:00
Sink
SLPVectorizer	SLPVectorizer: fix wrong scheduling of atomic load/stores.	2015-01-26 09:07:04 +00:00
SROA	[SROA] Apply a somewhat heavy and unpleasant hammer to fix PR22093, an	2015-01-05 04:17:53 +00:00
StripSymbols	IR: Move MDLocation into place	2015-01-14 22:27:36 +00:00
StructurizeCFG
TailCallElim
TailDup
Util