RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2025-01-31 17:42:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Implement checking of the tail keyword.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@104744 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2010-05-26 21:46:36 +00:00
parent f86a619314
commit 113b3e2c6e
2 changed files with 21 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
lib/Analysis/Lint.cpp
View File

@ -219,7 +219,15 @@ void Lint::visitCallSite(CallSite CS) {
// TODO: Check sret attribute. // TODO: Check sret attribute.
} }
// TODO: Check the "tail" keyword constraints. if (CS.isCall() && cast<CallInst>(CS.getInstruction())->isTailCall())
for (CallSite::arg_iterator AI = CS.arg_begin(), AE = CS.arg_end();
AI != AE; ++AI) {
Value *Obj = (*AI)->getUnderlyingObject();
Assert1(!isa<AllocaInst>(Obj) && !isa<VAArgInst>(Obj),
"Undefined behavior: Call with \"tail\" keyword references "
"alloca or va_arg", &I);
}
if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(&I)) if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(&I))
switch (II->getIntrinsicID()) { switch (II->getIntrinsicID()) {

12
test/Other/lint.ll
View File

@ -77,8 +77,20 @@ define void @not_vararg(i8* %p) nounwind {
ret void ret void
} }
; CHECK: Undefined behavior: Branch to non-blockaddress
define void @use_indbr() { define void @use_indbr() {
indirectbr i8* bitcast (i32()* @foo to i8*), [label %block] indirectbr i8* bitcast (i32()* @foo to i8*), [label %block]
block: block:
unreachable unreachable
} }
; CHECK: Undefined behavior: Call with "tail" keyword references alloca or va_arg
; CHECK: Undefined behavior: Call with "tail" keyword references alloca or va_arg
declare void @tailcallee(i8*)
define void @use_tail(i8* %valist) {
%t = alloca i8
tail call void @tailcallee(i8* %t)
%s = va_arg i8* %valist, i8*
tail call void @tailcallee(i8* %s)
ret void
}