1 ; RUN: not llvm-as < %s -o /dev/null |& FileCheck %s
3 define void @f1(i8* %x) {
5 store i8 0, i8* %x, align 1, !range !0
8 !0 = metadata !{i8 0, i8 1}
9 ; CHECK: Ranges are only for loads!
10 ; CHECK-NEXT: store i8 0, i8* %x, align 1, !range !0
12 define i8 @f2(i8* %x) {
14 %y = load i8* %x, align 1, !range !1
18 ; CHECK: It should have at least one range!
19 ; CHECK-NEXT: metadata
21 define i8 @f3(i8* %x) {
23 %y = load i8* %x, align 1, !range !2
27 ; CHECK: Unfinished range!
29 define i8 @f4(i8* %x) {
31 %y = load i8* %x, align 1, !range !3
34 !3 = metadata !{double 0.0, i8 0}
35 ; CHECK: The lower limit must be an integer!
37 define i8 @f5(i8* %x) {
39 %y = load i8* %x, align 1, !range !4
42 !4 = metadata !{i8 0, double 0.0}
43 ; CHECK: The upper limit must be an integer!
45 define i8 @f6(i8* %x) {
47 %y = load i8* %x, align 1, !range !5
50 !5 = metadata !{i32 0, i8 0}
51 ; CHECK: Range types must match load type!
54 define i8 @f7(i8* %x) {
56 %y = load i8* %x, align 1, !range !6
59 !6 = metadata !{i8 0, i32 0}
60 ; CHECK: Range types must match load type!
63 define i8 @f8(i8* %x) {
65 %y = load i8* %x, align 1, !range !7
68 !7 = metadata !{i32 0, i32 0}
69 ; CHECK: Range types must match load type!
72 define i8 @f9(i8* %x) {
74 %y = load i8* %x, align 1, !range !8
77 !8 = metadata !{i8 0, i8 0}
78 ; CHECK: Range must not be empty!