[llvm] [IR] Add new Range attribute using new ConstantRange Attribute type (PR #83171)

[Johannes Doerfert via llvm-commits]

================
@@ -0,0 +1,8 @@
+; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
+
+; Check the error message on full range attribute.
+
+; CHECK: The range should not represent the full or empty set!
+define void @range_empty(i8 range(i8,0,0) %a) {
+  ret void
+}
----------------
jdoerfert wrote:

check mismatching types in various combinations.

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