From: Uros Bizjak <uros@gcc.gnu.org>
Date: Mon, 16 Jul 2018 15:11:57 +0000 (+0200)
Subject: re PR middle-end/86511 (Traps are generated for non-trapping compares)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f4eafec9bc30855c45cfe86a0b04b88719516e76;p=gcc.git

re PR middle-end/86511 (Traps are generated for non-trapping compares)

	PR target/86511
	* expmed.c (emit_store_flag): Do not emit setcc followed by a
	conditional move when trapping comparison was split to a
	non-trapping one (and vice versa).

From-SVN: r262736
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 56e1ec3d7e3..b4a8151cc69 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2018-07-16  Uros Bizjak  <ubizjak@gmail.com>
+
+	PR target/86511
+	* expmed.c (emit_store_flag): Do not emit setcc followed by a
+	conditional move when trapping comparison was split to a
+	non-trapping one (and vice versa).
+
 2018-07-16  Ilya Leoshkevich  <iii@linux.ibm.com>
 
 	* config/s390/s390.c (s390_function_profiler): Generate nops
@@ -126,11 +133,12 @@
 	when result_eq is false.
 	(expand_builtin_strcmp): Inline the calls first.
 	(expand_builtin_strncmp): Likewise.
-	(inline_string_cmp): New routine. Expand a string compare 
+	(inline_string_cmp): New routine. Expand a string compare
 	call by using a sequence of char comparison.
 	(inline_expand_builtin_string_cmp): New routine. Inline expansion
 	a call to str(n)cmp/memcmp.
-	* doc/invoke.texi (--param builtin-string-cmp-inline-length): New option.
+	* doc/invoke.texi (--param builtin-string-cmp-inline-length):
+	New option.
 	* params.def (BUILTIN_STRING_CMP_INLINE_LENGTH): New.
 
 2018-07-13  Richard Earnshaw  <rearnsha@arm.com>
@@ -724,9 +732,9 @@
 
 	* config.gcc (riscv*-*-*): When setting xlen, handle riscv-*.
 
-2018-07-05  Indu Bhagat  <indu.bhagat@oracle.com> 
+2018-07-05  Indu Bhagat  <indu.bhagat@oracle.com>
 
-	* config/aarch64/aarch64-simd.md: correct flags text for 
+	* config/aarch64/aarch64-simd.md: correct flags text for
 	MIN_EXPR replacement.
 
 2018-07-05  James Clarke  <jrtc27@jrtc27.com>
diff --git a/gcc/expmed.c b/gcc/expmed.c
index b01e1946898..f114eb45e01 100644
--- a/gcc/expmed.c
+++ b/gcc/expmed.c
@@ -6038,6 +6038,11 @@ emit_store_flag (rtx target, enum rtx_code code, rtx op0, rtx op1,
       if (!HAVE_conditional_move)
 	return 0;
 
+      /* Do not turn a trapping comparison into a non-trapping one.  */
+      if ((code != EQ && code != NE && code != UNEQ && code != LTGT)
+	  && flag_trapping_math)
+	return 0;
+
       /* Try using a setcc instruction for ORDERED/UNORDERED, followed by a
 	 conditional move.  */
       tem = emit_store_flag_1 (subtarget, first_code, op0, op1, mode, 0,