Blindell G. H.

Boender J.

Buchwald S.

Eckstein E.

Floch A.

Gebotys C. H.

Johnson N.

Land A. H.

Lattner C.

Lee C.

Lozano R. C.

Nethercote N.

Single Thread Performance CPU

Tanaka H.

Wilson T.

Živojnović V.

English

In code generation, instruction selection chooses processor instructions to implement a program under compilation where code quality crucially depends on the choice of instructions. Using methods from combinatorial optimization, this paper proposes an expressive model that integrates global instruction selection with global code motion. The model introduces (1) handling of memory computations and function calls, (2) a method for inserting additional jump instructions where necessary, (3) a dependency-based technique to ensure correct combinations of instructions, (4) value reuse to improve code quality, and (5) an objective function that reduces compilation time and increases scalability by exploiting bounding techniques. The approach is demonstrated to be complete and practical, competitive with LLVM, and potentially optimal (w.r.t. the model) for medium-sized functions. The results show that combinatorial optimization for instruction selection is well-suited to exploit the potential of modern processors in embedded systems.</jats:p

Gabriel Hjort Blindell

Mats Carlsson

Roberto Castañeda Lozano

Christian Schulte

Crossref

ACM Transactions on Embedded Computing Systems

Complete and Practical Universal Instruction Selection

http://kth.diva-portal.org/smash/get/diva2:1139368/FULLTEXT01

Complete and Practical Universal Instruction Selection

Abstract

Similar works

Full text

Available Versions

Crossref