1 // RUN: %clang_cc1 -std=c++11 -fenable-matrix -fsyntax-only -verify %s
2 
3 template <typename X>
4 
5 using matrix_4_4 = X __attribute__((matrix_type(4, 4)));
6 
7 template <typename Y>
8 
9 using matrix_5_5 = Y __attribute__((matrix_type(5, 5)));
10 
11 typedef struct test_struct {
12 } test_struct;
13 
14 typedef int vec __attribute__((vector_size(4)));
15 
16 void f1() {
17   matrix_4_4<char> m1;
18   matrix_4_4<int> m2;
19   matrix_4_4<short> m3;
20   matrix_5_5<int> m4;
21   int i;
22   vec v;
23   test_struct *s;
24 
25   m2 = (matrix_4_4<int>)m1;
26   m2 = m1; // expected-error {{assigning to 'matrix_4_4<int>' from incompatible type 'matrix_4_4<char>'}}
27   m3 = (matrix_4_4<short>)m2;
28   (matrix_5_5<int>)m3; // expected-error {{conversion between matrix types 'matrix_5_5<int>' (aka 'int __attribute__\
29 ((matrix_type(5, 5)))') and 'short __attribute__((matrix_type(4, 4)))' of different size is not allowed}}
30 
31   (int)m3;            // expected-error {{C-style cast from 'matrix_4_4<short>' (aka 'short __attribute__((matrix_type(4, 4)))') to 'int' is not allowed}}
32   (matrix_4_4<int>)i; // expected-error {{C-style cast from 'int' to 'matrix_4_4<int>' (aka 'int __attribute__((matrix_type(4, 4)))') is not allowed}}
33 
34   (vec) m2;            // expected-error {{C-style cast from 'matrix_4_4<int>' (aka 'int __attribute__((matrix_type(4, 4)))') to 'vec' (vector of 1 'int' value) is not allowed}}
35   (matrix_4_4<char>)v; // expected-error {{C-style cast from 'vec' (vector of 1 'int' value) to 'matrix_4_4<char>' (aka 'char __attribute__((matrix_type(4, 4)))') is not allowed}}
36 
37   (test_struct *)m1;    // expected-error {{cannot cast from type 'matrix_4_4<char>' (aka 'char __attribute__((matrix_type(4, 4)))') to pointer type 'test_struct *'}}
38   (matrix_5_5<float>)s; // expected-error {{C-style cast from 'test_struct *' to 'matrix_5_5<float>' (aka 'float __attribute__((matrix_type(5, 5)))') is not allowed}}
39 }
40 
41 void f2() {
42   matrix_4_4<char> m1;
43   matrix_4_4<int> m2;
44   matrix_4_4<short> m3;
45   matrix_5_5<int> m4;
46   int i;
47   vec v;
48   test_struct *s;
49 
50   m2 = static_cast<matrix_4_4<int>>(m1);
51   m3 = static_cast<matrix_4_4<short>>(m2);
52   static_cast<matrix_5_5<int>>(m3); // expected-error {{conversion between matrix types 'matrix_5_5<int>' (aka 'int __attribute__\
53 ((matrix_type(5, 5)))') and 'short __attribute__((matrix_type(4, 4)))' of different size is not allowed}}
54 
55   static_cast<int>(m3);            // expected-error {{static_cast from 'matrix_4_4<short>' (aka 'short __attribute__((matrix_type(4, 4)))') to 'int' is not allowed}}
56   static_cast<matrix_4_4<int>>(i); // expected-error {{static_cast from 'int' to 'matrix_4_4<int>' (aka 'int __attribute__((matrix_type(4, 4)))') is not allowed}}
57 
58   static_cast<vec>(m2);             // expected-error {{static_cast from 'matrix_4_4<int>' (aka 'int __attribute__((matrix_type(4, 4)))') to 'vec' (vector of 1 'int' value) is not allowed}}
59   static_cast<matrix_4_4<char>>(v); // expected-error {{static_cast from 'vec' (vector of 1 'int' value) to 'matrix_4_4<char>' (aka 'char __attribute__((matrix_type(4, 4)))') is not allowed}}
60 
61   static_cast<test_struct *>(m1);    // expected-error {{cannot cast from type 'matrix_4_4<char>' (aka 'char __attribute__((matrix_type(4, 4)))') to pointer type 'test_struct *'}}
62   static_cast<matrix_5_5<float>>(s); // expected-error {{static_cast from 'test_struct *' to 'matrix_5_5<float>' (aka 'float __attribute__((matrix_type(5, 5)))') is not allowed}}
63 }
64 
65 void f3() {
66   matrix_4_4<float> m1;
67   matrix_4_4<double> m2;
68   matrix_5_5<double> m3;
69   matrix_5_5<signed int> m4;
70   matrix_4_4<unsigned int> m5;
71   matrix_5_5<unsigned int> m6;
72   float f;
73 
74   m2 = (matrix_4_4<double>)m1;
75   (matrix_5_5<double>)m1; // expected-error {{conversion between matrix types 'matrix_5_5<double>' (aka 'double __\
76 attribute__((matrix_type(5, 5)))') and 'float __attribute__((matrix_type(4, 4)))' of different\
77  size is not allowed}}
78   m4 = (matrix_5_5<signed int>)m3;
79   m5 = (matrix_5_5<unsigned int>)m4; // expected-error {{assigning to 'matrix_4_4<unsigned int>' (aka 'unsigned int \
80 __attribute__((matrix_type(4, 4)))') from incompatible type 'matrix_5_5<unsigned int>' (aka 'unsigned int __attribute__\
81 ((matrix_type(5, 5)))')}}
82   m6 = (matrix_5_5<unsigned int>)m4;
83   m4 = (matrix_5_5<signed int>)m6;
84 }
85 
86 void f4() {
87   matrix_4_4<float> m1;
88   matrix_4_4<double> m2;
89   matrix_5_5<double> m3;
90   matrix_5_5<signed int> m4;
91   matrix_4_4<unsigned int> m5;
92   matrix_5_5<unsigned int> m6;
93   float f;
94 
95   m2 = static_cast<matrix_4_4<double>>(m1);
96   static_cast<matrix_5_5<double>>(m1); // expected-error {{conversion between matrix types 'matrix_5_5<double>' (aka 'double __\
97 attribute__((matrix_type(5, 5)))') and 'float __attribute__((matrix_type(4, 4)))' of different size is not allowed}}
98 
99   m4 = static_cast<matrix_5_5<signed int>>(m3);
100   m5 = static_cast<matrix_5_5<unsigned int>>(m4); // expected-error {{assigning to 'matrix_4_4<unsigned int>' (aka 'unsigned int \
101 __attribute__((matrix_type(4, 4)))') from incompatible type 'matrix_5_5<unsigned int>' (aka 'unsigned int __attribute__\
102 ((matrix_type(5, 5)))')}}
103   m6 = static_cast<matrix_5_5<unsigned int>>(m4);
104   m4 = static_cast<matrix_5_5<signed int>>(m6);
105 }
106 
107 class Foo {
108   // expected-note@-1 {{candidate constructor (the implicit copy constructor) not viable: no known conversion from 'matrix_4_4<float>' (aka 'float __attribute__((matrix_type(4, 4)))') to 'const Foo' for 1st argument}}
109   // expected-note@-2 {{candidate constructor (the implicit move constructor) not viable: no known conversion from 'matrix_4_4<float>' (aka 'float __attribute__((matrix_type(4, 4)))') to 'Foo' for 1st argument}}
110 
111   int x;
112 
113 public:
114   Foo();
115   // expected-note@-1 {{candidate constructor not viable: requires 0 arguments, but 1 was provided}}
116   Foo(matrix_5_5<int> x);
117   // expected-note@-1 {{candidate constructor not viable: no known conversion from 'matrix_4_4<float>' (aka 'float __attribute__((matrix_type(4, 4)))') to 'matrix_5_5<int>' (aka 'int __attribute__((matrix_type(5, 5)))') for 1st argument}}
118 };
119 
120 struct Bar {
121   // expected-note@-1 {{candidate constructor (the implicit copy constructor) not viable: no known conversion from 'matrix_4_4<unsigned int>' (aka 'unsigned int __attribute__((matrix_type(4, 4)))') to 'const Bar' for 1st argument}}
122   // expected-note@-2 {{candidate constructor (the implicit move constructor) not viable: no known conversion from 'matrix_4_4<unsigned int>' (aka 'unsigned int __attribute__((matrix_type(4, 4)))') to 'Bar' for 1st argument}}
123   // expected-note@-3 {{candidate constructor (the implicit default constructor) not viable: requires 0 arguments, but 1 was provided}}
124   float x;
125 };
126 
127 void f5_constructors() {
128   matrix_4_4<float> m1;
129   matrix_4_4<unsigned int> m5;
130 
131   Foo F = Foo(m1);
132   // expected-error@-1 {{no matching conversion for functional-style cast from 'matrix_4_4<float>' (aka 'float __attribute__((matrix_type(4, 4)))') to 'Foo'}}
133   Bar B = Bar(m5);
134   // expected-error@-1 {{no matching conversion for functional-style cast from 'matrix_4_4<unsigned int>' (aka 'unsigned int __attribute__((matrix_type(4, 4)))') to 'Bar'}}
135 }
136