Home | History | Annotate | Download | only in Verifier 
      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}
     37