Modeling the Invariance of Virtual Pointers in LLVM

Piotr Padlewski, Krzysztof Pszeniczny, Richard Smith

Devirtualization is a compiler optimization that replaces indirect (virtual) function calls with direct calls. It is particularly effective in object-oriented languages, such as Ja…