[SystemZ] Use zeroing form of RISBG for some AND sequences

[oota-llvm.git] / test / Verifier / range-2.ll

diff --git a/test/Verifier/range-2.ll b/test/Verifier/range-2.ll
index ef542c8c9380a7f89a7c96dcb236475df5e16a16..8d85d19151950260a2771b5c3d29c45601688c36 100644 (file)
--- 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}