From a1b95f53cc29b82fa7628affc9d01a08c620f5fd Mon Sep 17 00:00:00 2001 From: Rafael Espindola Date: Thu, 31 May 2012 16:04:26 +0000 Subject: Fix typos noticed by Benjamin Kramer. Also make the checks stronger and test that we reject ranges that overlap a previous wrapped range. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@157749 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Verifier/range-1.ll | 34 +++++++++++++++++++++++++++++----- 1 file changed, 29 insertions(+), 5 deletions(-) (limited to 'test/Verifier') diff --git a/test/Verifier/range-1.ll b/test/Verifier/range-1.ll index af4382e..7a317fc 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 -- cgit v1.1