diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2005-12-05 17:20:49 +0000 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gcc.gnu.org> | 2005-12-05 17:20:49 +0000 |
| commit | 410c459d48a17a6eeafa87c43820c82613da3e5d (patch) | |
| tree | 1bfada345814516c5eac0889b2b7e1ecdd0b7e2c | |
| parent | afe6d70550d31308858263b7847731292bf06260 (diff) | |
| download | gcc-410c459d48a17a6eeafa87c43820c82613da3e5d.zip gcc-410c459d48a17a6eeafa87c43820c82613da3e5d.tar.gz gcc-410c459d48a17a6eeafa87c43820c82613da3e5d.tar.bz2 | |
predicates.md (logical_const_operand): Split out of logical_operand.
2005-12-05 Paolo Bonzini <bonzini@gnu.org>
* config/rs6000/predicates.md (logical_const_operand): Split
out of logical_operand.
(logical_operand): Use it.
* config/rs6000/rs6000.md (cmp -> xor peephole2): Use
logical_const_operand.
From-SVN: r108065
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/config/rs6000/predicates.md | 17 | ||||
| -rw-r--r-- | gcc/config/rs6000/rs6000.md | 4 |
3 files changed, 20 insertions, 9 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ea5a9c9..d443ba6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2005-12-05 Paolo Bonzini <bonzini@gnu.org> + + * config/rs6000/predicates.md (logical_const_operand): Split + out of logical_operand. + (logical_operand): Use it. + * config/rs6000/rs6000.md (cmp -> xor peephole2): Use + logical_const_operand. + 2005-12-05 Jan Beulich <jbeulich@novell.com> * config/i386/i386.c (enum ix86_builtins): Remove IX86_BUILTIN_CMPNEPS diff --git a/gcc/config/rs6000/predicates.md b/gcc/config/rs6000/predicates.md index 26f46a0..7baa401a 100644 --- a/gcc/config/rs6000/predicates.md +++ b/gcc/config/rs6000/predicates.md @@ -407,16 +407,13 @@ (match_test "!CONST_OK_FOR_LETTER_P (INTVAL (op), 'I') && !CONST_OK_FOR_LETTER_P (INTVAL (op), 'L')"))) -;; Return 1 if the operand is a non-special register or a constant that -;; can be used as the operand of an OR or XOR. -(define_predicate "logical_operand" - (match_code "reg,subreg,const_int,const_double") +;; Return 1 if the operand is a constant that can be used as the operand +;; of an OR or XOR. +(define_predicate "logical_const_operand" + (match_code "const_int,const_double") { HOST_WIDE_INT opl, oph; - if (gpc_reg_operand (op, mode)) - return 1; - if (GET_CODE (op) == CONST_INT) { opl = INTVAL (op) & GET_MODE_MASK (mode); @@ -441,6 +438,12 @@ || (opl & ~ (unsigned HOST_WIDE_INT) 0xffff0000) == 0); }) +;; Return 1 if the operand is a non-special register or a constant that +;; can be used as the operand of an OR or XOR. +(define_predicate "logical_operand" + (ior (match_operand 0 "gpc_reg_operand") + (match_operand 0 "logical_const_operand"))) + ;; Return 1 if op is a constant that is not a logical operand, but could ;; be split into one. (define_predicate "non_logical_cint_operand" diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md index 14e1fb8..17d8ef6 100644 --- a/gcc/config/rs6000/rs6000.md +++ b/gcc/config/rs6000/rs6000.md @@ -11283,10 +11283,10 @@ (define_peephole2 [(set (match_operand:SI 0 "register_operand") - (match_operand:SI 1 "logical_operand" "")) + (match_operand:SI 1 "logical_const_operand" "")) (set (match_dup 0) (match_operator:SI 3 "boolean_or_operator" [(match_dup 0) - (match_operand:SI 2 "logical_operand" "")])) + (match_operand:SI 2 "logical_const_operand" "")])) (set (match_operand:CC 4 "cc_reg_operand" "") (compare:CC (match_operand:SI 5 "gpc_reg_operand" "") (match_dup 0))) |