From 3c91f126f470758738a0cddbec8f978f42486754 Mon Sep 17 00:00:00 2001 From: Andreas Krebbel Date: Fri, 11 Apr 2014 10:42:27 +0000 Subject: [PATCH] s390.md: Add a splitter for NOT rtx. 2014-04-11 Andreas Krebbel * config/s390/s390.md: Add a splitter for NOT rtx. From-SVN: r209295 --- gcc/ChangeLog | 4 ++++ gcc/config/s390/s390.md | 15 +++++++++++++++ 2 files changed, 19 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d702fae6b6f..b4173bcbe12 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2014-04-11 Andreas Krebbel + + * config/s390/s390.md: Add a splitter for NOT rtx. + 2014-04-11 Jakub Jelinek PR rtl-optimization/60663 diff --git a/gcc/config/s390/s390.md b/gcc/config/s390/s390.md index 7d9d1ad7ecd..b17c1fac875 100644 --- a/gcc/config/s390/s390.md +++ b/gcc/config/s390/s390.md @@ -7001,6 +7001,21 @@ "" "s390_expand_logical_operator (XOR, mode, operands); DONE;") +; Combine replaces (xor (x) (const_int -1)) with (not (x)) when doing +; simplifications. So its better to have something matching. +(define_split + [(set (match_operand:INT 0 "nonimmediate_operand" "") + (not:INT (match_operand:INT 1 "nonimmediate_operand" "")))] + "" + [(parallel + [(set (match_dup 0) (xor:INT (match_dup 1) (match_dup 2))) + (clobber (reg:CC CC_REGNUM))])] +{ + operands[2] = constm1_rtx; + if (!s390_logical_operator_ok_p (operands)) + FAIL; +}) + ; ; xordi3 instruction pattern(s). ;