aiPop features functional abstraction for common basic blocks (also known as "reverse inlining"):
- aiPop identifies multiple occurrences of instruction sequences.
- It then creates one representative sequence.
- The multiple occurrences are then replaced by calls to the representative sequence.
It goes without saying that functional abstraction yields the best results when applied to the entire application.