diff options
Diffstat (limited to 'test/Verifier/range-2.ll')
| -rw-r--r-- | test/Verifier/range-2.ll | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/Verifier/range-2.ll b/test/Verifier/range-2.ll index ef542c8..8d85d19 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} |