Chandler Carruth 274d377ea6 Extend the inline cost calculation to account for bonuses due to ... correlated pairs of pointer arguments at the callsite. This is designed to recognize the common C++ idiom of begin/end pointer pairs when the end pointer is a constant offset from the begin pointer. With the C-based idiom of a pointer and size, the inline cost saw the constant size calculation, and this provides the same level of information for begin/end pairs. In order to propagate this information we have to search for candidate operations on a pair of pointer function arguments (or derived from them) which would be simplified if the pointers had a known constant offset. Then the callsite analysis looks for such pointer pairs in the argument list, and applies the appropriate bonus. This helps LLVM detect that half of bounds-checked STL algorithms (such as hash_combine_range, and some hybrid sort implementations) disappear when inlined with a constant size input. However, it's not a complete fix due the inaccuracy of our cost metric for constants in general. I'm looking into that next. Benchmarks showed no significant code size change, and very minor performance changes. However, specific code such as hashing is showing significantly cleaner inlining decisions. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@152752 91177308-0d34-0410-b5e6-96231b3b80d8		2012-03-14 23:19:53 +00:00
..
AsmWriter.cpp	llvm::SwitchInst	2012-03-11 06:09:17 +00:00
Attributes.cpp
AutoUpgrade.cpp
BasicBlock.cpp
CMakeLists.txt
ConstantFold.cpp
ConstantFold.h
Constants.cpp
ConstantsContext.h	Switch this code to use hash_combine_range rather than incremental calls	2012-03-07 03:22:32 +00:00
Core.cpp
DebugInfoProbe.cpp
DebugLoc.cpp
Dominators.cpp	Change the implementation of dominates(inst, inst) to one based on what the	2012-02-26 02:19:19 +00:00
Function.cpp	Emit the "is an intrinsic overloaded" table as a bitfield.	2012-03-01 02:16:57 +00:00
GCOV.cpp
Globals.cpp
GVMaterializer.cpp
InlineAsm.cpp
Instruction.cpp
Instructions.cpp	Taken into account Duncan's comments for r149481 dated by 2nd Feb 2012:	2012-03-08 07:06:20 +00:00
IntrinsicInst.cpp
IRBuilder.cpp
LeakDetector.cpp
LeaksContext.h
LLVMBuild.txt
LLVMContext.cpp
LLVMContextImpl.cpp
LLVMContextImpl.h	Replace the hashing functions on APInt and APFloat with overloads of the	2012-03-04 12:02:57 +00:00
Makefile
Metadata.cpp
Module.cpp
Pass.cpp
PassManager.cpp
PassRegistry.cpp
PrintModulePass.cpp
SymbolTableListTraitsImpl.h
Type.cpp	Cache the sized-ness of struct types, once we reach the steady state of	2012-03-07 02:33:09 +00:00
Use.cpp
User.cpp
Value.cpp	Extend the inline cost calculation to account for bonuses due to	2012-03-14 23:19:53 +00:00
ValueSymbolTable.cpp
ValueTypes.cpp
Verifier.cpp	llvm::SwitchInst	2012-03-11 06:09:17 +00:00