From 1a4c0446c0b38d86e7385a114cd99af591eece05 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Fri, 13 Dec 2019 11:12:55 +0100 Subject: [PATCH] re PR target/92908 (wrong code with -Og -fno-tree-fre -mavx512bw and vector compare) PR target/92908 * simplify-rtx.c (simplify_relational_operation): Punt for vector cmp_mode and scalar mode, if simplify_relational_operation returned const_true_rtx. (simplify_const_relational_operation): Change VOID_mode in function comment to VOIDmode. * gcc.target/i386/avx512bw-pr92908.c: New test. From-SVN: r279369 --- gcc/ChangeLog | 9 ++++++++ gcc/simplify-rtx.c | 11 +++++++++- gcc/testsuite/ChangeLog | 5 +++++ .../gcc.target/i386/avx512bw-pr92908.c | 21 +++++++++++++++++++ 4 files changed, 45 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.target/i386/avx512bw-pr92908.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 981b3ff4225..b3d8398ca5f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,12 @@ +2019-12-13 Jakub Jelinek + + PR target/92908 + * simplify-rtx.c (simplify_relational_operation): Punt for vector + cmp_mode and scalar mode, if simplify_relational_operation returned + const_true_rtx. + (simplify_const_relational_operation): Change VOID_mode in function + comment to VOIDmode. + 2019-12-13 Kewen Lin * config/rs6000/rs6000.c (adjust_vectorization_cost): New function. diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index b2ba9222ce3..d7046ed662d 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -5037,6 +5037,15 @@ simplify_relational_operation (enum rtx_code code, machine_mode mode, return NULL_RTX; #endif } + /* For vector comparison with scalar int result, it is unknown + if the target means here a comparison into an integral bitmask, + or comparison where all comparisons true mean const_true_rtx + whole result, or where any comparisons true mean const_true_rtx + whole result. For const0_rtx all the cases are the same. */ + if (VECTOR_MODE_P (cmp_mode) + && SCALAR_INT_MODE_P (mode) + && tem == const_true_rtx) + return NULL_RTX; return tem; } @@ -5383,7 +5392,7 @@ comparison_result (enum rtx_code code, int known_results) } /* Check if the given comparison (done in the given MODE) is actually - a tautology or a contradiction. If the mode is VOID_mode, the + a tautology or a contradiction. If the mode is VOIDmode, the comparison is done in "infinite precision". If no simplification is possible, this function returns zero. Otherwise, it returns either const_true_rtx or const0_rtx. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 021c2a0b7e1..66ed72003e4 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2019-12-13 Jakub Jelinek + + PR target/92908 + * gcc.target/i386/avx512bw-pr92908.c: New test. + 2019-12-13 Andrew Pinski * gcc.c-torture/execute/pr86659-1.c: New test. diff --git a/gcc/testsuite/gcc.target/i386/avx512bw-pr92908.c b/gcc/testsuite/gcc.target/i386/avx512bw-pr92908.c new file mode 100644 index 00000000000..88275929f35 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/avx512bw-pr92908.c @@ -0,0 +1,21 @@ +/* PR target/92908 */ +/* { dg-do run } */ +/* { dg-options "-Og -fno-tree-fre -mavx512bw" } */ +/* { dg-require-effective-target avx512bw } */ + +#define AVX512BW +#include "avx512f-helper.h" + +typedef unsigned short V __attribute__ ((__vector_size__ (64))); + +V v; + +void +TEST (void) +{ + int i; + v = (V) v == v; + for (i = 0; i < 32; i++) + if (v[i] != 0xffff) + abort (); +} -- 2.30.2