From: Segher Boessenkool <segher@kernel.crashing.org>
Date: Wed, 31 May 2017 20:58:59 +0000 (+0200)
Subject: rs6000: Don't write "nor" as (not (ior () ())) (PR80618)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ba0ece3922d73beaac7cde3fb7ec9922c7535a3e;p=gcc.git

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 9ee7d00b57d..77f617ef6c2 100644
--- 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 e6489a861cd..ea8169fabe0 100644
--- 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" "")