[llvm] [GlobalISel] Catching inconsistencies in load memory, result, and range metadata type (PR #121247)

[Matt Arsenault via llvm-commits]

arsenm wrote:

We probably should do something about verifying the result types also are consistent, but that will probably require touching the legalizer. Plus we should verify that computeKnownBits does the right thing in the extended result cases 

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