1  /* { dg-do compile } */
       2  /* { dg-additional-options "--save-temps -O1" } */
       3  /* { dg-final { check-function-bodies "**" "" "" } } */
       4  
       5  #include <stdint.h>
       6  
       7  #pragma GCC target "+cssc"
       8  
       9  /*
      10  ** ctzw:
      11  **      ctz	w0, w0
      12  **      ret
      13  */
      14  
      15  int32_t
      16  ctzw (int32_t a)
      17  {
      18    return __builtin_ctz (a);
      19  }
      20  
      21  /*
      22  ** ctzx:
      23  **      ctz	x0, x0
      24  **      ret
      25  */
      26  
      27  int64_t
      28  ctzx (int64_t a)
      29  {
      30    return __builtin_ctzll (a);
      31  }
      32