maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[Verifier] Add more tests related to non-integral pointers 

As suggested by Matt Arsenault in post-commit review.

llvm-svn: 277550
This commit is contained in:
Sanjoy Das 2016-08-02 23:32:53 +00:00
parent 5629ec141f
commit 4babac89cc
1 changed files with 16 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
llvm/test/Verifier/non-integral-pointers.ll
View File

@ -63,7 +63,22 @@ define i8 addrspace(4)* @f_9() {
@global1 = addrspace(4) constant i8 42
define i8 addrspace(4)* @f_10(i64 %rhs) {
define i8 addrspace(4)* @f_10() {
; 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))
}
@cycle_0 = addrspace(4) constant i64 ptrtoint (i64 addrspace(4)* addrspace(4)* @cycle_1 to i64)
@cycle_1 = addrspace(4) constant i64 addrspace(4) * @cycle_0
define i64 addrspace(4)* addrspace(4)* @f_11() {
; CHECK: ptrtoint not supported for non-integral pointers
ret i64 addrspace(4)* addrspace(4)* @cycle_1
}
@cycle_self = addrspace(4) constant i64 ptrtoint (i64 addrspace(4)* @cycle_self to i64)
define i64 addrspace(4)* @f_12() {
; CHECK: ptrtoint not supported for non-integral pointers
ret i64 addrspace(4)* @cycle_self
}