When dead assignments are eliminated, the rvalue expression no longer serves a purpose and is eliminated. This process repeats until no more optimizations can be done.