From d795fb69a92a0d01c06dc7962d27bf1a1b3e5d0b Mon Sep 17 00:00:00 2001 From: rearnsha Date: Mon, 8 Dec 2003 11:05:59 +0000 Subject: [PATCH] * arm.md: New split to transform ((X << y) - 1) into ~(~(X-1) << y) for constant X. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@74417 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 5 +++++ gcc/config/arm/arm.md | 14 ++++++++++++++ 2 files changed, 19 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 48f0406..a6c33ac 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2003-12-08 Richard Earnshaw + + * arm.md: New split to transform ((X << y) - 1) into ~(~(X-1) << y) + for constant X. + 2003-12-08 Richard Sandiford * calls.c (expand_call): Don't try using tail or recursive calls diff --git a/gcc/config/arm/arm.md b/gcc/config/arm/arm.md index 3c4dffc..d5d4258 100644 --- a/gcc/config/arm/arm.md +++ b/gcc/config/arm/arm.md @@ -847,6 +847,20 @@ (set_attr "length" "4,8")] ) +; transform ((x << y) - 1) to ~(~(x-1) << y) Where X is a constant. +(define_split + [(set (match_operand:SI 0 "s_register_operand" "") + (plus:SI (ashift:SI (match_operand:SI 1 "const_int_operand" "") + (match_operand:SI 2 "s_register_operand" "")) + (const_int -1))) + (clobber (match_operand:SI 3 "s_register_operand" ""))] + "TARGET_ARM" + [(set (match_dup 3) (match_dup 1)) + (set (match_dup 0) (not:SI (ashift:SI (match_dup 3) (match_dup 2))))] + " + operands[1] = GEN_INT (~(INTVAL (operands[1]) - 1)); +") + (define_expand "addsf3" [(set (match_operand:SF 0 "s_register_operand" "") (plus:SF (match_operand:SF 1 "s_register_operand" "") -- 2.7.4