clang/test/SemaOpenCL/sampler_t.cl

   1 // RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only
   2 // RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only -DCHECK_SAMPLER_VALUE -Wspir-compat -triple amdgcn--amdhsa
   3 // RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only -DCHECK_SAMPLER_VALUE -triple spir-unknown-unknown
   4 // RUN: %clang_cc1 %s -cl-std=CL2.0 -verify -pedantic -fsyntax-only
   5 // RUN: %clang_cc1 %s -cl-std=CL2.0 -verify -pedantic -fsyntax-only -DCHECK_SAMPLER_VALUE -Wspir-compat -triple amdgcn--amdhsa
   6 // RUN: %clang_cc1 %s -cl-std=CL2.0 -verify -pedantic -fsyntax-only -DCHECK_SAMPLER_VALUE -triple spir-unknown-unknown
   7
   8 #define CLK_ADDRESS_CLAMP_TO_EDGE       2
   9 #define CLK_NORMALIZED_COORDS_TRUE      1
  10 #define CLK_FILTER_NEAREST              0x10
  11 #define CLK_FILTER_LINEAR               0x20
  12
  13 typedef float float4 __attribute__((ext_vector_type(4)));
  14 float4 read_imagef(read_only image1d_t, sampler_t, float);
  15
  16 constant sampler_t glb_smp = CLK_ADDRESS_CLAMP_TO_EDGE | CLK_NORMALIZED_COORDS_TRUE | CLK_FILTER_LINEAR;
  17 constant sampler_t glb_smp2; // expected-error{{variable in constant address space must be initialized}}
  18 global sampler_t glb_smp3 = CLK_ADDRESS_CLAMP_TO_EDGE | CLK_NORMALIZED_COORDS_TRUE | CLK_FILTER_NEAREST; // expected-error{{sampler type cannot be used with the __local and __global address space qualifiers}} expected-error {{global sampler requires a const or constant address space qualifier}}
  19 const global sampler_t glb_smp3_const = CLK_ADDRESS_CLAMP_TO_EDGE | CLK_NORMALIZED_COORDS_TRUE | CLK_FILTER_LINEAR;  // expected-error{{sampler type cannot be used with the __local and __global address space qualifiers}}
  20
  21 constant sampler_t glb_smp4 = 0;
  22 #ifdef CHECK_SAMPLER_VALUE
  23 // expected-warning@-2{{sampler initializer has invalid Filter Mode bits}}
  24 #endif
  25
  26 constant sampler_t glb_smp5 = 0x1f;
  27 #ifdef CHECK_SAMPLER_VALUE
  28 // expected-warning@-2{{sampler initializer has invalid Addressing Mode bits}}
  29 #endif
  30
  31 constant sampler_t glb_smp6 = glb_smp; // expected-error{{initializer element is not a compile-time constant}}
  32
  33 int f(void);
  34 constant sampler_t glb_smp7 = f(); // expected-error{{initializer element is not a compile-time constant}}
  35
  36 constant sampler_t glb_smp8 = 1.0f; // expected-error{{initializing '__constant sampler_t' with an expression of incompatible type 'float'}}
  37
  38 constant sampler_t glb_smp9 = 0x100000000LL; // expected-error{{sampler_t initialization requires 32-bit integer, not 'long long'}}
  39
  40 void foo(sampler_t); // expected-note{{passing argument to parameter here}}
  41
  42 void constant_sampler(constant sampler_t s); // expected-error{{parameter may not be qualified with an address space}}
  43
  44 constant struct sampler_s {
  45   sampler_t smp; // expected-error{{the 'sampler_t' type cannot be used to declare a structure or union field}}
  46 } sampler_str = {0};
  47
  48 sampler_t bad(void); //expected-error{{declaring function return value of type 'sampler_t' is not allowed}}
  49
  50 sampler_t global_nonconst_smp = 0; // expected-error {{global sampler requires a const or constant address space qualifier}}
  51 #ifdef CHECK_SAMPLER_VALUE
  52 // expected-warning@-2{{sampler initializer has invalid Filter Mode bits}}
  53 #endif
  54
  55 const sampler_t glb_smp10 = CLK_ADDRESS_CLAMP_TO_EDGE | CLK_NORMALIZED_COORDS_TRUE | CLK_FILTER_LINEAR;
  56 const constant sampler_t glb_smp11 = CLK_ADDRESS_CLAMP_TO_EDGE | CLK_NORMALIZED_COORDS_TRUE | CLK_FILTER_LINEAR;
  57
  58 void kernel ker(sampler_t argsmp) {
  59   local sampler_t smp; // expected-error{{sampler type cannot be used with the __local and __global address space qualifiers}}
  60   const sampler_t const_smp5 = 1.0f; // expected-error{{initializing 'const sampler_t' with an expression of incompatible type 'float'}}
  61   const sampler_t const_smp6 = 0x100000000LL; // expected-error{{sampler_t initialization requires 32-bit integer, not 'long long'}}
  62
  63   foo(5.0f); // expected-error {{passing 'float' to parameter of incompatible type 'sampler_t'}}
  64   sampler_t sa[] = {argsmp, glb_smp}; // expected-error {{array of 'sampler_t' type is invalid in OpenCL}}
  65 }
  66
  67 #if __OPENCL_C_VERSION__ == 200
  68 void bad(sampler_t *); // expected-error{{pointer to type 'sampler_t' is invalid in OpenCL}}
  69 #else
  70 void bad(sampler_t*); // expected-error{{pointer to type 'sampler_t' is invalid in OpenCL}}
  71 #endif
  72
  73 void bar() {
  74   sampler_t smp1 = CLK_ADDRESS_CLAMP_TO_EDGE | CLK_NORMALIZED_COORDS_TRUE | CLK_FILTER_LINEAR;
  75   sampler_t smp2 = CLK_ADDRESS_CLAMP_TO_EDGE | CLK_NORMALIZED_COORDS_TRUE | CLK_FILTER_NEAREST;
  76   smp1=smp2; //expected-error{{invalid operands to binary expression ('sampler_t' and 'sampler_t')}}
  77   smp1+1; //expected-error{{invalid operands to binary expression ('sampler_t' and 'int')}}
  78   &smp1; //expected-error{{invalid argument type 'sampler_t' to unary expression}}
  79   *smp2; //expected-error{{invalid argument type 'sampler_t' to unary expression}}
  80   foo(smp1+1); //expected-error{{invalid operands to binary expression ('sampler_t' and 'int')}}
  81 }
  82
  83 void smp_args(read_only image1d_t image) {
  84   // Test that parentheses around sampler arguments are ignored.
  85   float4 res = read_imagef(image, (glb_smp10), 0.0f);
  86 }