English

Improvements to the Psi-SSA representation

Programming Languages 2007-05-23 v1

Abstract

Modern compiler implementations use the Static Single Assignment representation as a way to efficiently implement optimizing algorithms. However this representation is not well adapted to architectures with a predicated instruction set. The Psi-SSA representation extends the SSA representation such that standard SSA algorithms can be easily adapted to an architecture with a fully predicated instruction set. A new pseudo operation, the Psi operation, is introduced to merge several conditional definitions into a unique definition.

Cite

@article{arxiv.0705.2126,
  title  = {Improvements to the Psi-SSA representation},
  author = {Francois De Ferriere},
  journal= {arXiv preprint arXiv:0705.2126},
  year   = {2007}
}
R2 v1 2026-06-21T08:28:28.627Z