llvm-project/clang/test/SemaOpenCL
Alexey Bader 954ba21f85 [OpenCL] Complete image types support.
I. Current implementation of images is not conformant to spec in the following points:
  1. It makes no distinction with respect to access qualifiers and therefore allows to use images with different access type interchangeably. The following code would compile just fine:

        void write_image(write_only image2d_t img);
        kernel void foo(read_only image2d_t img) { write_image(img); } // Accepted code

     which is disallowed according to s6.13.14.

  2. It discards access qualifier on generated code, which leads to generated code for the above example:

        call void @write_image(%opencl.image2d_t* %img);

     In OpenCL2.0 however we can have different calls into write_image with read_only and wite_only images.
     Also generally following compiler steps have no easy way to take different path depending on the image access: linking to the right implementation of image types, performing IR opts and backend codegen differently.

  3. Image types are language keywords and can't be redeclared s6.1.9, which can happen currently as they are just typedef names.
  4. Default access qualifier read_only is to be added if not provided explicitly.

II. This patch corrects the above points as follows:
  1. All images are encapsulated into a separate .def file that is inserted in different points where image handling is required. This avoid a lot of code repetition as all images are handled the same way in the code with no distinction of their exact type.
  2. The Cartesian product of image types and image access qualifiers is added to the builtin types. This simplifies a lot handling of access type mismatch as no operations are allowed by default on distinct Builtin types. Also spec intended access qualifier as special type qualifier that are combined with an image type to form a distinct type (see statement above - images can't be created w/o access qualifiers).
  3. Improves testing of images in Clang.

Author: Anastasia Stulova
Reviewers: bader, mgrang.
Subscribers: pxli168, pekka.jaaskelainen, yaxunl.
Differential Revision: http://reviews.llvm.org/D17821

llvm-svn: 265783
2016-04-08 13:40:33 +00:00
..
address-spaces-conversions-cl2.0.cl [OpenCL] Implemented restrictions for pointer conversions specified in OpenCL v2.0. 2014-11-26 15:36:41 +00:00
address-spaces.cl OpenCL: Emit global variables in the constant addr space as constant globals 2014-10-16 15:29:19 +00:00
amdgpu-num-register-attrs.cl Workaround attribute ordering issue with kernel only attributes 2014-12-05 18:03:58 +00:00
array-parameters.cl
bool-vectors.cl [Sema] Make extended vectors of `bool` an error. 2016-01-28 01:38:18 +00:00
builtin.cl [OpenCL] Disable C99 standard lib functions 2016-02-12 12:07:04 +00:00
builtins-amdgcn.cl AMDGPU: Add builtins for recently added intrinsics 2016-02-27 09:54:43 +00:00
cond.cl [OpenCL] Disallow taking an address of a function. 2016-01-05 14:39:27 +00:00
endian-attr.cl
event_t.cl [OpenCL] Apply missing restrictions for Blocks in OpenCL v2.0 2016-03-03 13:33:19 +00:00
event_t_overload.cl
extension-fp64-cl1.1.cl Fix OpenCL 1.2 double as an optional core feature behaviour 2015-01-30 10:51:46 +00:00
extension-fp64.cl
extern.cl OpenCL: Emit global variables in the constant addr space as constant globals 2014-10-16 15:29:19 +00:00
func_ptr.cl [OpenCL] Disallow taking an address of a function. 2016-01-05 14:39:27 +00:00
half.cl [OpenCL] Added half type literal with suffix h. 2016-02-17 11:34:37 +00:00
images.cl [OpenCL] Complete image types support. 2016-04-08 13:40:33 +00:00
init.cl
invalid-access-qualifier.cl [OpenCL] Complete image types support. 2016-04-08 13:40:33 +00:00
invalid-block.cl [OpenCL] Apply missing restrictions for Blocks in OpenCL v2.0 2016-03-03 13:33:19 +00:00
invalid-constant.cl
invalid-image.cl [OpenCL] Complete image types support. 2016-04-08 13:40:33 +00:00
invalid-kernel-attrs.cl [OpenCL] Refine OpenCLImageAccessAttr to OpenCLAccessAttr 2016-02-26 03:13:03 +00:00
invalid-kernel-parameters.cl [OpenCL] Complete image types support. 2016-04-08 13:40:33 +00:00
invalid-kernel.cl
invalid-logical-ops-1.1.cl
invalid-logical-ops-1.2.cl
invalid-pipe-builtin-cl2.0.cl [OpenCL] Fix pipe builtin bugs 2016-03-30 04:46:32 +00:00
invalid-pipes-cl2.0.cl [OpenCL] Add Sema checks for types 2016-02-25 03:34:20 +00:00
lit.local.cfg
nosvm.cl [OpenCL] Added nosvm attribute for OpenCL v2.0. 2016-03-31 11:07:22 +00:00
null_literal.cl [OpenCL 2.0] In OpenCL v2.0 s6.5 all pointers are implicitly in generic 2015-12-11 17:41:19 +00:00
optional-core-fp64-cl1.2.cl Fix OpenCL 1.2 double as an optional core feature behaviour 2015-01-30 10:51:46 +00:00
optional-core-fp64-cl2.0.cl Fix OpenCL 1.2 double as an optional core feature behaviour 2015-01-30 10:51:46 +00:00
pipes-1.2-negative.cl [OpenCL] Pipe type support 2016-01-09 12:53:17 +00:00
sampler_t.cl [OpenCL] Apply missing restrictions for Blocks in OpenCL v2.0 2016-03-03 13:33:19 +00:00
sampler_t_overload.cl
shifts.cl Restores r228382, which was reverted in r228406. 2015-02-25 05:48:23 +00:00
sizeof.cl
storageclass-cl20.cl [OpenCL] Improve diagnostics of address spaces for variables in function 2016-03-03 18:38:40 +00:00
storageclass.cl [OpenCL] Improve diagnostics of address spaces for variables in function 2016-03-03 18:38:40 +00:00
str_literals.cl
unroll-hint.cl [OpenCL] Generate metadata for opencl_unroll_hint attribute 2016-02-19 18:30:11 +00:00
unsupported.cl [OpenCL] Adding reserved operator logical xor for OpenCL 2016-02-03 15:17:14 +00:00
vec_compare.cl
vec_step.cl
vector_conv_invalid.cl
vector_inc_dec_ops.cl
vector_literals_const.cl
vector_literals_invalid.cl
warn-missing-prototypes.cl