[llvm] [Verifier] Accept range assume bundles (PR #202586)

[Yingwei Zheng via llvm-commits]

https://github.com/dtcxzyw commented:

Just out of curiosity, which pass will emit this assumption? There are two possible usages in my mind:
1. InstCombine canonicalizes the assumption with range check idiom `X - Offset u< Bound` into this form.
2. The callsite `noundef range` attributes are salvaged after function inlining.


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