Visualization of Computational Processes of Procedural Abstraction Optimization Passes

Visualizing computational processes of optimization passes helps to reason about, and to gain insight into, the inner workings of the optimization passes. In this paper, we visualize the computational processes of two procedural abstraction passes. We modified two procedural abstraction post pass optimizers to visualize for each the difference in machine code before and after optimization by drawing abstracted fragments in the original code. We then explain how the generated visualizations aid in better understanding the optimization passes and eventually improve them.