From 4babac89cc8a714ed9928ddf8603cf5db982b42f Mon Sep 17 00:00:00 2001 From: Sanjoy Das Date: Tue, 2 Aug 2016 23:32:53 +0000 Subject: [PATCH] [Verifier] Add more tests related to non-integral pointers As suggested by Matt Arsenault in post-commit review. llvm-svn: 277550 --- llvm/test/Verifier/non-integral-pointers.ll | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/llvm/test/Verifier/non-integral-pointers.ll b/llvm/test/Verifier/non-integral-pointers.ll index 4853c6cd9213..b0be282007ef 100644 --- a/llvm/test/Verifier/non-integral-pointers.ll +++ b/llvm/test/Verifier/non-integral-pointers.ll @@ -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 +}