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

[Vladimir Vereschaka via llvm-commits]

vvereschaka wrote:

@arsenm , @parsifal-47 ,

looks like these changes cause a failure of `LLVM :: CodeGen/AArch64/setcc_knownbits.ll' test on the expensive checks builder here
https://lab.llvm.org/buildbot/#/builders/187/builds/4023/steps/6/logs/FAIL__LLVM__setcc_knownbits_ll
```
*** Bad machine code: range is incompatible with the result type ***
- function:    logger
- basic block: %bb.2 land.rhs (0x55e1d64bd310)
- instruction: %16:_(s32) = G_LOAD %5:_(p0) :: (load (s8) from %ir.1, !range !0)
LLVM ERROR: Found 1 machine code errors.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /home/buildbot/worker/temp/build/bin/llc -mtriple=aarch64 -global-isel
1.      Running pass 'Function Pass Manager' on module '<stdin>'.
2.      Running pass 'Verify generated machine code' on function '@logger'
...
```

I found a problematic commit by bisecting though the commits for this buildbot's build. Reverting of these changes fixes the test.
Would you check it on your side accordingly?

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