From: wilson Date: Fri, 7 Aug 1992 01:59:27 +0000 (+0000) Subject: Correct DEFINE_SPLITs added Jul 27. They would X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=211839410e4784c2dce6c30005c8aeb68c1dd11c;p=platform%2Fupstream%2Flinaro-gcc.git Correct DEFINE_SPLITs added Jul 27. They would overwrite the input register if it was the same as the result reg. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@1776 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/config/sparc/sparc.md b/gcc/config/sparc/sparc.md index b7a739d..b64f949 100644 --- a/gcc/config/sparc/sparc.md +++ b/gcc/config/sparc/sparc.md @@ -1996,15 +1996,16 @@ (define_split [(set (match_operand:SI 0 "register_operand" "") (and:SI (match_operand:SI 1 "register_operand" "") - (match_operand:SI 2 "" "")))] + (match_operand:SI 2 "" ""))) + (clobber (match_operand:SI 3 "register_operand" ""))] "GET_CODE (operands[2]) == CONST_INT && !SMALL_INT (operands[2]) && (INTVAL (operands[2]) & 0x3ff) == 0x3ff" - [(set (match_dup 0) (match_dup 3)) - (set (match_dup 0) (and:SI (not:SI (match_dup 0)) (match_dup 1)))] + [(set (match_dup 3) (match_dup 4)) + (set (match_dup 0) (and:SI (not:SI (match_dup 3)) (match_dup 1)))] " { - operands[3] = gen_rtx (CONST_INT, VOIDmode, ~INTVAL (operands[2])); + operands[4] = gen_rtx (CONST_INT, VOIDmode, ~INTVAL (operands[2])); }") (define_insn "" @@ -2070,15 +2071,16 @@ (define_split [(set (match_operand:SI 0 "register_operand" "") (ior:SI (match_operand:SI 1 "register_operand" "") - (match_operand:SI 2 "" "")))] + (match_operand:SI 2 "" ""))) + (clobber (match_operand:SI 3 "register_operand" ""))] "GET_CODE (operands[2]) == CONST_INT && !SMALL_INT (operands[2]) && (INTVAL (operands[2]) & 0x3ff) == 0x3ff" - [(set (match_dup 0) (match_dup 3)) - (set (match_dup 0) (ior:SI (not:SI (match_dup 0)) (match_dup 1)))] + [(set (match_dup 3) (match_dup 4)) + (set (match_dup 0) (ior:SI (not:SI (match_dup 3)) (match_dup 1)))] " { - operands[3] = gen_rtx (CONST_INT, VOIDmode, ~INTVAL (operands[2])); + operands[4] = gen_rtx (CONST_INT, VOIDmode, ~INTVAL (operands[2])); }") (define_insn "" @@ -2144,29 +2146,31 @@ (define_split [(set (match_operand:SI 0 "register_operand" "") (xor:SI (match_operand:SI 1 "register_operand" "") - (match_operand:SI 2 "" "")))] + (match_operand:SI 2 "" ""))) + (clobber (match_operand:SI 3 "register_operand" ""))] "GET_CODE (operands[2]) == CONST_INT && !SMALL_INT (operands[2]) && (INTVAL (operands[2]) & 0x3ff) == 0x3ff" - [(set (match_dup 0) (match_dup 3)) - (set (match_dup 0) (not:SI (xor:SI (match_dup 0) (match_dup 1))))] + [(set (match_dup 3) (match_dup 4)) + (set (match_dup 0) (not:SI (xor:SI (match_dup 3) (match_dup 1))))] " { - operands[3] = gen_rtx (CONST_INT, VOIDmode, ~INTVAL (operands[2])); + operands[4] = gen_rtx (CONST_INT, VOIDmode, ~INTVAL (operands[2])); }") (define_split [(set (match_operand:SI 0 "register_operand" "") (not:SI (xor:SI (match_operand:SI 1 "register_operand" "") - (match_operand:SI 2 "" ""))))] + (match_operand:SI 2 "" "")))) + (clobber (match_operand:SI 3 "register_operand" ""))] "GET_CODE (operands[2]) == CONST_INT && !SMALL_INT (operands[2]) && (INTVAL (operands[2]) & 0x3ff) == 0x3ff" - [(set (match_dup 0) (match_dup 3)) - (set (match_dup 0) (xor:SI (match_dup 0) (match_dup 1)))] + [(set (match_dup 3) (match_dup 4)) + (set (match_dup 0) (xor:SI (match_dup 3) (match_dup 1)))] " { - operands[3] = gen_rtx (CONST_INT, VOIDmode, ~INTVAL (operands[2])); + operands[4] = gen_rtx (CONST_INT, VOIDmode, ~INTVAL (operands[2])); }") ;; xnor patterns. Note that (a ^ ~b) == (~a ^ b) == ~(a ^ b).