PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning

Ange-Thierry Ishimwe, Raghuveer Shivakumar, Heewoo Kim +2

Souper is a powerful enumerative superoptimizer that enhances the runtime performance of programs by optimizing LLVM intermediate representation (IR) code. However, its verificatio…