Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Optimal polynomial-time interprocedural register allocation for high-level synthesis and ASIP design
 
conference paper

Optimal polynomial-time interprocedural register allocation for high-level synthesis and ASIP design

Brisk, Philip
•
Verma, Ajay K.
•
Ienne, Paolo  
2007
Ieee/Acm International Conference On Computer-Aided Design Digest Of Technical Papers
IEEE/ACM International Conference on Computer-Aided Design

Register allocation, in high-level synthesis and ASIP design, is the process of determining the number of registers to include in the resulting circuit or processor. The goal is to allocate the minimum number of registers such that no scalar variable is spilled to memory. Previously, an optimal polynomial-time algorithm for this problem has been presented for individual procedures represented in Static Single Assignment (SSA) Form. This result is now extended to complete programs (or sub-programs), as long as: (1) each procedure is represented in SSA Form; and (2) at every procedure call, all live variables are split at the call point. With this representation, it is possible to ensure that the interprocedural interference graph (IIG) is chordal, and can therefore be colored optimally in polynomial time. An optimal coloring of the IIG can be achieved by allocating registers for each procedure individually. Previous work has shown that optimal register allocation in SSA Form does not require an interference graph. Optimal interprocedural register allocation, therefore, is achieved without constructing an interference graph, giving the optimal algorithm a significant runtime advantage over prior sub-optimal heuristics.

  • Details
  • Metrics
Type
conference paper
DOI
10.1109/ICCAD.2007.4397262
Web of Science ID

WOS:000253303700028

Author(s)
Brisk, Philip
Verma, Ajay K.
Ienne, Paolo  
Date Issued

2007

Publisher

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa

Published in
Ieee/Acm International Conference On Computer-Aided Design Digest Of Technical Papers
ISBN of the book

978-1-4244-1381-2

Series title/Series vol.

Ieee International Conference On Computer-Aided Design

Start page

172

End page

179

Subjects

Improvements

•

Algorithms

•

Systems

•

Graphs

•

Form

Editorial or Peer reviewed

NON-REVIEWED

Written at

EPFL

EPFL units
LAP  
Event nameEvent placeEvent date
IEEE/ACM International Conference on Computer-Aided Design

San Jose, CA

Nov 04-08, 2007

Available on Infoscience
July 4, 2012
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/83614
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés