gcc/testsuite/gcc.target/powerpc/pr78604.c

   1 /* { dg-do compile { target { powerpc*-*-* } } } */
   2 /* { dg-skip-if "" { powerpc*-*-darwin* } } */
   3 /* { dg-options "-mdejagnu-cpu=power8 -mvsx -O2 -ftree-vectorize -fdump-tree-vect-details -fno-unroll-loops" } */
   4 /* { dg-require-effective-target powerpc_vsx } */
   5
   6 #ifndef SIZE
   7 #define SIZE 1024
   8 #endif
   9
  10 #ifndef ALIGN
  11 #define ALIGN 32
  12 #endif
  13
  14 #ifndef TYPE
  15 #define TYPE long long
  16 #endif
  17
  18 #ifndef SIGN_TYPE
  19 #define SIGN_TYPE signed TYPE
  20 #endif
  21
  22 #ifndef UNS_TYPE
  23 #define UNS_TYPE unsigned TYPE
  24 #endif
  25
  26 #define ALIGN_ATTR __attribute__((__aligned__(ALIGN)))
  27
  28 SIGN_TYPE       sa[SIZE] ALIGN_ATTR;
  29 SIGN_TYPE       sb[SIZE] ALIGN_ATTR;
  30 SIGN_TYPE       sc[SIZE] ALIGN_ATTR;
  31
  32 UNS_TYPE        ua[SIZE] ALIGN_ATTR;
  33 UNS_TYPE        ub[SIZE] ALIGN_ATTR;
  34 UNS_TYPE        uc[SIZE] ALIGN_ATTR;
  35
  36 void
  37 sign_lt (SIGN_TYPE val1, SIGN_TYPE val2)
  38 {
  39   unsigned long i;
  40
  41   for (i = 0; i < SIZE; i++)
  42     sa[i] = (sb[i] < sc[i]) ? val1 : val2;
  43 }
  44
  45 void
  46 sign_lte (SIGN_TYPE val1, SIGN_TYPE val2)
  47 {
  48   unsigned long i;
  49
  50   for (i = 0; i < SIZE; i++)
  51     sa[i] = (sb[i] <= sc[i]) ? val1 : val2;
  52 }
  53
  54 void
  55 sign_gt (SIGN_TYPE val1, SIGN_TYPE val2)
  56 {
  57   unsigned long i;
  58
  59   for (i = 0; i < SIZE; i++)
  60     sa[i] = (sb[i] > sc[i]) ? val1 : val2;
  61 }
  62
  63 void
  64 sign_gte (SIGN_TYPE val1, SIGN_TYPE val2)
  65 {
  66   unsigned long i;
  67
  68   for (i = 0; i < SIZE; i++)
  69     sa[i] = (sb[i] >= sc[i]) ? val1 : val2;
  70 }
  71
  72
  73 void
  74 uns_lt (UNS_TYPE val1, UNS_TYPE val2)
  75 {
  76   unsigned long i;
  77
  78   for (i = 0; i < SIZE; i++)
  79     ua[i] = (ub[i] < uc[i]) ? val1 : val2;
  80 }
  81
  82 void
  83 uns_lte (UNS_TYPE val1, UNS_TYPE val2)
  84 {
  85   unsigned long i;
  86
  87   for (i = 0; i < SIZE; i++)
  88     ua[i] = (ub[i] <= uc[i]) ? val1 : val2;
  89 }
  90
  91 void
  92 uns_gt (UNS_TYPE val1, UNS_TYPE val2)
  93 {
  94   unsigned long i;
  95
  96   for (i = 0; i < SIZE; i++)
  97     ua[i] = (ub[i] > uc[i]) ? val1 : val2;
  98 }
  99
 100 void
 101 uns_gte (UNS_TYPE val1, UNS_TYPE val2)
 102 {
 103   unsigned long i;
 104
 105   for (i = 0; i < SIZE; i++)
 106     ua[i] = (ub[i] >= uc[i]) ? val1 : val2;
 107 }
 108
 109 /* { dg-final { scan-assembler-times {\mvcmpgtsd\M} 4 } } */
 110 /* { dg-final { scan-assembler-times {\mvcmpgtud\M} 4 } } */
 111 /* { dg-final { scan-assembler-not   {\mvcmpequd\M} } } */
 112 /* For each function, one is for the comparison statement and the other
 113    is for the condition statement which consumes the compared result.  */
 114 /* { dg-final { scan-tree-dump-times "vect_model_simple_cost" 16 "vect" } } */