Constant propagation. Also detects use of variable before any possible def.
Do copy propagation. Copy propagation elems are of the form OPvar=OPvar, and they are in go.expnod[].
Mark all dead variables. Only worry about register candidates. Compute live ranges for register candidates. Be careful not to compute live ranges for members of structures (CLMOS).
Remove side effect of assignment elem.
Find all the reaching defs of OPvar e. Put into a linked list, or just set the RD bits in a vector.
Copyright (C) 1986-1998 by Symantec Copyright (C) 2000-2020 by The D Language Foundation, All Rights Reserved
Distributed under the Boost Software License, Version 1.0. http://www.boost.org/LICENSE_1_0.txt
Compiler implementation of the D programming language.