133 lines · plain
1// RUN: %clang_cc1 %s -verify -pedantic -fsyntax-only2 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 scalars27int2 ptest03(char C, char X, int2 Y)28{29 return C ? X : Y;30}31 32// uniform vectors33char2 ptest04(char2 X, char2 Y, char2 C)34{35 return C ? X : Y;36}37 38// vector condition and mixed scalar operands39int2 ptest05(int2 C, int X, char Y)40{41 return C ? X : Y;42}43 44// vector condition and matching scalar operands45float2 ptest06(int2 C, float X, float Y)46{47 return C ? X : Y;48}49 50// vector condition and mixed scalar operands51float2 ptest07(int2 C, int X, float Y)52{53 return C ? X : Y;54}55 56// vector condition and mixed scalar and vector operands57float2 ptest08(int2 C, int X, float2 Y)58{59 return C ? X : Y;60}61 62// Actual comparison expression63float2 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