Program Decision Logic Optimization Using Predication and Control Speculation

Wen Mei W. Hwu, David I. August, John W. Sias

Research output: Contribution to journalArticle

Abstract

The mainstream arrival of predication, a means other than branching of selecting instructions for execution, has required compiler architects to reformulate fundamental analyses and transformations. Traditionally, the compiler has generated branches straightforwardly to implement control flow designed by the programmer and has then performed sophisticated “global” optimizations to move and optimize code around them. In this model, the inherent tie between the control state of the program and the location of the single instruction pointer serialized run-time evaluation of control and limited the extent to which the compiler could optimize the control structure of the program (without extensive code replication). Predication provides a means of control independent of branches and instruction fetch location, freeing both compiler and architecture from these restrictions; effective compilation of predicated code, however, requires sophisticated understanding of the program's control structure. This paper explores a representational technique which, through direct code analysis, maps the program's control component into a canonical database, a reduced ordered binary decision diagram (ROBDD), which fully enables the compiler to utilize and manipulate predication. This abstraction is then applied to optimize the program's control component, transforming it into a form more amenable to instruction level parallel (ILP) execution.

Original languageEnglish (US)
Pages (from-to)1660-1675
Number of pages16
JournalProceedings of the IEEE
Volume89
Issue number11
DOIs
StatePublished - Nov 2001

Keywords

  • Boolean functions
  • Computer architecture
  • Instruction level parallelism
  • Optimization compilers
  • Predication

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Program Decision Logic Optimization Using Predication and Control Speculation'. Together they form a unique fingerprint.

  • Cite this