[Bug c++/63424] New: Octave -O3 build: internal compiler error: in prepare_cmp_insn, at optabs.c:4237

[Bug c++/63424] New: Octave -O3 build: internal compiler error: in prepare_cmp_insn, at optabs.c:4237

[david.sherwood at arm dot com]

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

            Bug ID: 63424
           Summary: Octave -O3 build: internal compiler error: in
                    prepare_cmp_insn, at optabs.c:4237
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: david.sherwood at arm dot com

Created attachment 33634
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33634&action=edit
A reduced test case from the Octave build failure

Whilst building Octave with CFLAGS="-O3 -pipe" on target aarch64-linux-gnu I
got the following compiler error:

internal compiler error: in prepare_cmp_insn, at optabs.c:4237
     ival = truncate_int (static_cast<unsigned long long> (ival)   
     ^
0xb2b205 prepare_cmp_insn
    /work/davshe01/oban-work/src/gcc/gcc/optabs.c:4237
0xb2b288 emit_cmp_and_jump_insns(rtx_def*, rtx_def*, rtx_code, rtx_def*,
machine_mode, int, rtx_def*, int)
    /work/davshe01/oban-work/src/gcc/gcc/optabs.c:4381
0x8d3019 do_compare_rtx_and_jump(rtx_def*, rtx_def*, rtx_code, int,
machine_mode, rtx_def*, rtx_def*, rtx_def*, int)
    /work/davshe01/oban-work/src/gcc/gcc/dojump.c:1135
0x95c9bf expand_expr_real_2(separate_ops*, rtx_def*, machine_mode,
expand_modifier)
    /work/davshe01/oban-work/src/gcc/gcc/expr.c:8855
0x94ff1f expand_expr_real_1(tree_node*, rtx_def*, machine_mode,
expand_modifier, rtx_def**, bool)
    /work/davshe01/oban-work/src/gcc/gcc/expr.c:9428
0x958a00 expand_expr
    /work/davshe01/oban-work/src/gcc/gcc/expr.h:451
0x958a00 expand_operands
    /work/davshe01/oban-work/src/gcc/gcc/expr.c:7541
0x95bc92 expand_expr_real_2(separate_ops*, rtx_def*, machine_mode,
expand_modifier)
    /work/davshe01/oban-work/src/gcc/gcc/expr.c:9233
0x94ff1f expand_expr_real_1(tree_node*, rtx_def*, machine_mode,
expand_modifier, rtx_def**, bool)
    /work/davshe01/oban-work/src/gcc/gcc/expr.c:9428
0x959945 store_expr(tree_node*, rtx_def*, int, bool)
    /work/davshe01/oban-work/src/gcc/gcc/expr.c:5337
0x960cbf expand_assignment(tree_node*, tree_node*, bool)
    /work/davshe01/oban-work/src/gcc/gcc/expr.c:5123
0x876a0b expand_gimple_stmt_1
    /work/davshe01/oban-work/src/gcc/gcc/cfgexpand.c:3274
0x876a0b expand_gimple_stmt
    /work/davshe01/oban-work/src/gcc/gcc/cfgexpand.c:3370
0x87ca33 expand_gimple_basic_block
    /work/davshe01/oban-work/src/gcc/gcc/cfgexpand.c:5209
0x87e5d6 execute
    /work/davshe01/oban-work/src/gcc/gcc/cfgexpand.c:5815
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.

I have attached a reduced test case,
Thanks,
David Sherwood.

[Bug target/63424] Octave -O3 build: internal compiler error: in prepare_cmp_insn, at optabs.c:4237

[renlin.li at arm dot com]

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

Renlin Li <renlin.li at arm dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |renlin.li at arm dot com

--- Comment #1 from Renlin Li <renlin.li at arm dot com> ---
uminv2di is missing in this specific case.

[Bug target/63424] Octave -O3 build: internal compiler error: in prepare_cmp_insn, at optabs.c:4237

[renlin.li at arm dot com]

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

--- Comment #2 from Renlin Li <renlin.li at arm dot com> ---
VEC_COND_EXPR with V2DI mode is generated as aarch64 target supports it
(vcond<mode><mode>). The VEC_COND_EXPR expression will further folded into
MIN_EXPR/MAX_EXPR expression in the dom pass.

However, aarch64 min/max expanders don't support V2DI mode. The compiler tries
to generate compare and jump sequence for this, and no vector compare can be
found(aarch64 dose have one, however, the compiler uses cbranch as a key to
search for a compare insn). And no library function is provided, it asserts.

[Bug target/63424] Octave -O3 build: internal compiler error: in prepare_cmp_insn, at optabs.c:4237

[renlin.li at arm dot com]

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

--- Comment #3 from Renlin Li <renlin.li at arm dot com> ---
I am working on this issue, and a patch is more or less done for it.

[Bug target/63424] Octave -O3 build: internal compiler error: in prepare_cmp_insn, at optabs.c:4237

[renlin at gcc dot gnu.org]

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

--- Comment #4 from renlin at gcc dot gnu.org ---
Author: renlin
Date: Wed Nov 19 16:34:38 2014
New Revision: 217786

URL: https://gcc.gnu.org/viewcvs?rev=217786&root=gcc&view=rev
Log:
[AArch64] Implement <su><maxmin>v2di3 pattern

gcc/:
        PR target/63424
        * config/aarch64/aarch64-simd.md (<su><maxmin>v2di3): New.

gcc/testsuite/:
        PR target/63424
        * gcc.target/aarch64/pr63424.c: New test.

Added:
    trunk/gcc/testsuite/gcc.target/aarch64/pr63424.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/aarch64/aarch64-simd.md
    trunk/gcc/testsuite/ChangeLog

[Bug target/63424] [4.9 regression] Octave -O3 build: internal compiler error: in prepare_cmp_insn, at optabs.c:4237

[ramana at gcc dot gnu.org]

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

Ramana Radhakrishnan <ramana at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-11-27
                 CC|                            |ramana at gcc dot gnu.org
      Known to work|                            |4.8.3
            Version|5.0                         |4.9.0
           Assignee|unassigned at gcc dot gnu.org      |renlin.li at arm dot com
   Target Milestone|---                         |4.9.3
            Summary|Octave -O3 build: internal  |[4.9 regression] Octave -O3
                   |compiler error: in          |build: internal compiler
                   |prepare_cmp_insn, at        |error: in prepare_cmp_insn,
                   |optabs.c:4237               |at optabs.c:4237
     Ever confirmed|0                           |1
      Known to fail|                            |4.9.0, 4.9.1, 4.9.2

--- Comment #5 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> ---
Renlin - can you ask for a 4.9 backport as well. This is a regression from 4.8
in 4.9 now.

Fixed on trunk currently.

[Bug target/63424] [4.9 regression] Octave -O3 build: internal compiler error: in prepare_cmp_insn, at optabs.c:4237

[renlin at gcc dot gnu.org]

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

--- Comment #6 from renlin at gcc dot gnu.org ---
Author: renlin
Date: Tue Jan 13 16:25:00 2015
New Revision: 219540

URL: https://gcc.gnu.org/viewcvs?rev=219540&root=gcc&view=rev
Log:
[AArch64] Implement <su><maxmin>v2di3 pattern

Backport from mainline
2014-11-19 Renlin Li <renlin.li@arm.com>

gcc/:
    PR target/63424
    * config/aarch64/aarch64-simd.md (<su><maxmin>v2di3): New.

gcc/testsuite/:
    PR target/63424
    * gcc.target/aarch64/pr63424.c: New test.


Added:
    branches/gcc-4_9-branch/gcc/testsuite/gcc.target/aarch64/pr63424.c
Modified:
    branches/gcc-4_9-branch/gcc/ChangeLog
    branches/gcc-4_9-branch/gcc/config/aarch64/aarch64-simd.md
    branches/gcc-4_9-branch/gcc/testsuite/ChangeLog

[Bug target/63424] [4.9 regression] Octave -O3 build: internal compiler error: in prepare_cmp_insn, at optabs.c:4237

[renlin at gcc dot gnu.org]

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

renlin at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
                 CC|                            |renlin at gcc dot gnu.org
         Resolution|---                         |FIXED

--- Comment #7 from renlin at gcc dot gnu.org ---
backport to 4.9