[PATCH 5/5] MATCH: Add an alt pattern for ANDN and IORN with constants

[Andrew Pinski]

With constants we can match `~(a | CST)` into `CST & ~a`.
Likewise `~(a & CST)` into `CST | ~a`.

Built and tested for aarch64-linux-gnu with no regressions.

        PR target/116013
        PR target/115086

gcc/ChangeLog:

        * match.pd (`~(a & CST)`, `~(a | CST)`): New pattern.

gcc/testsuite/ChangeLog:

        * gcc.target/aarch64/bic-cst-2.c: New test.
        * gcc.target/aarch64/bic_simd-2.c: New test.

Signed-off-by: Andrew Pinski <quic_apin...@quicinc.com>
---
 gcc/match.pd                                  | 10 ++++++
 gcc/testsuite/gcc.target/aarch64/bic-cst-2.c  | 31 +++++++++++++++++
 gcc/testsuite/gcc.target/aarch64/bic_simd-2.c | 33 +++++++++++++++++++
 3 files changed, 74 insertions(+)
 create mode 100644 gcc/testsuite/gcc.target/aarch64/bic-cst-2.c
 create mode 100644 gcc/testsuite/gcc.target/aarch64/bic_simd-2.c

diff --git a/gcc/match.pd b/gcc/match.pd
index 56f631dfeec..680dfea523f 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -9994,6 +9994,16 @@ and,
  (simplify
   (bitopc @0 CONSTANT_CLASS_P@1)
   (bitop (bit_not! @1) @0)))
+
+/* Create bit_andc and bit_iorc internal functions. */
+(for rbitop  (bit_ior      bit_and)
+     bitopc  (IFN_BIT_ANDN IFN_BIT_IORN)
+ (simplify
+  (bit_not (rbitop:s @0 CONSTANT_CLASS_P@1))
+  (if (canonicalize_math_after_vectorization_p ()
+       && direct_internal_fn_supported_p (as_internal_fn (bitopc),
+                                         type, OPTIMIZE_FOR_BOTH))
+   (bitopc (bit_not! @1) @0))))
 #endif
 
 /* For pointers @0 and @2 and nonnegative constant offset @1, look for
diff --git a/gcc/testsuite/gcc.target/aarch64/bic-cst-2.c 
b/gcc/testsuite/gcc.target/aarch64/bic-cst-2.c
new file mode 100644
index 00000000000..b89ac72dae1
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/bic-cst-2.c
@@ -0,0 +1,31 @@
+/* { dg-do compile } */
+/* { dg-additional-options "-O2 -fdump-tree-optimized" } */
+/* { dg-final { check-function-bodies "**" "" "" { target { le } } } } */
+
+/**
+**bar1:
+**     mov     w([0-9]+), 4
+**     bic     w0, w\1, w1
+**     ret
+*/
+int bar1(int a, int c)
+{
+  int b = ~((~4) | c);
+  return b;
+}
+
+/**
+**foo1:
+**     mov     w([0-9]+), 4
+**     orn     w0, w\1, w1
+**     ret
+*/
+int foo1(int a, int c)
+{
+  int b = ~((~4) & c);
+  return b;
+}
+
+/* { dg-final { scan-tree-dump ".BIT_ANDN " "optimized" } } */
+/* { dg-final { scan-tree-dump ".BIT_IORN " "optimized" } } */
+
diff --git a/gcc/testsuite/gcc.target/aarch64/bic_simd-2.c 
b/gcc/testsuite/gcc.target/aarch64/bic_simd-2.c
new file mode 100644
index 00000000000..8543ce61400
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/bic_simd-2.c
@@ -0,0 +1,33 @@
+/* { dg-do compile } */
+/* { dg-additional-options "-O2 -fdump-tree-optimized" } */
+/* { dg-final { check-function-bodies "**" "" "" { target { le } } } } */
+
+/**
+**bar1:
+**     movi    v([0-9]+).2s, 0x4
+**     bic     v0.8b, v\1.8b, v1.8b
+**     ret
+*/
+#define vect8 __attribute__((vector_size(8)))
+vect8 int bar1(vect8 int a, vect8 int c)
+{
+  vect8 int b = ~((~4) | c);
+  return b;
+}
+
+/**
+**foo1:
+**     movi    v([0-9]+).2s, 0x4
+**     orn     v0.8b, v\1.8b, v1.8b
+**     ret
+*/
+#define vect8 __attribute__((vector_size(8)))
+vect8 int foo1(vect8 int a, vect8 int c)
+{
+  vect8 int b = ~((~4) & c);
+  return b;
+}
+
+/* { dg-final { scan-tree-dump ".BIT_ANDN " "optimized" } } */
+/* { dg-final { scan-tree-dump ".BIT_IORN " "optimized" } } */
+
-- 
2.43.0