I think he gets dead code elimination for free. When you write to a variable that has no register allocated, it must be dead. Exception is whatever values lea

I think he gets dead code elimination for free. When you write to a variable that has no register allocated, it must be dead. Exception is whatever values leave the program or instructions with a side effect.