This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/23290] New: Layout changed for structure with single complex field
- From: "amylaar at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 8 Aug 2005 19:06:06 -0000
- Subject: [Bug middle-end/23290] New: Layout changed for structure with single complex field
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
The patch for PR17112:
2004-09-26 Roger Sayle <roger@eyesopen.com>
Giovanni Bajo <giovannibajo@gcc.gnu.org>
PR middle-end/17112
* stor-layout.c (compute_record_mode): For records with a single
field, only use the field's mode if its size matches what we'd
have choosen for the record ourselves. This forces the use of
BLKmode for packed records that don't completely fill a mode.
has changed the way structures are laid out, and as a consequence, the ABI.
I have become aware of this issue when I investigated an sh-elf -m4 regression:
FAIL: gcc.dg/compat/struct-by-value-15 c_compat_y_tst.o compile
sh_gimplify_va_arg_expr replaces a record type with its only element because
that used to be the way we passed these structs; with the unscheduled ABI change,
we end up copying a CDImode variable into a BLKmode one, and ICE. The ICE
could be avoided in sh_gimplify_va_arg_expr by checking the mode of the type,
and I could also use the original type when building the statements, but the
real issue here is the ABI change.
The structure in question is:
typedef struct
{
_Complex long long a;
} Scll1;
The mode for field a is computed as
mode_for_size (128, MODE_COMPLEX_INT, 0),
giving CDImode. This is also the mode that we used to use for SCll1,
thus allowing the struct to be passed as a function argument in registers
(for the SH1..4, this can happen if it was the first or only argument
elegible to be passed in integer registers).
With the change to compute_record_mode that was made on accounbt of PR17112,
we first compute an integer mode for the size, and only use the member
mode if it matches the integer mode in size. This integer mode is calculated
layout_type with:
mode_for_size (128, MODE_INT, 1)
I.e. limit is set to 1, meaning that no mode larger than MAX_FIXED_MODE_SIZE
will be returned. For SH1..SH4, MAX_FIXED_MODE_SIZE is 64, thus mode_for_size
returns BLKmode, the comparison fails, and Scll1 ends up as BLKmode.
The BLKmode layout forces Scll1 values on the stack.
I think for MODE_COMPLEX_INT and MODE_COMPLEX_FLOAT, we should only check
that size of the record matches the mode.
>From looking at the code, I also see that vectors are also laied out using
a limit of 0, so a similar problem arises there.
--
Summary: Layout changed for structure with single complex field
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Keywords: ABI
Severity: normal
Priority: P2
Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: amylaar at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org,giovannibajo at gcc dot
gnu dot org,roger at eyesopen dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23290