| /* { 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" |