Can anyone point me to fairly detailed pseudocode for global common
subexpression elimination and/or loop-invariant detection and code
motion? The Dragon book gives outlines of them, but I'd really love
to see a more detailed description of them. Most of the other
compiler books I've looked at focus on parsing and code generation,
and don't pay much attention to optimization.