diff options
author | Rafael Espindola <rafael.espindola@gmail.com> | 2012-03-24 00:14:51 +0000 |
---|---|---|
committer | Rafael Espindola <rafael.espindola@gmail.com> | 2012-03-24 00:14:51 +0000 |
commit | 39dd328ed0892e063d02768336c4b792c925cdc3 (patch) | |
tree | aa22c2c837d8e0dd7d4cc7747d37d37f2235bd73 /test/Verifier/range-2.ll | |
parent | 1db394921b9635980555cc8d7e0d05b5e885784f (diff) | |
download | llvm-39dd328ed0892e063d02768336c4b792c925cdc3.tar.gz llvm-39dd328ed0892e063d02768336c4b792c925cdc3.tar.bz2 llvm-39dd328ed0892e063d02768336c4b792c925cdc3.tar.xz |
First part of PR12251. Add documentation and verifier support for the range
metadata.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153359 91177308-0d34-0410-b5e6-96231b3b80d8
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 0000000000..ef542c8c93 --- /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} |