1  /* { dg-do compile } */
       2  /* We scan for vdive*d which are only supported on 64-bit env.  */
       3  /* { dg-require-effective-target lp64 } */
       4  /* { dg-require-effective-target power10_ok } */
       5  /* { dg-options "-mdejagnu-cpu=power10 -O2 -ftree-vectorize -fno-vect-cost-model -fno-unroll-loops -fdump-tree-vect-details" } */
       6  
       7  /* Test if signed/unsigned long long extended divisions get vectorized.  */
       8  
       9  #include "dive-vectorize-2.h"
      10  
      11  /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 2 "vect" } } */
      12  /* { dg-final { scan-assembler-times {\mvdivesd\M} 1 } } */
      13  /* { dg-final { scan-assembler-times {\mvdiveud\M} 1 } } */