/* { dg-do run } */
/* { dg-options "-O2 --save-temps" } */
/* { dg-final { check-function-bodies "**" "" "" } } */

/*
** f1:
**	adds	(w[0-9]+), w0, #4095
**	csel	w0, \1, wzr, g[te]
**	ret
*/
/*
** f2:
**	adds	(w[0-9]+), w0, #4095
**	csel	w0, \1, wzr, g[te]
**	ret
*/
/*
** f3:
**	adds	(w[0-9]+), w0, #4096
**	csinc	w0, \1, wzr, gt
**	ret
*/
/*
** f4:
**	adds	(w[0-9]+), w0, #4094
**	csinv	w0, \1, wzr, ge
**	ret
*/

#define TYPE int32_t
#define TYPE_MIN INT32_MIN
#define TYPE_MAX INT32_MAX
#define VALUE -4095

#include "max_plus_1.c"