Re: [Boolean Vector, patch 1/5] Introduce boolean vector to be used as a vector comparison type

[James Greenhalgh <james.greenhalgh@arm.com>]

On Fri, Oct 02, 2015 at 02:59:21PM +0100, Ilya Enkovich wrote:
> Hi,
> 
> This patch starts the first series to introduce vec<bool> as a vector
> comparison type.  This series introduces the new vec<bool> type and force its
> usage for all vector comparisons.  This series doesn't intoroduce any new
> vectorization features.  I split it into five small patches but will commit
> in a single chunk.  Patch series was bootstrapped and tested on
> x86_64-unknown-linux-gnu.
> 
> The first patch introduces a target hook and functions to produce new vector
> type.

Hi,

This patch (or whatever combination of patches became r229129) caused an
ICE to show up in my random testing of the AArch64 arm_neon.h intrinsics.

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

I've tried reproducing the failure on other targets but I can't seem to
get it to trigger elsewhere.

Thanks,
James

---
random-test.c:10:42: internal compiler error: in prepare_cmp_insn, at optabs.c:3820
   uint64x1_t result = (uint64x1_t) (arg1 == arg2);
                                          ^
0x996e40 prepare_cmp_insn
	..../src/gcc/gcc/optabs.c:3820
0x997396 emit_cmp_and_jump_insns(rtx_def*, rtx_def*, rtx_code, rtx_def*, machine_mode, int, rtx_def*, int)
	..../src/gcc/gcc/optabs.c:3967
0x72e934 do_compare_rtx_and_jump(rtx_def*, rtx_def*, rtx_code, int, machine_mode, rtx_def*, rtx_code_label*, rtx_code_label*, int)
	..../src/gcc/gcc/dojump.c:1149
0x72f52a do_compare_and_jump
	..../src/gcc/gcc/dojump.c:1228
0x73134f do_jump_1(tree_code, tree_node*, tree_node*, rtx_code_label*, rtx_code_label*, int)
	..../src/gcc/gcc/dojump.c:240
0x731c68 jumpifnot_1(tree_code, tree_node*, tree_node*, rtx_code_label*, int)
	..../src/gcc/gcc/dojump.c:148
0x7c6e47 expand_expr_real_2(separate_ops*, rtx_def*, machine_mode, expand_modifier)
	..../src/gcc/gcc/expr.c:9030
0x6c5ad9 expand_gimple_stmt_1
	..../src/gcc/gcc/cfgexpand.c:3617
0x6c5ad9 expand_gimple_stmt
	..../src/gcc/gcc/cfgexpand.c:3677
0x6c8316 expand_gimple_basic_block
	..../src/gcc/gcc/cfgexpand.c:5681
0x6cb8c4 execute
	..../src/gcc/gcc/cfgexpand.c:6293
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.