diff options
Diffstat (limited to 'test/Verifier/range-1.ll')
-rw-r--r-- | test/Verifier/range-1.ll | 38 |
1 files changed, 18 insertions, 20 deletions
diff --git a/test/Verifier/range-1.ll b/test/Verifier/range-1.ll index 0b20ca2..fda65cb 100644 --- a/test/Verifier/range-1.ll +++ b/test/Verifier/range-1.ll @@ -5,7 +5,7 @@ entry: store i8 0, i8* %x, align 1, !range !0 ret void } -!0 = metadata !{i8 0, i8 1} +!0 = !{i8 0, i8 1} ; CHECK: Ranges are only for loads, calls and invokes! ; CHECK-NEXT: store i8 0, i8* %x, align 1, !range !0 @@ -14,16 +14,15 @@ entry: %y = load i8* %x, align 1, !range !1 ret i8 %y } -!1 = metadata !{} +!1 = !{} ; CHECK: It should have at least one range! -; CHECK-NEXT: metadata define i8 @f3(i8* %x) { entry: %y = load i8* %x, align 1, !range !2 ret i8 %y } -!2 = metadata !{i8 0} +!2 = !{i8 0} ; CHECK: Unfinished range! define i8 @f4(i8* %x) { @@ -31,7 +30,7 @@ entry: %y = load i8* %x, align 1, !range !3 ret i8 %y } -!3 = metadata !{double 0.0, i8 0} +!3 = !{double 0.0, i8 0} ; CHECK: The lower limit must be an integer! define i8 @f5(i8* %x) { @@ -39,7 +38,7 @@ entry: %y = load i8* %x, align 1, !range !4 ret i8 %y } -!4 = metadata !{i8 0, double 0.0} +!4 = !{i8 0, double 0.0} ; CHECK: The upper limit must be an integer! define i8 @f6(i8* %x) { @@ -47,7 +46,7 @@ entry: %y = load i8* %x, align 1, !range !5 ret i8 %y } -!5 = metadata !{i32 0, i8 0} +!5 = !{i32 0, i8 0} ; CHECK: Range types must match instruction type! ; CHECK: %y = load @@ -56,7 +55,7 @@ entry: %y = load i8* %x, align 1, !range !6 ret i8 %y } -!6 = metadata !{i8 0, i32 0} +!6 = !{i8 0, i32 0} ; CHECK: Range types must match instruction type! ; CHECK: %y = load @@ -65,7 +64,7 @@ entry: %y = load i8* %x, align 1, !range !7 ret i8 %y } -!7 = metadata !{i32 0, i32 0} +!7 = !{i32 0, i32 0} ; CHECK: Range types must match instruction type! ; CHECK: %y = load @@ -74,7 +73,7 @@ entry: %y = load i8* %x, align 1, !range !8 ret i8 %y } -!8 = metadata !{i8 0, i8 0} +!8 = !{i8 0, i8 0} ; CHECK: Range must not be empty! define i8 @f10(i8* %x) { @@ -82,7 +81,7 @@ entry: %y = load i8* %x, align 1, !range !9 ret i8 %y } -!9 = metadata !{i8 0, i8 2, i8 1, i8 3} +!9 = !{i8 0, i8 2, i8 1, i8 3} ; CHECK: Intervals are overlapping define i8 @f11(i8* %x) { @@ -90,7 +89,7 @@ entry: %y = load i8* %x, align 1, !range !10 ret i8 %y } -!10 = metadata !{i8 0, i8 2, i8 2, i8 3} +!10 = !{i8 0, i8 2, i8 2, i8 3} ; CHECK: Intervals are contiguous define i8 @f12(i8* %x) { @@ -98,7 +97,7 @@ entry: %y = load i8* %x, align 1, !range !11 ret i8 %y } -!11 = metadata !{i8 1, i8 2, i8 -1, i8 0} +!11 = !{i8 1, i8 2, i8 -1, i8 0} ; CHECK: Intervals are not in order define i8 @f13(i8* %x) { @@ -106,7 +105,7 @@ entry: %y = load i8* %x, align 1, !range !12 ret i8 %y } -!12 = metadata !{i8 1, i8 3, i8 5, i8 1} +!12 = !{i8 1, i8 3, i8 5, i8 1} ; CHECK: Intervals are contiguous define i8 @f14(i8* %x) { @@ -114,7 +113,7 @@ entry: %y = load i8* %x, align 1, !range !13 ret i8 %y } -!13 = metadata !{i8 1, i8 3, i8 5, i8 2} +!13 = !{i8 1, i8 3, i8 5, i8 2} ; CHECK: Intervals are overlapping define i8 @f15(i8* %x) { @@ -122,7 +121,7 @@ entry: %y = load i8* %x, align 1, !range !14 ret i8 %y } -!14 = metadata !{i8 10, i8 1, i8 12, i8 13} +!14 = !{i8 10, i8 1, i8 12, i8 13} ; CHECK: Intervals are overlapping define i8 @f16(i8* %x) { @@ -130,7 +129,7 @@ entry: %y = load i8* %x, align 1, !range !16 ret i8 %y } -!16 = metadata !{i8 1, i8 3, i8 4, i8 5, i8 6, i8 2} +!16 = !{i8 1, i8 3, i8 4, i8 5, i8 6, i8 2} ; CHECK: Intervals are overlapping define i8 @f17(i8* %x) { @@ -138,7 +137,7 @@ entry: %y = load i8* %x, align 1, !range !17 ret i8 %y } -!17 = metadata !{i8 1, i8 3, i8 4, i8 5, i8 6, i8 1} +!17 = !{i8 1, i8 3, i8 4, i8 5, i8 6, i8 1} ; CHECK: Intervals are contiguous define i8 @f18() { @@ -146,6 +145,5 @@ entry: %y = call i8 undef(), !range !18 ret i8 %y } -!18 = metadata !{} +!18 = !{} ; CHECK: It should have at least one range! -; CHECK-NEXT: metadata |