/* { dg-do compile } */
/* Make sure we can force fpu=vfp before switching using the
   pragma.  */
/* { dg-skip-if "-mpure-code supports M-profile only" { *-*-* } { "-mpure-code" } } */
/* { dg-require-effective-target arm_fp_ok } */
/* { dg-options "-O2 -march=armv8-a" } */
/* { dg-add-options arm_fp } */

/* Reset fpu to a value compatible with the next pragmas.  */
#pragma GCC target ("fpu=vfp")
#pragma GCC push_options

#pragma GCC target ("fpu=crypto-neon-fp-armv8")

#ifndef __ARM_FEATURE_CRYPTO
#error __ARM_FEATURE_CRYPTO not defined.
#endif

#ifndef __ARM_FEATURE_AES
#error __ARM_FEATURE_AES not defined.
#endif

#ifndef __ARM_FEATURE_SHA2
#error __ARM_FEATURE_SHA2 not defined.
#endif

#ifndef __ARM_NEON
#error __ARM_NEON not defined.
#endif

#if !defined(__ARM_FP) || (__ARM_FP != 14)
#error __ARM_FP
#endif

#include "arm_neon.h"

int
foo (void)
{
  uint32x4_t a = {0xd, 0xe, 0xa, 0xd};
  uint32x4_t b = {0, 1, 2, 3};

  uint32x4_t res = vsha256su0q_u32 (a, b);
  return res[0];
}

#pragma GCC pop_options

/* Check that the FP version is correctly reset.  */

#if !defined(__ARM_FP) || (__ARM_FP != 12)
#error __ARM_FP
#endif

/* { dg-final { scan-assembler "sha256su0.32\tq\[0-9\]+, q\[0-9\]+" } } */