[llvm] [GlobalOpt] Add range metadata to loads from constant global variables (PR #127695)

[via llvm-commits]

Ralender wrote:

I added the logic similar to the `getStrideAndModOffsetOfGEP` but while traversing from the global variable to the load

after having wrote the code, maybe the process to find closed-forms of the Stride and Offset with alignment are too complicated  and error prone. but this should be able to handle a wide variety of GEPs.

https://github.com/llvm/llvm-project/pull/127695