Synthesizing an instruction selection rule library from semantic specifications
Sebastian Buchwald, Andreas Fried, Sebastian Hack · 2018
Instruction selection is the part of a compiler that transforms intermediate representation (IR) code into machine code. Instruction selectors build on a library of hundreds if not thousands of rules. Creating and maintaining these rules is a tedious and error-prone manual process.