Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection

Ross Daly, Caleb Donovick, Caleb Terrill +4

Compiling programs to an instruction set architecture (ISA) requires a set of rewrite rules that map patterns consisting of compiler instructions to patterns consisting of ISA inst…