test/Verifier/range-2.ll

   1 ; RUN: llvm-as < %s -o /dev/null
   2
   3 define i8 @f1(i8* %x) {
   4 entry:
   5   %y = load i8* %x, align 1, !range !0
   6   ret i8 %y
   7 }
   8 !0 = metadata !{i8 0, i8 1}
   9
  10 define i8 @f2(i8* %x) {
  11 entry:
  12   %y = load i8* %x, align 1, !range !1
  13   ret i8 %y
  14 }
  15 !1 = metadata !{i8 255, i8 1}
  16
  17 define i8 @f3(i8* %x) {
  18 entry:
  19   %y = load i8* %x, align 1, !range !2
  20   ret i8 %y
  21 }
  22 !2 = metadata !{i8 1, i8 3, i8 5, i8 42}
  23
  24 define i8 @f4(i8* %x) {
  25 entry:
  26   %y = load i8* %x, align 1, !range !3
  27   ret i8 %y
  28 }
  29 !3 = metadata !{i8 -1, i8 0, i8 1, i8 2}
  30
  31 define i8 @f5(i8* %x) {
  32 entry:
  33   %y = load i8* %x, align 1, !range !4
  34   ret i8 %y
  35 }
  36 !4 = metadata !{i8 -1, i8 0, i8 1, i8 -2}