aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSegher Boessenkool <segher@gcc.gnu.org>2019-11-08 00:58:11 +0100
committerSegher Boessenkool <segher@gcc.gnu.org>2019-11-08 00:58:11 +0100
commit16472ec4d4c894603af27b71a46920bbce04f194 (patch)
tree3285592a8f588de3d96ebf6c580267c06863ae8c
parentc01bd174ef751a2766df122011124e15c1340086 (diff)
downloadgcc-16472ec4d4c894603af27b71a46920bbce04f194.zip
gcc-16472ec4d4c894603af27b71a46920bbce04f194.tar.gz
gcc-16472ec4d4c894603af27b71a46920bbce04f194.tar.bz2
rs6000: Remove no longer correct assert
After the simplify-rtx patch, we can now be asked about conditions we wouldn't be asked about before. This is perfectly fine, except we have a little over-eager assert. Remove that one. * config/rs6000/rs6000.c (validate_condition_mode): Don't assert for valid conditions. From-SVN: r277936
-rw-r--r--gcc/ChangeLog7
-rw-r--r--gcc/config/rs6000/rs6000.c8
2 files changed, 6 insertions, 9 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a73095b..30288a0 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,4 +1,9 @@
-2019-11-08 Jakub Jelinek <jakub@redhat.com>
+2019-11-07 Segher Boessenkool <segher@kernel.crashing.org>
+
+ * config/rs6000/rs6000.c (validate_condition_mode): Don't assert for
+ valid conditions.
+
+2019-11-07 Jakub Jelinek <jakub@redhat.com>
* ipa-utils.c (ipa_merge_profiles): Fix fprintf format string
typo - mistmatch -> mismatch.
diff --git a/gcc/config/rs6000/rs6000.c b/gcc/config/rs6000/rs6000.c
index d9d275b..d48157a 100644
--- a/gcc/config/rs6000/rs6000.c
+++ b/gcc/config/rs6000/rs6000.c
@@ -10250,14 +10250,6 @@ validate_condition_mode (enum rtx_code code, machine_mode mode)
&& code != UNGT && code != UNLT
&& code != UNGE && code != UNLE));
- /* These should never be generated except for
- flag_finite_math_only. */
- gcc_assert (mode != CCFPmode
- || flag_finite_math_only
- || (code != LE && code != GE
- && code != UNEQ && code != LTGT
- && code != UNGT && code != UNLT));
-
/* These are invalid; the information is not there. */
gcc_assert (mode != CCEQmode || code == EQ || code == NE);
}