From 3295b529d2fa5affde11526f04248af8f62444ed Mon Sep 17 00:00:00 2001 From: Kyrylo Tkachov Date: Mon, 6 Jun 2016 15:59:48 +0000 Subject: [PATCH] [1/3][ARM] Keep ctz expressions together until after reload PR middle-end/37780 * config/arm/arm.md (ctzsi2): Convert to define_insn_and_split. From-SVN: r237138 --- gcc/ChangeLog | 5 +++++ gcc/config/arm/arm.md | 25 ++++++++++++++----------- 2 files changed, 19 insertions(+), 11 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3bffb744b8d..7d8e76b3cd8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2016-06-06 Kyrylo Tkachov + + PR middle-end/37780 + * config/arm/arm.md (ctzsi2): Convert to define_insn_and_split. + 2016-06-06 Bernd Edlinger PR c/24414 diff --git a/gcc/config/arm/arm.md b/gcc/config/arm/arm.md index 451011d9486..04714a1335e 100644 --- a/gcc/config/arm/arm.md +++ b/gcc/config/arm/arm.md @@ -10822,19 +10822,22 @@ (set_attr "predicable_short_it" "no") (set_attr "type" "clz")]) -(define_expand "ctzsi2" - [(set (match_operand:SI 0 "s_register_operand" "") - (ctz:SI (match_operand:SI 1 "s_register_operand" "")))] +;; Keep this as a CTZ expression until after reload and then split +;; into RBIT + CLZ. Since RBIT is represented as an UNSPEC it is unlikely +;; to fold with any other expression. + +(define_insn_and_split "ctzsi2" + [(set (match_operand:SI 0 "s_register_operand" "=r") + (ctz:SI (match_operand:SI 1 "s_register_operand" "r")))] "TARGET_32BIT && arm_arch_thumb2" + "#" + "&& reload_completed" + [(const_int 0)] " - { - rtx tmp = gen_reg_rtx (SImode); - emit_insn (gen_rbitsi2 (tmp, operands[1])); - emit_insn (gen_clzsi2 (operands[0], tmp)); - } - DONE; - " -) + emit_insn (gen_rbitsi2 (operands[0], operands[1])); + emit_insn (gen_clzsi2 (operands[0], operands[0])); + DONE; +") ;; V5E instructions. -- 2.30.2