OASIcs - OpenAccess Series in Informatics. Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS\u2710) -- Selected Papers
Doi
Abstract
We describe an automated way to generate data for a practical LLVM instruction selector based on machine-generated description of the target architecture at register transfer level.
The generated instruction selector can handle arbitrarily complex machine instructions with no internal control flow, and can automatically find and take advantage of arithmetic properties of an instructions, specialized pseudo-registers and special cases of immediate operands
