gcc/testsuite/gcc.dg/simd-1.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-Wall" } */
   3
   4 /* Origin: Aldy Hernandez <aldyh@redhat.com>.  */
   5 /* Purpose: Program to test generic SIMD support.  */
   6
   7 typedef int __attribute__((vector_size (16))) v4si;
   8 typedef short __attribute__((vector_size (16))) v8hi;
   9 typedef int __attribute__((vector_size (8))) v2si;
  10 typedef unsigned int __attribute__((vector_size (16))) uv4si;
  11
  12 v4si a, b;
  13 v2si c, d;
  14 v8hi e;
  15 uv4si f;
  16
  17 long long foo;
  18 int foo1;
  19 short foo2 __attribute__((vector_size (8)));
  20
  21 void
  22 hanneke ()
  23 {
  24   /* Assignment.  */
  25   a = b;
  26
  27   /* Assignment of different types.  */
  28   b = c; /* { dg-error "incompatible types when assigning" } */
  29   d = a; /* { dg-error "incompatible types when assigning" } */
  30
  31   /* Casting between SIMDs of the same size.  */
  32   e = (typeof (e)) a;
  33
  34   /* Different signed SIMD assignment.  */
  35   f = a; /* { dg-message "note: use -flax-vector-conversions to permit conversions between vectors with differing element types or numbers of subparts" } */
  36   /* { dg-error "incompatible types when assigning" "" { target *-*-* } .-1 } */
  37
  38   /* Casted different signed SIMD assignment.  */
  39   f = (uv4si) a;
  40
  41   /* Assignment between scalar and SIMD of different size.  */
  42   foo = a; /* { dg-error "incompatible types when assigning" } */
  43
  44   /* Casted assignment between scalar and SIMD of same size.  */
  45   foo = (typeof (foo)) foo2;
  46
  47   /* Casted assignment between scalar and SIMD of different size.  */
  48   foo1 = (typeof (foo1)) foo2; /* { dg-error "can't convert a vector of type" } */
  49
  50   /* Operators on compatible SIMD types.  */
  51   a += b + b;
  52   a -= b;
  53   a *= b;
  54   a /= b;
  55   a = -b;
  56
  57   /* Operators on incompatible SIMD types.  */
  58   a = b + c; /* { dg-error "invalid operands to binary +" } */
  59   a = b - c; /* { dg-error "invalid operands to binary -" } */
  60   a = b * c; /* { dg-error "invalid operands to binary *" } */
  61   a = b / c; /* { dg-error "invalid operands to binary /" } */
  62 }