diff options
| author | Uros Bizjak <uros@kss-loka.si> | 2005-02-12 12:34:24 +0100 |
|---|---|---|
| committer | Uros Bizjak <uros@gcc.gnu.org> | 2005-02-12 12:34:24 +0100 |
| commit | c94a75af08ce77997d7566d5fcca097ca177a97f (patch) | |
| tree | cb186a5041a6d892c57dd7ea7381d5eb638b0449 /gcc/builtins.c | |
| parent | a5ae3ad628e32bca2f2b0de8b570623757879cd7 (diff) | |
| download | gcc-c94a75af08ce77997d7566d5fcca097ca177a97f.zip gcc-c94a75af08ce77997d7566d5fcca097ca177a97f.tar.gz gcc-c94a75af08ce77997d7566d5fcca097ca177a97f.tar.bz2 | |
optabs.h (enum optab_index): Add new OTI_ldexp.
* optabs.h (enum optab_index): Add new OTI_ldexp.
(ldexp_optab): Define corresponding macro.
* optabs.c (init_optabs): Initialize ldexp_optab.
* genopinit.c (optabs): Implement ldexp_optab using ldexp?f3
patterns.
* builtins.c (expand_builtin_mathfn_2): Handle BUILT_IN_LDEXP{,F,L}
using ldexp_optab.
(expand_builtin): Expand BUILT_IN_LDEXP{,F,L} using
expand_builtin_mathfn_2 if flag_unsafe_math_optimizations is set.
* config/i386/i386.md (ldexpsf3, ldexpdf3, ldexpxf3): New expanders
to implement ldexpf, ldexp and ldexpl built-ins as inline x87
intrinsics.
testsuite:
* gcc.dg/builtins-34.c: Also check ldexp*.
From-SVN: r94931
Diffstat (limited to 'gcc/builtins.c')
| -rw-r--r-- | gcc/builtins.c | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/gcc/builtins.c b/gcc/builtins.c index 420e5dee..afeb9bc 100644 --- a/gcc/builtins.c +++ b/gcc/builtins.c @@ -1862,6 +1862,7 @@ expand_builtin_mathfn_2 (tree exp, rtx target, rtx subtarget) { optab builtin_optab; rtx op0, op1, insns; + int op1_type = REAL_TYPE; tree fndecl = get_callee_fndecl (exp); tree arglist = TREE_OPERAND (exp, 1); tree arg0, arg1, temp, narg; @@ -1869,7 +1870,12 @@ expand_builtin_mathfn_2 (tree exp, rtx target, rtx subtarget) bool errno_set = true; bool stable = true; - if (!validate_arglist (arglist, REAL_TYPE, REAL_TYPE, VOID_TYPE)) + if ((DECL_FUNCTION_CODE (fndecl) == BUILT_IN_LDEXP) + || (DECL_FUNCTION_CODE (fndecl) == BUILT_IN_LDEXPF) + || (DECL_FUNCTION_CODE (fndecl) == BUILT_IN_LDEXPL)) + op1_type = INTEGER_TYPE; + + if (!validate_arglist (arglist, REAL_TYPE, op1_type, VOID_TYPE)) return 0; arg0 = TREE_VALUE (arglist); @@ -1885,6 +1891,10 @@ expand_builtin_mathfn_2 (tree exp, rtx target, rtx subtarget) case BUILT_IN_ATAN2F: case BUILT_IN_ATAN2L: builtin_optab = atan2_optab; break; + case BUILT_IN_LDEXP: + case BUILT_IN_LDEXPF: + case BUILT_IN_LDEXPL: + builtin_optab = ldexp_optab; break; case BUILT_IN_FMOD: case BUILT_IN_FMODF: case BUILT_IN_FMODL: @@ -5259,6 +5269,9 @@ expand_builtin (tree exp, rtx target, rtx subtarget, enum machine_mode mode, case BUILT_IN_ATAN2: case BUILT_IN_ATAN2F: case BUILT_IN_ATAN2L: + case BUILT_IN_LDEXP: + case BUILT_IN_LDEXPF: + case BUILT_IN_LDEXPL: case BUILT_IN_FMOD: case BUILT_IN_FMODF: case BUILT_IN_FMODL: |