From: Pan Li <pan2...@intel.com> The phiopt2 pass will also try the gimple_simplify for the form 7 of unsigned integer SAT_ADD. Thus add the testcase to make sure it will be performed in phiopt2 pass.
gcc/testsuite/ChangeLog: * gcc.dg/sat_arith_simplify.h: Add test helper macros. * gcc.dg/sat_u_add-simplify-7-u16.c: New test. * gcc.dg/sat_u_add-simplify-7-u32.c: New test. * gcc.dg/sat_u_add-simplify-7-u64.c: New test. * gcc.dg/sat_u_add-simplify-7-u8.c: New test. Signed-off-by: Pan Li <pan2...@intel.com> --- gcc/testsuite/gcc.dg/sat_arith_simplify.h | 9 +++++++++ gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u16.c | 11 +++++++++++ gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u32.c | 11 +++++++++++ gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u64.c | 11 +++++++++++ gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u8.c | 11 +++++++++++ 5 files changed, 53 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u16.c create mode 100644 gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u32.c create mode 100644 gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u64.c create mode 100644 gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u8.c diff --git a/gcc/testsuite/gcc.dg/sat_arith_simplify.h b/gcc/testsuite/gcc.dg/sat_arith_simplify.h index d577adb9a88..a9d183c9abf 100644 --- a/gcc/testsuite/gcc.dg/sat_arith_simplify.h +++ b/gcc/testsuite/gcc.dg/sat_arith_simplify.h @@ -43,4 +43,13 @@ T sat_u_add_##T##_6 (T x, T y) \ return x + y; \ } +#define DEF_SAT_U_ADD_7(T) \ +T sat_u_add_##T##_7 (T x, T y) \ +{ \ + if (x <= (T)(x + y)) \ + return x + y; \ + else \ + return -1; \ +} + #endif diff --git a/gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u16.c b/gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u16.c new file mode 100644 index 00000000000..1700599e862 --- /dev/null +++ b/gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u16.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-phiopt2-details" } */ + +#include <stdint.h> +#include "sat_arith_simplify.h" + +DEF_SAT_U_ADD_7 (uint16_t) + +/* { dg-final { scan-tree-dump-not " if " "phiopt2" } } */ +/* { dg-final { scan-tree-dump-not " else " "phiopt2" } } */ +/* { dg-final { scan-tree-dump-not " goto " "phiopt2" } } */ diff --git a/gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u32.c b/gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u32.c new file mode 100644 index 00000000000..33e649e4cfe --- /dev/null +++ b/gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u32.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-phiopt2-details" } */ + +#include <stdint.h> +#include "sat_arith_simplify.h" + +DEF_SAT_U_ADD_7 (uint32_t) + +/* { dg-final { scan-tree-dump-not " if " "phiopt2" } } */ +/* { dg-final { scan-tree-dump-not " else " "phiopt2" } } */ +/* { dg-final { scan-tree-dump-not " goto " "phiopt2" } } */ diff --git a/gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u64.c b/gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u64.c new file mode 100644 index 00000000000..ab05d833d19 --- /dev/null +++ b/gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u64.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-phiopt2-details" } */ + +#include <stdint.h> +#include "sat_arith_simplify.h" + +DEF_SAT_U_ADD_7 (uint64_t) + +/* { dg-final { scan-tree-dump-not " if " "phiopt2" } } */ +/* { dg-final { scan-tree-dump-not " else " "phiopt2" } } */ +/* { dg-final { scan-tree-dump-not " goto " "phiopt2" } } */ diff --git a/gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u8.c b/gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u8.c new file mode 100644 index 00000000000..17d0068ad30 --- /dev/null +++ b/gcc/testsuite/gcc.dg/sat_u_add-simplify-7-u8.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-phiopt2-details" } */ + +#include <stdint.h> +#include "sat_arith_simplify.h" + +DEF_SAT_U_ADD_7 (uint8_t) + +/* { dg-final { scan-tree-dump-not " if " "phiopt2" } } */ +/* { dg-final { scan-tree-dump-not " else " "phiopt2" } } */ +/* { dg-final { scan-tree-dump-not " goto " "phiopt2" } } */ -- 2.43.0