From de9315db9c74db72425230b6af548c9ddfe02bbd Mon Sep 17 00:00:00 2001 From: Richard Earnshaw 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. * arm.md: New split to transform ((X << y) - 1) into ~(~(X-1) << y) for constant X. From-SVN: r74417 --- gcc/ChangeLog | 5 +++++ gcc/config/arm/arm.md | 14 ++++++++++++++ 2 files changed, 19 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 48f04066fab..a6c33ac22fb 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 3c4dffc9185..d5d42589bb6 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.30.2