Generalizing Rewrite Rule Synthesis

Speaker: Ross Daly, PhD Student, Stanford University
Date: April 12, 2023

Creating a compiler for an instruction set architecture (ISA) requires a set of rewrite rules that prescribes how to translate from the compiler’s intermediate representation (IR) to the ISA. In an agile methodology these rewrite rules need to be generated automatically without a human in the loop. For example, benchmarking new ISAs generated in a Design Space Exploration tool requires such an automated approach.  Existing approaches are not able to efficiently solve the general problem of synthesizing rewrite rules that contain multiple IR and multiple ISA instructions.

In this talk I will discuss the limitations of existing work and present a novel synthesis approach to efficiently solve the general rewrite rule synthesis problem. Furthermore I will present preliminary results.