Skip to main content
  • Textbook
  • © 2016

Instruction Selection

Principles, Methods, and Applications

Authors:

(view affiliations)
  • First comprehensive treatment of this topic since the 1980s

  • Guides reader towards the extensive research literature

  • Presents an elegant new taxonomy, and points to open problems

  • Includes supplementary material: sn.pub/extras

Buying options

eBook
USD 39.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-34019-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 49.99
Price excludes VAT (USA)
Hardcover Book
USD 49.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (6 chapters)

  1. Front Matter

    Pages i-xviii
  2. Introduction

    • Gabriel Hjort Blindell
    Pages 1-11
  3. Macro Expansion

    • Gabriel Hjort Blindell
    Pages 13-29
  4. Tree Covering

    • Gabriel Hjort Blindell
    Pages 31-76
  5. DAG Covering

    • Gabriel Hjort Blindell
    Pages 77-104
  6. Graph Covering

    • Gabriel Hjort Blindell
    Pages 105-119
  7. Conclusions

    • Gabriel Hjort Blindell
    Pages 121-124
  8. Back Matter

    Pages 125-177

About this book

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.

Keywords

  • Compilers
  • Constraint-based programming
  • DAG covering
  • Graph covering
  • Instruction selection
  • Machine instructions
  • Macro expansion
  • Tree covering
  • algorithm analysis and problem complexity

Authors and Affiliations

  • Computer Systems Lab (CSL), Royal Institute of Technology (KTH), Kista, Sweden

    Gabriel Hjort Blindell

About the author

Gabriel Hjort Blindell's research focuses on advanced computer architecture, compiler construction, parallel systems, combinatorial optimization, algorithms, data structures, and complexity. Since June 2012 he has participated in a research project on constraint-based compilation, in particular he is investigating how constraint programming can be used to drive and optimize the instruction selection phase.

Bibliographic Information

Buying options

eBook
USD 39.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-34019-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD 49.99
Price excludes VAT (USA)
Hardcover Book
USD 49.99
Price excludes VAT (USA)