Re: Recent patch craters vector tests on powerpc64le-linux-gnu

[James Greenhalgh]

On Wed, Nov 11, 2015 at 05:12:29PM -0600, Bill Schmidt wrote:
> Hi Ilya,
> 
> The patch committed as r230098 has caused a number of ICEs on
> powerpc64le-linux-gnu.

And arm-none-linux-gnueabihf, and aarch64-none-linux-gnu.

> Could you please either revert the patch or fix these issues?
 
Thanks,
James

Re: Recent patch craters vector tests on powerpc64le-linux-gnu

[Andreas Schwab]

Bill Schmidt  writes:

> The patch committed as r230098 has caused a number of ICEs on
> powerpc64le-linux-gnu.

This is PR68296.

Andreas.

-- 
Andreas Schwab, SUSE Labs, sch...@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."

Re: Recent patch craters vector tests on powerpc64le-linux-gnu

[Ilya Enkovich]

2015-11-12 12:48 GMT+03:00 James Greenhalgh :
> On Wed, Nov 11, 2015 at 05:12:29PM -0600, Bill Schmidt wrote:
>> Hi Ilya,
>>
>> The patch committed as r230098 has caused a number of ICEs on
>> powerpc64le-linux-gnu.
>
> And arm-none-linux-gnueabihf, and aarch64-none-linux-gnu.
>
>> Could you please either revert the patch or fix these issues?
>
> Thanks,
> James
>

Sorry for the breakage. I sent a patch to fix it.

https://gcc.gnu.org/ml/gcc-patches/2015-11/msg01467.html

Thanks,
Ilya

Recent patch craters vector tests on powerpc64le-linux-gnu

[Bill Schmidt]

Hi Ilya,

The patch committed as r230098 has caused a number of ICEs on
powerpc64le-linux-gnu.  The gcc/ChangeLog entry for that patch is:

2015-11-10  Ilya Enkovich  

* expr.c (do_store_flag): Use expand_vec_cmp_expr for mask
results.
(const_vector_mask_from_tree): New.
(const_vector_from_tree): Use const_vector_mask_from_tree
for boolean vectors.
* optabs-query.h (get_vec_cmp_icode): New.
* optabs-tree.c (expand_vec_cmp_expr_p): New.
* optabs-tree.h (expand_vec_cmp_expr_p): New.
* optabs.c (vector_compare_rtx): Add OPNO arg.
(expand_vec_cond_expr): Adjust to vector_compare_rtx change.
(expand_vec_cmp_expr): New.
* optabs.def (vec_cmp_optab): New.
(vec_cmpu_optab): New.
* optabs.h (expand_vec_cmp_expr): New.
* tree-vect-generic.c (expand_vector_comparison): Add vector
comparison optabs check.
* tree-vect-loop.c (vect_determine_vectorization_factor):
Ignore mask
operations for VF.  Add mask type computation.
* tree-vect-stmts.c (get_mask_type_for_scalar_type): New.
(vectorizable_comparison): New.
(vect_analyze_stmt): Add vectorizable_comparison.
(vect_transform_stmt): Likewise.
(vect_init_vector): Support boolean vector invariants.
(vect_get_vec_def_for_operand): Add VECTYPE arg.
(vectorizable_condition): Directly provide vectype for
invariants
used in comparison.
* tree-vectorizer.h (get_mask_type_for_scalar_type): New.
(enum vect_var_kind): Add vect_mask_var.
(enum stmt_vec_info_type): Add comparison_vec_info_type.
(vectorizable_comparison): New.
(vect_get_vec_def_for_operand): Add VECTYPE arg.
* tree-vect-data-refs.c (vect_get_new_vect_var): Support
vect_mask_var.
(vect_create_destination_var): Likewise.
* tree-vect-patterns.c (check_bool_pattern): Check fails
if we can vectorize comparison directly.
(search_type_for_mask): New.
(vect_recog_bool_pattern): Support cases when bool pattern
check fails.
* tree-vect-slp.c (vect_build_slp_tree_1): Allow
comparison statements.
(vect_get_constant_vectors): Support boolean vector
constants.
* config/i386/i386-protos.h (ix86_expand_mask_vec_cmp): New.
(ix86_expand_int_vec_cmp): New.
(ix86_expand_fp_vec_cmp): New.
* config/i386/i386.c (ix86_expand_sse_cmp): Allow NULL for
op_true and op_false.
(ix86_int_cmp_code_to_pcmp_immediate): New.
(ix86_fp_cmp_code_to_pcmp_immediate): New.
(ix86_cmp_code_to_pcmp_immediate): New.
(ix86_expand_mask_vec_cmp): New.
(ix86_expand_fp_vec_cmp): New.
(ix86_expand_int_sse_cmp): New.
(ix86_expand_int_vcond): Use ix86_expand_int_sse_cmp.
(ix86_expand_int_vec_cmp): New.
(ix86_get_mask_mode): New.
(TARGET_VECTORIZE_GET_MASK_MODE): New.
* config/i386/sse.md (avx512fmaskmodelower): New.
(vec_cmp): New.
(vec_cmp): New.
(vec_cmpv2div2di): New.
(vec_cmpu): New.
(vec_cmpu): New.
(vec_cmpuv2div2di): New.

Here is a list of regressions that were caused by the patch:

FAIL: c-c++-common/opaque-vector.c  -std=c++11 (internal compiler error)
FAIL: c-c++-common/opaque-vector.c  -std=c++11 (test for excess errors)
FAIL: c-c++-common/opaque-vector.c  -std=c++14 (internal compiler error)
FAIL: c-c++-common/opaque-vector.c  -std=c++14 (test for excess errors)
FAIL: c-c++-common/opaque-vector.c  -std=c++98 (internal compiler error)
FAIL: c-c++-common/opaque-vector.c  -std=c++98 (test for excess errors)
FAIL: c-c++-common/opaque-vector.c  -Wc++-compat  (internal compiler
error)
FAIL: c-c++-common/opaque-vector.c  -Wc++-compat  (test for excess
errors)
FAIL: c-c++-common/torture/vector-compare-1.c   -O0  (internal compiler
error)
FAIL: c-c++-common/torture/vector-compare-1.c   -O0  (internal compiler
error)
FAIL: c-c++-common/torture/vector-compare-1.c   -O0  (test for excess
errors)
FAIL: c-c++-common/torture/vector-compare-1.c   -O0  (test for excess
errors)
FAIL: c-c++-common/vector-compare-2.c  -std=gnu++11 (internal compiler
error)
FAIL: c-c++-common/vector-compare-2.c  -std=gnu++11 (test for excess
errors)
FAIL: c-c++-common/vector-compare-2.c  -std=gnu++14 (internal compiler
error)
FAIL: c-c++-common/vector-compare-2.c  -std=gnu++14 (test for excess
errors)
FAIL: c-c++-common/vector-compare-2.c  -std=gnu++98 (internal compiler
error)
FAIL: c-c++-common/vector-compare-2.c  -std=gnu++98 (test for excess
errors)
FAIL: c-c++-common/vector-compare-2.c  -Wc++-compat  (internal compiler
error)
FAIL: c-c++-common/vector-compare-2.c  -Wc++-compat  (test for excess
errors)
FAIL: c-c++-common/vector-scalar.c  -std=c++11 (internal compiler error)
FAIL: c-c++-common/vector-scalar.c  -std=c++11 (test for excess errors)
FAIL: