diff --git a/clang/lib/AST/ASTContext.cpp b/clang/lib/AST/ASTContext.cpp --- a/clang/lib/AST/ASTContext.cpp +++ b/clang/lib/AST/ASTContext.cpp @@ -1445,7 +1445,7 @@ ObjCSuperType = QualType(); // void * type - if (LangOpts.OpenCLVersion >= 200) { + if (LangOpts.OpenCLGenericAddressSpace) { auto Q = VoidTy.getQualifiers(); Q.setAddressSpace(LangAS::opencl_generic); VoidPtrTy = getPointerType(getCanonicalType( diff --git a/clang/lib/Sema/SemaDeclCXX.cpp b/clang/lib/Sema/SemaDeclCXX.cpp --- a/clang/lib/Sema/SemaDeclCXX.cpp +++ b/clang/lib/Sema/SemaDeclCXX.cpp @@ -15277,11 +15277,18 @@ QualType ResultType = FnDecl->getType()->castAs()->getReturnType(); - // The operator is valid on any address space for OpenCL. if (SemaRef.getLangOpts().OpenCLCPlusPlus) { + // The operator is valid on any address space for OpenCL. + // Drop address space from actual and expected result types. if (auto *PtrTy = ResultType->getAs()) { ResultType = RemoveAddressSpaceFromPtr(SemaRef, PtrTy); } + + if (CanQual ExpectedPtrTy = + ExpectedResultType->getAs()) { + ExpectedResultType = SemaRef.Context.getCanonicalType( + RemoveAddressSpaceFromPtr(SemaRef, ExpectedPtrTy->getTypePtr())); + } } // Check that the result type is what we expect. @@ -15311,10 +15318,17 @@ QualType FirstParamType = FnDecl->getParamDecl(0)->getType(); if (SemaRef.getLangOpts().OpenCLCPlusPlus) { // The operator is valid on any address space for OpenCL. + // Drop address space from actual and expected first parameter types. if (auto *PtrTy = FnDecl->getParamDecl(0)->getType()->getAs()) { FirstParamType = RemoveAddressSpaceFromPtr(SemaRef, PtrTy); } + + if (CanQual ExpectedPtrTy = + ExpectedFirstParamType->getAs()) { + ExpectedFirstParamType = SemaRef.Context.getCanonicalType( + RemoveAddressSpaceFromPtr(SemaRef, ExpectedPtrTy->getTypePtr())); + } } // Check that the first parameter type is what we expect. diff --git a/clang/test/CodeGenOpenCLCXX/addrspace-new-delete.cl b/clang/test/CodeGenOpenCLCXX/addrspace-new-delete.cl new file mode 100644 --- /dev/null +++ b/clang/test/CodeGenOpenCLCXX/addrspace-new-delete.cl @@ -0,0 +1,16 @@ +// RUN: %clang_cc1 %s -triple spir -cl-std=clc++ -emit-llvm -O0 -o - | FileCheck %s + +typedef __SIZE_TYPE__ size_t; + +class A { +public: + void* operator new(size_t); + void operator delete(void *ptr); +}; + +void test_new_delete(A **a) { +// CHECK: %{{.*}} = call spir_func i8 addrspace(4)* @_ZNU3AS41AnwEj(i32 {{.*}}) + *a = new A; +// CHECK: call spir_func void @_ZNU3AS41AdlEPU3AS4v(i8 addrspace(4)* {{.*}}) + delete *a; +}