An optimistic and conservative register assignment heuristic for chordal graphs

Philip Brisk, Ajay Kumar Verma, Paolo Ienne
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/h3qjmo5xyfe6fcrh4fogxmkkiq" style="color: black;">Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems - CASES &#39;07</a> </i> &nbsp;
This paper presents a new register assignment heuristic for procedures in SSA Form, whose interference graphs are chordal; the heuristic is called optimistic chordal coloring (OCC). Previous register assignment heuristics eliminate copy instructions via coalescing, in other words, merging nodes in the interference graph. Node merging, however, can not preserve the chordal graph property, making it unappealing for SSA-based register allocation. OCC is based on graph coloring, but does not employ
more &raquo; ... coalescing, and, consequently, preserves graph chordality, and does not increase its chromatic number; in this sense, OCC is conservative as well as optimistic. OCC is observed to eliminate at least as many dynamically executed copy instructions as iterated register coalescing (IRC) for a set of chordal interference graphs generated from several Mediabench and MiBench applications. In many cases, OCC and IRC were able to find optimal or near-optimal solutions for these graphs. OCC ran 1.89x faster than IRC, on average.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1289881.1289919">doi:10.1145/1289881.1289919</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cases/BriskVI07.html">dblp:conf/cases/BriskVI07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y534ekkjgfbnhdqdfm7nje7dce">fatcat:y534ekkjgfbnhdqdfm7nje7dce</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812155828/https://www.cs.york.ac.uk/rts/docs/CODES-EMSOFT-CASES-2007/cases/p209.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/91/05/9105359807bc471299749557c6f1d82165115a3e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1289881.1289919"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>