[Bug lto/41664] New: FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto

[Bug lto/41664] New: FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto

[danglin at gcc dot gnu dot org]

Executing on host:
/home/dave/gnu/gcc-4.5/objdir/gcc/testsuite/gfortran/../../gf
ortran -B/home/dave/gnu/gcc-4.5/objdir/gcc/testsuite/gfortran/../../
f_lto_pr407
25_0.o f_lto_pr40725_1.o  -O2 -fwhopr  
-B/home/dave/gnu/gcc-4.5/objdir/hppa-lin
ux/./libgfortran/.libs
-L/home/dave/gnu/gcc-4.5/objdir/hppa-linux/./libgfortran/
.libs -L/home/dave/gnu/gcc-4.5/objdir/hppa-linux/./libgfortran/.libs
-L/home/dav
e/gnu/gcc-4.5/objdir/hppa-linux/./libiberty  -lm   -o
gfortran-dg-lto-pr40725-11
    (timeout = 300)
PASS: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o link
Setting LD_LIBRARY_PATH to
.:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/./libgfort
ran/.libs:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/./libgfortran/.libs:/home/dav
e/gnu/gcc-4.5/objdir/gcc:.:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/./libgfortra
n/.libs:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/./libgfortran/.libs:/home/dave/
gnu/gcc-4.5/objdir/gcc:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/libstdc++-v3/.li
bs:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/libmudflap/.libs:/home/dave/gnu/gcc-
4.5/objdir/hppa-linux/libssp/.libs:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/libg
omp/.libs:/home/dave/gnu/gcc-4.5/objdir/./gcc:/home/dave/gnu/gcc-4.5/objdir/./pr
ev-gcc
FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2
-f
whopr

and

Executing on host:
/home/dave/gnu/gcc-4.5/objdir/gcc/testsuite/gfortran/../../gfortran
-B/home/dave/gnu/gcc-4.5/objdir/gcc/testsuite/gfortran/../../ f_lto_pr40725_0.o
f_lto_pr40725_1.o  -O2 -flto  
-B/home/dave/gnu/gcc-4.5/objdir/hppa-linux/./libgfortran/.libs
-L/home/dave/gnu/gcc-4.5/objdir/hppa-linux/./libgfortran/.libs
-L/home/dave/gnu/gcc-4.5/objdir/hppa-linux/./libgfortran/.libs
-L/home/dave/gnu/gcc-4.5/objdir/hppa-linux/./libiberty  -lm   -o
gfortran-dg-lto-pr40725-31    (timeout = 300)PASS: gfortran.dg/lto/pr40725
f_lto_pr40725_0.o-f_lto_pr40725_1.o linkSetting LD_LIBRARY_PATH to
.:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/./libgfortran/.libs:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/./libgfortran/.libs:/home/dave/gnu/gcc-4.5/objdir/gcc:.:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/./libgfortran/.libs:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/./libgfortran/.libs:/home/dave/gnu/gcc-4.5/objdir/gcc:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/libstdc++-v3/.libs:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/libmudflap/.libs:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/libssp/.libs:/home/dave/gnu/gcc-4.5/objdir/hppa-linux/libgomp/.libs:/home/dave/gnu/gcc-4.5/objdir/./gcc:/home/dave/gnu/gcc-4.5/objdir/./prev-gccFAIL:
gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -flto

Fails are mentioned in Diego's list but I couldn't find PR.


-- 
           Summary: FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-
                    f_lto_pr40725_1.o execute -O2 -fwhopr and -flto
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: lto
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: danglin at gcc dot gnu dot org
 GCC build triplet: hppa-unknown-linux-gnu
  GCC host triplet: hppa-unknown-linux-gnu
GCC target triplet: hppa-unknown-linux-gnu


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

[Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2009-10-10 18:43 -------
Confirmed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-10-10 18:43:53
               date|                            |


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

[Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto

[jvdelisle at gcc dot gnu dot org]

------- Comment #2 from jvdelisle at gcc dot gnu dot org  2009-11-23 03:10 -------
This is also failing on x86-64.  It is not target specific unless there is
another PR for the x86-64.


-- 


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

[Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2010-01-02 14:27 -------
Yes, this is a known issue with LTO and combining C and Fortran code which
accesses commons in both languages.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  GCC build triplet|hppa-unknown-linux-gnu      |
   GCC host triplet|hppa-unknown-linux-gnu      |
 GCC target triplet|hppa-unknown-linux-gnu      |
           Keywords|                            |wrong-code


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

[Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2010-01-02 14:32 -------
Related to PR41227.  But from that it seems we need to fix this up during LTO.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |41227


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

[Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2010-02-11 13:31 -------
The basic issue here is that sub0 is inlined into main and we assign different
alias sets to struct my_c_type_1 and struct c_type_1 because they have
different
tags.  Something ok for C but too strict for cross-language TBAA.

Thus tree DSE removes the initialization of c_type.j.

main (<unnamed-signed:32> argc, <unnamed-signed:8> * * argv)
{
  <unnamed-signed:32> D.2072;
  struct my_c_type_1 & restrict my_type;
  struct c_type_1 c_type;
  <unnamed-signed:32> D.2054;

<bb 2>:
  c_type.j = 11;
  my_type_5 = (struct my_c_type_1 & restrict) &c_type;
  D.2072_6 = my_type_5->j;
  if (D.2072_6 != 11)
    goto <bb 3>;
  else
    goto <bb 4>;

<bb 3>:
  _gfortran_abort ();

<bb 4>:
  return 0;

tree DCE doesn't because its aliased.

The offending check in gimple_types_compatible that forces us to not
merge the two structure types is

        /* The struct tags shall compare equal.  */
        if (!compare_type_names_p (TYPE_MAIN_VARIANT (t1),
                                   TYPE_MAIN_VARIANT (t2), false))
          goto different_types;


This bug will only be fully fixed with the introduction of a purely
structural type hierarchy for TBAA.  We can use TYPE_CANONICAL for that
once we make that unnecessary in its current meaning (meaning doing
the gimple type-merging per TU at gimplification time).

For now we can relax the alias-oracle somewhat to give leeway to this
and similar (even if slightly undefined) testcases.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2009-10-10 18:43:53         |2010-02-11 13:31:59
               date|                            |


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

[Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2010-02-11 13:38 -------
It's not really related to 41227 - that case was about struct F { int i; } a;
vs int a;, a case that I believe happens when building the gfortran testsuite
with -flto (which also enables -fwhole-file).


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|41227                       |


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

[Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2010-02-11 15:39 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.5.0


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

[Bug lto/41664] FAIL: gfortran.dg/lto/pr40725 f_lto_pr40725_0.o-f_lto_pr40725_1.o execute -O2 -fwhopr and -flto

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2010-02-11 15:39 -------
Subject: Bug 41664

Author: rguenth
Date: Thu Feb 11 15:38:59 2010
New Revision: 156699

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=156699
Log:
2010-02-11  Richard Guenther  <rguenther@suse.de>

        PR lto/41664
        * tree-ssa-alias.c (refs_may_alias_p_1): Canonicalize
        pointer-vs-decl case by swapping refs.  Handle some cases
        of pointer-vs-decl disambiguations more conservatively.
        * cfgexpand.c (gimple_expand_cfg): Set gimple_df->in_ssa_p
        to false after expanding.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfgexpand.c
    trunk/gcc/tree-ssa-alias.c


-- 


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