A Sound and Complete Algorithm for Code Generation in Distance-Based ISA
The single-thread performance of a processor core is essential even in the multicore era. However, increasing the processing width of a core to improve the single-thread performance leads to a super-linear increase in power consumption. To overcome this power consumption issue, an instruction set architecture for general-purpose processors, called STRAIGHT, has been proposed. STRAIGHT adopts a distance-based ISA, in which source operands are specified by the distance between instructions. In STRAIGHT, it is necessary to satisfy constraints on the distance used as operands to generate executable code. However, it is not yet clear how to generate code that satisfies these constraints in the general case. In this paper, we propose three compiling techniques for STRAIGHT code generation and prove that our techniques can reliably generate code that satisfies the distance constraints. We implemented the proposed method on a compiler and evaluated benchmark programs compiled with it through simulation. The evaluation results showed that the proposed method works in all cases, including conditions where the number of registers is small and existing methods fail to generate code.
Sat 25 FebDisplayed time zone: Eastern Time (US & Canada) change
14:20 - 15:20 | |||
14:20 20mTalk | A Sound and Complete Algorithm for Code Generation in Distance-Based ISA Research Papers Shu Sugita University of Tokyo, Toru Koizumi University of Tokyo, Ryota Shioya University of Tokyo, Hidetsugu Irie University of Tokyo, Shuichi Sakai University of Tokyo DOI | ||
14:40 20mTalk | Matching Linear Algebra and Tensor Code to Specialized Hardware Accelerators Research Papers Pablo Antonio Martínez University of Murcia, Jackson Woodruff University of Edinburgh, Jordi Armengol-Estapé University of Edinburgh, Gregorio Bernabé University of Murcia, José Manuel García University of Murcia, Michael F. P. O'Boyle University of Edinburgh DOI | ||
15:00 20mTalk | Torchy: A Tracing JIT Compiler for PyTorch Research Papers Nuno P. Lopes INESC-ID; Instituto Superior Técnico - University of Lisbon DOI |