http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57271
Bug ID: 57271 Summary: ARM: gcc generates insufficient alignment for memory passed as extra argument for function return large composite type Product: gcc Version: 4.8.1 Status: UNCONFIRMED Severity: major Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: java4ada at yahoo dot com Created attachment 30109 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30109&action=edit Testcase and output Please find enclosed input Vector4.ii and Vector4.s compiled with "./xgcc -fpic -mfloat-abi=softfp -mthumb -Os -march=armv7-a -mfpu=neon -S Vector4.ii". Because function initVector4() returns instance of Vector4 16-byte in size, GCC passes internal memory buffer as the first argument to hold the return value. This is shown in Vector4.s line#54 "add r0,sp,#8", and the buffer is filled at line#33 "vst1.64 {d16-d17}, [r0:128]". The 128-bit alignment hint is due to the fact that class Vector4 is declared to be 16-byte aligned. Problem is, r0 may not be aligned to 16-byte if sp is 16-byte aligned, which results in crash at vst1.64 [:128]. It seems that GCC doesn't honor the alignment of internal memory buffer. If Vector4 is declared to be 32-byte align, GCC generates extra code to ensure r0 is properly aligned. I assume GCC should do it as low as 16-byte too.