Peter Collingbourne 68aaa34960 Introduce bitset metadata format and bitset lowering pass. ... This patch introduces a new mechanism that allows IR modules to co-operatively build pointer sets corresponding to addresses within a given set of globals. One particular use case for this is to allow a C++ program to efficiently verify (at each call site) that a vtable pointer is in the set of valid vtable pointers for the class or its derived classes. One way of doing this is for a toolchain component to build, for each class, a bit set that maps to the memory region allocated for the vtables, such that each 1 bit in the bit set maps to a valid vtable for that class, and lay out the vtables next to each other, to minimize the total size of the bit sets. The patch introduces a metadata format for representing pointer sets, an '@llvm.bitset.test' intrinsic and an LTO lowering pass that lays out the globals and builds the bitsets, and documents the new feature. Differential Revision: http://reviews.llvm.org/D7288 llvm-svn: 230054		2015-02-20 20:30:47 +00:00
..
ArgumentPromotion.cpp	Add range adapters predecessors() and successors() for BBs	2015-02-04 19:14:57 +00:00
BarrierNoopPass.cpp
CMakeLists.txt	Introduce bitset metadata format and bitset lowering pass.	2015-02-20 20:30:47 +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	DeadArgElim: aggregate Return assessment properly.	2015-02-11 23:13:11 +00:00
ExtractGV.cpp	Reformat partially, where I touched for whitespace changes.	2014-10-28 11:54:52 +00:00
FunctionAttrs.cpp	[PM] Separate the TargetLibraryInfo object from the immutable pass.	2015-01-15 10:41:28 +00:00
GlobalDCE.cpp	Prologue support	2014-12-03 02:08:38 +00:00
GlobalOpt.cpp	[PM] Separate the TargetLibraryInfo object from the immutable pass.	2015-01-15 10:41:28 +00:00
InlineAlways.cpp	[PM] Split the AssumptionTracker immutable pass into two separate APIs:	2015-01-04 12:03:27 +00:00
Inliner.cpp	Transforms: Canonicalize access to function attributes, NFC	2015-02-14 01:11:29 +00:00
InlineSimple.cpp	[PM] Split the AssumptionTracker immutable pass into two separate APIs:	2015-01-04 12:03:27 +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	Introduce bitset metadata format and bitset lowering pass.	2015-02-20 20:30:47 +00:00
LLVMBuild.txt	Update libdeps since TLI was moved from Target to Analysis in r226078.	2015-01-15 05:21:00 +00:00
LoopExtractor.cpp	[PM] Lift the analyses into the interface for	2015-01-19 03:03:39 +00:00
LowerBitSets.cpp	Introduce bitset metadata format and bitset lowering pass.	2015-02-20 20:30:47 +00:00
Makefile
MergeFunctions.cpp	Update SetVector to rely on the underlying set's insert to return a pair<iterator, bool>	2014-11-19 07:49:26 +00:00
PartialInlining.cpp	Add range adapters predecessors() and successors() for BBs	2015-02-04 19:14:57 +00:00
PassManagerBuilder.cpp	Introduce bitset metadata format and bitset lowering pass.	2015-02-20 20:30:47 +00:00
PruneEH.cpp	Don't promote asynch EH invokes of nounwind functions to calls	2015-02-11 01:23:16 +00:00
StripDeadPrototypes.cpp	[Modules] Fix potential ODR violations by sinking the DEBUG_TYPE	2014-04-22 02:55:47 +00:00
StripSymbols.cpp	IR: Split Metadata from Value	2014-12-09 18:38:53 +00:00