1  /* { dg-do run } */
       2  /* { dg-options "-O2 --save-temps" } */
       3  /* { dg-final { check-function-bodies "**" "" "" } } */
       4  
       5  /*
       6  ** f1:
       7  **	adds	(w[0-9]+), w0, #4095
       8  **	csel	w0, \1, wzr, (cs|hi)
       9  **	ret
      10  */
      11  /*
      12  ** f2:
      13  **	adds	(w[0-9]+), w0, #4095
      14  **	csel	w0, \1, wzr, (cs|hi)
      15  **	ret
      16  */
      17  /*
      18  ** f3:
      19  **	adds	(w[0-9]+), w0, #4096
      20  **	csinc	w0, \1, wzr, hi
      21  **	ret
      22  */
      23  /*
      24  ** f4:
      25  **	adds	(w[0-9]+), w0, #4094
      26  **	csinv	w0, \1, wzr, cs
      27  **	ret
      28  */
      29  
      30  #define TYPE uint32_t
      31  #define TYPE_MIN 0
      32  #define TYPE_MAX UINT32_MAX
      33  #define VALUE (uint32_t)-4095
      34  
      35  #include "max_plus_1.c"