1  /* { dg-do compile { target { powerpc*-*-linux* && lp64 } } } */
       2  /* { dg-skip-if "" { powerpc*-*-darwin* } } */
       3  /* { dg-require-effective-target powerpc_p8vector_ok } */
       4  /* { dg-options "-mdejagnu-cpu=power8 -O2" } */
       5  /* { dg-final { scan-assembler-times "bcdadd\[.\] " 4 } } */
       6  /* { dg-final { scan-assembler-times "bcdsub\[.\] " 4 } } */
       7  /* { dg-final { scan-assembler-not   "bl __builtin"   } } */
       8  /* { dg-final { scan-assembler-not   "mtvsr"   	      } } */
       9  /* { dg-final { scan-assembler-not   "mfvsr"   	      } } */
      10  /* { dg-final { scan-assembler-not   "lvx"     	      } } */
      11  /* { dg-final { scan-assembler-not   "lxvw4x"  	      } } */
      12  /* { dg-final { scan-assembler-not   "lxvd2x"  	      } } */
      13  /* { dg-final { scan-assembler-not   "stvx"    	      } } */
      14  /* { dg-final { scan-assembler-not   "stxvw4x" 	      } } */
      15  /* { dg-final { scan-assembler-not   "stxvd2x" 	      } } */
      16  
      17  typedef __int128_t __attribute__((__vector_size__(16)))	vector_128_t;
      18  typedef __int128_t					scalar_128_t;
      19  typedef	unsigned long long				scalar_64_t;
      20  
      21  #include <altivec.h>
      22  
      23  /* Test whether the peephole works to allow folding a bcdadd, with a
      24     bcdadd_<test> into a single instruction.  */
      25  
      26  vector_128_t
      27  do_add_lt (vector_128_t a, vector_128_t b, int *p)
      28  {
      29    vector_128_t ret = __builtin_bcdadd (a, b, 0);
      30    if (__builtin_bcdadd_lt (a, b, 0))
      31      *p = 1;
      32  
      33    return ret;
      34  }
      35  
      36  vector_128_t
      37  do_add_eq (vector_128_t a, vector_128_t b, int *p)
      38  {
      39    vector_128_t ret = __builtin_bcdadd (a, b, 0);
      40    if (__builtin_bcdadd_eq (a, b, 0))
      41      *p = 1;
      42  
      43    return ret;
      44  }
      45  
      46  vector_128_t
      47  do_add_gt (vector_128_t a, vector_128_t b, int *p)
      48  {
      49    vector_128_t ret = __builtin_bcdadd (a, b, 0);
      50    if (__builtin_bcdadd_gt (a, b, 0))
      51      *p = 1;
      52  
      53    return ret;
      54  }
      55  
      56  vector_128_t
      57  do_add_ov (vector_128_t a, vector_128_t b, int *p)
      58  {
      59    vector_128_t ret = __builtin_bcdadd (a, b, 0);
      60    if (__builtin_bcdadd_ov (a, b, 0))
      61      *p = 1;
      62  
      63    return ret;
      64  }
      65  
      66  vector_128_t
      67  do_sub_lt (vector_128_t a, vector_128_t b, int *p)
      68  {
      69    vector_128_t ret = __builtin_bcdsub (a, b, 0);
      70    if (__builtin_bcdsub_lt (a, b, 0))
      71      *p = 1;
      72  
      73    return ret;
      74  }
      75  
      76  vector_128_t
      77  do_sub_eq (vector_128_t a, vector_128_t b, int *p)
      78  {
      79    vector_128_t ret = __builtin_bcdsub (a, b, 0);
      80    if (__builtin_bcdsub_eq (a, b, 0))
      81      *p = 1;
      82  
      83    return ret;
      84  }
      85  
      86  vector_128_t
      87  do_sub_gt (vector_128_t a, vector_128_t b, int *p)
      88  {
      89    vector_128_t ret = __builtin_bcdsub (a, b, 0);
      90    if (__builtin_bcdsub_gt (a, b, 0))
      91      *p = 1;
      92  
      93    return ret;
      94  }
      95  
      96  vector_128_t
      97  do_sub_ov (vector_128_t a, vector_128_t b, int *p)
      98  {
      99    vector_128_t ret = __builtin_bcdsub (a, b, 0);
     100    if (__builtin_bcdsub_ov (a, b, 0))
     101      *p = 1;
     102  
     103    return ret;
     104  }