[arm-embedded][PATCH, ARM 4/6] Factor out MOVW/MOVT availability and desirability checks
Thomas Preud'homme
thomas.preudhomme@foss.arm.com
Thu Dec 17 08:03:00 GMT 2015
Hi,
We decided to apply the following patch to the ARM embedded 5 branch.
Best regards,
Thomas
> -----Original Message-----
> From: gcc-patches-owner@gcc.gnu.org [mailto:gcc-patches-
> owner@gcc.gnu.org] On Behalf Of Thomas Preud'homme
> Sent: Thursday, December 17, 2015 3:59 PM
> To: gcc-patches@gcc.gnu.org; Richard Earnshaw; Ramana Radhakrishnan;
> Kyrylo Tkachov
> Subject: [PATCH, ARM 4/6] Factor out MOVW/MOVT availability and
> desirability checks
>
> Hi,
>
> This patch is part of a patch series to add support for ARMv8-M[1] to GCC.
> This specific patch factors out the checks for MOVW/MOVT availability
> and whether to use it. To this end, the new macro TARGET_HAVE_MOVT
> is introduced and code is modified to use it or the existing
> TARGET_USE_MOVT as needed.
>
> [1] For a quick overview of ARMv8-M please refer to the initial cover
> letter.
>
> ChangeLog entry is as follows:
>
>
> *** gcc/ChangeLog ***
>
> 2015-11-09 Thomas Preud'homme <thomas.preudhomme@arm.com>
>
> * config/arm/arm.h (TARGET_USE_MOVT): Check MOVT/MOVW
> availability
> with TARGET_HAVE_MOVT.
> (TARGET_HAVE_MOVT): Define.
> * config/arm/arm.c (const_ok_for_op): Check MOVT/MOVW
> availability with TARGET_HAVE_MOVT.
> * config/arm/arm.md (arm_movt): Use TARGET_HAVE_MOVT to
> check movt
> availability.
> (addsi splitter): Use TARGET_USE_MOVT to check whether to use
> movt + movw.
> (symbol_refs movsi splitter): Remove TARGET_32BIT check.
> (arm_movtas_ze): Use TARGET_HAVE_MOVT to check movt
> availability.
> * config/arm/constraints.md (define_constraint "j"): Use
> TARGET_HAVE_MOVT to check movt availability.
>
>
> diff --git a/gcc/config/arm/arm.h b/gcc/config/arm/arm.h
> index fed3205..1831d01 100644
> --- a/gcc/config/arm/arm.h
> +++ b/gcc/config/arm/arm.h
> @@ -233,7 +233,7 @@ extern void
> (*arm_lang_output_object_attributes_hook)(void);
>
> /* Should MOVW/MOVT be used in preference to a constant pool. */
> #define TARGET_USE_MOVT \
> - (arm_arch_thumb2 \
> + (TARGET_HAVE_MOVT \
> && (arm_disable_literal_pool \
> || (!optimize_size && !current_tune->prefer_constant_pool)))
>
> @@ -268,6 +268,9 @@ extern void
> (*arm_lang_output_object_attributes_hook)(void);
> /* Nonzero if this chip supports load-acquire and store-release. */
> #define TARGET_HAVE_LDACQ (TARGET_ARM_ARCH >= 8)
>
> +/* Nonzero if this chip provides the movw and movt instructions. */
> +#define TARGET_HAVE_MOVT (arm_arch_thumb2)
> +
> /* Nonzero if integer division instructions supported. */
> #define TARGET_IDIV ((TARGET_ARM && arm_arch_arm_hwdiv) \
> || (TARGET_THUMB2 &&
> arm_arch_thumb_hwdiv))
> diff --git a/gcc/config/arm/arm.c b/gcc/config/arm/arm.c
> index 62287bc..ec5197a 100644
> --- a/gcc/config/arm/arm.c
> +++ b/gcc/config/arm/arm.c
> @@ -3851,7 +3851,7 @@ const_ok_for_op (HOST_WIDE_INT i, enum
> rtx_code code)
> {
> case SET:
> /* See if we can use movw. */
> - if (arm_arch_thumb2 && (i & 0xffff0000) == 0)
> + if (TARGET_HAVE_MOVT && (i & 0xffff0000) == 0)
> return 1;
> else
> /* Otherwise, try mvn. */
> diff --git a/gcc/config/arm/arm.md b/gcc/config/arm/arm.md
> index 8ebb1bf..78dafa0 100644
> --- a/gcc/config/arm/arm.md
> +++ b/gcc/config/arm/arm.md
> @@ -5736,7 +5736,7 @@
> [(set (match_operand:SI 0 "nonimmediate_operand" "=r")
> (lo_sum:SI (match_operand:SI 1 "nonimmediate_operand" "0")
> (match_operand:SI 2 "general_operand" "i")))]
> - "arm_arch_thumb2 && arm_valid_symbolic_address_p (operands[2])"
> + "TARGET_HAVE_MOVT && arm_valid_symbolic_address_p
> (operands[2])"
> "movt%?\t%0, #:upper16:%c2"
> [(set_attr "predicable" "yes")
> (set_attr "predicable_short_it" "no")
> @@ -5796,8 +5796,7 @@
> [(set (match_operand:SI 0 "arm_general_register_operand" "")
> (const:SI (plus:SI (match_operand:SI 1 "general_operand" "")
> (match_operand:SI 2 "const_int_operand"
> ""))))]
> - "TARGET_THUMB2
> - && arm_disable_literal_pool
> + "TARGET_USE_MOVT
> && reload_completed
> && GET_CODE (operands[1]) == SYMBOL_REF"
> [(clobber (const_int 0))]
> @@ -5827,8 +5826,7 @@
> (define_split
> [(set (match_operand:SI 0 "arm_general_register_operand" "")
> (match_operand:SI 1 "general_operand" ""))]
> - "TARGET_32BIT
> - && TARGET_USE_MOVT && GET_CODE (operands[1]) ==
> SYMBOL_REF
> + "TARGET_USE_MOVT && GET_CODE (operands[1]) == SYMBOL_REF
> && !flag_pic && !target_word_relocations
> && !arm_tls_referenced_p (operands[1])"
> [(clobber (const_int 0))]
> @@ -11030,7 +11028,7 @@
> (const_int 16)
> (const_int 16))
> (match_operand:SI 1 "const_int_operand" ""))]
> - "arm_arch_thumb2"
> + "TARGET_HAVE_MOVT"
> "movt%?\t%0, %L1"
> [(set_attr "predicable" "yes")
> (set_attr "predicable_short_it" "no")
> diff --git a/gcc/config/arm/constraints.md
> b/gcc/config/arm/constraints.md
> index d01a918..838e031 100644
> --- a/gcc/config/arm/constraints.md
> +++ b/gcc/config/arm/constraints.md
> @@ -67,7 +67,7 @@
>
> (define_constraint "j"
> "A constant suitable for a MOVW instruction. (ARM/Thumb-2)"
> - (and (match_test "TARGET_32BIT && arm_arch_thumb2")
> + (and (match_test "TARGET_HAVE_MOVT")
> (ior (and (match_code "high")
> (match_test "arm_valid_symbolic_address_p (XEXP (op,
> 0))"))
> (and (match_code "const_int")
>
>
> Testing:
>
> * Toolchain was built successfully with the following multilib list: armv6-
> m,armv7-m,armv7e-m,cortex-m7. The code generation for crtbegin.o,
> crtend.o, crti.o, crtn.o, libgcc.a, libgcov.a, libc.a, libg.a, libgloss-linux.a,
> libm.a, libnosys.a, librdimon.a, librdpmon.a, libstdc++.a and libsupc++.a is
> unchanged for all these targets.
>
> * GCC also showed no testsuite regression when targeting ARMv6-M
> and ARMv7-M (compared to without the patch)
> * GCC was bootstrapped successfully targeting Thumb-1 and targeting
> Thumb-2
>
> Is this ok for stage3?
>
> Best regards,
>
> Thomas
More information about the Gcc-patches
mailing list