diff mbox

[ARM] Fix ldrd offsets

Message ID AM5PR0802MB26102406F31B849D10AC540B83DC0@AM5PR0802MB2610.eurprd08.prod.outlook.com
State New
Headers show

Commit Message

Wilco Dijkstra June 27, 2017, 3:39 p.m. UTC
ping

From: Wilco Dijkstra
Sent: 03 November 2016 12:20
To: GCC Patches
Cc: nd
Subject: [PATCH][ARM] Fix ldrd offsets
    
Fix ldrd offsets of Thumb-2 - for TARGET_LDRD the range is +-1020,
without -255..4091.  This reduces the number of addressing instructions
when using DI mode operations (such as in PR77308).

Bootstrap & regress OK.

ChangeLog:
2015-11-03  Wilco Dijkstra  <wdijkstr@arm.com>

    gcc/
        * config/arm/arm.c (arm_legitimate_index_p): Add comment.
        (thumb2_legitimate_index_p): Use correct range for DI/DF mode.
--

Comments

Kyrill Tkachov Sept. 4, 2017, 5 p.m. UTC | #1
On 27/06/17 16:39, Wilco Dijkstra wrote:
>
>
> ping
>
> From: Wilco Dijkstra
> Sent: 03 November 2016 12:20
> To: GCC Patches
> Cc: nd
> Subject: [PATCH][ARM] Fix ldrd offsets
>
> Fix ldrd offsets of Thumb-2 - for TARGET_LDRD the range is +-1020,
> without -255..4091.  This reduces the number of addressing instructions
> when using DI mode operations (such as in PR77308).
>
> Bootstrap & regress OK.
>
Ok.

Thanks,
Kyrill


> ChangeLog:
> 2015-11-03  Wilco Dijkstra  <wdijkstr@arm.com>
>
>     gcc/
>         * config/arm/arm.c (arm_legitimate_index_p): Add comment.
>         (thumb2_legitimate_index_p): Use correct range for DI/DF mode.
> --
>
> diff --git a/gcc/config/arm/arm.c b/gcc/config/arm/arm.c
> index 
> 3c4c7042d9c2101619722b5822b3d1ca37d637b9..5d12cf9c46c27d60a278d90584bde36ec86bb3fe 
> 100644
> --- a/gcc/config/arm/arm.c
> +++ b/gcc/config/arm/arm.c
> @@ -7486,6 +7486,8 @@ arm_legitimate_index_p (machine_mode mode, rtx 
> index, RTX_CODE outer,
>          {
>            HOST_WIDE_INT val = INTVAL (index);
>
> +         /* Assume we emit ldrd or 2x ldr if !TARGET_LDRD.
> +            If vldr is selected it uses arm_coproc_mem_operand.  */
>            if (TARGET_LDRD)
>              return val > -256 && val < 256;
>            else
> @@ -7613,11 +7615,13 @@ thumb2_legitimate_index_p (machine_mode mode, 
> rtx index, int strict_p)
>        if (code == CONST_INT)
>          {
>            HOST_WIDE_INT val = INTVAL (index);
> -         /* ??? Can we assume ldrd for thumb2?  */
> -         /* Thumb-2 ldrd only has reg+const addressing modes.  */
> -         /* ldrd supports offsets of +-1020.
> -            However the ldr fallback does not.  */
> -         return val > -256 && val < 256 && (val & 3) == 0;
> +         /* Thumb-2 ldrd only has reg+const addressing modes.
> +            Assume we emit ldrd or 2x ldr if !TARGET_LDRD.
> +            If vldr is selected it uses arm_coproc_mem_operand.  */
> +         if (TARGET_LDRD)
> +           return IN_RANGE (val, -1020, 1020) && (val & 3) == 0;
> +         else
> +           return IN_RANGE (val, -255, 4095 - 4);
>          }
>        else
>          return 0;
diff mbox

Patch

diff --git a/gcc/config/arm/arm.c b/gcc/config/arm/arm.c
index 3c4c7042d9c2101619722b5822b3d1ca37d637b9..5d12cf9c46c27d60a278d90584bde36ec86bb3fe 100644
--- a/gcc/config/arm/arm.c
+++ b/gcc/config/arm/arm.c
@@ -7486,6 +7486,8 @@  arm_legitimate_index_p (machine_mode mode, rtx index, RTX_CODE outer,
         {
           HOST_WIDE_INT val = INTVAL (index);
 
+         /* Assume we emit ldrd or 2x ldr if !TARGET_LDRD.
+            If vldr is selected it uses arm_coproc_mem_operand.  */
           if (TARGET_LDRD)
             return val > -256 && val < 256;
           else
@@ -7613,11 +7615,13 @@  thumb2_legitimate_index_p (machine_mode mode, rtx index, int strict_p)
       if (code == CONST_INT)
         {
           HOST_WIDE_INT val = INTVAL (index);
-         /* ??? Can we assume ldrd for thumb2?  */
-         /* Thumb-2 ldrd only has reg+const addressing modes.  */
-         /* ldrd supports offsets of +-1020.
-            However the ldr fallback does not.  */
-         return val > -256 && val < 256 && (val & 3) == 0;
+         /* Thumb-2 ldrd only has reg+const addressing modes.
+            Assume we emit ldrd or 2x ldr if !TARGET_LDRD.
+            If vldr is selected it uses arm_coproc_mem_operand.  */
+         if (TARGET_LDRD)
+           return IN_RANGE (val, -1020, 1020) && (val & 3) == 0;
+         else
+           return IN_RANGE (val, -255, 4095 - 4);
         }
       else
         return 0;