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

[Nikita Popov via llvm-commits]

================
@@ -3184,6 +3186,10 @@ The following attributes are currently accepted:
 ``"noundef"(any_type %v)``
   Equivalent to :ref:`noundef <attr_noundef>` on ``%v``.
 
+``"range"(iN %val, iN <lower_bound>, iN <upper_bound>)``
+  Equivalent to :ref:`range(iN <lower_bound>, <upper_bound>) <attr_range>` on
+  ``%val``.
----------------
nikic wrote:

This needs to spell out what happens if lower==upper. range() accepts only 0,0 meaning empty range. I don't know whether that's what we want here or not.

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