Partial Executer is a brand-new LLVM optimization pass that uses an Interpreter-like engine to prove some code will never be executed, making it safe to eliminate it. In this article, I will explain the ideas behind it, the engineering challenges, and the results of this work. Some basic understanding of LLVM internals will be helpful,…
