X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FVerifier%2Frange-1.ll;h=b6a75d13bba0963f18068607f7add705c0ea5e65;hb=bd2c711cddceb95ab2dc0c28b40760372cb66178;hp=af4382e0fa7562ab117e54edb05d1ee1b143d984;hpb=c49b29ef5d4071cc4679d5560855f446f95919fc;p=oota-llvm.git

diff --git a/test/Verifier/range-1.ll b/test/Verifier/range-1.ll
index af4382e0fa7..b6a75d13bba 100644
--- a/test/Verifier/range-1.ll
+++ b/test/Verifier/range-1.ll
@@ -1,4 +1,4 @@
-; RUN: not llvm-as < %s -o /dev/null |& FileCheck %s
+; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
 
 define void @f1(i8* %x) {
 entry:
@@ -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