An integer linear programming approach for identifying instruction-set extensions

Kubilay Atasu, Günhan Dündar, Can Özturan
2005 Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '05  
This paper presents an Integer Linear Programming (ILP) approach to the instruction-set extension identification problem. An algorithm that iteratively generates and solves a set of ILP problems in order to generate a set of templates is proposed. A selection algorithm that ranks the generated templates based on isomorphism testing and potential evaluation is described. A Trimaran based framework is used to evaluate the quality of the instructions generated by the technique. Speed-up results of up to 7.5 are observed.
doi:10.1145/1084834.1084880 dblp:conf/codes/AtasuDO05 fatcat:5oqno6jpcbcj3oo77qke2vp5oa