* [PATCH] c/89270 - honor registered_builtin_types in type_for_size
@ 2023-12-04 13:24 Richard Biener
2023-12-04 21:24 ` Joseph Myers
0 siblings, 1 reply; 2+ messages in thread
From: Richard Biener @ 2023-12-04 13:24 UTC (permalink / raw)
To: gcc-patches; +Cc: Joseph S. Myers
The following fixes the intermediate conversions inserted by
convert_to_integer when facing address-spaces and converts
to their effective [u]intptr_t when they are registered_builtin_types
by considering those also from c_common_type_for_size and not
only from c_common_type_for_mode.
Bootstrap and regtest on x86_64-unknown-linux-gnu, OK?
Thanks,
Richard.
PR c/89270
gcc/c-family/
* c-common.cc (c_common_type_for_size): Consider
registered_builtin_types.
gcc/testsuite/
* gcc.target/avr/pr89270.c: New testcase.
---
gcc/c-family/c-common.cc | 9 +++++++++
gcc/testsuite/gcc.target/avr/pr89270.c | 7 +++++++
2 files changed, 16 insertions(+)
create mode 100644 gcc/testsuite/gcc.target/avr/pr89270.c
diff --git a/gcc/c-family/c-common.cc b/gcc/c-family/c-common.cc
index b2b70c99338..d175054dddb 100644
--- a/gcc/c-family/c-common.cc
+++ b/gcc/c-family/c-common.cc
@@ -2362,6 +2362,15 @@ c_common_type_for_size (unsigned int bits, int unsignedp)
return (unsignedp ? widest_unsigned_literal_type_node
: widest_integer_literal_type_node);
+ for (tree t = registered_builtin_types; t; t = TREE_CHAIN (t))
+ {
+ tree type = TREE_VALUE (t);
+ if (TREE_CODE (type) == INTEGER_TYPE
+ && bits == TYPE_PRECISION (type)
+ && !!unsignedp == !!TYPE_UNSIGNED (type))
+ return type;
+ }
+
if (bits <= TYPE_PRECISION (intQI_type_node))
return unsignedp ? unsigned_intQI_type_node : intQI_type_node;
diff --git a/gcc/testsuite/gcc.target/avr/pr89270.c b/gcc/testsuite/gcc.target/avr/pr89270.c
new file mode 100644
index 00000000000..2b6e4a8aa5b
--- /dev/null
+++ b/gcc/testsuite/gcc.target/avr/pr89270.c
@@ -0,0 +1,7 @@
+/* { dg-do compile } */
+
+void test()
+{
+ extern const unsigned char __memx __data_load_end;
+ __uint24 top=(__uint24)&__data_load_end;
+}
--
2.35.3
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [PATCH] c/89270 - honor registered_builtin_types in type_for_size
2023-12-04 13:24 [PATCH] c/89270 - honor registered_builtin_types in type_for_size Richard Biener
@ 2023-12-04 21:24 ` Joseph Myers
0 siblings, 0 replies; 2+ messages in thread
From: Joseph Myers @ 2023-12-04 21:24 UTC (permalink / raw)
To: Richard Biener; +Cc: gcc-patches
On Mon, 4 Dec 2023, Richard Biener wrote:
> The following fixes the intermediate conversions inserted by
> convert_to_integer when facing address-spaces and converts
> to their effective [u]intptr_t when they are registered_builtin_types
> by considering those also from c_common_type_for_size and not
> only from c_common_type_for_mode.
>
> Bootstrap and regtest on x86_64-unknown-linux-gnu, OK?
OK, but I also think AVR should define its __int24 type using INT_N in
avr-modes.def, which should also serve to avoid this problem.
--
Joseph S. Myers
joseph@codesourcery.com
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2023-12-04 21:25 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-12-04 13:24 [PATCH] c/89270 - honor registered_builtin_types in type_for_size Richard Biener
2023-12-04 21:24 ` Joseph Myers
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).