__clear_cache() is varargs and people will occasionally write it without

arguments. Process only the arguments that people write, but process
all of them.

Fixes rdar://8900346


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@127616 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Eric Christopher 2011-03-14 20:30:34 +00:00
Родитель 6fb5c1faca
Коммит 8a37c79f03
2 изменённых файлов: 28 добавлений и 4 удалений

Просмотреть файл

@ -1116,13 +1116,16 @@ Value *CodeGenFunction::EmitARMBuiltinExpr(unsigned BuiltinID,
const CallExpr *E) {
if (BuiltinID == ARM::BI__clear_cache) {
const FunctionDecl *FD = E->getDirectCallee();
Value *a = EmitScalarExpr(E->getArg(0));
Value *b = EmitScalarExpr(E->getArg(1));
// Oddly people write this call without args on occasion and gcc accepts
// it - it's also marked as varargs in the description file.
llvm::SmallVector<Value*, 2> Ops;
for (unsigned i = 0; i < E->getNumArgs(); i++)
Ops.push_back(EmitScalarExpr(E->getArg(i)));
const llvm::Type *Ty = CGM.getTypes().ConvertType(FD->getType());
const llvm::FunctionType *FTy = cast<llvm::FunctionType>(Ty);
llvm::StringRef Name = FD->getName();
return Builder.CreateCall2(CGM.CreateRuntimeFunction(FTy, Name),
a, b);
return Builder.CreateCall(CGM.CreateRuntimeFunction(FTy, Name),
Ops.begin(), Ops.end());
}
llvm::SmallVector<Value*, 4> Ops;

21
test/CodeGen/arm-clear.c Normal file
Просмотреть файл

@ -0,0 +1,21 @@
// RUN: %clang_cc1 -triple armv7-apple-darwin9 -emit-llvm -w -o - %s | FileCheck %s
void clear0(void *ptr) {
// CHECK: clear0
// CHECK-NOT: load i8**
__clear_cache();
}
void clear1(void *ptr) {
// CHECK: clear1
// CHECK: load i8**
// CHECK-NOT: load i8**
__clear_cache(ptr);
}
void clear2(void *ptr, void *ptr2) {
// CHECK: clear2
// CHECK: load i8**
// CHECK: load i8**
__clear_cache(ptr, ptr2);
}