rs6000: Don't write "nor" as (not (ior () ())) (PR80618)

The canonical RTL for "nor" is (and (not ()) (not ())), and that is
indeed what we use in boolccv2df3_internal1.  So, the splitter for
*vector_uneq<mode> should use that form, not (not (ior () ())), which
does not match any pattern.

	PR target/80618
	* config/rs6000/rs6000.md (*vector_uneq<mode>): Write the nor in the
	splitter result in the canonical way.

From-SVN: r248763

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9ee7d00b57db725901a100670e15ee983b38e63e..77f617ef6c287da425bd52bfadf63251f29c3b34 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2017-05-31  Segher Boessenkool  <segher@kernel.crashing.org>
+
+       PR target/80618
+       * config/rs6000/rs6000.md (*vector_uneq<mode>): Write the nor in the
+       splitter result in the canonical way.
+
 2017-05-31  Uros Bizjak  <ubizjak@gmail.com>
 
        * config/i386/i386.md (*zero_extendsidi2): Enable alternative (?r, *Yj)

diff --git a/gcc/config/rs6000/vector.md b/gcc/config/rs6000/vector.md
index e6489a861cdd4ba51290bfc720df79e1f930a0cd..ea8169fabe0e0d648ea8cb757988923afb4987b7 100644 (file)
--- a/gcc/config/rs6000/vector.md
+++ b/gcc/config/rs6000/vector.md
@@ -582,13 +582,12 @@
        (gt:VEC_F (match_dup 2)
                  (match_dup 1)))
    (set (match_dup 0)
-       (not:VEC_F (ior:VEC_F (match_dup 3)
-                             (match_dup 4))))]
-  "
+       (and:VEC_F (not:VEC_F (match_dup 3))
+                  (not:VEC_F (match_dup 4))))]
 {
   operands[3] = gen_reg_rtx (<MODE>mode);
   operands[4] = gen_reg_rtx (<MODE>mode);
-}")
+})
 
 (define_insn_and_split "*vector_ltgt<mode>"
   [(set (match_operand:VEC_F 0 "vfloat_operand" "")