Many global optimizations are analogous to local ones, but use data flow analysis to find optimizations between blocks. Even though we include them here, in global optimization, their payoff is greater when they also reduce the computations in a loop.
Redundant (Common) Subexpression Elimination
Global Constant Folding and Propagation
Assignment Elimination Due to Equality