Iterated register coalescing

Authors:
Lal George;Andrew W. Appel
Affiliations:
Lucent Technologies, Bell Labs Innovations;Princeton University
Venue:
ACM Transactions on Programming Languages and Systems (TOPLAS)
Year:
1996

Citing 12
Cited 105

ORBIT: an optimizing compiler for scheme

SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Minimizing register usage penalty at procedure calls

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Efficiently computing static single assignment form and the control dependence graph

ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiling with continuations

Compiling with continuations
Unboxed objects and polymorphic typing

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Space-efficient closure representations

LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Callee-save registers in continuation-passing style

Lisp and Symbolic Computation
An efficient representation for sparse sets

ACM Letters on Programming Languages and Systems (LOPLAS)
Improvements to graph coloring register allocation

ACM Transactions on Programming Languages and Systems (TOPLAS)
A type-based compiler for standard ML

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness
Register allocation & spilling via graph coloring

SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction

Quality and speed in linear-scan register allocation

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Compiler-controlled memory

Proceedings of the eighth international conference on Architectural support for programming languages and operating systems
Using node merging to enhance graph coloring

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Static single assignment form for machine code

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Reorganizing global schedules for register allocation

ICS '99 Proceedings of the 13th international conference on Supercomputing
Linear scan register allocation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Look-ahead allocation in the presence of branches

SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Unroll-based register coalescing

Proceedings of the 14th international conference on Supercomputing
Reducing the impact of software prefetching on register pressure

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Profile assisted register allocation

SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Preference-directed graph coloring

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Register allocation for irregular architectures

Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Bitwidth aware global register allocation

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimizing Nested Loops Using Local CPS Conversion

Higher-Order and Symbolic Computation
Unroll-Based Copy Elimination for Enhanced Pipeline Scheduling

IEEE Transactions on Computers
Copy Elimination for Parallelizing Compilers

LCPC '98 Proceedings of the 11th International Workshop on Languages and Compilers for Parallel Computing
Unroll-Based Copy Elimination for Enhanced Pipeline Scheduling

LCPC '99 Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing
Linear Scan Register Allocation in a High-Performance Erlang Compiler

PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation

FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Scalable Certification for Typed Assembly Language

TIC '00 Selected papers from the Third International Workshop on Types in Compilation
Cross-Architectural Performance Portability of a Java Virtual Machine Implementation

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
Convergent scheduling

Proceedings of the 35th annual ACM/IEEE international symposium on Microarchitecture
Taming the IXP network processor

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Optimizing Translation Out of SSA Using Renaming Constraints

Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization
Coloring heuristics for register allocation

ACM SIGPLAN Notices - Best of PLDI 1979-1999
A generalized algorithm for graph-coloring register allocation

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Balancing register allocation across threads for a multithreaded network processor

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
A retargetable register allocation framework for embedded processors

Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Optimistic register coalescing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Binary translation to improve energy efficiency through post-pass register re-allocation

Proceedings of the 4th ACM international conference on Embedded software
HiPE on AMD64

ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
A Model-Based Framework: An Approach for Profit-Driven Optimization

Proceedings of the international symposium on Code generation and optimization
Differential register allocation

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Comparing conservative coalescing criteria

ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficiently compiling a functional language on AMD64: the HiPE experience

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Evolution of a java just-in-time compiler for IA-32 platforms

IBM Journal of Research and Development
Memory Coloring: A Compiler Approach for Scratchpad Memory Management

Proceedings of the 14th International Conference on Parallel Architectures and Compilation Techniques
Formal certification of a compiler back-end or: programming a compiler with a proof assistant

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A global progressive register allocator

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Profile-based global live-range splitting

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Average case vs. worst case: margins of safety in system design

NSPW '05 Proceedings of the 2005 workshop on New security paradigms
Allocating architected registers through differential encoding

ACM Transactions on Programming Languages and Systems (TOPLAS)
Manticore: a heterogeneous parallel language

Proceedings of the 2007 workshop on Declarative aspects of multicore programming
UCC: update-conscious compilation for energy efficiency in wireless sensor networks

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
On the Complexity of Register Coalescing

Proceedings of the International Symposium on Code Generation and Optimization
Optimistic coalescing for heterogeneous register architectures

Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Scratchpad allocation for data aggregates in superperfect graphs

Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
An optimistic and conservative register assignment heuristic for chordal graphs

CASES '07 Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems
Status report: the manticore project

ML '07 Proceedings of the 2007 workshop on Workshop on ML
Register allocation by puzzle solving

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Copy coalescing by graph recoloring

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Placement-and-routing-based register allocation for coarse-grained reconfigurable arrays

Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
Optimizing scientific application loops on stream processors

Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
Fast, frequency-based, integrated register allocation and instruction scheduling

Software—Practice & Experience
Design and implementation of a framework for creating portable and efficient packet-processing applications

EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Advanced conservative and optimistic register coalescing

CASES '08 Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems
Register coalescing techniques for heterogeneous register architecture with copy sifting

ACM Transactions on Embedded Computing Systems (TECS)
Comparison and evaluation of back-translation algorithms for static single assignment forms

Computer Languages, Systems and Structures
Comparability graph coloring for optimizing utilization of stream register files in stream processors

Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming
Fast Code Generation for Embedded Processors with Aliased Heterogeneous Registers

Transactions on High-Performance Embedded Architectures and Compilers II
Formal verification of a realistic compiler

Communications of the ACM - Barbara Liskov: ACM's A.M. Turing Award Winner
Live-range unsplitting for faster optimal coalescing

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Register allocation deconstructed

Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems
Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency

Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization
Hybrid Evolutionary Algorithm for the Graph Coloring Register Allocation Problem for Embedded Systems

Transactions on Computational Science V
Compiler-directed scratchpad memory management via graph coloring

ACM Transactions on Architecture and Code Optimization (TACO)
Towards update-conscious compilation for energy-efficient code dissemination in WSNs

ACM Transactions on Architecture and Code Optimization (TACO)
SRF coloring: stream register file allocation via graph coloring

Journal of Computer Science and Technology
Progressive spill code placement

CASES '09 Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems
A Formally Verified Compiler Back-end

Journal of Automated Reasoning
Detecting bugs in register allocation

ACM Transactions on Programming Languages and Systems (TOPLAS)
On minimizing register usage of linearly scheduled algorithms with uniform dependencies

Computer Languages, Systems and Structures
Optimal bitwise register allocation using integer linear programming

LCPC'06 Proceedings of the 19th international conference on Languages and compilers for parallel computing
Register allocation: what does the NP-completeness proof of Chaitin et al. really prove? or revisiting register allocation: why and how

LCPC'06 Proceedings of the 19th international conference on Languages and compilers for parallel computing
A fast cutting-plane algorithm for optimal coalescing

CC'07 Proceedings of the 16th international conference on Compiler construction
Extended linear scan: an alternate foundation for global register allocation

CC'07 Proceedings of the 16th international conference on Compiler construction
Register allocation by optimal graph coloring

CC'03 Proceedings of the 12th international conference on Compiler construction
Coloring-based coalescing for graph coloring register allocation

Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization
Upper adjoints for fast inter-procedural variable equalities

ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Parallel copy motion

Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems
An optimal linear-time algorithm for interprocedural register allocation in high level synthesis using SSA form

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Scratchpad memory allocation for data aggregates via interval coloring in superperfect graphs

ACM Transactions on Embedded Computing Systems (TECS)
Decoupled graph-coloring register allocation with hierarchical aliasing

Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems
Studying optimal spilling in the light of SSA

CASES '11 Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems
Graph-coloring and treescan register allocation using repairing

CASES '11 Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems
Fast interprocedural linear two-variable equalities

ACM Transactions on Programming Languages and Systems (TOPLAS)
Revisiting graph coloring register allocation: a study of the chaitin-briggs and callahan-koblenz algorithms

LCPC'05 Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing
Catching and identifying bugs in register allocation

SAS'06 Proceedings of the 13th international conference on Static Analysis
Register allocation via coloring of chordal graphs

APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Single and multiple device DSA problems, complexities and online algorithms

Theoretical Computer Science
Comparability Graph Coloring for Optimizing Utilization of Software-Managed Stream Register Files for Stream Processors

ACM Transactions on Architecture and Code Optimization (TACO)
Punctual coalescing

CC'10/ETAPS'10 Proceedings of the 19th joint European conference on Theory and Practice of Software, international conference on Compiler Construction
Preference-Guided register assignment

CC'10/ETAPS'10 Proceedings of the 19th joint European conference on Theory and Practice of Software, international conference on Compiler Construction
Validating register allocation and spilling

CC'10/ETAPS'10 Proceedings of the 19th joint European conference on Theory and Practice of Software, international conference on Compiler Construction
Formal verification of coalescing graph-coloring register allocation

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Hybrid optimizations: which optimization algorithm to use?

CC'06 Proceedings of the 15th international conference on Compiler Construction
Register allocation for programs in SSA-Form

CC'06 Proceedings of the 15th international conference on Compiler Construction
Copy elimination on data dependence graphs

Proceedings of the 27th Annual ACM Symposium on Applied Computing
WCET-aware re-scheduling register allocation for real-time embedded systems with clustered VLIW architecture

Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
ErLLVM: an LLVM backend for Erlang

Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop
A framework for end-to-end verification and evaluation of register allocators

SAS'07 Proceedings of the 14th international conference on Static Analysis
Elimination of parallel copies using code motion on data dependence graphs

Computer Languages, Systems and Structures
Improved bitwidth-aware variable packing

ACM Transactions on Architecture and Code Optimization (TACO)
A decoupled non-SSA global register allocation using bipartite liveness graphs

ACM Transactions on Architecture and Code Optimization (TACO)

Quantified Score

Hi-index	0.00

Visualization

Abstract

An important function of any register allocator is to target registers so as to eliminate copy instructions. Graph-coloring register allocation is an elegant approach to this problem. If the source and destination of a move instruction do not interfere, then their nodes can be coalesced in the interference graph. Chaitin's coalescing heuristic could make a graph uncolorable (i.e., introduce spills); Briggs et al. demonstrated a conservative coalescing heuristic that preserves colorability. But Briggs's algorithm is too conservative and leaves too many move instructions in our programs. We show how to interleave coloring reductions with Briggs's coalescing heuristic, leading to an algorithm that is safe but much more aggressive.