[Bug tree-optimization/57349] New: ICE on 253.perlbmk with pgo after r198096

[Bug tree-optimization/57349] New: ICE on 253.perlbmk with pgo after r198096

[izamyatin at gmail dot com]

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

            Bug ID: 57349
           Summary: ICE on 253.perlbmk with pgo after r198096
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: izamyatin at gmail dot com
                CC: rguenther at suse dot de
            Target: x86

Output:
gcc  -c -o perl.o   -DSPEC_CPU2000_LP64 -DSPEC_CPU2000_LINUX_I386
-DSPEC_CPU2000_NEED_BOOL -DSPEC_CPU2000_GLIBC22    -fprofile-use       -O3
-ffast-math -funroll-loops   perl.c
Error from fdo_make_pass2 'specmake  FDO=PASS2 build > fdo_make_pass2.out 2>
fdo_make_pass2.err':

Unable to coalesce ssa_names 1 and 7 which are marked as MUST COALESCE.
argc_1(ab) and  argc_7(ab)
perl.c: In function 'perl_parse':
perl.c:630:1: internal compiler error: SSA corruption
 perl_parse(PerlInterpreter *sv_interp, void (*xsinit) (void), int argc, char
**argv, char **env)
 ^
0x9c56dd fail_abnormal_edge_coalesce
        ../../gcc/tree-ssa-coalesce.c:898
0x9c56dd coalesce_partitions
        ../../gcc/tree-ssa-coalesce.c:1200
0x9c56dd coalesce_ssa_name()
        ../../gcc/tree-ssa-coalesce.c:1337
0x97eaff remove_ssa_form
        ../../gcc/tree-outof-ssa.c:900
0x97eaff rewrite_out_of_ssa(ssaexpand*)
        ../../gcc/tree-outof-ssa.c:1133
0x5fdeca gimple_expand_cfg
        ../../gcc/cfgexpand.c:4541
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
specmake: *** [perl.o] Error 1

Issue seems related to http://gcc.gnu.org/ml/gcc/2013-05/msg00162.html.
although I haven't managed to make reproducer so far

[Bug tree-optimization/57349] [4.9 Regression] ICE on 253.perlbmk with pgo after r198096

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2013-05-21
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
   Target Milestone|---                         |4.9.0
            Summary|ICE on 253.perlbmk with pgo |[4.9 Regression] ICE on
                   |after r198096               |253.perlbmk with pgo after
                   |                            |r198096
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I will have a look.

[Bug tree-optimization/57349] [4.9 Regression] ICE on 253.perlbmk with pgo after r198096

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Reduced testcase, fails with -O -fbranch-probabilities

struct __jmp_buf_tag   { };
typedef struct __jmp_buf_tag jmp_buf[1];
typedef struct cop COP;
typedef struct gv GV;
struct cop {
    GV * cop_filegv;
};
struct jmpenv {
    jmp_buf je_buf;
    int je_ret;
};
typedef struct jmpenv JMPENV;
extern char * PL_origfilename;
extern COP * volatile PL_curcop ;
static void open_script() {
    PL_curcop->cop_filegv = Perl_gv_fetchfile(PL_origfilename);
}
int perl_parse(char **argv) {
    char *scriptname = ((void *)0);
    char *validarg = "";
    JMPENV cur_env;
    int fdscript = -1;
    cur_env.je_ret = _setjmp (((cur_env.je_buf)));
    if (!scriptname)  scriptname = argv[0];
    open_script();
    validate_suid(validarg, scriptname,fdscript);
}

[Bug tree-optimization/57349] [4.9 Regression] ICE on 253.perlbmk with pgo after r198096

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|                            |56982

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
I have a patch.

[Bug tree-optimization/57349] [4.9 Regression] ICE on 253.perlbmk with pgo after r198096

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed May 22 11:16:32 2013
New Revision: 199193

URL: http://gcc.gnu.org/viewcvs?rev=199193&root=gcc&view=rev
Log:
2013-05-22  Richard Biener  <rguenther@suse.de>

    PR middle-end/57349
    * profile.c (branch_prob): Do not split blocks that are
    abnormally receiving from ECF_RETURNS_TWICE functions.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/profile.c