(expand_divmod): Always check result of emit_store_flag.

From-SVN: r9905

diff --git a/gcc/expmed.c b/gcc/expmed.c
index b6f6d82748a8b0399ed4c4248fa811cc292e2c94..e2d31bef155547898d11d664a528ac0cbf0babdf 100644 (file)
--- a/gcc/expmed.c
+++ b/gcc/expmed.c
@@ -2858,7 +2858,6 @@ expand_divmod (rem_flag, code, mode, op0, op1, target, unsignedp)
                       result.  */
                    quotient = emit_store_flag (tquotient, GEU, op0, op1,
                                                compute_mode, 1, 1);
-                   /* Can emit_store_flag have failed? */
                    if (quotient == 0)
                      goto fail1;
                  }
@@ -2957,10 +2956,14 @@ expand_divmod (rem_flag, code, mode, op0, op1, target, unsignedp)
                else if (d == -1)
                  quotient = expand_unop (compute_mode, neg_optab, op0,
                                          tquotient, 0);
-               else if (INTVAL (op1) == (HOST_WIDE_INT) 1 << (size - 1))
-                 /* This case is not handled correctly below.  */
-                 quotient = emit_store_flag (tquotient, EQ, op0, op1,
-                                             compute_mode, 1, 1);
+               else if (abs_d == (unsigned HOST_WIDE_INT) 1 << (size - 1))
+                 {
+                   /* This case is not handled correctly below.  */
+                   quotient = emit_store_flag (tquotient, EQ, op0, op1,
+                                               compute_mode, 1, 1);
+                   if (quotient == 0)
+                     goto fail1;
+                 }
                else if (EXACT_POWER_OF_2_OR_ZERO_P (d)
                         && (rem_flag ? smod_pow2_cheap : sdiv_pow2_cheap))
                  ;