| Rafael Espindola | 39dd328 | 2012-03-24 00:14:51 +0000 | [diff] [blame] | 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} |
| Rafael Espindola | c49b29e | 2012-05-31 13:45:46 +0000 | [diff] [blame] | 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} |