diff options
author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-08-02 03:23:22 +0000 |
---|---|---|
committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-08-02 03:23:22 +0000 |
commit | f21ab364040a847a85e1ab76717fadc4277b3630 (patch) | |
tree | 33b0904ec4a986df10023f827962bb1527aa59c6 /test/Verifier | |
parent | 308cf93891504826485e704abc30d7eef31aa36c (diff) |
[Verifier] Improve test coverage for rL277413
As suggest via post-commit review.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@277414 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Verifier')
-rw-r--r-- | test/Verifier/non-integral-pointers.ll | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/Verifier/non-integral-pointers.ll b/test/Verifier/non-integral-pointers.ll index 02eda34bf615..4853c6cd9213 100644 --- a/test/Verifier/non-integral-pointers.ll +++ b/test/Verifier/non-integral-pointers.ll @@ -55,3 +55,15 @@ define i64 @f_8() { ; CHECK: ptrtoint not supported for non-integral pointers ret i64 ptrtoint (i8 addrspace(4)* @global0 to i64) } + +define i8 addrspace(4)* @f_9() { +; CHECK: inttoptr not supported for non-integral pointers + ret i8 addrspace(4)* getelementptr (i8, i8 addrspace(4)* inttoptr (i64 55 to i8 addrspace(4)*), i32 100) +} + +@global1 = addrspace(4) constant i8 42 + +define i8 addrspace(4)* @f_10(i64 %rhs) { +; CHECK: ptrtoint not supported for non-integral pointers + ret i8 addrspace(4)* getelementptr (i8, i8 addrspace(4)* @global0, i64 ptrtoint (i8 addrspace(4)* @global1 to i64)) +} |