clang/test/Sema/matrix-type-operators.c

   1 // RUN: %clang_cc1 %s -fenable-matrix -pedantic -verify -triple=x86_64-apple-darwin9
   2
   3 typedef float sx5x10_t __attribute__((matrix_type(5, 10)));
   4 typedef float sx10x5_t __attribute__((matrix_type(10, 5)));
   5 typedef float sx10x10_t __attribute__((matrix_type(10, 10)));
   6
   7 void add(sx10x10_t a, sx5x10_t b, sx10x5_t c) {
   8   a = b + c;
   9   // expected-error@-1 {{invalid operands to binary expression ('sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') and 'sx10x5_t' (aka 'float __attribute__((matrix_type(10, 5)))'))}}
  10
  11   b += c;
  12   // expected-error@-1 {{invalid operands to binary expression ('sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') and 'sx10x5_t' (aka 'float __attribute__((matrix_type(10, 5)))'))}}
  13
  14   a = b + b; // expected-error {{assigning to 'sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))') from incompatible type 'sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))')}}
  15
  16   a = 10 + b;
  17   // expected-error@-1 {{assigning to 'sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))') from incompatible type 'sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))')}}
  18
  19   a = b + &c;
  20   // expected-error@-1 {{invalid operands to binary expression ('sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') and 'sx10x5_t *' (aka 'float  __attribute__((matrix_type(10, 5)))*'))}}
  21   // expected-error@-2 {{casting 'sx10x5_t *' (aka 'float  __attribute__((matrix_type(10, 5)))*') to incompatible type 'float'}}
  22
  23   b += &c;
  24   // expected-error@-1 {{invalid operands to binary expression ('sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') and 'sx10x5_t *' (aka 'float  __attribute__((matrix_type(10, 5)))*'))}}
  25   // expected-error@-2 {{casting 'sx10x5_t *' (aka 'float  __attribute__((matrix_type(10, 5)))*') to incompatible type 'float'}}
  26 }
  27
  28 void sub(sx10x10_t a, sx5x10_t b, sx10x5_t c) {
  29   a = b - c;
  30   // expected-error@-1 {{invalid operands to binary expression ('sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') and 'sx10x5_t' (aka 'float __attribute__((matrix_type(10, 5)))'))}}
  31
  32   b -= c;
  33   // expected-error@-1 {{invalid operands to binary expression ('sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') and 'sx10x5_t' (aka 'float __attribute__((matrix_type(10, 5)))'))}}
  34
  35   a = b - b; // expected-error {{assigning to 'sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))') from incompatible type 'sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))')}}
  36
  37   a = 10 - b;
  38   // expected-error@-1 {{assigning to 'sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))') from incompatible type 'sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))')}}
  39
  40   a = b - &c;
  41   // expected-error@-1 {{invalid operands to binary expression ('sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') and 'sx10x5_t *' (aka 'float  __attribute__((matrix_type(10, 5)))*'))}}
  42   // expected-error@-2 {{casting 'sx10x5_t *' (aka 'float  __attribute__((matrix_type(10, 5)))*') to incompatible type 'float'}}
  43
  44   b -= &c;
  45   // expected-error@-1 {{invalid operands to binary expression ('sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') and 'sx10x5_t *' (aka 'float  __attribute__((matrix_type(10, 5)))*'))}}
  46   // expected-error@-2 {{casting 'sx10x5_t *' (aka 'float  __attribute__((matrix_type(10, 5)))*') to incompatible type 'float'}}
  47 }
  48
  49 typedef int ix10x5_t __attribute__((matrix_type(10, 5)));
  50 typedef int ix10x10_t __attribute__((matrix_type(10, 10)));
  51
  52 void matrix_matrix_multiply(sx10x10_t a, sx5x10_t b, ix10x5_t c, ix10x10_t d, float sf, char *p) {
  53   // Check dimension mismatches.
  54   a = a * b;
  55   // expected-error@-1 {{invalid operands to binary expression ('sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))') and 'sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))'))}}
  56   a *= b;
  57   // expected-error@-1 {{invalid operands to binary expression ('sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))') and 'sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))'))}}
  58   b = a * a;
  59   // expected-error@-1 {{assigning to 'sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') from incompatible type 'float __attribute__((matrix_type(10, 10)))'}}
  60
  61   // Check element type mismatches.
  62   a = b * c;
  63   // expected-error@-1 {{invalid operands to binary expression ('sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') and 'ix10x5_t' (aka 'int __attribute__((matrix_type(10, 5)))'))}}
  64   b *= c;
  65   // expected-error@-1 {{invalid operands to binary expression ('sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') and 'ix10x5_t' (aka 'int __attribute__((matrix_type(10, 5)))'))}}
  66   d = a * a;
  67   // expected-error@-1 {{assigning to 'ix10x10_t' (aka 'int __attribute__((matrix_type(10, 10)))') from incompatible type 'float __attribute__((matrix_type(10, 10)))'}}
  68
  69   p = a * a;
  70   // expected-error@-1 {{assigning to 'char *' from incompatible type 'float __attribute__((matrix_type(10, 10)))'}}
  71 }
  72
  73 void mat_scalar_multiply(sx10x10_t a, sx5x10_t b, float sf, char *p) {
  74   // Shape of multiplication result does not match the type of b.
  75   b = a * sf;
  76   // expected-error@-1 {{assigning to 'sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') from incompatible type 'sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))')}}
  77   b = sf * a;
  78   // expected-error@-1 {{assigning to 'sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') from incompatible type 'sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))')}}
  79
  80   a = a * p;
  81   // expected-error@-1 {{casting 'char *' to incompatible type 'float'}}
  82   // expected-error@-2 {{invalid operands to binary expression ('sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))') and 'char *')}}
  83   a *= p;
  84   // expected-error@-1 {{casting 'char *' to incompatible type 'float'}}
  85   // expected-error@-2 {{invalid operands to binary expression ('sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))') and 'char *')}}
  86   a = p * a;
  87   // expected-error@-1 {{casting 'char *' to incompatible type 'float'}}
  88   // expected-error@-2 {{invalid operands to binary expression ('char *' and 'sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))'))}}
  89   p *= a;
  90   // expected-error@-1 {{casting 'char *' to incompatible type 'float'}}
  91   // expected-error@-2 {{invalid operands to binary expression ('char *' and 'sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))'))}}
  92
  93   sf = a * sf;
  94   // expected-error@-1 {{assigning to 'float' from incompatible type 'sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))')}}
  95 }
  96
  97 void mat_scalar_divide(sx10x10_t a, sx5x10_t b, float sf, char *p) {
  98   // Shape of multiplication result does not match the type of b.
  99   b = a / sf;
 100   // expected-error@-1 {{assigning to 'sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') from incompatible type 'sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))')}}
 101   b = sf / a;
 102   // expected-error@-1 {{invalid operands to binary expression ('float' and 'sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))'))}}
 103
 104   a = a / p;
 105   // expected-error@-1 {{invalid operands to binary expression ('sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))') and 'char *')}}
 106   a = p / a;
 107   // expected-error@-1 {{invalid operands to binary expression ('char *' and 'sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))'))}}
 108
 109   sf = a / sf;
 110   // expected-error@-1 {{assigning to 'float' from incompatible type 'sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))')}}
 111 }
 112
 113 void matrix_matrix_divide(sx10x10_t a, sx5x10_t b, ix10x5_t c, ix10x10_t d, float sf, char *p) {
 114   // Matrix by matrix division is not supported.
 115   a = a / a;
 116   // expected-error@-1 {{invalid operands to binary expression ('sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))') and 'sx10x10_t')}}
 117
 118   b = a / a;
 119   // expected-error@-1 {{invalid operands to binary expression ('sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))') and 'sx10x10_t')}}
 120
 121   // Check element type mismatches.
 122   a = b / c;
 123   // expected-error@-1 {{invalid operands to binary expression ('sx5x10_t' (aka 'float __attribute__((matrix_type(5, 10)))') and 'ix10x5_t' (aka 'int __attribute__((matrix_type(10, 5)))'))}}
 124   d = a / a;
 125   // expected-error@-1 {{invalid operands to binary expression ('sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))') and 'sx10x10_t')}}
 126
 127   p = a / a;
 128   // expected-error@-1 {{invalid operands to binary expression ('sx10x10_t' (aka 'float __attribute__((matrix_type(10, 10)))') and 'sx10x10_t')}}
 129 }
 130
 131 sx5x10_t get_matrix(void);
 132
 133 void insert(sx5x10_t a, float f) {
 134   // Non integer indexes.
 135   a[3][f] = 0;
 136   // expected-error@-1 {{matrix column index is not an integer}}
 137   a[f][9] = 0;
 138   // expected-error@-1 {{matrix row index is not an integer}}
 139   a[f][f] = 0;
 140   // expected-error@-1 {{matrix row index is not an integer}}
 141   // expected-error@-2 {{matrix column index is not an integer}}
 142   a[0][f] = 0;
 143   // expected-error@-1 {{matrix column index is not an integer}}
 144
 145   a[f][f] = 0;
 146   // expected-error@-1 {{matrix row index is not an integer}}
 147   // expected-error@-2 {{matrix column index is not an integer}}
 148
 149   // Invalid element type.
 150   a[3][4] = &f;
 151   // expected-error@-1 {{assigning to 'float' from incompatible type 'float *'; remove &}}
 152
 153   // Indexes outside allowed dimensions.
 154   a[-1][3] = 10.0;
 155   // expected-error@-1 {{matrix row index is outside the allowed range [0, 5)}}
 156   a[3][-1] = 10.0;
 157   // expected-error@-1 {{matrix column index is outside the allowed range [0, 10)}}
 158   a[3][-1u] = 10.0;
 159   // expected-error@-1 {{matrix column index is outside the allowed range [0, 10)}}
 160   a[-1u][3] = 10.0;
 161   // expected-error@-1 {{matrix row index is outside the allowed range [0, 5)}}
 162   a[5][2] = 10.0;
 163   // expected-error@-1 {{matrix row index is outside the allowed range [0, 5)}}
 164   a[4][10] = 10.0;
 165   // expected-error@-1 {{matrix column index is outside the allowed range [0, 10)}}
 166   a[5][0] = f;
 167   // expected-error@-1 {{matrix row index is outside the allowed range [0, 5)}}
 168   (a[1])[1] = f;
 169   // expected-error@-1 {{matrix row and column subscripts cannot be separated by any expression}}
 170
 171   a[3] = 5.0;
 172   // expected-error@-1 {{single subscript expressions are not allowed for matrix values}}
 173
 174   (a[3]) = 5.0;
 175   // expected-error@-1 {{single subscript expressions are not allowed for matrix values}}
 176
 177   get_matrix()[0][0] = f;
 178   // expected-error@-1 {{expression is not assignable}}
 179   get_matrix()[5][1] = f;
 180   // expected-error@-1 {{matrix row index is outside the allowed range [0, 5)}}
 181   get_matrix()[3] = 5.0;
 182   // expected-error@-1 {{single subscript expressions are not allowed for matrix values}}
 183
 184   (get_matrix()[5])[10.0] = f;
 185   // expected-error@-1 {{matrix row and column subscripts cannot be separated by any expression}}
 186   (get_matrix()[3]) = 5.0;
 187   // expected-error@-1 {{single subscript expressions are not allowed for matrix values}}
 188
 189   a([0])[0] = f;
 190   // expected-error@-1 {{expected expression}}
 191   a[0]([0]) = f;
 192   // expected-error@-1 {{expected expression}}
 193 }
 194
 195 void extract(sx5x10_t a, float f) {
 196   // Non integer indexes.
 197   float v1 = a[3][f];
 198   // expected-error@-1 {{matrix column index is not an integer}}
 199   float v2 = a[f][9];
 200   // expected-error@-1 {{matrix row index is not an integer}}
 201   float v3 = a[f][f];
 202   // expected-error@-1 {{matrix row index is not an integer}}
 203   // expected-error@-2 {{matrix column index is not an integer}}
 204
 205   // Invalid element type.
 206   char *v4 = a[3][4];
 207   // expected-error@-1 {{initializing 'char *' with an expression of incompatible type 'float'}}
 208
 209   // Indexes outside allowed dimensions.
 210   float v5 = a[-1][3];
 211   // expected-error@-1 {{matrix row index is outside the allowed range [0, 5)}}
 212   float v6 = a[3][-1];
 213   // expected-error@-1 {{matrix column index is outside the allowed range [0, 10)}}
 214   float v8 = a[-1u][3];
 215   // expected-error@-1 {{matrix row index is outside the allowed range [0, 5)}}
 216   float v9 = a[5][2];
 217   // expected-error@-1 {{matrix row index is outside the allowed range [0, 5)}}
 218   float v10 = a[4][10];
 219   // expected-error@-1 {{matrix column index is outside the allowed range [0, 10)}}
 220   float v11 = a[5][9];
 221   // expected-error@-1 {{matrix row index is outside the allowed range [0, 5)}}
 222
 223   float v12 = a[3];
 224   // expected-error@-1 {{single subscript expressions are not allowed for matrix values}}
 225 }
 226
 227 float *address_of_element(sx5x10_t *a) {
 228   return &(*a)[0][1];
 229   // expected-error@-1 {{address of matrix element requested}}
 230 }