projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2306579) | patch
[Verifier] Assert gc_relocate always return a pointer type
authorChen Li <meloli87@gmail.com>
Mon, 18 May 2015 19:50:14 +0000 (19:50 +0000)
committerChen Li <meloli87@gmail.com>
Mon, 18 May 2015 19:50:14 +0000 (19:50 +0000)
commit881547e01baf0d4c3454b024c4fa908138cb052d
treef25dd123c16f707885d20f6ddbfc59b527198460tree | snapshot
parent2306579644f1b16e5c829af5d87f4034d65d2d08commit | diff
[Verifier] Assert gc_relocate always return a pointer type

Summary: Add an assertion in verifier.cpp to make sure gc_relocate relocate a gc pointer, and its return type has the same address space with the relocated pointer.

Reviewers: reames, AndyAyers, sanjoy, pgavlin

Reviewed By: pgavlin

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D9695

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@237605 91177308-0d34-0410-b5e6-96231b3b80d8
lib/IR/Verifier.cpp diff | blob | history
test/Verifier/gc_relocate_addrspace.ll [new file with mode: 0644] blob
test/Verifier/gc_relocate_operand.ll [new file with mode: 0644] blob
test/Verifier/gc_relocate_return.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors