// NOTE: File has been autogenerated by utils/aarch64_builtins_test_generator.py
// RUN: %clang_cc1 %s -fsyntax-only -triple aarch64-none-linux-gnu -target-feature +sme -verify
// expected-no-diagnostics

// REQUIRES: aarch64-registered-target

#include <arm_sme.h>

// Properties: guard="" streaming_guard="sme" flags="streaming-compatible,requires-za"

void test(void) __arm_inout("za"){
  int64_t int64_t_val;
  uint32_t uint32_t_val;
  void * void_ptr_val;

  svldr_vnum_za(uint32_t_val, void_ptr_val, int64_t_val);
  svldr_za(uint32_t_val, void_ptr_val);
  svstr_vnum_za(uint32_t_val, void_ptr_val, int64_t_val);
  svstr_za(uint32_t_val, void_ptr_val);
  svzero_mask_za(2);
  svzero_za();
}

void test_streaming(void) __arm_streaming __arm_inout("za"){
  int64_t int64_t_val;
  uint32_t uint32_t_val;
  void * void_ptr_val;

  svldr_vnum_za(uint32_t_val, void_ptr_val, int64_t_val);
  svldr_za(uint32_t_val, void_ptr_val);
  svstr_vnum_za(uint32_t_val, void_ptr_val, int64_t_val);
  svstr_za(uint32_t_val, void_ptr_val);
  svzero_mask_za(2);
  svzero_za();
}

void test_streaming_compatible(void) __arm_streaming_compatible __arm_inout("za"){
  int64_t int64_t_val;
  uint32_t uint32_t_val;
  void * void_ptr_val;

  svldr_vnum_za(uint32_t_val, void_ptr_val, int64_t_val);
  svldr_za(uint32_t_val, void_ptr_val);
  svstr_vnum_za(uint32_t_val, void_ptr_val, int64_t_val);
  svstr_za(uint32_t_val, void_ptr_val);
  svzero_mask_za(2);
  svzero_za();
}