[Bug tree-optimization/49645] New: [4.7 regression] g++.dg/tree-ssa/pr8781.C FAILs on Tru64 UNIX

[Bug tree-optimization/49645] New: [4.7 regression] g++.dg/tree-ssa/pr8781.C FAILs on Tru64 UNIX

[ro at gcc dot gnu.org]

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

           Summary: [4.7 regression] g++.dg/tree-ssa/pr8781.C FAILs on
                    Tru64 UNIX
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: ro@gcc.gnu.org
              Host: alpha-dec-osf5.1b
            Target: alpha-dec-osf5.1b
             Build: alpha-dec-osf5.1b


Between 20110622 and 20110701,  g++.dg/tree-ssa/pr8781.C started to FAIL on
Tru64 UNIX:

FAIL: g++.dg/tree-ssa/pr8781.C scan-tree-dump fre1 "Replacing call target with
f"

I'm attaching the dump.  This is a regression from the 4.6 branch.

  Rainer

[Bug tree-optimization/49645] [4.7 regression] g++.dg/tree-ssa/pr8781.C FAILs on Tru64 UNIX

[ro at gcc dot gnu.org]

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

--- Comment #1 from Rainer Orth <ro at gcc dot gnu.org> 2011-07-05 16:53:42 UTC ---
Created attachment 24694
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24694
-fdump-tree-fre1-details output

[Bug tree-optimization/49645] [4.7 regression] g++.dg/tree-ssa/pr8781.C FAILs on Tru64 UNIX

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011.07.06 08:21:35
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.7.0
     Ever Confirmed|0                           |1

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-07-06 08:21:35 UTC ---
Weird.  I can't see what should be target specific in this test (all relevant
functions are inlined).

Ah, on x86_64 I see that SRA did something, so I see in the .esra dump:

<bb 2>:
  pred = f;
  SR.36_52 = &pred;
  SR.37_51 = SR.36_52;
  MEM[(struct noop_t *)&pred].pred = SR.37_51;
  SR.38_50 = &pred;
  SR.39_48 = SR.38_50;
  MEM[(struct noop_t *)&pred].pred = SR.39_48;
  SR.40_47 = &pred;
  SR.41_45 = SR.40_47;
  MEM[(struct noop_t *)&pred].pred = SR.41_45;
  SR.42_44 = &pred;
  SR.43_42 = SR.42_44;
  MEM[(struct noop_t *)&pred].pred = SR.43_42;
...
  D.2683_15 = D.2693_14->pred;
  D.2691_16 = D.2683_15->pred;
  D.2684_17 = D.2691_16->pred;
  D.2690_18 = D.2684_17->pred;
  D.2685_19 = D.2690_18->pred;
  D.2689_20 = D.2685_19->pred;
  D.2686_21 = D.2689_20->pred;
  D.2688_22 = D.2686_21->pred;
  D.2687_23 = *D.2688_22;
  D.2682_24 = D.2687_23 ();


On the 4.6 branch FRE1 is after final inlining, so maybe there is enough
cleanup there to make it work.

Still FRE should work this out without SRA, so I'm taking this one.

[Bug tree-optimization/49645] [4.7 regression] g++.dg/tree-ssa/pr8781.C FAILs on Tru64 UNIX

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-07-06 14:05:57 UTC ---
Author: rguenth
Date: Wed Jul  6 14:05:54 2011
New Revision: 175916

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=175916
Log:
2011-07-06  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/49645
    * c-decl.c (finish_decl): Also set DECL_HARD_REGISTER for global
    register variables.
    * tree-ssa-sccvn.c (vn_reference_op_eq): Disregard differences
    in type qualification here ...
    (copy_reference_ops_from_ref): ... not here.
    (vn_reference_lookup_3): ... or here.
    (copy_reference_ops_from_ref): Record decl bases as MEM[&decl].
    (vn_reference_lookup): Do the lookup with a valueized ao-ref.

    * g++.dg/tree-ssa/pr8781.C: Disable SRA.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/c-decl.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr8781.C
    trunk/gcc/tree-ssa-sccvn.c

[Bug tree-optimization/49645] [4.7 regression] g++.dg/tree-ssa/pr8781.C FAILs on Tru64 UNIX

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-07-06 15:10:19 UTC ---
Should be fixed now.