Ebner, D., Krall, A., & Scholz, B. (2022). Instruction Code Selection. In F. Rastello & F. Bouchez Tichadou (Eds.), SSA-based Compiler Design (pp. 257–268). Springer. https://doi.org/10.1007/978-3-030-80515-9_19
E194-05 - Forschungsbereich Compilers and Languages
-
Published in:
SSA-based Compiler Design
-
ISBN:
978-3-030-80514-2
-
Date (published):
2022
-
Number of Pages:
12
-
Publisher:
Springer, Cham
-
Keywords:
optimal instruction selection; SSA
en
Abstract:
In this chapter, we introduce how SSA form can be used for instruction selection. Instruction selection translates a machine-independent intermediate code representation into a low-level intermediate representation or into machine code. Classical techniques specialize for specific target architectures and limit the scope to statement level. In this chapter, we present an optimal technique for intra-procedural instruction selection that uses partitioned Boolean quadratic optimization. The presented approach goes beyond limitations such as instruction selection expressed as trees and permits complex acyclic graph patterns in order to find the most suitable complex instructions in an instruction set. Such instructions can have multiple inputs and results at the same time.
en
Research Areas:
Logic and Computation: 40% Computer Engineering and Software-Intensive Systems: 30% Information Systems Engineering: 30%
