diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 22 | ||||
| -rw-r--r-- | gcc/builtins.c | 3 | ||||
| -rw-r--r-- | gcc/config/i386/i386.md | 30 | ||||
| -rw-r--r-- | gcc/genopinit.c | 1 | ||||
| -rw-r--r-- | gcc/optabs.c | 1 | ||||
| -rw-r--r-- | gcc/optabs.h | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 10 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/20080522-1.c | 0 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/20080528-1.c | 0 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/builtins-34.c | 21 |
10 files changed, 84 insertions, 7 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0ee49143d3f..4bd4664f4e0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,19 @@ +2009-06-19 Uros Bizjak <ubizjak@gmail.com> + + * optabs.h (enum optab_index): Add new OTI_significand. + (significand_optab): Define corresponding macro. + * optabs.c (init_optabs): Initialize significand_optab. + * genopinit.c (optabs): Implement significand_optab using + significand?f2 patterns. + * builtins.c (expand_builtin_mathfn): Handle + BUILT_IN_SIGNIFICAND{,F,L}. + (expand_builtin): Expand BUILT_IN_SIGNIFICAND{,F,L} using + expand_builtin_mathfn if flag_unsafe_math_optimizations is set. + + * config/i386/i386.md (significandxf2, significand<mode>2): New + expanders to implement significandf, significand and significandl + built-ins as inline x87 intrinsics. + 2009-06-18 Anatoly Sokolov <aesok@post.ru> * config/avr/avr.c (avr_override_options): Remove setting value of @@ -42,8 +58,6 @@ * timevar.def (TV_SEE): Remove. * tree-pass.h (pass_see): Remove declaration. * doc/invoke.texi (-fsee): Remove documentation. - * testsuite/gcc.dg/20080522-1.c: Remove testcase. - * testsuite/gcc.dg/20080528-1.c: Remove testcase. 2009-06-18 Martin Jambor <mjambor@suse.cz> @@ -1763,8 +1777,8 @@ * config/rs6000/crtsavgpr.asm: Likewise. * config/rs6000/crtsavfpr.asm: Likewise. - * dwarf2out.c (output_cfi_directive): Pass 1 instead of - 0 to second argument of DWARF2_FRAME_REG_OUT macros. + * dwarf2out.c (output_cfi_directive): Pass 1 instead of 0 to second + argument of DWARF2_FRAME_REG_OUT macros. 2009-06-03 Julian Brown <julian@codesourcery.com> diff --git a/gcc/builtins.c b/gcc/builtins.c index a6d26efa776..e906ef78eae 100644 --- a/gcc/builtins.c +++ b/gcc/builtins.c @@ -1975,6 +1975,8 @@ expand_builtin_mathfn (tree exp, rtx target, rtx subtarget) /* Else fallthrough and expand as rint. */ CASE_FLT_FN (BUILT_IN_RINT): builtin_optab = rint_optab; break; + CASE_FLT_FN (BUILT_IN_SIGNIFICAND): + builtin_optab = significand_optab; break; default: gcc_unreachable (); } @@ -6332,6 +6334,7 @@ expand_builtin (tree exp, rtx target, rtx subtarget, enum machine_mode mode, CASE_FLT_FN (BUILT_IN_ASIN): CASE_FLT_FN (BUILT_IN_ACOS): CASE_FLT_FN (BUILT_IN_ATAN): + CASE_FLT_FN (BUILT_IN_SIGNIFICAND): /* Treat these like sqrt only if unsafe math optimizations are allowed, because of possible accuracy problems. */ if (! flag_unsafe_math_optimizations) diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md index 59d9e829ed0..a71ca43c163 100644 --- a/gcc/config/i386/i386.md +++ b/gcc/config/i386/i386.md @@ -18531,7 +18531,7 @@ (define_expand "scalb<mode>3" [(use (match_operand:MODEF 0 "register_operand" "")) (use (match_operand:MODEF 1 "general_operand" "")) - (use (match_operand:MODEF 2 "register_operand" ""))] + (use (match_operand:MODEF 2 "general_operand" ""))] "TARGET_USE_FANCY_MATH_387 && (!(SSE_FLOAT_MODE_P (<MODE>mode) && TARGET_SSE_MATH) || TARGET_MIX_SSE_I387) @@ -18552,6 +18552,34 @@ emit_insn (gen_truncxf<mode>2_i387_noop (operands[0], op0)); DONE; }) + +(define_expand "significandxf2" + [(parallel [(set (match_operand:XF 0 "register_operand" "") + (unspec:XF [(match_operand:XF 1 "register_operand" "")] + UNSPEC_XTRACT_FRACT)) + (set (match_dup 2) + (unspec:XF [(match_dup 1)] UNSPEC_XTRACT_EXP))])] + "TARGET_USE_FANCY_MATH_387 + && flag_unsafe_math_optimizations" +{ + operands[2] = gen_reg_rtx (XFmode); +}) + +(define_expand "significand<mode>2" + [(use (match_operand:MODEF 0 "register_operand" "")) + (use (match_operand:MODEF 1 "register_operand" ""))] + "TARGET_USE_FANCY_MATH_387 + && (!(SSE_FLOAT_MODE_P (<MODE>mode) && TARGET_SSE_MATH) + || TARGET_MIX_SSE_I387) + && flag_unsafe_math_optimizations" +{ + rtx op0 = gen_reg_rtx (XFmode); + rtx op1 = gen_reg_rtx (XFmode); + + emit_insn (gen_fxtract_extend<mode>xf3_i387 (op0, op1, operands[1])); + emit_insn (gen_truncxf<mode>2_i387_noop (operands[0], op0)); + DONE; +}) (define_insn "sse4_1_round<mode>2" diff --git a/gcc/genopinit.c b/gcc/genopinit.c index f8cbf9549f8..52e0dd9462a 100644 --- a/gcc/genopinit.c +++ b/gcc/genopinit.c @@ -178,6 +178,7 @@ static const char * const optabs[] = "optab_handler (expm1_optab, $A)->insn_code = CODE_FOR_$(expm1$a2$)", "optab_handler (ldexp_optab, $A)->insn_code = CODE_FOR_$(ldexp$a3$)", "optab_handler (scalb_optab, $A)->insn_code = CODE_FOR_$(scalb$a3$)", + "optab_handler (significand_optab, $A)->insn_code = CODE_FOR_$(significand$a2$)", "optab_handler (logb_optab, $A)->insn_code = CODE_FOR_$(logb$a2$)", "optab_handler (ilogb_optab, $A)->insn_code = CODE_FOR_$(ilogb$a2$)", "optab_handler (log_optab, $A)->insn_code = CODE_FOR_$(log$a2$)", diff --git a/gcc/optabs.c b/gcc/optabs.c index 99da304b5c1..34d284a588b 100644 --- a/gcc/optabs.c +++ b/gcc/optabs.c @@ -6271,6 +6271,7 @@ init_optabs (void) init_optab (expm1_optab, UNKNOWN); init_optab (ldexp_optab, UNKNOWN); init_optab (scalb_optab, UNKNOWN); + init_optab (significand_optab, UNKNOWN); init_optab (logb_optab, UNKNOWN); init_optab (ilogb_optab, UNKNOWN); init_optab (log_optab, UNKNOWN); diff --git a/gcc/optabs.h b/gcc/optabs.h index 096feda7df2..82f8084883a 100644 --- a/gcc/optabs.h +++ b/gcc/optabs.h @@ -242,6 +242,8 @@ enum optab_index OTI_ldexp, /* Multiply floating-point number by integral power of radix */ OTI_scalb, + /* Mantissa of a floating-point number */ + OTI_significand, /* Radix-independent exponent */ OTI_logb, OTI_ilogb, @@ -462,6 +464,7 @@ extern struct optab_d optab_table[OTI_MAX]; #define expm1_optab (&optab_table[OTI_expm1]) #define ldexp_optab (&optab_table[OTI_ldexp]) #define scalb_optab (&optab_table[OTI_scalb]) +#define significand_optab (&optab_table[OTI_significand]) #define logb_optab (&optab_table[OTI_logb]) #define ilogb_optab (&optab_table[OTI_ilogb]) #define log_optab (&optab_table[OTI_log]) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7ddc7581ca5..918d19819f5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,13 @@ +2009-06-19 Uros Bizjak <ubizjak@gmail.com> + + * gcc.dg/builtins-34.c: Add significand cases. + +2009-06-19 Uros Bizjak <ubizjak@gmail.com> + + PR testsuite/40491 + * testsuite/gcc.dg/20080522-1.c: Remove testcase for real. + * testsuite/gcc.dg/20080528-1.c: Ditto. + 2009-06-19 Janus Weil <janus@gcc.gnu.org> PR fortran/40450 diff --git a/gcc/testsuite/gcc.dg/20080522-1.c b/gcc/testsuite/gcc.dg/20080522-1.c deleted file mode 100644 index e69de29bb2d..00000000000 --- a/gcc/testsuite/gcc.dg/20080522-1.c +++ /dev/null diff --git a/gcc/testsuite/gcc.dg/20080528-1.c b/gcc/testsuite/gcc.dg/20080528-1.c deleted file mode 100644 index e69de29bb2d..00000000000 --- a/gcc/testsuite/gcc.dg/20080528-1.c +++ /dev/null diff --git a/gcc/testsuite/gcc.dg/builtins-34.c b/gcc/testsuite/gcc.dg/builtins-34.c index ee8d7513f91..e348a1ca943 100644 --- a/gcc/testsuite/gcc.dg/builtins-34.c +++ b/gcc/testsuite/gcc.dg/builtins-34.c @@ -1,7 +1,6 @@ /* Copyright (C) 2004 Free Software Foundation. - Check that exp10, exp10f, exp10l, exp2, exp2f, exp2l, pow10, pow10f, - pow10l, expm1, expm1f and expm1l built-in functions compile. + Check that various built-in functions compile. Written by Uros Bizjak, 13th February 2004. */ @@ -16,6 +15,7 @@ extern double ldexp(double, int); extern double scalb(double, double); extern double scalbn(double, int); extern double scalbln(double, long); +extern double significand(double); extern float exp10f(float); extern float exp2f(float); extern float pow10f(float); @@ -24,6 +24,7 @@ extern float ldexpf(float, int); extern float scalbf(float, float); extern float scalbnf(float, int); extern float scalblnf(float, long); +extern float significandf(float); extern long double exp10l(long double); extern long double exp2l(long double); extern long double pow10l(long double); @@ -32,6 +33,7 @@ extern long double ldexpl(long double, int); extern long double scalbl(long double, long double); extern long double scalbnl(long double, int); extern long double scalblnl(long double, long); +extern long double significandl(long double); double test1(double x) @@ -74,6 +76,11 @@ double test8(double x, long exp) return scalbln(x, exp); } +double test9(double x) +{ + return significand(x); +} + float test1f(float x) { return exp10f(x); @@ -114,6 +121,11 @@ float test8f(float x, long exp) return scalblnf(x, exp); } +float test9f(float x) +{ + return significandf(x); +} + long double test1l(long double x) { return exp10l(x); @@ -153,3 +165,8 @@ long double test8l(long double x, long exp) { return scalblnl(x, exp); } + +long double test9l(long double x) +{ + return significandl(x); +} |