1// RUN: %clang_cc1 -verify %s
2
3typedef unsigned int uint4 __attribute((ext_vector_type(4)));
4typedef int int4 __attribute((ext_vector_type(4)));
5typedef int int3 __attribute((ext_vector_type(3)));
6typedef unsigned uint3 __attribute((ext_vector_type(3)));
7
8void vector_conv_invalid(const global int4 *const_global_ptr) {
9  uint4 u = (uint4)(1);
10  int4 i = u; // expected-error{{initializing '__private int4' (vector of 4 'int' values) with an expression of incompatible type '__private uint4' (vector of 4 'unsigned int' values)}}
11  int4 e = (int4)u; // expected-error{{invalid conversion between ext-vector type 'int4' (vector of 4 'int' values) and 'uint4' (vector of 4 'unsigned int' values)}}
12
13  uint3 u4 = (uint3)u; // expected-error{{invalid conversion between ext-vector type 'uint3' (vector of 3 'unsigned int' values) and 'uint4' (vector of 4 'unsigned int' values)}}
14
15  e = (const int4)i;
16  e = (constant int4)i;
17  e = (private int4)i;
18
19  private int4 *private_ptr = (const private int4 *)const_global_ptr; // expected-error{{casting 'const __global int4 *' to type 'const __private int4 *' changes address space of pointer}}
20  global int4 *global_ptr = const_global_ptr;                 // expected-warning {{initializing '__global int4 *__private' with an expression of type 'const __global int4 *__private' discards qualifiers}}
21  global_ptr = (global int4 *)const_global_ptr;
22}
23