A tools for processor instruction set design

This paper presents a systematic technique for generat-ing new instruction sets which are optimized for a given mi-croarchitecture and set of benchmark programs. This pro-cess consists of the following steps: generation of execution traces, formation of code segments, optimal recompilation of the code segments to produce candidate instructions, and covering of the instructions from the code segments to yield the final instruction set. To illustrate the use of the new technique, an instruction set is generated for the execution of compiled Prolog programs.