Predicated Static Single Assignment

Abstract

Increases in instruction level parallelism are needed to exploit the potential parallelism available in future wide is-sue architectures. Predicated execution is an architectural mechanism that increases instruction level parallelism by removing branches and allowing simultaneous execution of multiple paths of control, only committing instructions from the correct path. In order for the compiler to expose such parallelism, traditional compiler data-flow analysis needs to be extended to predicated code...