Re: How to eliminate redundant constant move instructions

On 2011-10-31, Amker.Cheng <amker.cheng@gmail.com> wrote:
> I found following intermediate codes are generated in gcc
>
> rx <- 0
> ...
> use rx
> ...
> ry <- 0
> use ry
> ...
>
> It's normally a result of const propagation.
> After register allocation, It is likely rx/ry get allocated into
> different hard registers.
> Thus in final codes, there would be a redundant "move 0" instruction.


Surely you mean, if they get allocated into the SAME register, there
will be a redundant initialization?


> The story even stands for Os compiling, so the question is:
> Is there any optimization technique dedicates to this kind of case?


It's a variant of ``common subexpression elimination''. This should
be done early on. You have two different instances of 0 in the code,
which should be recognized as a common subexpression, sharing the same
intermediate code, and virtual registers.

Return to the comp.compilers page.
Search the comp.compilers archives again.