diff options
author | Jakub Jelinek <jakub@redhat.com> | 2019-11-27 17:32:54 +0100 |
---|---|---|
committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2019-11-27 17:32:54 +0100 |
commit | fa21363375a2ff71ded325e6debe890e561a9743 (patch) | |
tree | fd7d0c88c381c8f4da3f8cf88cdd0394a775f8fc | |
parent | 861d4af8d82819a857e360949545651adf33a264 (diff) | |
download | gcc-fa21363375a2ff71ded325e6debe890e561a9743.zip gcc-fa21363375a2ff71ded325e6debe890e561a9743.tar.gz gcc-fa21363375a2ff71ded325e6debe890e561a9743.tar.bz2 |
re PR rtl-optimization/92510 (ICE in native_encode_rtx, at simplify-rtx.c:6272)
PR rtl-optimization/92510
* combine.c (gen_lowpart_for_combine): Only transform lowpart subreg
of comparison into a comparison with different mode if both imode and
omode are scalar integral modes.
* gcc.dg/pr92510.c: New test.
From-SVN: r278777
-rw-r--r-- | gcc/ChangeLog | 7 | ||||
-rw-r--r-- | gcc/combine.c | 4 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/pr92510.c | 16 |
4 files changed, 31 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f2cacc0..7dbf824 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2019-11-27 Jakub Jelinek <jakub@redhat.com> + + PR rtl-optimization/92510 + * combine.c (gen_lowpart_for_combine): Only transform lowpart subreg + of comparison into a comparison with different mode if both imode and + omode are scalar integral modes. + 2019-11-27 Vladimir Makarov <vmakarov@redhat.com> PR rtl-optimization/90007 diff --git a/gcc/combine.c b/gcc/combine.c index 3fbd84f..16e606d 100644 --- a/gcc/combine.c +++ b/gcc/combine.c @@ -11812,7 +11812,9 @@ gen_lowpart_for_combine (machine_mode omode, rtx x) /* If X is a comparison operator, rewrite it in a new mode. This probably won't match, but may allow further simplifications. */ - else if (COMPARISON_P (x)) + else if (COMPARISON_P (x) + && SCALAR_INT_MODE_P (imode) + && SCALAR_INT_MODE_P (omode)) return gen_rtx_fmt_ee (GET_CODE (x), omode, XEXP (x, 0), XEXP (x, 1)); /* If we couldn't simplify X any other way, just enclose it in a diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index aca3864..4f97f4c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2019-11-27 Jakub Jelinek <jakub@redhat.com> + + PR rtl-optimization/92510 + * gcc.dg/pr92510.c: New test. + 2019-11-27 Andrew Sutton <asutton@lock3software.com> PR c++/92236 diff --git a/gcc/testsuite/gcc.dg/pr92510.c b/gcc/testsuite/gcc.dg/pr92510.c new file mode 100644 index 0000000..d468586 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr92510.c @@ -0,0 +1,16 @@ +/* PR rtl-optimization/92510 */ +/* { dg-do compile } */ +/* { dg-options "-O1 -ftree-loop-vectorize -fno-forward-propagate -fno-tree-scev-cprop" } */ + +int v; + +long int +foo (long int x) +{ + signed char i; + + for (i = 0; i < 8; ++i) + x |= !!v; + + return x + i; +} |