Sema: Accept pointers to any address space for builtin functions

[• tstellarAMD]

Summary

As long as they don't have an address space explicitly defined.

This allows builtins with pointer arguments to be used with OpenCL.

[Anastasia]

Shall TODO/comment be added somewhere saying that handling address space number of pointers in builtins is still to be implemented?

Also what the number should be for OpenCL? Should it be taken from LangAS::ID enum?

lib/Sema/SemaExpr.cpp

4393

Not sure if this cast might create a problem in some OpenCL-GPU architectures, because spec generally disallows conversion between constant and any other address spaces (see OpenCL C v2.0 s6.5.5).

I feel like a better way to handle this would be to create separate builtins overloads for constant and generic address space in OpenCL v2.0 and for all address spaces in OpenCL <v2.0. But this seems more work to me.

[• tstellarAMD]

In D8082#134961, @Anastasia wrote:

Shall TODO/comment be added somewhere saying that handling address space number of pointers in builtins is still to be implemented?

This appears to be implemented already, but there are no builtins using it. What does need to be done is add a way to
specify a named address space, like constant or local, because right now the builtins only accept integer address spaces.

lib/Sema/SemaExpr.cpp

4393

I'm not sure about the cast issue. I do see that for memcpy addrspacecast IR instructions are emitted.

I'm open to adding separate overloads, I just wanted to try a generic solution first.

[Anastasia]

lib/Sema/SemaExpr.cpp

4393

Could you please look into this. The solution doesn't seem generic to me, because in OpenCL conversions from constant to other address spaces are not allowed. Which means this would most likely be a problem to handle correctly on the later compiler steps. In Clang however, we can avoid this issue by creating different overloads for such builtins and calling directly the right overload instead of having one overload and adding conversions to match it.

[Anastasia]

lib/Sema/SemaExpr.cpp

4393

not sure how to align this with C, but for OpenCL code we would need something like:

if address space of ptr not given, create multiple signatures of the corresponding builtin.

For example for this builtin:

BUILTIN(builtin_test, "vcC*" , "nc"), Clang would have to add the following to the list of known declarations in CL2.0:

void builtin_test(generic const char* ptr);
void builtin_test(constant const char* ptr);

and for all earlier OpenCL versions:

void builtin_test(local const char* ptr);
void builtin_test(global const char* ptr);
void builtin_test(private const char* ptr);
void builtin_test(constant const char* ptr);

However, your fix might be acceptable for C.

[• tstellarAMD]

Here is an updated patch with an entirely different approach. Instead of inserting addressspace casts, this patch rewrites the function declaration to match the address space of the call arguments.

[theraven]

Much better approach, a few comments inline.

lib/Sema/SemaExpr.cpp

4393

We need something similar for C. We're already using (in an out-of-tree target) the specified-address-space notation for some things that only apply in one address space, but this causes some issues. For example, we want all of the atomics builtins to support pointers in multiple address spaces, but will need to emit very different machine code (and therefore, different IR) for atomics in different address spaces.

Address space casts have well-defined semantics on our architecture and are not always permitted for arbitrary pointers, so just casting to a different AS would work.

4583

Why not a SmallVector? I don't think this will ever have more than 4 entries (or is it 6 for the atomic compare and exchange?). A SmallVector<QualType, 8> should avoid any heap allocation.

4589

Why not use FT->param_types()?

4611

This check looks expensive. Have you profiled this on large codebases with a lot of builtin calls? I'd imagine that adding a DenseMap cache would be faster.

4748

Is it worth having a fast path for builtins that don't have any pointer params?

[• tstellarAMD]

lib/Sema/SemaExpr.cpp

4611

I think the fast-path for builtins without pointers would help here. What keys/data were you thinking would go in the DenseMap?

[Anastasia]

lib/Sema/SemaExpr.cpp

4615

Should address space of return type also be taken into account?

4750

typo: arguemnts -> arguments

test/Sema/builtins.cl

5

remove empty line

6

You need "expected-no-diagnostics" only once in the file (for example after RUN line).

9

remove empty line

[• tstellarAMD]

Hi, here is an updated patch. I've addressed all comments except I did not add a DensMap to rewriteBuiltinFunctionDecl(), I wasn't sure exactly how to use this to speed up the function. I can still add this if people think it will help. I did some profiling of a function with 100,000 __builtin_memcpy() calls and this patch doesn't seem to increase compile time.

I also did not add handling for return types. I wasn't able to figure out how to get the actual call expression which had the return type used in the code. I added a TODO for this.

[theraven]

Looks good to me! Thanks for working on this.

[Anastasia]

LGTM!

include/clang/Basic/Builtins.def

 //  I   -> Required to constant fold to an integer constant expression.
 //
 // Types may be postfixed with the following modifiers:
-// * -> pointer (optionally followed by an address space number)
+// * -> pointer (optionally followed by an address space number, if no address
+//               space is specified than any address space will be accepted)
 // & -> reference (optionally followed by an address space number)
 // C -> const
 // D -> volatile

lib/Sema/SemaExpr.cpp

       if (CFAudited)
         Entity.setParameterCFAudited();
 
+      // If a builtin function has a pointer argument with no explicit address
+      // space, than it should be able to accept a pointer to any address
+      // space as input.
+      if (FDecl && FDecl->getBuiltinID() &&
+          Param->getType()->isPointerType() &&
+          !Param->getType().getQualifiers().hasAddressSpace()) {
+
+        Expr *PtrArg = DefaultFunctionArrayLvalueConversion(Arg).get();
+        QualType PtrTy = PtrArg->getType();
+        if (PtrTy->isPointerType()) {
+          QualType PointeeType = PtrTy->getPointeeType();
+          if (PointeeType.getQualifiers().hasAddressSpace()) {
+
+           Arg = ImplicitCastExpr::Create(Context, Param->getType(),
+                                          CK_AddressSpaceConversion, PtrArg,
+                                          nullptr, VK_RValue);
+          }
+        }
+      }
+
       ExprResult ArgE = PerformCopyInitialization(
           Entity, SourceLocation(), Arg, IsListInitialization, AllowExplicit);
       if (ArgE.isInvalid())

test/Sema/builtins.cl

+// RUN: %clang_cc1 %s -fsyntax-only -verify -pedantic
+
+kernel void test(global float *out, global float *in, global int* in2) {
+
+  out[0] = __builtin_nanf(""); // expected-no-diagnostics
+  __builtin_memcpy(out, in, 32); // expected-no-diagnostics
+  out[0] = __builtin_frexpf(in[0], in2); // expected-no-diagnostics
+
+}