Program decision logic optimization using predication and control speculation

Hwu, WMW

doi:10.1109/5.964444

Return

Program decision logic optimization using predication and control speculation

2001-01-01

PRE

DOI：10.1109/5.964444

Original request for help

Save

Abstract

En 中文

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. ln this model, the inherent tic 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 front 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.

Keywords:

Boolean functions

computer architecture

instruction level parallelism

optimization compilers

predication

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.