| Tobias Grosser | 766bcc2 | 2011-09-22 13:03:14 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -verify %s |
| 2 | |
| 3 | typedef unsigned int uint4 __attribute((ext_vector_type(4))); |
| 4 | typedef int int4 __attribute((ext_vector_type(4))); |
| 5 | typedef int int3 __attribute((ext_vector_type(3))); |
| 6 | typedef unsigned uint3 __attribute((ext_vector_type(3))); |
| 7 | |
| 8 | void vector_conv_invalid() { |
| 9 | uint4 u = (uint4)(1); |
| Benjamin Kramer | 1adc8c3 | 2014-04-25 20:41:38 +0000 | [diff] [blame] | 10 | int4 i = u; // expected-error{{initializing 'int4' (vector of 4 'int' values) with an expression of incompatible type '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)}} |
| Tobias Grosser | 766bcc2 | 2011-09-22 13:03:14 +0000 | [diff] [blame] | 12 | |
| Benjamin Kramer | 1adc8c3 | 2014-04-25 20:41:38 +0000 | [diff] [blame] | 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)}} |
| Tobias Grosser | 766bcc2 | 2011-09-22 13:03:14 +0000 | [diff] [blame] | 14 | } |