Hal Finkel 21d1f99033 Add an AlignmentFromAssumptions Pass ... This adds a ScalarEvolution-powered transformation that updates load, store and memory intrinsic pointer alignments based on invariant((a+q) & b == 0) expressions. Many of the simple cases we can get with ValueTracking, but we still need something like this for the more complicated cases (such as those with an offset) that require some algebra. Note that gcc's __builtin_assume_aligned's optional third argument provides exactly for this kind of 'misalignment' offset for which this kind of logic is necessary. The primary motivation is to fixup alignments for vector loads/stores after vectorization (and unrolling). This pass is added to the optimization pipeline just after the SLP vectorizer runs (which, admittedly, does not preserve SE, although I imagine it could). Regardless, I actually don't think that the preservation matters too much in this case: SE computes lazily, and this pass won't issue any SE queries unless there are any assume intrinsics, so there should be no real additional cost in the common case (SLP does preserve DT and LoopInfo). llvm-svn: 217344		2014-09-07 20:05:11 +00:00
..
ArgumentPromotion.cpp	Don't promote byval pointer arguments when padding matters	2014-08-28 22:42:00 +00:00
BarrierNoopPass.cpp	[C++11] Add 'override' keyword to virtual methods that override their base class.	2014-03-05 09:10:37 +00:00
CMakeLists.txt	Move -verify-use-list-order into llvm-uselistorder	2014-07-25 17:13:03 +00:00
ConstantMerge.cpp	Repace SmallPtrSet with SmallPtrSetImpl in function arguments to avoid needing to mention the size.	2014-08-21 05:55:13 +00:00
DeadArgumentElimination.cpp	musttail: Don't eliminate varargs packs if there is a forwarding call	2014-08-26 00:59:51 +00:00
ExtractGV.cpp	GlobalValue: Assert symbols with local linkage have default visibility	2014-05-07 23:00:22 +00:00
FunctionAttrs.cpp	[optnone] Make the optnone attribute effective at suppressing function	2014-08-13 10:49:33 +00:00
GlobalDCE.cpp	Remove dangling initializers in GlobalDCE	2014-08-25 17:51:14 +00:00
GlobalOpt.cpp	Use range based for loops to avoid needing to re-mention SmallPtrSet size.	2014-08-24 23:23:06 +00:00
InlineAlways.cpp	Add an Assumption-Tracking Pass	2014-09-07 12:44:26 +00:00
Inliner.cpp	Add an Assumption-Tracking Pass	2014-09-07 12:44:26 +00:00
InlineSimple.cpp	Add an Assumption-Tracking Pass	2014-09-07 12:44:26 +00:00
Internalize.cpp	Use range based for loops to avoid needing to re-mention SmallPtrSet size.	2014-08-24 23:23:06 +00:00
IPConstantPropagation.cpp	[C++] Use 'nullptr'. Transforms edition.	2014-04-25 05:29:35 +00:00
IPO.cpp	Move -verify-use-list-order into llvm-uselistorder	2014-07-25 17:13:03 +00:00
LLVMBuild.txt	Prune redundant dependencies in LLVMBuild.txt.	2013-12-11 00:30:57 +00:00
LoopExtractor.cpp	Revert "[C++11] Add predecessors(BasicBlock *) / successors(BasicBlock *) iterator ranges."	2014-07-21 17:06:51 +00:00
Makefile
MergeFunctions.cpp	Simplify creation of a bunch of ArrayRefs by using None, makeArrayRef or just letting them be implicitly created.	2014-08-27 05:25:25 +00:00
PartialInlining.cpp	Revert "[C++11] Add predecessors(BasicBlock *) / successors(BasicBlock *) iterator ranges."	2014-07-21 17:06:51 +00:00
PassManagerBuilder.cpp	Add an AlignmentFromAssumptions Pass	2014-09-07 20:05:11 +00:00
PruneEH.cpp	[C++] Use 'nullptr'. Transforms edition.	2014-04-25 05:29:35 +00:00
StripDeadPrototypes.cpp	[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE	2014-04-22 02:55:47 +00:00
StripSymbols.cpp	Use range based for loops to avoid needing to re-mention SmallPtrSet size.	2014-08-24 23:23:06 +00:00