[Bug target/65240] [5 Regression] ICE (insn does not satisfy its constraints) on powerpc64le-linux-gnu

["trippels at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain; charset="UTF-8", Size: 5840 bytes --]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65240

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-03-02
     Ever confirmed|0                           |1

--- Comment #6 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Attached unreduced testcase ICEs for me. Reduced testcase from comment 5
doesn't.

trippels@gcc2-power8 ~ % cat filters.i
int b, d, e;
double c;
double *f;
int
fn1(double p1) {
  if (p1 && p1 <= 1)
    return 1;
  return 0;
}
double fn2(double p1) {
  if (p1 < 0)
    p1 = -p1;
  if (p1 < 1)
    return -p1 - 1;
  if (p1 < .5)
    return .75 - p1 * p1;
}
double fn3(double p1) {
  int a;
  if (p1 < 0)
    return a * p1 + 3.0;
  if (p1 < 2)
    return 1 / 6.0 * p1 * p1 * p1;
}
double fn4(double p1) {
  if (b == 0)
    fn5(p1);
  else if (b == 1)
    return fn1(p1);
  else if (b == 3)
    return fn2(p1);
  else if (b == 5)
    return fn3(p1);
}
void
fn6() {
  double g, h;
  int j = e, i;
  g = e;
  for (; j; i++) {
    d = 0;
    for (; d < 1; d++) {
      c = (i + 1.0) / 0.1 - 1;
      h = ((2.0 * d + 1) / j - 1) * g;
      *f = fn4(c) * fn4(h);
    }
  }
}

trippels@gcc2-power8 ~ % ~/gcc_test/usr/local/bin/gcc -w -std=gnu99 -c -O3
-ffast-math filters.i
filters.i: In function ‘fn6’:
filters.i:48:1: error: insn does not satisfy its constraints:
 }
 ^
(insn 86 598 599 3 (set (reg:DF 98 21 [345])
        (mem/u/c:DF (lo_sum:DI (reg:DI 8 8)
                (unspec:DI [
                        (symbol_ref/u:DI ("*.LC8") [flags 0x82])
                        (reg:DI 2 2)
                    ] UNSPEC_TOCREL)) [2  S8 A64])) filters.i:44 499
{*movdf_hardfloat64}
     (expr_list:REG_EQUIV (const_double:DF -1.0e+0 [-0x0.8p+1])
        (nil)))
filters.i:48:1: internal compiler error: in extract_constrain_insn, at
recog.c:2246
0x1075f653 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        ../../gcc/gcc/rtl-error.c:110
0x1075f6b7 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        ../../gcc/gcc/rtl-error.c:121
0x107264fb extract_constrain_insn(rtx_insn*)
        ../../gcc/gcc/recog.c:2246
0x106ff137 reload_cse_simplify_operands
        ../../gcc/gcc/postreload.c:430
0x10700723 reload_cse_simplify
        ../../gcc/gcc/postreload.c:207
0x10700723 reload_cse_regs_1
        ../../gcc/gcc/postreload.c:246
0x107009e7 reload_cse_regs
        ../../gcc/gcc/postreload.c:94
0x107009e7 execute
        ../../gcc/gcc/postreload.c:2367
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.
>From gcc-bugs-return-478985-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Mar 02 13:38:46 2015
Return-Path: <gcc-bugs-return-478985-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 15539 invoked by alias); 2 Mar 2015 13:38:46 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 15452 invoked by uid 48); 2 Mar 2015 13:38:38 -0000
From: "burnus at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug lto/65276] New: [5 Regression] LTO: ICE add_type_duplicate, at ipa-devirt.c:1462
Date: Mon, 02 Mar 2015 13:38:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: lto
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: burnus at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status keywords bug_severity priority component assigned_to reporter cc attachments.created
Message-ID: <bug-65276-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-03/txt/msg00129.txt.bz2
Content-length: 1040

https://gcc.gnu.org/bugzilla/show_bug.cgi?ide276

            Bug ID: 65276
           Summary: [5 Regression] LTO: ICE add_type_duplicate, at
                    ipa-devirt.c:1462
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: lto
          Assignee: unassigned at gcc dot gnu.org
          Reporter: burnus at gcc dot gnu.org
                CC: hubicka at gcc dot gnu.org

Created attachment 34919
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id4919&actioníit
File "one.ii" - compile with -O0 (g++ -w -c -flto -O0 -std=c++11 one.ii)

Seems to be introduced in the last few days (max. 2 weeks) as it compiled
before.

The attached program fails with:
lto1: internal compiler error: in add_type_duplicate, at ipa-devirt.c:1462

Compile with:
  g++ -w -c -flto -O0 -std=c++11 one.ii
  g++ -w -c -flto -O2 -std=c++11 two.ii
  gcc -r -nostdlib -O0 -Wodr -flto-odr-type-merging one.o two.o