1  /* { dg-do compile } */
       2  
       3  #include <arm_sve.h>
       4  
       5  svuint8_t
       6  f1 (svbool_t pg, int i, float f, double d, void *ptr, svfloat32_t f32,
       7      svint32_t i32)
       8  {
       9    svadda (pg, f); /* { dg-error {too few arguments to function 'svadda'} } */
      10    svadda (pg, f, f32, f32); /* { dg-error {too many arguments to function 'svadda'} } */
      11    svadda (f32, f, f32); /* { dg-error {passing 'svfloat32_t' to argument 1 of 'svadda', which expects 'svbool_t'} } */
      12    svadda (pg, i, f32);
      13    svadda (pg, f, f32);
      14    svadda (pg, d, f32);
      15    svadda (pg, ptr, f32); /* { dg-error {incompatible type for argument 2 of 'svadda_f32'} } */
      16    svadda (pg, pg, f32); /* { dg-error {passing 'svbool_t' to argument 2 of 'svadda', which expects a scalar element} } */
      17    svadda (pg, f32, f32); /* { dg-error {passing 'svfloat32_t' to argument 2 of 'svadda', which expects a scalar element} } */
      18    svadda (pg, f, f); /* { dg-error {passing 'float' to argument 3 of 'svadda', which expects an SVE vector type} } */
      19    svadda (pg, i, i32); /* { dg-error {'svadda' has no form that takes 'svint32_t' arguments} } */
      20    svadda (pg, i, i); /* { dg-error {passing 'int' to argument 3 of 'svadda', which expects an SVE vector type} } */
      21  }