Initial checkin of a simple mod/ref analysis for global variables. This is

still overly conservative and uses very simple data structures, but it is a
start, and allows elimination of a lot of loads.

llvm-svn: 14462