diff options
Diffstat (limited to 'test/Verifier')
-rw-r--r-- | test/Verifier/range-1.ll | 34 |
1 files changed, 29 insertions, 5 deletions
diff --git a/test/Verifier/range-1.ll b/test/Verifier/range-1.ll index af4382e0fa..7a317fca8f 100644 --- a/test/Verifier/range-1.ll +++ b/test/Verifier/range-1.ll @@ -83,7 +83,7 @@ entry: ret i8 %y } !9 = metadata !{i8 0, i8 2, i8 1, i8 3} -; CHECK: Intervals are overlapping, contiguous or not in order +; CHECK: Intervals are overlapping define i8 @f11(i8* %x) { entry: @@ -91,7 +91,7 @@ entry: ret i8 %y } !10 = metadata !{i8 0, i8 2, i8 2, i8 3} -; CHECK: Intervals are overlapping, contiguous or not in order +; CHECK: Intervals are contiguous define i8 @f12(i8* %x) { entry: @@ -99,7 +99,7 @@ entry: ret i8 %y } !11 = metadata !{i8 1, i8 2, i8 -1, i8 0} -; CHECK: Intervals are overlapping, contiguous or not in order +; CHECK: Intervals are not in order define i8 @f13(i8* %x) { entry: @@ -107,7 +107,7 @@ entry: ret i8 %y } !12 = metadata !{i8 1, i8 3, i8 5, i8 1} -; CHECK: First and last intervals are contiguous or overlap +; CHECK: Intervals are contiguous define i8 @f14(i8* %x) { entry: @@ -115,4 +115,28 @@ entry: ret i8 %y } !13 = metadata !{i8 1, i8 3, i8 5, i8 2} -; CHECK: First and last intervals are contiguous or overlap +; CHECK: Intervals are overlapping + +define i8 @f15(i8* %x) { +entry: + %y = load i8* %x, align 1, !range !14 + ret i8 %y +} +!14 = metadata !{i8 10, i8 1, i8 12, i8 13} +; CHECK: Intervals are overlapping + +define i8 @f16(i8* %x) { +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} +; CHECK: Intervals are overlapping + +define i8 @f17(i8* %x) { +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} +; CHECK: Intervals are contiguous |