From: Pan Li <pan2...@intel.com>
The phiopt2 pass will also try the gimple_simplify for the form 15
of unsigned integer SAT_ADD. Thus add the testcase to make sure
it will be performed in phiopt2 pass.
The below test suites are passed for this patch:
1. The rv64gcv fully regression tests.
2. The x86 bootstrap tests.
3. The x86 fully regression tests.
gcc/testsuite/ChangeLog:
* gcc.dg/sat_arith_simplify.h: Add test helper macros.
* gcc.dg/sat_u_add-simplify-15-u16.c: New test.
* gcc.dg/sat_u_add-simplify-15-u32.c: New test.
* gcc.dg/sat_u_add-simplify-15-u64.c: New test.
* gcc.dg/sat_u_add-simplify-15-u8.c: New test.
Signed-off-by: Pan Li <pan2...@intel.com>
---
gcc/testsuite/gcc.dg/sat_arith_simplify.h | 10 ++++++++++
gcc/testsuite/gcc.dg/sat_u_add-simplify-15-u16.c | 11 +++++++++++
gcc/testsuite/gcc.dg/sat_u_add-simplify-15-u32.c | 11 +++++++++++
gcc/testsuite/gcc.dg/sat_u_add-simplify-15-u64.c | 11 +++++++++++
gcc/testsuite/gcc.dg/sat_u_add-simplify-15-u8.c | 11 +++++++++++
5 files changed, 54 insertions(+)
create mode 100644 gcc/testsuite/gcc.dg/sat_u_add-simplify-15-u16.c
create mode 100644 gcc/testsuite/gcc.dg/sat_u_add-simplify-15-u32.c
create mode 100644 gcc/testsuite/gcc.dg/sat_u_add-simplify-15-u64.c
create mode 100644 gcc/testsuite/gcc.dg/sat_u_add-simplify-15-u8.c
diff --git a/gcc/testsuite/gcc.dg/sat_arith_simplify.h
b/gcc/testsuite/gcc.dg/sat_arith_simplify.h
index 6760b021445..d8e2fee80ad 100644
--- a/gcc/testsuite/gcc.dg/sat_arith_simplify.h
+++ b/gcc/testsuite/gcc.dg/sat_arith_simplify.h
@@ -109,4 +109,14 @@ T sat_u_add_##T##_14 (T x, T y) \
return __builtin_add_overflow (x, y, &ret) ? -1 : ret; \
}
+#define DEF_SAT_U_ADD_15(T) \
+T sat_u_add_##T##_15 (T x, T y) \
+{ \
+ T ret; \
+ if (__builtin_add_overflow (x, y, &ret) != 0) \
+ return -1; \
+ else \
+ return ret; \
+}
+
#endif
diff --git a/gcc/testsuite/gcc.dg/sat_u_add-simplify-15-u16.c
b/gcc/testsuite/gcc.dg/sat_u_add-simplify-15-u16.c
new file mode 100644
index 00000000000..0a0389964ae
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/sat_u_add-simplify-15-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_15 (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-15-u32.c
b/gcc/testsuite/gcc.dg/sat_u_add-simplify-15-u32.c
new file mode 100644
index 00000000000..488f18b1c0b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/sat_u_add-simplify-15-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_15 (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-15-u64.c
b/gcc/testsuite/gcc.dg/sat_u_add-simplify-15-u64.c
new file mode 100644
index 00000000000..f33e10a7757
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/sat_u_add-simplify-15-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_15 (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-15-u8.c
b/gcc/testsuite/gcc.dg/sat_u_add-simplify-15-u8.c
new file mode 100644
index 00000000000..02b0aa953e3
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/sat_u_add-simplify-15-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_15 (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
