[Bug tree-optimization/65824] New: [6 Regression] execution failures for stdarg/va-arg testcases for aarch64

[Bug tree-optimization/65824] New: [6 Regression] execution failures for stdarg/va-arg testcases for aarch64

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65824

            Bug ID: 65824
           Summary: [6 Regression] execution failures for stdarg/va-arg
                    testcases for aarch64
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vries at gcc dot gnu.org

As mentioned here ( https://gcc.gnu.org/ml/gcc-patches/2015-04/msg01114.html ),
there are new failures for aarch64 caused by the introduction of ifn_va_arg:
...
FAIL: gcc.c-torture/execute/stdarg-1.c   -O0  execution test
FAIL: gcc.c-torture/execute/stdarg-1.c   -O1  execution test
FAIL: gcc.c-torture/execute/stdarg-1.c   -O2  execution test
FAIL: gcc.c-torture/execute/stdarg-1.c   -O2 -flto
-fno-use-linker-plugin -flto-partition=none  execution test
FAIL: gcc.c-torture/execute/stdarg-1.c   -O2 -flto -fuse-linker-plugin
-fno-fat-lto-objects  execution test
FAIL: gcc.c-torture/execute/stdarg-1.c   -O3 -fomit-frame-pointer
execution test
FAIL: gcc.c-torture/execute/stdarg-1.c   -O3 -g  execution test
FAIL: gcc.c-torture/execute/stdarg-1.c   -Os  execution test
FAIL: gcc.c-torture/execute/va-arg-11.c   -O0  execution test
FAIL: gcc.c-torture/execute/va-arg-11.c   -O1  execution test
FAIL: gcc.c-torture/execute/va-arg-11.c   -O2  execution test
FAIL: gcc.c-torture/execute/va-arg-11.c   -O2 -flto
-fno-use-linker-plugin -flto-partition=none  execution test
FAIL: gcc.c-torture/execute/va-arg-11.c   -O2 -flto
-fuse-linker-plugin -fno-fat-lto-objects  execution test
FAIL: gcc.c-torture/execute/va-arg-11.c   -O3 -fomit-frame-pointer
execution test
FAIL: gcc.c-torture/execute/va-arg-11.c   -O3 -fomit-frame-pointer
-funroll-all-loops -finline-functions  execution test
FAIL: gcc.c-torture/execute/va-arg-11.c   -O3 -fomit-frame-pointer
-funroll-loops  execution test
FAIL: gcc.c-torture/execute/va-arg-11.c   -O3 -g  execution test
FAIL: gcc.c-torture/execute/va-arg-11.c   -Os  execution test
...

[Bug tree-optimization/65824] [6 Regression] execution failures for stdarg/va-arg testcases for aarch64

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65824

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code
            Version|5.0                         |6.0
   Target Milestone|---                         |6.0

[Bug tree-optimization/65824] [6 Regression] execution failures for stdarg/va-arg testcases for aarch64

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65824

vries at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-04-26
     Ever confirmed|0                           |1

--- Comment #1 from vries at gcc dot gnu.org ---
Reproduced stdarg-1.c failure

[Bug tree-optimization/65824] [6 Regression] execution failures for stdarg/va-arg testcases for aarch64

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65824

--- Comment #2 from vries at gcc dot gnu.org ---
minimal version of stdarg-1.c, returns 14 if correct, but 12 for current
failure, indicating that the the first and resultless va_arg has been ignored:
...
include <stdarg.h>

extern void exit (int);

int
f6 (int i, ...)
{
  int res;

  va_list ap;
  va_start (ap, i);

  va_arg (ap, long);

  res = va_arg (ap, long);

  va_end (ap);

  return res;
}

int
main (void)
{
  int res = f6 (7, 12L, 14L);
  exit (res);
}
...

The expression returned by gimpify_va_arg_internal is:
...
(gdb) call debug_generic_expr ($1)
*D.2689 >= 0 ? ap.__stack = (void *) ((long int) D.2690 + 15 & -8);, (long int
*) D.2690; : ap.__gr_offs = D.2689 + 8;, ap.__gr_offs > 0 ? ap.__stack = (void
*) ((long int) D.2690 + 15 & -8);, (long int *) D.2690; : (long int *)
ap.__gr_top + (sizetype) D.2689;
...

Indeed, not side-effect free.

This is most likely a duplicate of PR65818.

[Bug tree-optimization/65824] [6 Regression] execution failures for stdarg/va-arg testcases for aarch64

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65824

vries at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #3 from vries at gcc dot gnu.org ---
I've done a clean build for aarch64 with the proposed patch for PR65818, and
the two test-cases listed in this bug report are passing.

*** This bug has been marked as a duplicate of bug 65818 ***