Re: [committed] More infrastructure to avoid bogus RTL on H8
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
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
commit 724d3f926b94672de960dbe88fb699bbdd7fde97
Author: Jeff Law
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)
Re: [committed] More infrastructure to avoid bogus RTL on H8
Hi Jeff!
On Mon, 2022-10-17 17:47:16 -0600, Jeff Law via Gcc-patches
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
--
signature.asc
Description: PGP signature
[committed] 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.
Pushed to the trunk,
Jeff
commit 19859bd72119708c85cc6976b3547738be6f5b1c
Author: Jeff Law
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;
+}
+
/* Initialize the GCC target structure. */
#undef TARGET_ATTRIBUTE_TABLE
