vector-assign.c revision d7d5f0223bd30dfd618762349c6209dd1d5ea3e6 
1// RUN: clang-cc %s -verify -fsyntax-only
2typedef unsigned int v2u __attribute__ ((vector_size (8)));
3typedef signed int v2s __attribute__ ((vector_size (8)));
4typedef signed int v1s __attribute__ ((vector_size (4)));
5typedef float v2f __attribute__ ((vector_size(8)));
6typedef signed short v4ss __attribute__ ((vector_size (8)));
7
8void f() {
9  v2s v1;
10  v2u v2;
11  v1s v3;
12  v2f v4;
13  v4ss v5;
14
15  v1 = v2; // expected-warning {{incompatible vector types assigning 'v2u', expected 'v2s'}}
16  v1 = v3; // expected-error {{incompatible type assigning 'v1s', expected 'v2s'}}
17  v1 = v4; // expected-warning {{incompatible vector types assigning 'v2f', expected 'v2s'}}
18  v1 = v5; // expected-warning {{incompatible vector types assigning 'v4ss', expected 'v2s'}}
19
20  v2 = v1; // expected-warning {{incompatible vector types assigning 'v2s', expected 'v2u'}}
21  v2 = v3; // expected-error {{incompatible type assigning 'v1s', expected 'v2u'}}
22  v2 = v4; // expected-warning {{incompatible vector types assigning 'v2f', expected 'v2u'}}
23  v2 = v5; // expected-warning {{incompatible vector types assigning 'v4ss', expected 'v2u'}}
24
25  v3 = v1; // expected-error {{incompatible type assigning 'v2s', expected 'v1s'}}
26  v3 = v2; // expected-error {{incompatible type assigning 'v2u', expected 'v1s'}}
27  v3 = v4; // expected-error {{incompatible type assigning 'v2f', expected 'v1s'}}
28  v3 = v5; // expected-error {{incompatible type assigning 'v4ss', expected 'v1s'}}
29
30  v4 = v1; // expected-warning {{incompatible vector types assigning 'v2s', expected 'v2f'}}
31  v4 = v2; // expected-warning {{incompatible vector types assigning 'v2u', expected 'v2f'}}
32  v4 = v3; // expected-error {{incompatible type assigning 'v1s', expected 'v2f'}}
33  v4 = v5; // expected-warning {{incompatible vector types assigning 'v4ss', expected 'v2f'}}
34
35  v5 = v1; // expected-warning {{incompatible vector types assigning 'v2s', expected 'v4ss'}}
36  v5 = v2; // expected-warning {{incompatible vector types assigning 'v2u', expected 'v4ss'}}
37  v5 = v3; // expected-error {{incompatible type assigning 'v1s', expected 'v4ss'}}
38  v5 = v4; // expected-warning {{incompatible vector types assigning 'v2f', expected 'v4ss'}}
39}
40
41// PR2263
42float f2(__attribute__((vector_size(16))) float a, int b) {
43   return a[b];
44}
45
46