This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: PR 19893 & array_ref bug
- From: "Joseph S. Myers" <joseph at codesourcery dot com>
- To: Mark Mitchell <mark at codesourcery dot com>
- Cc: Steve Ellcey <sje at cup dot hp dot com>, gdr at integrable-solutions dot net, Joe dot Buck at synopsys dot COM, gcc at gcc dot gnu dot org
- Date: Wed, 16 Mar 2005 20:14:05 +0000 (UTC)
- Subject: Re: PR 19893 & array_ref bug
- References: <200503161943.LAA23972@hpsje.cup.hp.com> <42388ED5.8060204@codesourcery.com>
On Wed, 16 Mar 2005, Mark Mitchell wrote:
> > It seems like we are lying about the alignment of the pa, pb, pc
> > arguments but I don't see a way around this.
>
> Make them array arguments, instead of pointer arguments. I'm not sure if GCC
> is smart enough to still vectorize them in that case, but that's the right way
> to express it. An aligned array-of-floats decays to an aligned
> pointer-to-float, i.e., the pointer is known to be aligned, but the object
> pointed to is just a float not an aligned float.
And arithmetic on an aligned pointer-to-float should then result in a
plain pointer-to-float.
We don't yet implement either attributes on array parameters applying to
the array not the pointer, or attributes inside the [] of the array
parameter applying to the pointer. (This is documented in "Attribute
Syntax".)
--
Joseph S. Myers http://www.srcf.ucam.org/~jsm28/gcc/
jsm@polyomino.org.uk (personal mail)
joseph@codesourcery.com (CodeSourcery mail)
jsm28@gcc.gnu.org (Bugzilla assignments and CCs)