[Bug translation/57027] New: [4.9 Regression] ICE in gimple_assign_rhs_code, at gimple.h:2022

[Bug translation/57027] New: [4.9 Regression] ICE in gimple_assign_rhs_code, at gimple.h:2022

[danglin at gcc dot gnu.org]

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

             Bug #: 57027
           Summary: [4.9 Regression] ICE in gimple_assign_rhs_code, at
                    gimple.h:2022
    Classification: Unclassified
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: translation
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: danglin@gcc.gnu.org
              Host: hppa64-hp-hpux*
            Target: hppa64-hp-hpux*
             Build: hppa64-hp-hpux*


Created attachment 29913
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29913
Preprocessed source

libtool: compile:  /test/gnu/gcc/objdir/./gcc/xgcc
-B/test/gnu/gcc/objdir/./gcc/ -B/opt/gnu64/gcc/gcc-4.9/hppa64-hp-hpux11.11/bin/
-B/opt/gnu64/gcc/gcc-4.9/hppa64-hp-hpux11.11/lib/ -isystem
/opt/gnu64/gcc/gcc-4.9/hppa64-hp-hpux11.11/include -isystem
/opt/gnu64/gcc/gcc-4.9/hppa64-hp-hpux11.11/sys-include -DHAVE_CONFIG_H -I.
-I../../../gcc/libgfortran -iquote../../../gcc/libgfortran/io
-I../../../gcc/libgfortran/../gcc -I../../../gcc/libgfortran/../gcc/config
-I../../../gcc/libgfortran/../libquadmath -I../.././gcc
-I../../../gcc/libgfortran/../libgcc -I../libgcc -std=gnu99 -Wall
-Wstrict-prototypes -Wmissing-prototypes -Wold-style-definition -Wextra
-Wwrite-strings -fcx-fortran-rules -ffunction-sections -fdata-sections -g -O2
-MT bessel_r4.lo -MD -MP -MF .deps/bessel_r4.Tpo -c
../../../gcc/libgfortran/generated/bessel_r4.c  -DPIC -o .libs/bessel_r4.o
../../../gcc/libgfortran/generated/bessel_r4.c: In function 'bessel_jn_r4':
../../../gcc/libgfortran/generated/bessel_r4.c:45:1: internal compiler error:
gimple check: expected gimple_assign(error_mark), have gimple_phi() in
gimple_assi
gn_rhs_code, at gimple.h:2022
 bessel_jn_r4 (gfc_array_r4 * const restrict ret, int n1, int n2, GFC_REAL_4 x)
^

[Bug translation/57027] [4.9 Regression] ICE in gimple_assign_rhs_code, at gimple.h:2022

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.9.0

[Bug tree-optimization/57027] [4.9 Regression] ICE in gimple_assign_rhs_code, at gimple.h:2022

[danglin at gcc dot gnu.org]

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

John David Anglin <danglin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |amylaar at gcc dot gnu.org
          Component|translation                 |tree-optimization

--- Comment #1 from John David Anglin <danglin at gcc dot gnu.org> 2013-04-29 15:33:33 UTC ---
Introduced in r197668:

2013-04-10  Joern Rennecke <joern.rennecke@embecosm.com>

        PR tree-optimization/55524
        * tree-ssa-math-opts.c
        (convert_mult_to_fma): Don't use an fms construct
        when we don't have an fms operation, but fnma, and it looks
        likely that we'll be able to use the latter.

[Bug tree-optimization/57027] [4.9 Regression] ICE in gimple_assign_rhs_code, at gimple.h:2022

[danglin at gcc dot gnu.org]

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

--- Comment #2 from John David Anglin <danglin at gcc dot gnu.org> 2013-05-02 15:42:23 UTC ---
Related fails:

FAIL: gcc.c-torture/compile/991202-1.c  -O2  (internal compiler error)
FAIL: gcc.c-torture/compile/991202-1.c  -O2  (test for excess errors)
FAIL: gcc.c-torture/compile/991202-1.c  -O3 -fomit-frame-pointer  (internal
comp
iler error)
FAIL: gcc.c-torture/compile/991202-1.c  -O3 -fomit-frame-pointer  (test for
exce
ss errors)
FAIL: gcc.c-torture/compile/991202-1.c  -O3 -g  (internal compiler error)
FAIL: gcc.c-torture/compile/991202-1.c  -O3 -g  (test for excess errors)
FAIL: gcc.c-torture/compile/991202-1.c  -Os  (internal compiler error)
FAIL: gcc.c-torture/compile/991202-1.c  -Os  (test for excess errors)
FAIL: gcc.c-torture/compile/991202-1.c  -O2 -flto -flto-partition=none 
(interna
l compiler error)
FAIL: gcc.c-torture/compile/991202-1.c  -O2 -flto -flto-partition=none  (test
fo
r excess errors)
FAIL: gcc.c-torture/compile/991202-1.c  -O2 -flto  (internal compiler error)
FAIL: gcc.dg/pr41345.c (test for excess errors)
FAIL: gcc.dg/pr52132.c (internal compiler error)
FAIL: gcc.dg/pr52132.c (test for excess errors)
FAIL: gcc.dg/torture/vec-cvt-1.c  -O2  (internal compiler error)
FAIL: gcc.dg/torture/vec-cvt-1.c  -O2  (test for excess errors)
FAIL: gcc.dg/torture/vec-cvt-1.c  -O3 -fomit-frame-pointer  (internal compiler
error)
FAIL: gcc.dg/torture/vec-cvt-1.c  -O3 -fomit-frame-pointer  (test for excess
errors)
FAIL: gcc.dg/torture/vec-cvt-1.c  -O3 -fomit-frame-pointer -funroll-loops 
(internal compiler error)
FAIL: gcc.dg/torture/vec-cvt-1.c  -O3 -fomit-frame-pointer -funroll-loops 
(test for excess errors)
FAIL: gcc.dg/torture/vec-cvt-1.c  -O3 -fomit-frame-pointer -funroll-all-loops
-finline-functions  (internal compiler error)
FAIL: gcc.dg/torture/vec-cvt-1.c  -O3 -fomit-frame-pointer -funroll-all-loops
-finline-functions  (test for excess errors)
FAIL: gcc.dg/torture/vec-cvt-1.c  -O3 -g  (internal compiler error)
FAIL: gcc.dg/torture/vec-cvt-1.c  -O3 -g  (test for excess errors)
FAIL: gcc.dg/torture/vec-cvt-1.c  -Os  (internal compiler error)
FAIL: gcc.dg/torture/vec-cvt-1.c  -Os  (test for excess errors)
FAIL: gcc.dg/torture/vec-cvt-1.c  -O2 -flto -flto-partition=none  (internal
compiler error)
FAIL: gcc.dg/torture/vec-cvt-1.c  -O2 -flto -flto-partition=none  (test for
excess errors)
FAIL: gcc.dg/torture/vec-cvt-1.c  -O2 -flto  (internal compiler error)
FAIL: gcc.dg/torture/vec-cvt-1.c  -O2 -flto  (test for excess errors)

All fail with similar ICEs:

Executing on host: /test/gnu/gcc/objdir/gcc/xgcc -B/test/gnu/gcc/objdir/gcc/ 
-f
no-diagnostics-show-caret -fdiagnostics-color=never   -O2  -w -c  -o 991202-1.o
/test/gnu/gcc/gcc/gcc/testsuite/gcc.c-torture/compile/991202-1.c    (timeout =
3
00)
spawn /test/gnu/gcc/objdir/gcc/xgcc -B/test/gnu/gcc/objdir/gcc/
-fno-diagnostics
-show-caret -fdiagnostics-color=never -O2 -w -c -o 991202-1.o
/test/gnu/gcc/gcc/
gcc/testsuite/gcc.c-torture/compile/991202-1.c
/test/gnu/gcc/gcc/gcc/testsuite/gcc.c-torture/compile/991202-1.c: In function
'k
1f':
/test/gnu/gcc/gcc/gcc/testsuite/gcc.c-torture/compile/991202-1.c:6:7: internal
c
ompiler error: tree check: expected ssa_name, have real_cst in
convert_mult_to_f
ma, at tree-ssa-math-opts.c:2584

[Bug tree-optimization/57027] [4.9 Regression] ICE in gimple_assign_rhs_code, at gimple.h:2022

[amylaar at gcc dot gnu.org]

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

--- Comment #3 from Jorn Wolfgang Rennecke <amylaar at gcc dot gnu.org> 2013-05-02 16:28:15 UTC ---
Created attachment 30004
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30004
tentative patch

Would that help?

[Bug tree-optimization/57027] [4.9 Regression] ICE in gimple_assign_rhs_code, at gimple.h:2022

[amylaar at gcc dot gnu.org]

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

Jorn Wolfgang Rennecke <amylaar at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #30004|0                           |1
        is obsolete|                            |

--- Comment #4 from Jorn Wolfgang Rennecke <amylaar at gcc dot gnu.org> 2013-05-03 10:11:24 UTC ---
Created attachment 30016
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30016
amended patch

Using an i686-px-linux-gnu X hppa64-hp-hpux11.11 cross compiler, I've
verified that the previous patch fixes the gcc.c-torture/compile/991202-1.c
and gcc.dg/pr52132.c failures.  The gcc.dg/pr41345.c compare-debug failure
happens independent of my code in convert_mult_to_fma.
I can't run the gcc.dg/torture/vec-cvt-1.c tests on my cross for lack of header
files.

The preprocessed testcase from the first attachment fails needs a different
sanity check in convert_mult_to_fma, which I have added in this amended patch.

[Bug tree-optimization/57027] [4.9 Regression] ICE in gimple_assign_rhs_code, at gimple.h:2022

[rguenth at gcc dot gnu.org]

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

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> 2013-05-03 10:53:50 UTC ---
(In reply to comment #4)
> Created attachment 30016 [details]
> amended patch
> 
> Using an i686-px-linux-gnu X hppa64-hp-hpux11.11 cross compiler, I've
> verified that the previous patch fixes the gcc.c-torture/compile/991202-1.c
> and gcc.dg/pr52132.c failures.  The gcc.dg/pr41345.c compare-debug failure
> happens independent of my code in convert_mult_to_fma.
> I can't run the gcc.dg/torture/vec-cvt-1.c tests on my cross for lack of header
> files.
> 
> The preprocessed testcase from the first attachment fails needs a different
> sanity check in convert_mult_to_fma, which I have added in this amended patch.

Patch looks good.

[Bug tree-optimization/57027] [4.9 Regression] ICE in gimple_assign_rhs_code, at gimple.h:2022

[dave.anglin at bell dot net]

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

--- Comment #7 from dave.anglin at bell dot net 2013-05-04 23:03:36 UTC ---
On 3-May-13, at 6:11 AM, amylaar at gcc dot gnu.org wrote:

> Created attachment 30016
>
>  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30016
>
> amended patch


Works for me.

Thanks,
Dave
--
John David Anglin    dave.anglin@bell.net

[Bug tree-optimization/57027] [4.9 Regression] ICE in gimple_assign_rhs_code, at gimple.h:2022

[amylaar at gcc dot gnu.org]

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

Jorn Wolfgang Rennecke <amylaar at gcc dot gnu.org> changed:

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

--- Comment #8 from Jorn Wolfgang Rennecke <amylaar at gcc dot gnu.org> 2013-05-05 08:52:59 UTC ---
Fixed in mainline:
http://gcc.gnu.org/ml/gcc-cvs/2013-05/msg00095.html