clang/test/SemaCXX/matrix-type-builtins.cpp

   1 // RUN: %clang_cc1 %s -fenable-matrix -pedantic -std=c++11 -verify -triple=x86_64-apple-darwin9
   2
   3 template <typename EltTy, unsigned Rows, unsigned Columns>
   4 struct MyMatrix {
   5   using matrix_t = EltTy __attribute__((matrix_type(Rows, Columns)));
   6
   7   matrix_t value;
   8 };
   9
  10 template <typename EltTy0, unsigned R0, unsigned C0, typename EltTy1, unsigned R1, unsigned C1>
  11 typename MyMatrix<EltTy1, R1, C1>::matrix_t transpose(MyMatrix<EltTy0, R0, C0> &A) {
  12   char *v1 = __builtin_matrix_transpose(A.value);
  13   // expected-error@-1 {{cannot initialize a variable of type 'char *' with an rvalue of type 'unsigned int __attribute__((matrix_type(3, 2)))'}}
  14   // expected-error@-2 {{cannot initialize a variable of type 'char *' with an rvalue of type 'unsigned int __attribute__((matrix_type(3, 3)))'}}
  15   // expected-error@-3 {{cannot initialize a variable of type 'char *' with an rvalue of type 'unsigned int __attribute__((matrix_type(3, 3)))'}}
  16
  17   __builtin_matrix_transpose(A);
  18   // expected-error@-1 {{1st argument must be a matrix}}
  19   // expected-error@-2 {{1st argument must be a matrix}}
  20   // expected-error@-3 {{1st argument must be a matrix}}
  21
  22   return __builtin_matrix_transpose(A.value);
  23   // expected-error@-1 {{cannot initialize return object of type 'typename MyMatrix<unsigned int, 2U, 3U>::matrix_t' (aka 'unsigned int __attribute__((matrix_type(2, 3)))') with an rvalue of type 'unsigned int __attribute__((matrix_type(3, 2)))'}}
  24   // expected-error@-2 {{cannot initialize return object of type 'typename MyMatrix<unsigned int, 2U, 3U>::matrix_t' (aka 'unsigned int __attribute__((matrix_type(2, 3)))') with an rvalue of type 'unsigned int __attribute__((matrix_type(3, 3)))'}}
  25   // expected-error@-3 {{cannot initialize return object of type 'typename MyMatrix<float, 3U, 3U>::matrix_t' (aka 'float __attribute__((matrix_type(3, 3)))') with an rvalue of type 'unsigned int __attribute__((matrix_type(3, 3)))'}}
  26 }
  27
  28 void test_transpose_template(unsigned *Ptr1, float *Ptr2) {
  29   MyMatrix<unsigned, 2, 3> Mat1;
  30   MyMatrix<unsigned, 3, 3> Mat2;
  31   Mat1.value = *((decltype(Mat1)::matrix_t *)Ptr1);
  32   Mat1.value = transpose<unsigned, 2, 3, unsigned, 2, 3>(Mat1);
  33   // expected-note@-1 {{in instantiation of function template specialization 'transpose<unsigned int, 2U, 3U, unsigned int, 2U, 3U>' requested here}}
  34
  35   Mat1.value = transpose<unsigned, 3, 3, unsigned, 2, 3>(Mat2);
  36   // expected-note@-1 {{in instantiation of function template specialization 'transpose<unsigned int, 3U, 3U, unsigned int, 2U, 3U>' requested here}}
  37
  38   MyMatrix<float, 3, 3> Mat3;
  39   Mat3.value = transpose<unsigned, 3, 3, float, 3, 3>(Mat2);
  40   // expected-note@-1 {{in instantiation of function template specialization 'transpose<unsigned int, 3U, 3U, float, 3U, 3U>' requested here}}
  41 }
  42
  43 template <typename EltTy0, unsigned R0, unsigned C0, typename EltTy1, unsigned R1, unsigned C1>
  44 typename MyMatrix<EltTy1, R1, C1>::matrix_t column_major_load(MyMatrix<EltTy0, R0, C0> &A, EltTy0 *Ptr) {
  45   char *v1 = __builtin_matrix_column_major_load(Ptr, 9, 4, 10);
  46   // expected-error@-1 {{cannot initialize a variable of type 'char *' with an rvalue of type 'unsigned int __attribute__((matrix_type(9, 4)))'}}
  47   // expected-error@-2 {{cannot initialize a variable of type 'char *' with an rvalue of type 'unsigned int __attribute__((matrix_type(9, 4)))'}}
  48   // expected-error@-3 {{cannot initialize a variable of type 'char *' with an rvalue of type 'float __attribute__((matrix_type(9, 4)))'}}
  49
  50   return __builtin_matrix_column_major_load(Ptr, R0, C0, R0);
  51   // expected-error@-1 {{cannot initialize return object of type 'typename MyMatrix<unsigned int, 5U, 5U>::matrix_t' (aka 'unsigned int __attribute__((matrix_type(5, 5)))') with an rvalue of type 'unsigned int __attribute__((matrix_type(2, 3)))'}}
  52   // expected-error@-2 {{cannot initialize return object of type 'typename MyMatrix<unsigned int, 2U, 3U>::matrix_t' (aka 'unsigned int __attribute__((matrix_type(2, 3)))') with an rvalue of type 'float __attribute__((matrix_type(2, 3)))'}}
  53 }
  54
  55 void test_column_major_loads_template(unsigned *Ptr1, float *Ptr2) {
  56   MyMatrix<unsigned, 2, 3> Mat1;
  57   Mat1.value = column_major_load<unsigned, 2, 3, unsigned, 2, 3>(Mat1, Ptr1);
  58   // expected-note@-1 {{in instantiation of function template specialization 'column_major_load<unsigned int, 2U, 3U, unsigned int, 2U, 3U>' requested here}}
  59   column_major_load<unsigned, 2, 3, unsigned, 5, 5>(Mat1, Ptr1);
  60   // expected-note@-1 {{in instantiation of function template specialization 'column_major_load<unsigned int, 2U, 3U, unsigned int, 5U, 5U>' requested here}}
  61
  62   MyMatrix<float, 2, 3> Mat2;
  63   Mat1.value = column_major_load<float, 2, 3, unsigned, 2, 3>(Mat2, Ptr2);
  64   // expected-note@-1 {{in instantiation of function template specialization 'column_major_load<float, 2U, 3U, unsigned int, 2U, 3U>' requested here}}
  65 }
  66
  67 constexpr int constexpr1() { return 1; }
  68 constexpr int constexpr_neg1() { return -1; }
  69
  70 void test_column_major_load_constexpr(unsigned *Ptr) {
  71   (void)__builtin_matrix_column_major_load(Ptr, 2, 2, constexpr1());
  72   // expected-error@-1 {{stride must be greater or equal to the number of rows}}
  73   (void)__builtin_matrix_column_major_load(Ptr, constexpr_neg1(), 2, 4);
  74   // expected-error@-1 {{row dimension is outside the allowed range [1, 1048575]}}
  75   (void)__builtin_matrix_column_major_load(Ptr, 2, constexpr_neg1(), 4);
  76   // expected-error@-1 {{column dimension is outside the allowed range [1, 1048575]}}
  77 }
  78
  79 struct IntWrapper {
  80   operator int() {
  81     return 1;
  82   }
  83 };
  84
  85 void test_column_major_load_wrapper(unsigned *Ptr, IntWrapper &W) {
  86   (void)__builtin_matrix_column_major_load(Ptr, W, 2, 2);
  87   // expected-error@-1 {{row argument must be a constant unsigned integer expression}}
  88   (void)__builtin_matrix_column_major_load(Ptr, 2, W, 2);
  89   // expected-error@-1 {{column argument must be a constant unsigned integer expression}}
  90 }
  91
  92 template <typename T, unsigned R, unsigned C, unsigned S>
  93 void test_column_major_load_temp(T Ptr) {
  94   (void)__builtin_matrix_column_major_load(Ptr, R, C, S);
  95 }
  96
  97 void call_column_major_load_temp(unsigned *Ptr, unsigned X) {
  98   (void)__builtin_matrix_column_major_load(Ptr, X, X, X);
  99   // expected-error@-1 {{row argument must be a constant unsigned integer expression}}
 100   // expected-error@-2 {{column argument must be a constant unsigned integer expression}}
 101   (void)__builtin_matrix_column_major_load(X, 2, 2, 2);
 102   // expected-error@-1 {{1st argument must be a pointer to a valid matrix element type}}
 103 }
 104
 105 template <typename EltTy0, unsigned R0, unsigned C0, typename PtrTy>
 106 void column_major_store(MyMatrix<EltTy0, R0, C0> &A, PtrTy Ptr, unsigned Stride) {
 107   __builtin_matrix_column_major_store(A.value, Ptr, Stride);
 108   // expected-error@-1 {{the pointee of the 2nd argument must match the element type of the 1st argument ('float' != 'unsigned int')}}
 109 }
 110
 111 template <typename MTy, typename PtrTy, unsigned Stride>
 112 void column_major_store(MTy &A, PtrTy Ptr) {
 113   __builtin_matrix_column_major_store(A.value, Ptr, Stride);
 114   // expected-error@-1 {{stride must be greater or equal to the number of rows}}
 115 }
 116
 117 void test_column_major_stores_template(MyMatrix<unsigned, 2, 3> &M1, unsigned *Ptr1, MyMatrix<float, 3, 4> &M2, float *Ptr2) {
 118   column_major_store(M1, Ptr2, 10);
 119   // expected-note@-1 {{in instantiation of function template specialization 'column_major_store<unsigned int, 2U, 3U, float *>' requested here}}
 120
 121   column_major_store<decltype(M2), float *, 1>(M2, Ptr2);
 122   // expected-note@-1 {{in instantiation of function template specialization 'column_major_store<MyMatrix<float, 3, 4> &, float *, 1U>' requested here}}
 123 }
 124
 125 template <typename EltTy0, unsigned R0, unsigned C0, typename EltTy1>
 126 void column_major_store(MyMatrix<EltTy0, R0, C0> &A, EltTy1 *Ptr) {
 127   __builtin_matrix_column_major_store(A.value, Ptr, 1);
 128   // expected-error@-1 3 {{stride must be greater or equal to the number of rows}}
 129   // expected-error@-2 {{the pointee of the 2nd argument must match the element type of the 1st argument ('float' != 'unsigned int')}}
 130   // expected-error@-3 {{the pointee of the 2nd argument must match the element type of the 1st argument ('unsigned int' != 'float')}}
 131
 132   char *s;
 133   return __builtin_matrix_column_major_store(A.value, s, 20);
 134   // expected-error@-1 {{the pointee of the 2nd argument must match the element type of the 1st argument ('char' != 'unsigned int')}}
 135   // expected-error@-2 {{the pointee of the 2nd argument must match the element type of the 1st argument ('char' != 'unsigned int')}}
 136   // expected-error@-3 {{he pointee of the 2nd argument must match the element type of the 1st argument ('char' != 'float')}}
 137 }
 138
 139 void test_column_major_store_template(unsigned *Ptr1, float *Ptr2) {
 140   MyMatrix<unsigned, 2, 3> Mat1;
 141   column_major_store<unsigned, 2, 3, unsigned>(Mat1, Ptr1);
 142   // expected-note@-1 {{in instantiation of function template specialization 'column_major_store<unsigned int, 2U, 3U, unsigned int>'}}
 143   column_major_store<unsigned, 2, 3, float>(Mat1, Ptr2);
 144   // expected-note@-1 {{in instantiation of function template specialization 'column_major_store<unsigned int, 2U, 3U, float>'}}
 145
 146   MyMatrix<float, 2, 3> Mat2;
 147   column_major_store<float, 2, 3, unsigned>(Mat2, Ptr1);
 148   // expected-note@-1 {{in instantiation of function template specialization 'column_major_store<float, 2U, 3U, unsigned int>'}}
 149 }
 150
 151 void test_column_major_store_constexpr(unsigned *Ptr, MyMatrix<unsigned, 3, 3> &M) {
 152   __builtin_matrix_column_major_store(M.value, Ptr, constexpr1());
 153   // expected-error@-1 {{stride must be greater or equal to the number of rows}}
 154   __builtin_matrix_column_major_store(constexpr1(), Ptr, 1);
 155   // expected-error@-1 {{1st argument must be a matrix}}
 156   __builtin_matrix_column_major_store(M.value, constexpr1(), 1);
 157   // expected-error@-1 {{2nd argument must be a pointer to a valid matrix element type}}
 158   // expected-error@-2 {{stride must be greater or equal to the number of rows}}
 159 }
 160
 161 void test_column_major_store_wrapper(unsigned *Ptr, MyMatrix<unsigned, 3, 3> &M, IntWrapper &W) {
 162   __builtin_matrix_column_major_store(M.value, Ptr, W);
 163
 164   __builtin_matrix_column_major_store(W, Ptr, W);
 165   // expected-error@-1 {{1st argument must be a matrix}}
 166 }