mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-15 07:40:29 +08:00
Code Issues Packages Projects Releases Wiki Activity

emit-rtl.c (set_mem_attributes_minus_bitpos): Treat complex types as aggregates not scalars.

Browse Source 
* emit-rtl.c (set_mem_attributes_minus_bitpos): Treat complex
	types as aggregates not scalars.
	* function.c (assign_stack_temp_for_type): Likewise.

testsuite:
	* gcc.dg/torture/complex-alias-1.c: New test.

From-SVN: r121968
This commit is contained in:
Joseph Myers 2007-02-14 23:38:01 +00:00 committed by Joseph Myers
parent 702f9d782f
commit 07cb6e8c67
5 changed files with 46 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2007-02-14 Joseph Myers <joseph@codesourcery.com>
* emit-rtl.c (set_mem_attributes_minus_bitpos): Treat complex
types as aggregates not scalars.
* function.c (assign_stack_temp_for_type): Likewise.
2007-02-14 Roger Sayle <roger@eyesopen.com>
Zdenek Dvorak <dvorakz@suse.cz>

7
gcc/emit-rtl.c
View File

@ -1481,12 +1481,15 @@ set_mem_attributes_minus_bitpos (rtx ref, tree t, int objectp,
alias = get_alias_set (t);
MEM_VOLATILE_P (ref) |= TYPE_VOLATILE (type);
MEM_IN_STRUCT_P (ref) = AGGREGATE_TYPE_P (type);
MEM_IN_STRUCT_P (ref)
= AGGREGATE_TYPE_P (type) || TREE_CODE (type) == COMPLEX_TYPE;
MEM_POINTER (ref) = POINTER_TYPE_P (type);
/* If we are making an object of this type, or if this is a DECL, we know
that it is a scalar if the type is not an aggregate. */
if ((objectp || DECL_P (t)) && ! AGGREGATE_TYPE_P (type))
if ((objectp || DECL_P (t))
&& ! AGGREGATE_TYPE_P (type)
&& TREE_CODE (type) != COMPLEX_TYPE)
MEM_SCALAR_P (ref) = 1;
/* We can set the alignment from the type if we are making an object,

3
gcc/function.c
View File

@ -763,7 +763,8 @@ assign_stack_temp_for_type (enum machine_mode mode, HOST_WIDE_INT size,
if (type != 0)
{
MEM_VOLATILE_P (slot) = TYPE_VOLATILE (type);
MEM_SET_IN_STRUCT_P (slot, AGGREGATE_TYPE_P (type));
MEM_SET_IN_STRUCT_P (slot, (AGGREGATE_TYPE_P (type)
|| TREE_CODE (type) == COMPLEX_TYPE));
}
MEM_NOTRAP_P (slot) = 1;

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2007-02-14 Joseph Myers <joseph@codesourcery.com>
* gcc.dg/torture/complex-alias-1.c: New test.
2007-02-14 Zdenek Dvorak <dvorakz@suse.cz>
* gcc.dg/tree-prof/update-tailcall.c: Use -fdump-tree-tailc

29
gcc/testsuite/gcc.dg/torture/complex-alias-1.c Normal file
View File

@ -0,0 +1,29 @@
/* Accesses to complex numbers were sometimes marked as scalar and
sometimes as struct accesses. */
/* { dg-do run } */
/* { dg-options "-std=c99" } */
extern void abort (void);
static double _Complex *fp_cxd(double _Complex *cx) {
return cx;
}
int main( ) {
double _Complex cx = 4.0 + 3.0*(__extension__ 1.0iF);
double _Complex cx43 = 4.0 + 3.0*(__extension__ 1.0iF);
double _Complex cx11 = 1.0 + 1.0*(__extension__ 1.0iF);
*fp_cxd(&cx) *= cx11;
*fp_cxd(&cx) /= cx11;
double r_cx = __real__(cx);
double i_cx = __imag__(cx);
double r_cx43 = __real__(cx43);
double i_cx43 = __imag__(cx43);
if( (r_cx == r_cx43) && (i_cx == i_cx43) ) {
return 0;
} else {
abort ();
}
}