mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 08:40:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR debug/26827 ("GNAT BUG DETECTED" on compile GPS 1.3.1/gtkada)

Browse Source 
2006-08-06  Paolo Bonzini  <bonzini@gnu.org>

	PR target/26827
	* config/i386/i386.md: Add peephole2 to avoid "fld %st"
	instructions.

2006-08-06  Paolo Bonzini  <bonzini@gnu.org>

	PR target/26827
	* gcc.target/i386/pr27827.c: New testcase.

From-SVN: r115969
This commit is contained in:
Paolo Bonzini 2006-08-06 12:06:31 +00:00 committed by Paolo Bonzini
parent 884b74f0f4
commit bab1de0adb
4 changed files with 50 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2006-08-06 Paolo Bonzini <bonzini@gnu.org>
PR target/27827
* conffig/i386/i386.md: Add peephole2 to avoid "fld %st"
instructions.
2006-08-06 Andreas Schwab <schwab@suse.de>
* config/m68k/m68k.c (m68k_output_function_epilogue): Fix format

26
gcc/config/i386/i386.md
View File

@ -18757,6 +18757,32 @@
[(set_attr "type" "sseadd")
(set_attr "mode" "DF")])
;; Make two stack loads independent:
;; fld aa fld aa
;; fld %st(0) -> fld bb
;; fmul bb fmul %st(1), %st
;;
;; Actually we only match the last two instructions for simplicity.
(define_peephole2
[(set (match_operand 0 "fp_register_operand" "")
(match_operand 1 "fp_register_operand" ""))
(set (match_dup 0)
(match_operator 2 "binary_fp_operator"
[(match_dup 0)
(match_operand 3 "memory_operand" "")]))]
"REGNO (operands[0]) != REGNO (operands[1])"
[(set (match_dup 0) (match_dup 3))
(set (match_dup 0) (match_dup 4))]
;; The % modifier is not operational anymore in peephole2's, so we have to
;; swap the operands manually in the case of addition and multiplication.
"if (COMMUTATIVE_ARITH_P (operands[2]))
operands[4] = gen_rtx_fmt_ee (GET_CODE (operands[2]), GET_MODE (operands[2]),
operands[0], operands[1]);
else
operands[4] = gen_rtx_fmt_ee (GET_CODE (operands[2]), GET_MODE (operands[2]),
operands[1], operands[0]);")
;; Conditional addition patterns
(define_expand "addqicc"
[(match_operand:QI 0 "register_operand" "")

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2006-08-06 Paolo Bonzini <bonzini@gnu.org>
PR target/27827
* gcc.target/i386/pr27827.c: New testcase.
2006-08-06 Paul Thomas <pault@gcc.gnu.org>
PR fortran/28590

12
gcc/testsuite/gcc.target/i386/pr27827.c Normal file
View File

@ -0,0 +1,12 @@
/* { dg-do compile } */
/* { dg-options "-O2" } */
double a, b;
double f(double c)
{
double x = a * b;
return x + c * a;
}
/* { dg-final { scan-assembler-not "fld\[ \t\]*%st" } } */
/* { dg-final { scan-assembler "fmul\[ \t\]*%st" } } */