[committed] More infrastructure to avoid bogus RTL on H8

[committed] More infrastructure to avoid bogus RTL on H8

[Jeff Law]

[-- Attachment #1: Type: text/plain, Size: 201 bytes --]

Continuing the work to add constraints to avoid invalid RTL  with 
autoinc addressing modes.  Specifically this patch adds  the memory 
constraints similar to the pdp11.

Pushed to the trunk,

Jeff

[-- Attachment #2: P --]
[-- Type: text/plain, Size: 3087 bytes --]

commit 19859bd72119708c85cc6976b3547738be6f5b1c
Author: Jeff Law <jeffreyalaw@gmail.com>
Date:   Mon Oct 17 19:42:27 2022 -0400

    More infrastructure to avoid bogus RTL on H8.
    
    Continuing the work to add constraints to avoid invalid RTL
    with autoinc addressing modes.  Specifically this patch adds
    the memory constraints similar to the pdp11.
    
    gcc/
    
            * config/h8300/constraints.md (Za..Zh): New constraints for
            autoinc addresses using a specific register.
            * config/h8300/h8300.cc (pre_incdec_with_reg): New function.
            * config/h8300/h8300-protos.h (pre_incdec_with_reg): Add prototype.

diff --git a/gcc/config/h8300/constraints.md b/gcc/config/h8300/constraints.md
index 6eaffc16975..7e6681c4492 100644
--- a/gcc/config/h8300/constraints.md
+++ b/gcc/config/h8300/constraints.md
@@ -241,3 +241,11 @@
 (define_register_constraint "Z7" "NOT_SP_REGS"
   "@internal")
 
+(define_constraint "Za" "@internal" (match_test "pre_incdec_with_reg (op, 0)"))
+(define_constraint "Zb" "@internal" (match_test "pre_incdec_with_reg (op, 1)"))
+(define_constraint "Zc" "@internal" (match_test "pre_incdec_with_reg (op, 2)"))
+(define_constraint "Zd" "@internal" (match_test "pre_incdec_with_reg (op, 3)"))
+(define_constraint "Ze" "@internal" (match_test "pre_incdec_with_reg (op, 4)"))
+(define_constraint "Zf" "@internal" (match_test "pre_incdec_with_reg (op, 5)"))
+(define_constraint "Zg" "@internal" (match_test "pre_incdec_with_reg (op, 6)"))
+(define_constraint "Zh" "@internal" (match_test "pre_incdec_with_reg (op, 7)"))
diff --git a/gcc/config/h8300/h8300-protos.h b/gcc/config/h8300/h8300-protos.h
index e9d434c0d5a..8c989495c29 100644
--- a/gcc/config/h8300/h8300-protos.h
+++ b/gcc/config/h8300/h8300-protos.h
@@ -100,6 +100,7 @@ extern int h8300_initial_elimination_offset (int, int);
 extern int h8300_regs_ok_for_stm (int, rtx[]);
 extern int h8300_hard_regno_rename_ok (unsigned int, unsigned int);
 extern bool h8300_move_ok (rtx, rtx);
+extern bool pre_incdec_with_reg (rtx, int);
 
 struct cpp_reader;
 extern void h8300_pr_interrupt (struct cpp_reader *);
diff --git a/gcc/config/h8300/h8300.cc b/gcc/config/h8300/h8300.cc
index be3e385c91e..ce0702edecb 100644
--- a/gcc/config/h8300/h8300.cc
+++ b/gcc/config/h8300/h8300.cc
@@ -5531,6 +5531,32 @@ h8300_ok_for_sibcall_p (tree fndecl, tree)
 
   return 1;
 }
+
+/* Return TRUE if OP is a PRE_INC or PRE_DEC
+   instruction using REG, FALSE otherwise.  */
+
+bool
+pre_incdec_with_reg (rtx op, int reg)
+{
+  /* OP must be a MEM.  */
+  if (GET_CODE (op) != MEM)
+    return false;
+
+  /* The address must be a PRE_INC or PRE_DEC.  */
+  op = XEXP (op, 0);
+  if (GET_CODE (op) != PRE_DEC && GET_CODE (op) != PRE_INC)
+    return false;
+
+  /* It must be a register that is being incremented
+     or decremented.  */
+  op = XEXP (op, 0);
+  if (!REG_P (op))
+    return false;
+
+  /* Finally, check that the register number matches.  */
+  return REGNO (op) == reg;
+}
+
 \f
 /* Initialize the GCC target structure.  */
 #undef TARGET_ATTRIBUTE_TABLE

Re: [committed] More infrastructure to avoid bogus RTL on H8

[Jan-Benedict Glaw]

[-- Attachment #1: Type: text/plain, Size: 1414 bytes --]

Hi Jeff!

On Mon, 2022-10-17 17:47:16 -0600, Jeff Law via Gcc-patches <gcc-patches@gcc.gnu.org> wrote:
> --- a/gcc/config/h8300/h8300.cc
> +++ b/gcc/config/h8300/h8300.cc
> @@ -5531,6 +5531,32 @@ h8300_ok_for_sibcall_p (tree fndecl, tree)
>  
>    return 1;
>  }
> +
> +/* Return TRUE if OP is a PRE_INC or PRE_DEC
> +   instruction using REG, FALSE otherwise.  */
> +
> +bool
> +pre_incdec_with_reg (rtx op, int reg)
> +{
> +  /* OP must be a MEM.  */
> +  if (GET_CODE (op) != MEM)
> +    return false;
> +
> +  /* The address must be a PRE_INC or PRE_DEC.  */
> +  op = XEXP (op, 0);
> +  if (GET_CODE (op) != PRE_DEC && GET_CODE (op) != PRE_INC)
> +    return false;
> +
> +  /* It must be a register that is being incremented
> +     or decremented.  */
> +  op = XEXP (op, 0);
> +  if (!REG_P (op))
> +    return false;
> +
> +  /* Finally, check that the register number matches.  */
> +  return REGNO (op) == reg;

This results in a new signed-vs-unsigned warning for me:

[all 2022-10-25 00:41:11] ../../gcc/gcc/config/h8300/h8300.cc: In function 'bool pre_incdec_with_reg(rtx, int)':
[all 2022-10-25 00:41:11] ../../gcc/gcc/config/h8300/h8300.cc:5557:21: error: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Werror=sign-compare]
[all 2022-10-25 00:41:11]  5557 |   return REGNO (op) == reg;

Thanks,
  Jan-Benedict

-- 

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 195 bytes --]

Re: [committed] More infrastructure to avoid bogus RTL on H8

[Jeff Law]

[-- Attachment #1: Type: text/plain, Size: 1501 bytes --]


On 10/25/22 13:59, Jan-Benedict Glaw wrote:
> Hi Jeff!
>
> On Mon, 2022-10-17 17:47:16 -0600, Jeff Law via Gcc-patches <gcc-patches@gcc.gnu.org> wrote:
>> --- a/gcc/config/h8300/h8300.cc
>> +++ b/gcc/config/h8300/h8300.cc
>> @@ -5531,6 +5531,32 @@ h8300_ok_for_sibcall_p (tree fndecl, tree)
>>   
>>     return 1;
>>   }
>> +
>> +/* Return TRUE if OP is a PRE_INC or PRE_DEC
>> +   instruction using REG, FALSE otherwise.  */
>> +
>> +bool
>> +pre_incdec_with_reg (rtx op, int reg)
>> +{
>> +  /* OP must be a MEM.  */
>> +  if (GET_CODE (op) != MEM)
>> +    return false;
>> +
>> +  /* The address must be a PRE_INC or PRE_DEC.  */
>> +  op = XEXP (op, 0);
>> +  if (GET_CODE (op) != PRE_DEC && GET_CODE (op) != PRE_INC)
>> +    return false;
>> +
>> +  /* It must be a register that is being incremented
>> +     or decremented.  */
>> +  op = XEXP (op, 0);
>> +  if (!REG_P (op))
>> +    return false;
>> +
>> +  /* Finally, check that the register number matches.  */
>> +  return REGNO (op) == reg;
> This results in a new signed-vs-unsigned warning for me:
>
> [all 2022-10-25 00:41:11] ../../gcc/gcc/config/h8300/h8300.cc: In function 'bool pre_incdec_with_reg(rtx, int)':
> [all 2022-10-25 00:41:11] ../../gcc/gcc/config/h8300/h8300.cc:5557:21: error: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Werror=sign-compare]
> [all 2022-10-25 00:41:11]  5557 |   return REGNO (op) == reg;

Fixed via the attached patch.  Thanks for pointing it out.


jeff


[-- Attachment #2: P --]
[-- Type: text/plain, Size: 1414 bytes --]

commit 724d3f926b94672de960dbe88fb699bbdd7fde97
Author: Jeff Law <jeffreyalaw@gmail.com>
Date:   Fri Oct 28 23:33:06 2022 -0400

    Fix signed vs unsigned issue in H8 port
    
    gcc/
            * config/h8300/h8300.cc (pre_incdec_with_reg): Make reg argument
            an unsigned int
            * config/h8300/h8300-protos.h (pre_incdec_with_reg): Adjust prototype.

diff --git a/gcc/config/h8300/h8300-protos.h b/gcc/config/h8300/h8300-protos.h
index 8c989495c29..77adfaba07b 100644
--- a/gcc/config/h8300/h8300-protos.h
+++ b/gcc/config/h8300/h8300-protos.h
@@ -100,7 +100,7 @@ extern int h8300_initial_elimination_offset (int, int);
 extern int h8300_regs_ok_for_stm (int, rtx[]);
 extern int h8300_hard_regno_rename_ok (unsigned int, unsigned int);
 extern bool h8300_move_ok (rtx, rtx);
-extern bool pre_incdec_with_reg (rtx, int);
+extern bool pre_incdec_with_reg (rtx, unsigned int);
 
 struct cpp_reader;
 extern void h8300_pr_interrupt (struct cpp_reader *);
diff --git a/gcc/config/h8300/h8300.cc b/gcc/config/h8300/h8300.cc
index ce0702edecb..cd7975e2fff 100644
--- a/gcc/config/h8300/h8300.cc
+++ b/gcc/config/h8300/h8300.cc
@@ -5536,7 +5536,7 @@ h8300_ok_for_sibcall_p (tree fndecl, tree)
    instruction using REG, FALSE otherwise.  */
 
 bool
-pre_incdec_with_reg (rtx op, int reg)
+pre_incdec_with_reg (rtx op, unsigned int reg)
 {
   /* OP must be a MEM.  */
   if (GET_CODE (op) != MEM)