Intermediate representations in imperative compilers: A survey

Authors:
James Stanier;Des Watson
Affiliations:
University of Sussex, UK;University of Sussex, UK
Venue:
ACM Computing Surveys (CSUR)
Year:
2013

Citing 60
Cited 0

The program dependence graph and its use in optimization

ACM Transactions on Programming Languages and Systems (TOPLAS)
Generating sequential code from parallel code

ICS '88 Proceedings of the 2nd international conference on Supercomputing
Global value numbers and redundant computations

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The program dependence graph and vectorization

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The program dependence web: a representation supporting control-, data-, and demand-driven interpretation of imperative languages

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
A foundation for sequentializing parallel code

SPAA '90 Proceedings of the second annual ACM symposium on Parallel algorithms and architectures
Constant propagation with conditional branches

ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficiently computing static single assignment form and the control dependence graph

ACM Transactions on Programming Languages and Systems (TOPLAS)
A retargetable compiler for ANSI C

ACM SIGPLAN Notices
Automatic partitioning of a program dependence graph into parallel tasks

IBM Journal of Research and Development
Beyond induction variables

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Rematerialization

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Efficient construction of program dependence graphs

ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Dependence-based program analysis

PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Incremental program testing using program dependence graphs

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The superblock: an effective technique for VLIW and superscalar compilation

The Journal of Supercomputing - Special issue on instruction-level parallelism
Value dependence graphs: representation without taxation

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Effective compiler support for predicated execution using the hyperblock

Instruction-level parallel processors
A simple graph-based intermediate representation

IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
Efficient building and placing of gating functions

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Global code motion/global value numbering

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Advanced compiler design and implementation

Advanced compiler design and implementation
Practical improvements to the construction and destruction of static single assignment form

Software—Practice & Experience
C and tcc: a language and compiler for dynamic code generation

ACM Transactions on Programming Languages and Systems (TOPLAS)
On linearizing parallel code

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Design and Application of a Retargetable Peephole Optimizer

ACM Transactions on Programming Languages and Systems (TOPLAS)
Proposal for an UNCOL

Communications of the ACM
Operator strength reduction

ACM Transactions on Programming Languages and Systems (TOPLAS)
ARM Architecture Reference Manual

ARM Architecture Reference Manual
Java Virtual Machine Specification

Java Virtual Machine Specification
A Retargetable C Compiler: Design and Implementation

A Retargetable C Compiler: Design and Implementation
Conversion of control dependence to data dependence

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Theory and Practice of Compiler Writing

Theory and Practice of Compiler Writing
Construction of Thinned Gated Single-Assignment Form

Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing
Translating Out of Static Single Assignment Form

SAS '99 Proceedings of the 6th International Symposium on Static Analysis
First version of a data flow procedure language

Programming Symposium, Proceedings Colloque sur la Programmation
Algorithms for computing the static single assignment form

Journal of the ACM (JACM)
Flow graph reducibility

STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
The program dependence graph in a software development environment

SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Control flow analysis

Proceedings of a symposium on Compiler optimization
Syntax-Directed Construction of Value Dependence Graphs

ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Dependence Flow Graphs: An Algebraic Approach to Program Dependencies

Dependence Flow Graphs: An Algebraic Approach to Program Dependencies
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation

Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization
Intermediate program representations in compiler construction: a supplemental bibliography

ACM SIGPLAN Notices
The Jikes research virtual machine project: building an open-source research community

IBM Systems Journal
Compilers: Principles, Techniques, and Tools (2nd Edition)

Compilers: Principles, Techniques, and Tools (2nd Edition)
Mono (Developer's Notebook)

Mono (Developer's Notebook)
The java hotspotTM server compiler

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Optimal chain rule placement for instruction selection based on SSA graphs

SCOPES '07 Proceedingsof the 10th international workshop on Software & compilers for embedded systems
Data Flow Supercomputers

Computer
Generalized instruction selection using SSA-graphs

Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
A new approach to the functional design of a digital computer

IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
Equality saturation: a new approach to optimization

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Engineering A Compiler

Engineering A Compiler
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
Generating compiler optimizations from proofs

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Combined code motion and register allocation using the value state dependence graph

CC'03 Proceedings of the 12th international conference on Compiler construction
Evaluating value-graph translation validation for LLVM

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Equality-based translation validator for LLVM

CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Structural analysis: A new approach to flow analysis in optimizing compilers

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Compilers commonly translate an input program into an intermediate representation (IR) before optimizing it and generating code. Over time there have been a number of different approaches to designing and implementing IRs. Different IRs have varying benefits and drawbacks. In this survey, we highlight key developments in the area of IR for imperative compilers, group them by a taxonomy and timeline, and comment on the divide between academic research and real-world compiler technology. We conclude that mainstream compilers, especially in the multicore era, could benefit from further IR innovations.