From ba0ece3922d73beaac7cde3fb7ec9922c7535a3e Mon Sep 17 00:00:00 2001 From: Segher Boessenkool Date: Wed, 31 May 2017 22:58:59 +0200 Subject: [PATCH] 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 should use that form, not (not (ior () ())), which does not match any pattern. PR target/80618 * config/rs6000/rs6000.md (*vector_uneq): Write the nor in the splitter result in the canonical way. From-SVN: r248763 --- gcc/ChangeLog | 6 ++++++ gcc/config/rs6000/vector.md | 7 +++---- 2 files changed, 9 insertions(+), 4 deletions(-) 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 + + PR target/80618 + * config/rs6000/rs6000.md (*vector_uneq): Write the nor in the + splitter result in the canonical way. + 2017-05-31 Uros Bizjak * 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); operands[4] = gen_reg_rtx (mode); -}") +}) (define_insn_and_split "*vector_ltgt" [(set (match_operand:VEC_F 0 "vfloat_operand" "") -- 2.30.2