[Bug bootstrap/33306] New: [4.3 regression] Bootstrap failure on Tru64 UNIX V5.1B: ICE in convert_move, at expr.c:369

[Bug bootstrap/33306] New: [4.3 regression] Bootstrap failure on Tru64 UNIX V5.1B: ICE in convert_move, at expr.c:369

[gcc-bugzilla at gcc dot gnu dot org]

Bootstrapping current mainline as of 20070903 fails on alpha-dec-osf5.1b
building the stage 1 libgcc:

/vol/gccsrc/obj/gcc-4.3.0-20070903/5.1b-gcc/./gcc/xgcc
-B/vol/gccsrc/obj/gcc-4.3.0-20070903/5.1b-gcc/./gcc/
-B/vol/gcc/alpha-dec-osf5.1b/bin/ -B/vol/gcc/alpha-dec-osf5.1b/lib/ -isystem
/vol/gcc/alpha-dec-osf5.1b/include -isystem
/vol/gcc/alpha-dec-osf5.1b/sys-include -g -fkeep-inline-functions -O2  -O2 -g
-O2   -mieee -DIN_GCC    -W -Wall -Wwrite-strings -Wstrict-prototypes
-Wmissing-prototypes -Wold-style-definition  -isystem ./include  -pthread -g
-DHAVE_GTHR_DEFAULT -DIN_LIBGCC2 -D__GCC_FLOAT_NOT_NEEDED   -I. -I.
-I../.././gcc -I/vol/gcc/src/gcc-dist/libgcc -I/vol/gcc/src/gcc-dist/libgcc/.
-I/vol/gcc/src/gcc-dist/libgcc/../gcc -I/vol/gcc/src/gcc-dist/libgcc/../include
 -DHAVE_CC_TLS -o _powitf2.o -MT _powitf2.o -MD -MP -MF _powitf2.dep
-DL_powitf2 -c /vol/gcc/src/gcc-dist/libgcc/../gcc/libgcc2.c \

/vol/gcc/src/gcc-dist/libgcc/../gcc/libgcc2.c: In function '__powitf2':
/vol/gcc/src/gcc-dist/libgcc/../gcc/libgcc2.c:1742: internal compiler error: in
convert_move, at expr.c:369

The same problem happens at -O, while -O0 is ok.

Environment:
System: OSF1 bartok V5.1 2650 alpha
Machine: alpha

host: alpha-dec-osf5.1b
build: alpha-dec-osf5.1b
target: alpha-dec-osf5.1b
configured with: /vol/gcc/src/gcc-dist/configure --prefix=/vol/gcc
--with-local-prefix=/vol/gcc --disable-nls --host alpha-dec-osf5.1b --build
alpha-dec-osf5.1b --target alpha-dec-osf5.1b --with-gmp=/vol/gcc
--with-mpfr=/vol/gcc --enable-languages=c,c++,fortran,java,objc,ada
--disable-libmudflap

How-To-Repeat:
Bootstrap mainline as described above.


-- 
           Summary: [4.3 regression] Bootstrap failure on Tru64 UNIX V5.1B:
                    ICE in convert_move, at expr.c:369
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: bootstrap
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ro at techfak dot uni-bielefeld dot de
 GCC build triplet: alpha-dec-osf5.1b
  GCC host triplet: alpha-dec-osf5.1b
GCC target triplet: alpha-dec-osf5.1b


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

[Bug bootstrap/33306] [4.3 regression] Bootstrap failure on alpha: ICE in convert_move, at expr.c:369

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #1 from belyshev at depni dot sinp dot msu dot ru  2007-09-05 14:39 -------
Not specific to tru64 and can be reproduced with an alpha-unknown-linux-gnu
cross compiler with "--with-long-double-128". Worked at least with r127312.
Testcase:

typedef float TFtype __attribute__ ((mode (TF)));
int __powitf2 (TFtype x, int m)
{
  unsigned int n = m < 0 ? -m : m;
  TFtype y = n % 2 ? x : 1;
  return m < 0 ? 1/y : y;
}


(small nitpick: please don't set or change bug's "priority" field: it is RM's
prerogative)


-- 

belyshev at depni dot sinp dot msu dot ru changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |belyshev at depni dot sinp
                   |                            |dot msu dot ru
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|alpha-dec-osf5.1b           |
   GCC host triplet|alpha-dec-osf5.1b           |
 GCC target triplet|alpha-dec-osf5.1b           |
           Keywords|                            |build, ice-on-valid-code
           Priority|P2                          |P3
   Last reconfirmed|0000-00-00 00:00:00         |2007-09-05 14:39:39
               date|                            |
            Summary|[4.3 regression] Bootstrap  |[4.3 regression] Bootstrap
                   |failure on Tru64 UNIX V5.1B:|failure on alpha: ICE in
                   |ICE in convert_move, at     |convert_move, at expr.c:369
                   |expr.c:369                  |
   Target Milestone|---                         |4.3.0
            Version|unknown                     |4.3.0


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

[Bug bootstrap/33306] [4.3 regression] Bootstrap failure on alpha: ICE in convert_move, at expr.c:369

[ro at techfak dot uni-bielefeld dot de]

------- Comment #2 from ro at techfak dot uni-bielefeld dot de  2007-09-05 14:54 -------
Subject: Re:  [4.3 regression] Bootstrap failure on alpha: ICE in convert_move,
at expr.c:369

belyshev at depni dot sinp dot msu dot ru writes:

> Not specific to tru64 and can be reproduced with an alpha-unknown-linux-gnu
> cross compiler with "--with-long-double-128". Worked at least with r127312.

makes sense: that's the primary difference between alpha-dec-osf4.0f (which
works) and alpha-dec-osf5.1b (which does not).

I'm currently running a reghunt to identify the culprit patch.

> (small nitpick: please don't set or change bug's "priority" field: it is RM's
> prerogative)

It is set by the gccbug which I use to submit PRs.

        Rainer


-- 


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

[Bug bootstrap/33306] [4.3 regression] Bootstrap failure on alpha: ICE in convert_move, at expr.c:369

[ro at techfak dot uni-bielefeld dot de]

------- Comment #3 from ro at techfak dot uni-bielefeld dot de  2007-09-05 18:09 -------
Subject: Re:  [4.3 regression] Bootstrap failure on alpha: ICE in convert_move,
at expr.c:369

A reghunt revealed that this patch

2007-08-31  Richard Sandiford  <richard@codesourcery.com>

        * optabs.c (shift_optab_p, commutative_optab_p): New functions,
        split out from expand_binop.
        (avoid_expensive_constant): New function.
        (expand_binop_directly): Remove commutative_op argument and
        call cummutative_optab_p instead.  Do not change op0 or op1
        when swapping xop0 and xop1.  Apply avoid_expensive_constant
        to each argument after potential swapping.  Enforce the
        canonical order of commutative operands.
        (expand_binop): Use shift_optab_p and commutative_optab_p.
        Update the calls to expand_binop_directly.  Only force constants
        into registers when widening an operation.  Only swap operands
        once a direct expansion has been rejected.
        (expand_twoval_binop): Only force constants into registers when
        using a direct expansion.

is the culprit.

        Rainer


-- 


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

[Bug bootstrap/33306] [4.3 regression] Bootstrap failure on alpha: ICE in convert_move, at expr.c:369

[rsandifo at gcc dot gnu dot org]

------- Comment #4 from rsandifo at gcc dot gnu dot org  2007-09-05 19:19 -------
Created an attachment (id=14159)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14159&action=view)
Proposed patch

Sorry for the breakage.  Could you try the attached patch?  It seems to
fix the problem on a cross compiler.  I think it's the right fix because

  (a) the rest of expand_binop_directly is careful to pass unmodified operands
      when the expander does not specify a mode, and

  (b) that's what we'd do when not optimising.


-- 

rsandifo at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rsandifo at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

[Bug bootstrap/33306] [4.3 regression] Bootstrap failure on alpha: ICE in convert_move, at expr.c:369

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #5 from belyshev at depni dot sinp dot msu dot ru  2007-09-06 04:22 -------
(In reply to comment #4)
> Created an attachment (id=14159)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14159&action=view) [edit]
> Proposed patch

This patch fixes c-only bootstrap on alphaev56-unknown-linux-gnu.


-- 


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

[Bug bootstrap/33306] [4.3 regression] Bootstrap failure on alpha: ICE in convert_move, at expr.c:369

[rsandifo at gcc dot gnu dot org]

------- Comment #6 from rsandifo at gcc dot gnu dot org  2007-09-06 08:45 -------
Subject: Bug 33306

Author: rsandifo
Date: Thu Sep  6 08:45:16 2007
New Revision: 128179

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=128179
Log:
gcc/
        PR middle-end/33306
        * optabs.c (avoid_expensive_constant): Do nothing if MODE is VOIDmode.

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


-- 


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

[Bug bootstrap/33306] [4.3 regression] Bootstrap failure on alpha: ICE in convert_move, at expr.c:369

[rsandifo at gcc dot gnu dot org]

------- Comment #7 from rsandifo at gcc dot gnu dot org  2007-09-06 08:45 -------
Serge, thanks for testing.  Patch now installed on mainline.


-- 

rsandifo at gcc dot gnu dot org changed:

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


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