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

[Nikita Popov via llvm-commits]

nikic wrote:

See also the fold at https://github.com/llvm/llvm-project/blob/db5bc8e9d07729ce4994cc908275722a093e5c0c/llvm/lib/Transforms/AggressiveInstCombine/AggressiveInstCombine.cpp#L829-L916. It basically implements the same logic you need here, in a somewhat more general way. It would probably make sense to merge that fold into yours as a followup, because it basically handles the special case where the range reduces to a single element.

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