Nadav Rotem 8383b539ff Add support for bottom-up SLP vectorization infrastructure. ... This commit adds the infrastructure for performing bottom-up SLP vectorization (and other optimizations) on parallel computations. The infrastructure has three potential users: 1. The loop vectorizer needs to be able to vectorize AOS data structures such as (sum += A[i] + A[i+1]). 2. The BB-vectorizer needs this infrastructure for bottom-up SLP vectorization, because bottom-up vectorization is faster to compute. 3. A loop-roller needs to be able to analyze consecutive chains and roll them into a loop, in order to reduce code size. A loop roller does not need to create vector instructions, and this infrastructure separates the chain analysis from the vectorization. This patch also includes a simple (100 LOC) bottom up SLP vectorizer that uses the infrastructure, and can vectorize this code: void SAXPY(int *x, int *y, int a, int i) { x[i] = a * x[i] + y[i]; x[i+1] = a * x[i+1] + y[i+1]; x[i+2] = a * x[i+2] + y[i+2]; x[i+3] = a * x[i+3] + y[i+3]; } git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@179117 91177308-0d34-0410-b5e6-96231b3b80d8		2013-04-09 19:44:35 +00:00
..
ADCE
ArgumentPromotion	Update some EH tests that were violating the new EH model.	2013-03-21 18:30:10 +00:00
BBVectorize	Modify the LLVM assembly output so that it uses references to represent function attributes.	2013-02-20 07:21:42 +00:00
BlockPlacement
BranchFolding
CodeExtractor
CodeGenPrepare	Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID	2012-12-30 01:28:40 +00:00
ConstantMerge	Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID	2012-12-30 01:28:40 +00:00
ConstProp	Remove this testcase until I can figure out how to properly conditionalize it.	2013-02-07 07:01:54 +00:00
CorrelatedValuePropagation	CVP: If we have a PHI with an incoming select, try to skip the select.	2013-02-24 15:34:43 +00:00
DeadArgElim	Revert "Adding DIImportedModules to DIScopes."	2013-03-28 02:44:59 +00:00
DeadStoreElimination	Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID	2013-01-01 13:57:25 +00:00
EarlyCSE	Initially forgotten-to-svn-add test case for r177279.	2013-03-18 12:07:24 +00:00
FunctionAttrs	Move library call prototype attribute inference to functionattrs	2013-03-21 00:55:59 +00:00
GCOVProfiling	Revert "Adding DIImportedModules to DIScopes."	2013-03-28 02:44:59 +00:00
GlobalDCE
GlobalOpt	Use a worklist to avoid a sneaky iterator invalidation.	2013-04-02 08:16:45 +00:00
GVN	Revert 179071 because it is not the right way to support non standard new/new[] operators.	2013-04-09 04:43:46 +00:00
IndVarSimplify	IndVarSimplify: do not recompute an IV value outside of the loop if :	2013-03-19 20:00:22 +00:00
Inline	Update test. There may be multiple catches, but those will be cleaned up.	2013-03-22 20:36:39 +00:00
InstCombine	Revert r176408 and r176407 to address PR15540.	2013-04-09 18:16:05 +00:00
InstSimplify	Check whether a pointer is non-null (isKnownNonNull) in isKnownNonZero.	2013-03-18 21:23:25 +00:00
Internalize	Change the internalize pass to internalize all symbols when given an empty	2012-10-26 18:47:48 +00:00
IPConstantProp	Use references to attribute groups on the call/invoke instructions.	2013-02-22 09:09:42 +00:00
JumpThreading	Use references to attribute groups on the call/invoke instructions.	2013-02-22 09:09:42 +00:00
LCSSA	Convert all tests using TCL-style quoting to use shell-style quoting.	2012-07-02 12:47:22 +00:00
LICM	Revert the test moves from 176733. Use "REQUIRES: asserts" instead.	2013-03-12 16:27:52 +00:00
LoopDeletion	Modify the LLVM assembly output so that it uses references to represent function attributes.	2013-02-20 07:21:42 +00:00
LoopIdiom	PR14904: Segmentation fault running pass 'Recognize loop idioms'	2013-01-10 23:32:01 +00:00
LoopRotate	Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID	2012-12-30 02:33:22 +00:00
LoopSimplify	Convert all tests using TCL-style quoting to use shell-style quoting.	2012-07-02 12:47:22 +00:00
LoopStrengthReduce	LSR IVChain improvement.	2013-02-09 01:11:01 +00:00
LoopUnroll	Revert the test moves from 176733. Use "REQUIRES: asserts" instead.	2013-03-12 16:27:52 +00:00
LoopUnswitch	Revert the test moves from 176733. Use "REQUIRES: asserts" instead.	2013-03-12 16:27:52 +00:00
LoopVectorize	LoopVectorizer: Pass OperandValueKind information to the cost model	2013-04-04 23:26:27 +00:00
LowerAtomic
LowerExpectIntrinsic
LowerInvoke
LowerSwitch	PR1255 related changes (case ranges):	2012-05-24 09:33:20 +00:00
Mem2Reg	Revert "Adding DIImportedModules to DIScopes."	2013-03-28 02:44:59 +00:00
MemCpyOpt	Use references to attribute groups on the call/invoke instructions.	2013-02-22 09:09:42 +00:00
MergeFunc	Revert the test moves from 176733. Use "REQUIRES: asserts" instead.	2013-03-12 16:27:52 +00:00
MetaRenamer	Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID	2013-01-01 13:57:25 +00:00
ObjCARC	An objc_retain can serve as a use for a different pointer.	2013-04-05 22:54:32 +00:00
PhaseOrdering	Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID	2012-12-30 01:28:40 +00:00
PruneEH	The normal edge of an invoke is not allowed to branch to a block with a	2012-08-10 20:55:20 +00:00
Reassociate	Correct assertion condition	2013-04-01 18:13:05 +00:00
Reg2Mem	Make sure we don't emit instructions before a landingpad instruction.	2013-01-08 10:51:32 +00:00
ScalarRepl	Disable the optimization about promoting vector-element-access with symbolic index.	2013-04-05 21:07:08 +00:00
SCCP	Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID	2013-01-01 13:57:25 +00:00
SimplifyCFG	Converted 8x tests of SimplifyCFG to use FileCheck instead of grep.	2013-04-09 05:18:53 +00:00
SimplifyLibCalls	Move library call prototype attribute inference to functionattrs	2013-03-21 00:55:59 +00:00
Sink	Enhance the sinking code to handle diamond patterns. Patch by	2012-05-31 08:09:49 +00:00
SLPVectorizer	Add support for bottom-up SLP vectorization infrastructure.	2013-04-09 19:44:35 +00:00
SROA	Fix PR15674 (and PR15603): a SROA think-o.	2013-04-07 11:47:54 +00:00
StripSymbols	Tests: rewrite 'opt ... %s' to 'opt ... < %s' so that opt does not emit a ModuleID	2013-01-01 13:57:25 +00:00
TailCallElim	Revert the test moves from 176733. Use "REQUIRES: asserts" instead.	2013-03-12 16:27:52 +00:00
TailDup	Revert the test moves from 176733. Use "REQUIRES: asserts" instead.	2013-03-12 16:27:52 +00:00