1  /* Origin: Aldy Hernandez <aldyh@redhat.com>
       2  
       3     Purpose: Test generic SIMD support.  This test should work
       4     regardless of if the target has SIMD instructions.
       5  */
       6  
       7  typedef int __attribute__((mode(SI))) __attribute__((vector_size (16))) vecint;
       8  typedef int __attribute__((mode(SI))) siint;
       9  
      10  vecint i = { 150, 100, 150, 200 };
      11  vecint j = { 10, 13, 20, 30 };
      12  vecint k;
      13  
      14  union {
      15    vecint v;
      16    siint i[4];
      17  } res;
      18  
      19  /* This should go away once we can use == and != on vector types.  */
      20  void
      21  verify (siint a1, siint a2, siint a3, siint a4,
      22  	siint b1, siint b2, siint b3, siint b4)
      23  {
      24    if (a1 != b1
      25        || a2 != b2
      26        || a3 != b3
      27        || a4 != b4)
      28      abort ();
      29  }
      30  
      31  int
      32  main ()
      33  {
      34    k = i + j;
      35    res.v = k;
      36  
      37    verify (res.i[0], res.i[1], res.i[2], res.i[3], 160, 113, 170, 230);
      38  
      39    k = i * j;
      40    res.v = k;
      41  
      42    verify (res.i[0], res.i[1], res.i[2], res.i[3], 1500, 1300, 3000, 6000);
      43  
      44    k = i / j;
      45    res.v = k;
      46  
      47    verify (res.i[0], res.i[1], res.i[2], res.i[3], 15, 7, 7, 6);
      48  
      49    k = i & j;
      50    res.v = k;
      51  
      52    verify (res.i[0], res.i[1], res.i[2], res.i[3], 2, 4, 20, 8);
      53  
      54    k = i | j;
      55    res.v = k;
      56  
      57    verify (res.i[0], res.i[1], res.i[2], res.i[3], 158, 109, 150, 222);
      58  
      59    k = i ^ j;
      60    res.v = k;
      61  
      62    verify (res.i[0], res.i[1], res.i[2], res.i[3], 156, 105, 130, 214);
      63  
      64    k = -i;
      65    res.v = k;
      66    verify (res.i[0], res.i[1], res.i[2], res.i[3],
      67  	  -150, -100, -150, -200);
      68  
      69    k = ~i;
      70    res.v = k;
      71    verify (res.i[0], res.i[1], res.i[2], res.i[3], -151, -101, -151, -201);
      72  
      73    exit (0);
      74  }