1// RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only
2
3typedef unsigned char uchar;
4typedef unsigned char uchar2 __attribute__((ext_vector_type(2)));
5
6typedef char char2 __attribute__((ext_vector_type(2)));
7typedef char char3 __attribute__((ext_vector_type(3)));
8
9typedef int int2 __attribute__((ext_vector_type(2)));
10
11typedef float float2 __attribute__((ext_vector_type(2)));
12
13// ** Positive tests **
14
15// all scalars, but widths do not match.
16int ptest01(char C, char X, int Y)
17{
18  return C ? X : Y;
19}
20
21char ptest02(int C, char X, char Y)
22{
23  return C ? X : Y;
24}
25
26// scalar condition and mixed-width vectors and scalars
27int2 ptest03(char C, char X, int2 Y)
28{
29  return C ? X : Y;
30}
31
32// uniform vectors
33char2 ptest04(char2 X, char2 Y, char2 C)
34{
35  return C ? X : Y;
36}
37
38// vector condition and mixed scalar operands
39int2 ptest05(int2 C, int X, char Y)
40{
41  return C ? X : Y;
42}
43
44// vector condition and matching scalar operands
45float2 ptest06(int2 C, float X, float Y)
46{
47  return C ? X : Y;
48}
49
50// vector condition and mixed scalar operands
51float2 ptest07(int2 C, int X, float Y)
52{
53  return C ? X : Y;
54}
55
56// vector condition and mixed scalar and vector operands
57float2 ptest08(int2 C, int X, float2 Y)
58{
59  return C ? X : Y;
60}
61
62// Actual comparison expression
63float2 ptest09(float2 A, float2 B, float2 C, float2 D)
64{
65  return A < B ? C : D;
66}
67
68// ** Negative tests **
69
70int2 ntest01(char2 C, int X, int Y)
71{
72  return C ? X : Y; // expected-error {{vector condition type 'char2' (vector of 2 'char' values) and result type (vector of 2 'int' values) do not have elements of the same size}}
73}
74
75int2 ntest02(char2 C, int2 X, int2 Y)
76{
77  return C ? X : Y; // expected-error {{vector condition type 'char2' (vector of 2 'char' values) and result type 'int2' (vector of 2 'int' values) do not have elements of the same size}}
78}
79
80uchar2 ntest03(int2 C, uchar X, uchar Y)
81{
82  return C ? X : Y; // expected-error {{vector condition type 'int2' (vector of 2 'int' values) and result type (vector of 2 'unsigned char' values) do not have elements of the same size}}
83}
84
85float2 ntest04(int2 C, int2 X, float2 Y)
86{
87  return C ? X : Y; // expected-error {{implicit conversions between vector types ('int2' (vector of 2 'int' values) and 'float2' (vector of 2 'float' values)) are not permitted}}
88}
89
90float2 ntest05(int2 C, int2 X, float Y)
91{
92  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'}}
93}
94
95char2 ntest06(int2 C, char2 X, char2 Y)
96{
97  return C ? X : Y; // expected-error {{vector condition type 'int2' (vector of 2 'int' values) and result type 'char2' (vector of 2 'char' values) do not have elements of the same size}}
98}
99
100float ntest07(float C, float X, float Y)
101{
102  return C ? X : Y; // expected-error {{used type 'float' where floating point type is not allowed}}
103}
104
105float2 ntest08(float2 C, float2 X, float2 Y)
106{
107  return C ? X : Y; // expected-error {{used type 'float2' (vector of 2 'float' values) where floating point type is not allowed}}
108}
109
110// Trying to create a int2 vector out of pointers.
111int2 ntest09(int2 C, global int *X, global int *Y)
112{
113  return C ? X : Y; // expected-error {{used type '__global int *' where integer or floating point type is required}}
114}
115
116char3 ntest10(char C, char3 X, char2 Y)
117{
118  return C ? X : Y; // expected-error {{implicit conversions between vector types ('char3' (vector of 3 'char' values) and 'char2' (vector of 2 'char' values)) are not permitted}}
119}
120
121char3 ntest11(char2 C, char3 X, char Y)
122{
123  return C ? X : Y; // expected-error {{vector condition type 'char2' (vector of 2 'char' values) and result type 'char3' (vector of 3 'char' values) do not have the same number of elements}}
124}
125
126int foo1(int);
127int foo2(int);
128
129unsigned int ntest12(int2 C)
130{
131  return (unsigned int)(C ? foo1 : foo2); // expected-error {{taking address of function is not allowed}} expected-error {{taking address of function is not allowed}}
132}
133