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.


I originally had this patch before the simplify-rtx one, but I reordered
them without retesting every step.  And broke the powerpc bootstraps now.
So sorry.

It failed in stage 1 before, it's still building but past there, so I'll
commit this now.


Segher


2019-11-07  Segher Boessenkool  <seg...@kernel.crashing.org>

        * config/rs6000/rs6000.c (validate_condition_mode): Don't assert for
        valid conditions.

---
 gcc/config/rs6000/rs6000.c | 8 --------
 1 file changed, 8 deletions(-)

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);
 }
-- 
1.8.3.1

Reply via email to