1  /* { dg-require-effective-target power10_ok } */
       2  /* { dg-options "-mdejagnu-cpu=power10 -O2 -ftree-vectorize -fno-vect-cost-model -fdump-tree-vect-details" } */
       3  
       4  /* Check vect_recog_mulhs_pattern can be detected with shift count 32.  */
       5  
       6  #define N 128
       7  
       8  typedef signed long long sLL;
       9  typedef unsigned long long uLL;
      10  
      11  signed int si_a[N], si_b[N];
      12  unsigned int ui_a[N], ui_b[N];
      13  signed short sh_c[N];
      14  unsigned short uh_c[N];
      15  
      16  void
      17  test1 ()
      18  {
      19    for (int i = 0; i < N; i++)
      20      sh_c[i] = ((sLL) si_a[i] * (sLL) si_b[i]) >> 32;
      21  }
      22  
      23  void
      24  test2 ()
      25  {
      26    for (int i = 0; i < N; i++)
      27      uh_c[i] = ((uLL) ui_a[i] * (uLL) ui_b[i]) >> 32;
      28  }
      29  
      30  /* { dg-final { scan-tree-dump-times "vect_recog_mulhs_pattern: detected" 2 "vect" } } */