Peter Collingbourne 40cd497a24 WholeProgramDevirt: introduce. ... This pass implements whole program optimization of virtual calls in cases where we know (via bitset information) that the list of callees is fixed. This includes the following: - Single implementation devirtualization: if a virtual call has a single possible callee, replace all calls with a direct call to that callee. - Virtual constant propagation: if the virtual function's return type is an integer <=64 bits and all possible callees are readnone, for each class and each list of constant arguments: evaluate the function, store the return value alongside the virtual table, and rewrite each virtual call as a load from the virtual table. - Uniform return value optimization: if the conditions for virtual constant propagation hold and each function returns the same constant value, replace each virtual call with that constant. - Unique return value optimization for i1 return values: if the conditions for virtual constant propagation hold and a single vtable's function returns 0, or a single vtable's function returns 1, replace each virtual call with a comparison of the vptr against that vtable's address. Differential Revision: http://reviews.llvm.org/D16795 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@260312 91177308-0d34-0410-b5e6-96231b3b80d8		2016-02-09 22:50:34 +00:00
..
CMakeLists.txt	WholeProgramDevirt: introduce.	2016-02-09 22:50:34 +00:00
LowerBitSets.cpp	Add explicit type to empty std::set initializer to fix the libc++ build.	2015-03-03 01:39:13 +00:00
WholeProgramDevirt.cpp	WholeProgramDevirt: introduce.	2016-02-09 22:50:34 +00:00