1  /* { dg-do compile } */
       2  /* { dg-additional-options "-march=armv8-a+sha3" } */
       3  
       4  #include <arm_neon.h>
       5  
       6  uint64x2_t bar (uint64x2_t a, uint64x2_t b, uint64x2_t c) {
       7          return vsha512hq_u64(a, b, c);
       8  }
       9  
      10  /* { dg-final { scan-assembler {\tsha512h\t} } } */