re PR middle-end/33794 (Wrong code w/ -ffast-math)

	PR middle-end/33794
	* reg-stack.c (move_for_stack_reg): Swap input argument of
	UNSPEC_TAN insn to the top of the stack.

From-SVN: r129406

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a37131f8f1f9898f9137066f191a822b8df141db..34462e4a89fb0724594c180104e1774fadf250f8 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2007-10-17  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR middle-end/33794
+       * reg-stack.c (move_for_stack_reg): Swap input argument of
+       UNSPEC_TAN insn to the top of the stack.
+
 2007-10-17  Uros Bizjak  <ubizjak@gmail.com>
 
        PR target/32961

diff --git a/gcc/reg-stack.c b/gcc/reg-stack.c
index f5d263fbff29c8b01cc655bfdbe62c227be71dd9..248a8c2b9a5c3162f3a5a899a3f912a48f7d5723 100644 (file)
--- a/gcc/reg-stack.c
+++ b/gcc/reg-stack.c
@@ -1085,11 +1085,13 @@ move_for_stack_reg (rtx insn, stack regstack, rtx pat)
         special case with i387 UNSPEC_TAN, where destination is live
         (an argument to fptan) but inherent load of 1.0 is modelled
         as a load from a constant.  */
-      if (! (GET_CODE (pat) == PARALLEL
-            && XVECLEN (pat, 0) == 2
-            && GET_CODE (XVECEXP (pat, 0, 1)) == SET
-            && GET_CODE (SET_SRC (XVECEXP (pat, 0, 1))) == UNSPEC
-            && XINT (SET_SRC (XVECEXP (pat, 0, 1)), 1) == UNSPEC_TAN))
+      if (GET_CODE (pat) == PARALLEL
+         && XVECLEN (pat, 0) == 2
+         && GET_CODE (XVECEXP (pat, 0, 1)) == SET
+         && GET_CODE (SET_SRC (XVECEXP (pat, 0, 1))) == UNSPEC
+         && XINT (SET_SRC (XVECEXP (pat, 0, 1)), 1) == UNSPEC_TAN)
+       emit_swap_insn (insn, regstack, dest);
+      else
        gcc_assert (get_hard_regnum (regstack, dest) < FIRST_STACK_REG);
 
       gcc_assert (regstack->top < REG_STACK_SIZE);