Compiler Optimization of C++ Virtual Function Calls

Two generic optimization techniques to improve run-time performance of C++ virtual function calls are described: type specification and type prediction, which involves program analysis that results in a set of call sites to be optimized, and code transformations that replace the original dispatching mechanism in these sites by more efficient call expressions.