Copy propagation

In compiler theory, copy propagation is the process of replacing the occurrences of targets of direct assignments with their values. A direct… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Code improving transformations are used by optimizing compilers to improve the performance of a program. Copy Propagation is a… (More)
  • table I
Is this relevant?
2006
2006
High-performance and low-power VLIW DSP processors are increasingly deployed on embedded devices to process video and multimedia… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2006
2006
A novel technique for copy propagation and dead code elimination using hash based value numbering is discussed in this paper… (More)
  • figure 1
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We present a high-level synthesis methodology that applies a coordinated set of coarse-grain and fine-grain parallelizing… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
The focus of this paper is on a data flow-transformation called advanced copy propagation. After an array is assigned, we can… (More)
  • figure 3
  • figure 4
  • figure 7
  • table 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Higher-order languages, such as Haskell, encourage the programmer to build abstractions by composing functions. A good compiler… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Traditional compiler techniques developed for sequential programs do not guarantee the correctness (sequential consistency) of… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Programs represented in Static Single Assignment (SSA) form contain phi instructions (or functions) whose operational semantics… (More)
  • figure 8
  • table 1
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The ability to predict at compile time the likelihood of a particular branch being taken provides valuable information for… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 6
  • figure 5
Is this relevant?