OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR target/68609 (PowerPC reciprocal estimate missed opportunities)

Browse Source 
PR target/68609
        * config/rs6000/rs6000-protos.h (rs6000_emit_swsqrt): Rename and add
        bool arguement.
        * config/rs6000/rs6000.c (rs6000_emit_swsqrt): Rename. Add
        non-reciporcal path.
        * config/rs6000/rs6000.md (rsqrt<mode>2): Call new function name.
        (sqrt<mode>2): Replace define_insn with define_expand that may call
        rs6000_emit_swsqrt.

From-SVN: r231317
This commit is contained in:
David Edelsohn 2015-12-05 12:53:45 +00:00 committed by David Edelsohn
parent 5169d82c38
commit 4f0055bd4e
4 changed files with 48 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
gcc/ChangeLog
View File

@ -1,3 +1,14 @@
2015-12-05 David Edelsohn <dje.gcc@gmail.com>
PR target/68609
* config/rs6000/rs6000-protos.h (rs6000_emit_swsqrt): Rename and add
bool arguement.
* config/rs6000/rs6000.c (rs6000_emit_swsqrt): Rename. Add
non-reciporcal path.
* config/rs6000/rs6000.md (rsqrt<mode>2): Call new function name.
(sqrt<mode>2): Replace define_insn with define_expand that may call
rs6000_emit_swsqrt.
2015-12-04 Aditya Kumar <aditya.k7@samsung.com>
Sebastian Pop <s.pop@samsung.com>

2
gcc/config/rs6000/rs6000-protos.h
View File

@ -137,7 +137,7 @@ extern void rs6000_expand_atomic_compare_and_swap (rtx op[]);
extern void rs6000_expand_atomic_exchange (rtx op[]);
extern void rs6000_expand_atomic_op (enum rtx_code, rtx, rtx, rtx, rtx, rtx);
extern void rs6000_emit_swdiv (rtx, rtx, rtx, bool);
extern void rs6000_emit_swrsqrt (rtx, rtx);
extern void rs6000_emit_swsqrt (rtx, rtx, bool);
extern void output_toc (FILE *, rtx, int, machine_mode);
extern rtx rs6000_longcall_ref (rtx);
extern void rs6000_fatal_bad_address (rtx);

19
gcc/config/rs6000/rs6000.c
View File

@ -32910,7 +32910,7 @@ rs6000_emit_swdiv (rtx dst, rtx n, rtx d, bool note_p)
rsqrt. Assumes no trapping math and finite arguments. */
void
rs6000_emit_swrsqrt (rtx dst, rtx src)
rs6000_emit_swsqrt (rtx dst, rtx src, bool recip)
{
machine_mode mode = GET_MODE (src);
rtx x0 = gen_reg_rtx (mode);
@ -32943,6 +32943,16 @@ rs6000_emit_swrsqrt (rtx dst, rtx src)
emit_insn (gen_rtx_SET (x0, gen_rtx_UNSPEC (mode, gen_rtvec (1, src),
UNSPEC_RSQRT)));
/* If (src == 0.0) filter infinity to prevent NaN for sqrt(0.0). */
if (!recip)
{
rtx zero = force_reg (mode, CONST0_RTX (mode));
rtx target = emit_conditional_move (x0, GT, src, zero, mode,
x0, zero, mode, 0);
if (target != x0)
emit_move_insn (x0, target);
}
/* y = 0.5 * src = 1.5 * src - src -> fewer constants */
rs6000_emit_msub (y, src, halfthree, src);
@ -32959,7 +32969,12 @@ rs6000_emit_swrsqrt (rtx dst, rtx src)
x0 = x1;
}
emit_move_insn (dst, x0);
/* If not reciprocal, multiply by src to produce sqrt. */
if (!recip)
emit_insn (gen_mul (dst, src, x0));
else
emit_move_insn (dst, x0);
return;
}

21
gcc/config/rs6000/rs6000.md
View File

@ -4301,7 +4301,7 @@
(match_operand:RECIPF 1 "gpc_reg_operand" "")]
"RS6000_RECIP_HAVE_RSQRTE_P (<MODE>mode)"
{
rs6000_emit_swrsqrt (operands[0], operands[1]);
rs6000_emit_swsqrt (operands[0], operands[1], 1);
DONE;
})
@ -4426,7 +4426,7 @@
[(set_attr "type" "<Fs>div")
(set_attr "fp_type" "fp_div_<Fs>")])
(define_insn "sqrt<mode>2"
(define_insn "*sqrt<mode>2_internal"
[(set (match_operand:SFDF 0 "gpc_reg_operand" "=<Ff>,<Fv2>")
(sqrt:SFDF (match_operand:SFDF 1 "gpc_reg_operand" "<Ff>,<Fv2>")))]
"TARGET_<MODE>_FPR && !TARGET_SIMPLE_FPU
@ -4437,6 +4437,23 @@
[(set_attr "type" "<Fs>sqrt")
(set_attr "fp_type" "fp_sqrt_<Fs>")])
(define_expand "sqrt<mode>2"
[(set (match_operand:SFDF 0 "gpc_reg_operand" "")
(sqrt:SFDF (match_operand:SFDF 1 "gpc_reg_operand" "")))]
"TARGET_<MODE>_FPR && !TARGET_SIMPLE_FPU
&& (TARGET_PPC_GPOPT || (<MODE>mode == SFmode && TARGET_XILINX_FPU))"
{
if (<MODE>mode == SFmode
&& RS6000_RECIP_HAVE_RSQRTE_P (<MODE>mode)
&& !optimize_function_for_size_p (cfun)
&& flag_finite_math_only && !flag_trapping_math
&& flag_unsafe_math_optimizations)
{
rs6000_emit_swsqrt (operands[0], operands[1], 0);
DONE;
}
})
;; Floating point reciprocal approximation
(define_insn "fre<Fs>"
[(set (match_operand:SFDF 0 "gpc_reg_operand" "=<Ff>,<Fv2>")