4 ms·Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection2 points by matt_d 2y ago