X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FVerifier%2Frange-2.ll;h=8d85d19151950260a2771b5c3d29c45601688c36;hb=b3cabb44c32b5a3aba9b4d23aae9723d498ea7a9;hp=ef542c8c9380a7f89a7c96dcb236475df5e16a16;hpb=39dd328ed0892e063d02768336c4b792c925cdc3;p=oota-llvm.git

diff --git a/test/Verifier/range-2.ll b/test/Verifier/range-2.ll
index ef542c8c938..8d85d191519 100644
--- a/test/Verifier/range-2.ll
+++ b/test/Verifier/range-2.ll
@@ -20,3 +20,17 @@ entry:
   ret i8 %y
 }
 !2 = metadata !{i8 1, i8 3, i8 5, i8 42}
+
+define i8 @f4(i8* %x) {
+entry:
+  %y = load i8* %x, align 1, !range !3
+  ret i8 %y
+}
+!3 = metadata !{i8 -1, i8 0, i8 1, i8 2}
+
+define i8 @f5(i8* %x) {
+entry:
+  %y = load i8* %x, align 1, !range !4
+  ret i8 %y
+}
+!4 = metadata !{i8 -1, i8 0, i8 1, i8 -2}