Removing the actual unused variable using Reaching Definitions when doing it with equations.
From Copy Propagation, after we copy in our canonical variables for use, we eliminate the redundant variables…
s=x+y
t=k+n
a=s+t
b=s*tRemoving the actual unused variable using Reaching Definitions when doing it with equations.
From Copy Propagation, after we copy in our canonical variables for use, we eliminate the redundant variables…
s=x+y
t=k+n
a=s+t
b=s*t