summaryrefslogtreecommitdiffstats
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/ifcvt.c6
2 files changed, 9 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5f635ca21b9..5ab3fee2a13 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-07-04 Roger Sayle <roger@eyesopen.com>
+
+ * ifcvt.c (noce_try_sign_mask): Call emit_store_flag to generate
+ a "sign mask" instead of using ashr_optab directly.
+
2004-07-04 Neil Booth <neil@duron.akihabara.co.uk>
* doc/cpp.texi: Don't document what we do for ill-formed expressions.
diff --git a/gcc/ifcvt.c b/gcc/ifcvt.c
index bd4c30c00ac..0be64727d35 100644
--- a/gcc/ifcvt.c
+++ b/gcc/ifcvt.c
@@ -1735,8 +1735,10 @@ noce_try_sign_mask (struct noce_if_info *if_info)
return FALSE;
start_sequence ();
- c = gen_int_mode (GET_MODE_BITSIZE (mode) - 1, mode);
- m = expand_binop (mode, ashr_optab, m, c, NULL_RTX, 0, OPTAB_DIRECT);
+ /* Use emit_store_flag to generate "m < 0 ? -1 : 0" instead of expanding
+ "(signed) m >> 31" directly. This benefits targets with specialized
+ insns to obtain the signmask, but still uses ashr_optab otherwise. */
+ m = emit_store_flag (gen_reg_rtx (mode), LT, m, const0_rtx, mode, 0, -1);
t = m ? expand_binop (mode, and_optab, m, t, NULL_RTX, 0, OPTAB_DIRECT)
: NULL_RTX;
OpenPOWER on IntegriCloud