[CUDA] Raise an error if a wrong-side call is codegen'ed.
authorJustin Lebar <jlebar@google.com>
Mon, 15 Aug 2016 23:00:49 +0000 (23:00 +0000)
committerJustin Lebar <jlebar@google.com>
Mon, 15 Aug 2016 23:00:49 +0000 (23:00 +0000)
commit18e2d82297ec692c015bd1f22758913b6dd3c508
tree923142378f859b0b69127c1da2fcecc9d3ca9339
parenta7b04a589e9dd0b27cb84da4ee85801e23ba5de5
[CUDA] Raise an error if a wrong-side call is codegen'ed.

Summary:
Some function calls in CUDA are allowed to appear in
semantically-correct programs but are an error if they're ever
codegen'ed.  Specifically, a host+device function may call a host
function, but it's an error if such a function is ever codegen'ed in
device mode (and vice versa).

Previously, clang made no attempt to catch these errors.  For the most
part, they would be caught by ptxas, and reported as "call to unknown
function 'foo'".

Now we catch these errors and report them the same as we report other
illegal calls (e.g. a call from a host function to a device function).

This has a small change in error-message behavior for calls that were
previously disallowed (e.g. calls from a host to a device function).
Previously, we'd catch disallowed calls fairly early, before doing
additional semantic checking e.g. of the call's arguments.  Now we catch
these illegal calls at the very end of our semantic checks, so we'll
only emit a "illegal CUDA call" error if the call is otherwise
well-formed.

Reviewers: tra, rnk

Subscribers: cfe-commits

Differential Revision: https://reviews.llvm.org/D23242

llvm-svn: 278759
clang/include/clang/Sema/Sema.h
clang/lib/Sema/SemaCUDA.cpp
clang/lib/Sema/SemaDeclCXX.cpp
clang/lib/Sema/SemaExpr.cpp
clang/lib/Sema/SemaOverload.cpp
clang/test/CodeGenCUDA/host-device-calls-host.cu [deleted file]
clang/test/SemaCUDA/Inputs/cuda.h
clang/test/SemaCUDA/call-device-fn-from-host.cu [new file with mode: 0644]
clang/test/SemaCUDA/call-host-fn-from-device.cu [new file with mode: 0644]