[Bug tree-optimization/65907] New: [6 Regression] ICE: in set_lattice_value, at tree-ssa-ccp.c:535

[Bug tree-optimization/65907] New: [6 Regression] ICE: in set_lattice_value, at tree-ssa-ccp.c:535

[trippels at gcc dot gnu.org]

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

            Bug ID: 65907
           Summary: [6 Regression] ICE: in set_lattice_value, at
                    tree-ssa-ccp.c:535
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: trippels at gcc dot gnu.org
  Target Milestone: ---

Building LLVM fails with gcc-6:

trippels@gcc2-power8 Support % /home/trippels/gcc_test/usr/local/bin/g++ -fPIC
-std=c++11 -O2 -fno-exceptions -fno-rtti -c YAMLParser.ii
/home/trippels/llvm/lib/Support/YAMLParser.cpp: In function
‘std::__cxx11::string llvm::yaml::escape(llvm::StringRef)’:
/home/trippels/llvm/lib/Support/YAMLParser.cpp:642:13: internal compiler error:
in set_lattice_value, at tree-ssa-ccp.c:535
 std::string yaml::escape(StringRef Input) {
             ^
0x10b6f98b set_lattice_value
        ../../gcc/gcc/tree-ssa-ccp.c:535
0x10b70bbf ccp_visit_phi_node
        ../../gcc/gcc/tree-ssa-ccp.c:1147
0x10c14337 simulate_stmt
        ../../gcc/gcc/tree-ssa-propagate.c:344
0x10c16507 simulate_block
        ../../gcc/gcc/tree-ssa-propagate.c:485
0x10c16507 ssa_propagate(ssa_prop_result (*)(gimple_statement_base*,
edge_def**, tree_node**), ssa_prop_result (*)(gphi*))
        ../../gcc/gcc/tree-ssa-propagate.c:928
0x10b6db3f do_ssa_ccp
        ../../gcc/gcc/tree-ssa-ccp.c:2411
0x10b6db3f execute
        ../../gcc/gcc/tree-ssa-ccp.c:2444
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.

Reducing...
>From gcc-bugs-return-484743-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Apr 27 14:53:27 2015
Return-Path: <gcc-bugs-return-484743-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 99457 invoked by alias); 27 Apr 2015 14:53:27 -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 99412 invoked by uid 55); 27 Apr 2015 14:53:22 -0000
From: "bergner at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/64579] __TM_end __builtin_tend failed to return transactional state
Date: Mon, 27 Apr 2015 14:53:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 4.9.2
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: bergner at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: bergner at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-64579-4-pXffQKnaCV@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64579-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64579-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-04/txt/msg02295.txt.bz2
Content-length: 3188

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

--- Comment #2 from Peter Bergner <bergner at gcc dot gnu.org> ---
Author: bergner
Date: Mon Apr 27 14:52:50 2015
New Revision: 222467

URL: https://gcc.gnu.org/viewcvs?rev"2467&root=gcc&view=rev
Log:
gcc/
        PR target/64579
        * config/rs6000/htm.md: Remove all define_expands.
        (UNSPECV_HTM_TABORTDC, UNSPECV_HTM_TABORTDCI, UNSPECV_HTM_TABORTWC,
        UNSPECV_HTM_TABORTWCI): Remove.
        (UNSPECV_HTM_TABORTXC, UNSPECV_HTM_TABORTXCI, UNSPECV_HTM_TTEST): New.
        (tabort_internal, tbegin_internal, tcheck_internal, tend_internal,
        trechkpt_internal, treclaim_internal, tsr_internal): Rename from
this...
        (tabort, tbegin, tcheck, tend, trechkpt, treclaim, tsr): ...to this.
        (tabortdc_internal, tabortdci_internal, tabortwc_internal,
        tabortwci_internal): Remove define_insns.
        (tabort<wd>c, tabort<wd>ci): New define_insns.
        (tabort): Use gpc_reg_operand.
        (tcheck): Remove operand.
        (htm_mfspr_<mode>, htm_mtspr_<mode>): Use GPR mode macro.
        * config/rs6000/htmxlintrin.h (__TM_end): Use _HTM_TRANSACTIONAL as
        expected value.
        * config/rs6000/rs6000-builtin.def (BU_HTM_SPR0): Remove.
        (BU_HTM_SPR1): Rename to BU_HTM_V1.  Remove use of RS6000_BTC_SPR.
        (tabort, tabortdc, tabortdci, tabortwc, tabortwci, tbegin,
        tcheck, tend, tendall, trechkpt, treclaim, tresume, tsuspend,
        tsr, ttest): Pass in the RS6000_BTC_CR attribute.
        (get_tfhar, set_tfhar, get_tfiar, set_tfiar, get_texasr, set_texasr,
        get_texasru, set_texasru): Pass in the RS6000_BTC_SPR attribute.
        (tcheck): Remove builtin argument.
        * config/rs6000/rs6000.c (rs6000_htm_spr_icode): Use TARGET_POWERPC64
        not TARGET_64BIT.
        (htm_expand_builtin): Fix usage of expandedp.  Disallow usage of the
        tabortdc and tabortdci builtins when not in 64-bit mode.
        Modify code to handle the loss of the HTM define_expands.
        Emit code to copy the CR register to TARGET.
        (htm_init_builtins): Modify code to handle the loss of the HTM
        define_expands.
        * config/rs6000/rs6000.h (RS6000_BTC_32BIT): Delete.
        (RS6000_BTC_64BIT): Likewise.
        (RS6000_BTC_CR): New macro.
        * doc/extend.texi: Update documentation for htm builtins.

gcc/testsuite/

        PR target/64579
        * gcc.target/powerpc/htm-1.c: New test.
        * gcc.target/powerpc/htm-builtin-1.c (__builtin_tabortdc): Only test
        on 64-bit compiles.
        (__builtin_tabortdci): Likewise.
        (__builtin_tcheck): Remove operand.
        * lib/target-supports.exp (check_htm_hw_available): New function.

Added:
    trunk/gcc/testsuite/gcc.target/powerpc/htm-1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/rs6000/htm.md
    trunk/gcc/config/rs6000/htmxlintrin.h
    trunk/gcc/config/rs6000/rs6000-builtin.def
    trunk/gcc/config/rs6000/rs6000.c
    trunk/gcc/config/rs6000/rs6000.h
    trunk/gcc/doc/extend.texi
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.target/powerpc/htm-builtin-1.c
    trunk/gcc/testsuite/lib/target-supports.exp

[Bug tree-optimization/65907] [6 Regression] ICE: in set_lattice_value, at tree-ssa-ccp.c:535

[trippels at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-04-27
     Ever confirmed|0                           |1

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
trippels@gcc2-power8 Support % < YAMLParser.ii
template <typename> class A;
template <class> struct B;
template <typename _CharT, typename = A<_CharT>> class C;
template <> struct B<char> { static int m_fn1(char *); };
template <typename, typename> class C {
  struct _Alloc_hider {
    _Alloc_hider(int);
  } _M_dataplus;

public:
  C(char *p1) : _M_dataplus(0) { p1 ? B<char>::m_fn1(p1) : 0; }
};
int a, c;
char b[0];
inline char *fn1(char *p1, int) {
  --p1;
  if (a == 0)
    *--p1 = '0';
  if (a)
    *--p1 = 0;
  return p1;
}
inline C<char> fn2() { return fn1(b, 0); }
void fn3() {
  for (int i;; ++i)
    if (i)
      if (c)
        fn2();
}

trippels@gcc2-power8 Support % /home/trippels/gcc_test/usr/local/bin/g++ -fPIC
-std=c++11 -O2 -c YAMLParser.ii
YAMLParser.ii: In function ‘void fn3()’:
YAMLParser.ii:24:6: internal compiler error: in set_lattice_value, at
tree-ssa-ccp.c:535
 void fn3() {
      ^
0x10b6f98b set_lattice_value
        ../../gcc/gcc/tree-ssa-ccp.c:535
0x10b70bbf ccp_visit_phi_node
        ../../gcc/gcc/tree-ssa-ccp.c:1147
0x10c14337 simulate_stmt
        ../../gcc/gcc/tree-ssa-propagate.c:344
0x10c16507 simulate_block
        ../../gcc/gcc/tree-ssa-propagate.c:485
0x10c16507 ssa_propagate(ssa_prop_result (*)(gimple_statement_base*,
edge_def**, tree_node**), ssa_prop_result (*)(gphi*))
        ../../gcc/gcc/tree-ssa-propagate.c:928
0x10b6db3f do_ssa_ccp
        ../../gcc/gcc/tree-ssa-ccp.c:2411
0x10b6db3f execute
        ../../gcc/gcc/tree-ssa-ccp.c:2444
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-484747-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Mon Apr 27 15:17:32 2015
Return-Path: <gcc-bugs-return-484747-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 118346 invoked by alias); 27 Apr 2015 15:17:31 -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 118305 invoked by uid 48); 27 Apr 2015 15:17:27 -0000
From: "hjl.tools at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/65907] [6 Regression] ICE: in set_lattice_value, at tree-ssa-ccp.c:535
Date: Mon, 27 Apr 2015 15:17:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 6.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: hjl.tools at gmail dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution:
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:
Message-ID: <bug-65907-4-yBQi76bSXn@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-65907-4@http.gcc.gnu.org/bugzilla/>
References: <bug-65907-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-04/txt/msg02299.txt.bz2
Content-length: 141

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

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> ---
Is this a dup of PR 65851?

[Bug tree-optimization/65907] [6 Regression] ICE: in set_lattice_value, at tree-ssa-ccp.c:535

[trippels at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #3 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
(In reply to H.J. Lu from comment #2)
> Is this a dup of PR 65851?

Yes, very likely.

*** This bug has been marked as a duplicate of bug 65851 ***