diff options
Diffstat (limited to 'test/Verifier/range-2.ll')
-rw-r--r-- | test/Verifier/range-2.ll | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/test/Verifier/range-2.ll b/test/Verifier/range-2.ll new file mode 100644 index 0000000..ef542c8 --- /dev/null +++ b/test/Verifier/range-2.ll @@ -0,0 +1,22 @@ +; RUN: llvm-as < %s -o /dev/null + +define i8 @f1(i8* %x) { +entry: + %y = load i8* %x, align 1, !range !0 + ret i8 %y +} +!0 = metadata !{i8 0, i8 1} + +define i8 @f2(i8* %x) { +entry: + %y = load i8* %x, align 1, !range !1 + ret i8 %y +} +!1 = metadata !{i8 255, i8 1} + +define i8 @f3(i8* %x) { +entry: + %y = load i8* %x, align 1, !range !2 + ret i8 %y +} +!2 = metadata !{i8 1, i8 3, i8 5, i8 42} |