Viewing file:  max_plus_1.c (2.77 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* { dg-do run } */
/* { dg-options "-O2 --save-temps" } */
/* { dg-final { check-function-bodies "**" "" "" } } */
/*
** f1:
** adds (w[0-9]+), w0, #4
** csel w0, \1, wzr, g[te]
** ret
*/
/*
** f2:
** adds (w[0-9]+), w0, #4
** csel w0, \1, wzr, g[te]
** ret
*/
/*
** f3:
** adds (w[0-9]+), w0, #5
** csinc w0, \1, wzr, gt
** ret
*/
/*
** f4:
** adds (w[0-9]+), w0, #3
** csinv w0, \1, wzr, ge
** ret
*/
#ifndef TYPE
#define TYPE int32_t
#define TYPE_MIN INT32_MIN
#define TYPE_MAX INT32_MAX
#define VALUE -4
#endif
#include <stdint.h>
TYPE __attribute__((noipa))
f1 (TYPE x)
{
return (x > VALUE ? x - VALUE : 0);
}
TYPE __attribute__((noipa))
f2 (TYPE x)
{
return (x > VALUE ? x : VALUE) - VALUE;
}
TYPE __attribute__((noipa))
f3 (TYPE x)
{
return (x > VALUE ? x : VALUE) - (VALUE - 1);
}
TYPE __attribute__((noipa))
f4 (TYPE x)
{
return (x > VALUE ? x : VALUE) - (VALUE + 1);
}
TYPE __attribute__((noipa))
f5 (TYPE x)
{
return (x > VALUE ? x : VALUE) - (VALUE + 2);
}
TYPE __attribute__((noipa))
f6 (TYPE x)
{
return (x > VALUE ? x : VALUE) - (VALUE - 2);
}
int
main (void)
{
TYPE max_test = TYPE_MAX;
if (TYPE_MIN < 0 && VALUE < 0)
max_test += VALUE;
if (f1 (TYPE_MIN) != 0)
__builtin_abort ();
if (f1 (VALUE - 1) != 0)
__builtin_abort ();
if (f1 (VALUE) != 0)
__builtin_abort ();
if (f1 (VALUE + 1) != 1)
__builtin_abort ();
if (f1 (max_test) != max_test - VALUE)
__builtin_abort ();
if (f2 (TYPE_MIN) != 0)
__builtin_abort ();
if (f2 (VALUE - 1) != 0)
__builtin_abort ();
if (f2 (VALUE) != 0)
__builtin_abort ();
if (f2 (VALUE + 1) != 1)
__builtin_abort ();
if (f2 (max_test) != max_test - VALUE)
__builtin_abort ();
if (f3 (TYPE_MIN) != 1)
__builtin_abort ();
if (f3 (VALUE - 1) != 1)
__builtin_abort ();
if (f3 (VALUE) != 1)
__builtin_abort ();
if (f3 (VALUE + 1) != 2)
__builtin_abort ();
if (f3 (max_test - 1) != max_test - VALUE)
__builtin_abort ();
if (f4 (TYPE_MIN) != -1)
__builtin_abort ();
if (f4 (VALUE - 1) != -1)
__builtin_abort ();
if (f4 (VALUE) != -1)
__builtin_abort ();
if (f4 (VALUE + 1) != 0)
__builtin_abort ();
if (f4 (max_test) != max_test - VALUE - 1)
__builtin_abort ();
if (f5 (TYPE_MIN) != -2)
__builtin_abort ();
if (f5 (VALUE - 1) != -2)
__builtin_abort ();
if (f5 (VALUE) != -2)
__builtin_abort ();
if (f5 (VALUE + 1) != -1)
__builtin_abort ();
if (f5 (max_test) != max_test - VALUE - 2)
__builtin_abort ();
if (f6 (TYPE_MIN) != 2)
__builtin_abort ();
if (f6 (VALUE - 1) != 2)
__builtin_abort ();
if (f6 (VALUE) != 2)
__builtin_abort ();
if (f6 (VALUE + 1) != 3)
__builtin_abort ();
if (VALUE <= max_test - 2 && f6 (max_test - 2) != max_test - VALUE)
__builtin_abort ();
return 0;
}
|
