Eliminating Branches using a Superoptimizer and the GNU C Compiler
Abstract
this paper uses the RS/6000 for all its examples, the techniques described here are applicable to most machines
Related papers
- Minotaur: A SIMD-Oriented Synthesizing Superoptimizer OOPSLA 2024
- Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis CGO 2026
- Dataflow-based pruning for speeding up superoptimization OOPSLA 2020
- Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding PLDI 2024
- Unbounded superoptimization Onward! 2017
- Denali: A Goal-directed Superoptimizer PLDI 2002
- Conditionally correct superoptimization OOPSLA 2015
- Interprocedural Conditional Branch Elimination PLDI 1997