Instruction Selection: Principles, Methods, and Applications

✍ Scribed by Gabriel Hjort Blindell (auth.)

• Publisher: Springer International Publishing
• Year: 2016
• Tongue: English
• Leaves: 186
• Edition: 1
• Category: Library

✦ Synopsis

This book presents a comprehensive, structured, up-to-date survey on instruction selection. The survey is structured according to two dimensions: approaches to instruction selection from the past 45 years are organized and discussed according to their fundamental principles, and according to the characteristics of the supported machine instructions. The fundamental principles are macro expansion, tree covering, DAG covering, and graph covering. The machine instruction characteristics introduced are single-output, multi-output, disjoint-output, inter-block, and interdependent machine instructions. The survey also examines problems that have yet to be addressed by existing approaches.

The book is suitable for advanced undergraduate students in computer science, graduate students, practitioners, and researchers.

✦ Table of Contents

Front Matter....Pages i-xviii
Introduction....Pages 1-11
Macro Expansion....Pages 13-29
Tree Covering....Pages 31-76
DAG Covering....Pages 77-104
Graph Covering....Pages 105-119
Conclusions....Pages 121-124
Back Matter....Pages 125-177

✦ Subjects

Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics); Algorithm Analysis and Problem Complexity; Data Structures, Cryptology and Information Theory