diff mbox series

[v2,2/2] testsuite: Add new testcases for bitop reduction simplifications

Message ID 20260603085303.7353-3-souradiptodas6@gmail.com
State Superseded
Headers
Series tree-optimization: Add bitop reduction simplifications against zero [PR125442] |

Checks

Context Check Description
linaro-tcwg-bot/tcwg_gcc_build--master-arm success Build passed
linaro-tcwg-bot/tcwg_gcc_check--master-arm success Test passed
linaro-tcwg-bot/tcwg_simplebootstrap_build--master-aarch64-bootstrap success Build passed
linaro-tcwg-bot/tcwg_gcc_build--master-aarch64 success Build passed
linaro-tcwg-bot/tcwg_simplebootstrap_build--master-arm-bootstrap success Build passed

Commit Message

Souradipto Das June 3, 2026, 8:51 a.m. UTC 
  This patch adds dedicated test coverage to verify the bitwise reduction
simplifications against zero implemented in match.pd.

        PR tree-optimization/125442

gcc/testsuite/ChangeLog:

        * gcc.dg/int-bwise-opt-3.c: New test.
        * gcc.dg/int-bwise-opt-4.c: New test.
---
 gcc/testsuite/gcc.dg/int-bwise-opt-3.c | 9 +++++++++
 gcc/testsuite/gcc.dg/int-bwise-opt-4.c | 9 +++++++++
 2 files changed, 18 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/int-bwise-opt-3.c
 create mode 100644 gcc/testsuite/gcc.dg/int-bwise-opt-4.c
diff mbox series

Patch

diff --git a/gcc/testsuite/gcc.dg/int-bwise-opt-3.c b/gcc/testsuite/gcc.dg/int-bwise-opt-3.c
new file mode 100644
index 000000000..199e85dbe
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/int-bwise-opt-3.c
@@ -0,0 +1,9 @@ 
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+int f1(int a, int b)
+{
+  return (a == 0) | ((a | b) == 0);
+}
+
+/* { dg-final { scan-tree-dump-times "\\\|" 0 "optimized" } } */
diff --git a/gcc/testsuite/gcc.dg/int-bwise-opt-4.c b/gcc/testsuite/gcc.dg/int-bwise-opt-4.c
new file mode 100644
index 000000000..24b55c983
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/int-bwise-opt-4.c
@@ -0,0 +1,9 @@ 
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+int f1(int a, int b)
+{
+  return (a != 0) & ((a | b) != 0);
+}
+
+/* { dg-final { scan-tree-dump-times "\&" 0 "optimized" } } */