Copy propagation er et begrep innenfor kompilatorteknikk hvor forekomster av variabler tildeles deres direkte verdi.[1] En direkte tildeling er en konstruksjon av formen x = y
, hvor verdien til y
tildeles x
Fra følgende kode:
y = x z = 3 + y
vil copy propagation resultere i:
z = 3 + x