[Bug fortran/60718] New: Test case gfortran.dg/select_type_4.f90 fails on ARM

[bernd.edlinger at hotmail dot de]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60718

            Bug ID: 60718
           Summary: Test case gfortran.dg/select_type_4.f90 fails on ARM
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: bernd.edlinger at hotmail dot de

Created attachment 32495
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32495&action=edit
reduced test case

This test case is failing with this configuration at -O2 and above:

../gcc-4.9-20140323/configure --prefix=/home/ed/gnu/arm-linux-gnueabihf
--enable-languages=all,ada,go --with-arch=armv7-a --with-tune=cortex-a9
--with-fpu=vfpv3-d16 --with-float=hard
Thread model: posix
gcc version 4.9.0 20140323 (experimental) (GCC)

The attached reduced test case compiles code like this to initialize
the list header:


  cmp      r2, #0
  streq    ip, [sp]
  ldmeqia  sp, {r0, r1}
  streq    r4, [sp, #4]
  stmeqia  r3, {r0, r1}


this seems to use two words at sp[0..7] as scratchpad,
but the streq r4,[sp,#4] is not seen as a possible alias to
ldmeqia sp, {r0,r1}