diff options
| author | Egor Churaev <egor.churaev@intel.com> | 2017-05-30 05:32:03 +0000 |
|---|---|---|
| committer | Egor Churaev <egor.churaev@intel.com> | 2017-05-30 05:32:03 +0000 |
| commit | f709b9aef75d4a79512a31b213538884c02dd29c (patch) | |
| tree | a560bf5ae14c9df1616a8b04646df3e1069c1683 /test/SemaOpenCL | |
| parent | bb482b389e541428d0fa93c244d54d22eef3a384 (diff) | |
[OpenCL] An error shall occur if any scalar operand has greater rank than the type of the vector element
Summary:
This is the fix for patch https://reviews.llvm.org/D33353
@uweigand, could you please verify that everything will be good on SystemZ?
I added triple spir-unknown-unknown.
Thank you in advance!
Reviewers: uweigand
Reviewed By: uweigand
Subscribers: yaxunl, cfe-commits, bader, Anastasia, uweigand
Differential Revision: https://reviews.llvm.org/D33648
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@304191 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/SemaOpenCL')
| -rw-r--r-- | test/SemaOpenCL/arithmetic-conversions.cl | 23 | ||||
| -rw-r--r-- | test/SemaOpenCL/cond.cl | 2 |
2 files changed, 24 insertions, 1 deletions
diff --git a/test/SemaOpenCL/arithmetic-conversions.cl b/test/SemaOpenCL/arithmetic-conversions.cl new file mode 100644 index 0000000000..23103caf85 --- /dev/null +++ b/test/SemaOpenCL/arithmetic-conversions.cl @@ -0,0 +1,23 @@ +// RUN: %clang_cc1 %s -triple spir-unknown-unknown -verify -pedantic -fsyntax-only -cl-std=CL1.2 + +typedef float float2 __attribute__((ext_vector_type(2))); +typedef long long2 __attribute__((ext_vector_type(2))); +typedef int int2 __attribute__((ext_vector_type(2))); + +kernel void foo1(float2 in, global float2 *out) { *out = in + 0.5;} // expected-error {{scalar operand type has greater rank than the type of the vector element. ('float2' (vector of 2 'float' values) and 'double')}} + +kernel void foo2(float2 in, global float2 *out) { *out = 0.5 + in;} // expected-error {{scalar operand type has greater rank than the type of the vector element. ('double' and 'float2' (vector of 2 'float' values))}} + +kernel void foo3(float2 in, global float2 *out) { *out = 0.5f + in;} + +kernel void foo4(long2 in, global long2 *out) { *out = 5 + in;} + +kernel void foo5(float2 in, global float2 *out) { + float* f; + *out = f + in; // expected-error{{cannot convert between vector and non-scalar values ('float *' and 'float2' (vector of 2 'float' values))}} +} + +kernel void foo6(int2 in, global int2 *out) { + int* f; + *out = f + in; // expected-error{{cannot convert between vector and non-scalar values ('int *' and 'int2' (vector of 2 'int' values))}} +} diff --git a/test/SemaOpenCL/cond.cl b/test/SemaOpenCL/cond.cl index 60f70564d8..851947cd39 100644 --- a/test/SemaOpenCL/cond.cl +++ b/test/SemaOpenCL/cond.cl @@ -89,7 +89,7 @@ float2 ntest04(int2 C, int2 X, float2 Y) float2 ntest05(int2 C, int2 X, float Y) { - return C ? X : Y; // expected-error {{cannot convert between vector values of different size ('int2' (vector of 2 'int' values) and 'float')}} + return C ? X : Y; // expected-error {{scalar operand type has greater rank than the type of the vector element. ('int2' (vector of 2 'int' values) and 'float'}} } char2 ntest06(int2 C, char2 X, char2 Y) |