1 ; RUN: not llvm-as < %s -o /dev/null 2>&1 | 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!
80 define i8 @f10(i8* %x) {
82 %y = load i8* %x, align 1, !range !9
85 !9 = metadata !{i8 0, i8 2, i8 1, i8 3}
86 ; CHECK: Intervals are overlapping
88 define i8 @f11(i8* %x) {
90 %y = load i8* %x, align 1, !range !10
93 !10 = metadata !{i8 0, i8 2, i8 2, i8 3}
94 ; CHECK: Intervals are contiguous
96 define i8 @f12(i8* %x) {
98 %y = load i8* %x, align 1, !range !11
101 !11 = metadata !{i8 1, i8 2, i8 -1, i8 0}
102 ; CHECK: Intervals are not in order
104 define i8 @f13(i8* %x) {
106 %y = load i8* %x, align 1, !range !12
109 !12 = metadata !{i8 1, i8 3, i8 5, i8 1}
110 ; CHECK: Intervals are contiguous
112 define i8 @f14(i8* %x) {
114 %y = load i8* %x, align 1, !range !13
117 !13 = metadata !{i8 1, i8 3, i8 5, i8 2}
118 ; CHECK: Intervals are overlapping
120 define i8 @f15(i8* %x) {
122 %y = load i8* %x, align 1, !range !14
125 !14 = metadata !{i8 10, i8 1, i8 12, i8 13}
126 ; CHECK: Intervals are overlapping
128 define i8 @f16(i8* %x) {
130 %y = load i8* %x, align 1, !range !16
133 !16 = metadata !{i8 1, i8 3, i8 4, i8 5, i8 6, i8 2}
134 ; CHECK: Intervals are overlapping
136 define i8 @f17(i8* %x) {
138 %y = load i8* %x, align 1, !range !17
141 !17 = metadata !{i8 1, i8 3, i8 4, i8 5, i8 6, i8 1}
142 ; CHECK: Intervals are contiguous