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 | 65ec15b095d3a5c08e1d77df95150fb90bfd6472 (patch) | |
| tree | 91582b8ebc6c72ce2b5dfdb92468af4e1c590afc /llvm/test/Verifier | |
| parent | e1129ee64a97d7e647bdff6e9e3e3ce9eabe8555 (diff) | |
| download | bcm5719-llvm-65ec15b095d3a5c08e1d77df95150fb90bfd6472.tar.gz bcm5719-llvm-65ec15b095d3a5c08e1d77df95150fb90bfd6472.zip | |
[Verifier] Improve test coverage for rL277413
As suggest via post-commit review.
llvm-svn: 277414
Diffstat (limited to 'llvm/test/Verifier')
| -rw-r--r-- | llvm/test/Verifier/non-integral-pointers.ll | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/llvm/test/Verifier/non-integral-pointers.ll b/llvm/test/Verifier/non-integral-pointers.ll index 02eda34bf61..4853c6cd921 100644 --- a/llvm/test/Verifier/non-integral-pointers.ll +++ b/llvm/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)) +} |
