(modsi3): Move test of exact_log2 into extra condition.

From-SVN: r6205

diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md
index a36623a9ba79755d458d865afdbb38d94e3f8634..bb719a5d376064dcaa9a8a3cff4c79fc3faac4f5 100644 (file)
--- a/gcc/config/rs6000/rs6000.md
+++ b/gcc/config/rs6000/rs6000.md
@@ -765,18 +765,15 @@
   [(use (match_operand:SI 0 "gpc_reg_operand" ""))
    (use (match_operand:SI 1 "gpc_reg_operand" ""))
    (use (match_operand:SI 2 "const_int_operand" ""))]
-  ""
+  "exact_log2 (INTVAL (operands[2])) >= 0"
   "
 {
-  int i = exact_log2 (INTVAL (operands[2]));
   rtx temp1 = gen_reg_rtx (SImode);
   rtx temp2 = gen_reg_rtx (SImode);
 
-  if (i < 0)
-    FAIL;
-
   emit_insn (gen_divsi3 (temp1, operands[1], operands[2]));
-  emit_insn (gen_ashlsi3 (temp2, temp1, GEN_INT (i)));
+  emit_insn (gen_ashlsi3 (temp2, temp1,
+                         GEN_INT (exact_log2 (INTVAL (operands[2])))));
   emit_insn (gen_subsi3 (operands[0], operands[1], temp2));
   DONE;