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

builtin-types.def (BT_FN_FLOAT): New.

Browse Source 
* builtin-types.def (BT_FN_FLOAT): New.
        (BT_FN_DOUBLE, BT_FN_LONG_DOUBLE): New.
        * builtins.def (BUILT_IN_INF, BUILT_IN_INFF, BUILT_IN_INFL,
        BUILT_IN_HUGE_VAL, BUILT_IN_HUGE_VALF, BUILT_IN_HUGE_VALL): New.
        * builtins.c (fold_builtin_inf): New.
        (fold_builtin): Call it.
        * real.c (ereal_inf): New.
        * real.h: Declare it.
        * doc/extend.texi: Document new builtins.

From-SVN: r56820
This commit is contained in:
Richard Henderson 2002-09-04 16:21:28 -07:00 committed by Richard Henderson
parent 9beb7d2082
commit ab5e26156f
7 changed files with 141 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gcc/ChangeLog
View File

@ -1,3 +1,15 @@
2002-09-04 Richard Henderson <rth@redhat.com>
* builtin-types.def (BT_FN_FLOAT): New.
(BT_FN_DOUBLE, BT_FN_LONG_DOUBLE): New.
* builtins.def (BUILT_IN_INF, BUILT_IN_INFF, BUILT_IN_INFL,
BUILT_IN_HUGE_VAL, BUILT_IN_HUGE_VALF, BUILT_IN_HUGE_VALL): New.
* builtins.c (fold_builtin_inf): New.
(fold_builtin): Call it.
* real.c (ereal_inf): New.
* real.h: Declare it.
* doc/extend.texi: Document new builtins.
2002-09-04 Richard Henderson <rth@redhat.com>
* cse.c (cse_insn): Avoid subreg games if the equivalence

3
gcc/builtin-types.def
View File

@ -84,6 +84,9 @@ DEF_PRIMITIVE_TYPE (BT_VALIST_ARG, va_list_arg_type_node)
DEF_FUNCTION_TYPE_0 (BT_FN_VOID, BT_VOID)
DEF_FUNCTION_TYPE_0 (BT_FN_PTR, BT_PTR)
DEF_FUNCTION_TYPE_0 (BT_FN_UNSIGNED, BT_UNSIGNED)
DEF_FUNCTION_TYPE_0 (BT_FN_FLOAT, BT_FLOAT)
DEF_FUNCTION_TYPE_0 (BT_FN_DOUBLE, BT_DOUBLE)
DEF_FUNCTION_TYPE_0 (BT_FN_LONG_DOUBLE, BT_LONG_DOUBLE)
DEF_FUNCTION_TYPE_1 (BT_FN_LONG_LONG, BT_LONG, BT_LONG)
DEF_FUNCTION_TYPE_1 (BT_FN_LONGLONG_LONGLONG, BT_LONGLONG, BT_LONGLONG)

24
gcc/builtins.c
View File

@ -148,6 +148,7 @@ static tree stabilize_va_list PARAMS ((tree, int));
static rtx expand_builtin_expect PARAMS ((tree, rtx));
static tree fold_builtin_constant_p PARAMS ((tree));
static tree fold_builtin_classify_type PARAMS ((tree));
static tree fold_builtin_inf PARAMS ((tree, int));
static tree build_function_call_expr PARAMS ((tree, tree));
static int validate_arglist PARAMS ((tree, ...));
@ -4132,6 +4133,19 @@ fold_builtin_classify_type (arglist)
return build_int_2 (type_to_class (TREE_TYPE (TREE_VALUE (arglist))), 0);
}
/* Fold a call to __builtin_inf or __builtin_huge_val. */
static tree
fold_builtin_inf (type, warn)
tree type;
int warn;
{
if (!MODE_HAS_INFINITIES (TYPE_MODE (type)) && warn)
warning ("target format does not support infinity");
return build_real (type, ereal_inf (TYPE_MODE (type)));
}
/* Used by constant folding to eliminate some builtin calls early. EXP is
the CALL_EXPR of a call to a builtin function. */
@ -4163,6 +4177,16 @@ fold_builtin (exp)
}
break;
case BUILT_IN_INF:
case BUILT_IN_INFF:
case BUILT_IN_INFL:
return fold_builtin_inf (TREE_TYPE (TREE_TYPE (fndecl)), true);
case BUILT_IN_HUGE_VAL:
case BUILT_IN_HUGE_VALF:
case BUILT_IN_HUGE_VALL:
return fold_builtin_inf (TREE_TYPE (TREE_TYPE (fndecl)), false);
default:
break;
}

26
gcc/builtins.def
View File

@ -401,6 +401,32 @@ DEF_LIB_BUILTIN(BUILT_IN_LOGL,
? ATTR_CONST_NOTHROW_LIST
: ATTR_PURE_NOTHROW_LIST))
DEF_GCC_BUILTIN(BUILT_IN_INF,
"__builtin_inf",
BT_FN_DOUBLE,
ATTR_PURE_NOTHROW_LIST)
DEF_GCC_BUILTIN(BUILT_IN_INFF,
"__builtin_inff",
BT_FN_FLOAT,
ATTR_PURE_NOTHROW_LIST)
DEF_GCC_BUILTIN(BUILT_IN_INFL,
"__builtin_infl",
BT_FN_LONG_DOUBLE,
ATTR_PURE_NOTHROW_LIST)
DEF_GCC_BUILTIN(BUILT_IN_HUGE_VAL,
"__builtin_huge_val",
BT_FN_DOUBLE,
ATTR_PURE_NOTHROW_LIST)
DEF_GCC_BUILTIN(BUILT_IN_HUGE_VALF,
"__builtin_huge_valf",
BT_FN_FLOAT,
ATTR_PURE_NOTHROW_LIST)
DEF_GCC_BUILTIN(BUILT_IN_HUGE_VALL,
"__builtin_huge_vall",
BT_FN_LONG_DOUBLE,
ATTR_PURE_NOTHROW_LIST)
DEF_UNUSED_BUILTIN(BUILT_IN_GETEXP)
DEF_UNUSED_BUILTIN(BUILT_IN_GETMAN)

30
gcc/doc/extend.texi
View File

@ -4833,6 +4833,36 @@ is evaluated if it includes side effects but no other code is generated
and GCC does not issue a warning.
@end deftypefn
@deftypefn {Built-in Function} double __builtin_huge_val (void)
Returns a positive infinity, if supported by the floating-point format,
else @code{DBL_MAX}. This function is suitable for implementing the
ISO C macro @code{HUGE_VAL}.
@end deftypefn
@deftypefn {Built-in Function} float __builtin_huge_valf (void)
Similar to @code{__builtin_huge_val}, except the return type is @code{float}.
@end deftypefn
@deftypefn {Built-in Function} long double __builtin_huge_vall (void)
Similar to @code{__builtin_huge_val}, except the return
type is @code{long double}.
@end deftypefn
@deftypefn {Built-in Function} double __builtin_inf (void)
Similar to @code{__builtin_huge_val}, except a warning is generated
if the target floating-point format does not support infinities.
This function is suitable for implementing the ISO C99 macro @code{INFINITY}.
@end deftypefn
@deftypefn {Built-in Function} float __builtin_inff (void)
Similar to @code{__builtin_inf}, except the return type is @code{float}.
@end deftypefn
@deftypefn {Built-in Function} long double __builtin_infl (void)
Similar to @code{__builtin_inf}, except the return
type is @code{long double}.
@end deftypefn
@node Target Builtins
@section Built-in Functions Specific to Particular Target Machines

47
gcc/real.c
View File

@ -1818,8 +1818,8 @@ eisnan (x)
return (0);
}
/* Fill e-type number X with infinity pattern (IEEE)
or largest possible number (non-IEEE). */
/* Fill e-type number X with infinity pattern (IEEE)
or largest possible number (non-IEEE). */
static void
einfin (x)
@ -1860,6 +1860,49 @@ einfin (x)
#endif
}
/* Similar, except return it as a REAL_VALUE_TYPE. */
REAL_VALUE_TYPE
ereal_inf (mode)
enum machine_mode mode;
{
REAL_VALUE_TYPE r;
UEMUSHORT e[NE];
int prec, rndsav;
switch (mode)
{
case QFmode:
case SFmode:
prec = 24;
break;
case HFmode:
case DFmode:
prec = 53;
break;
case TFmode:
if (!INTEL_EXTENDED_IEEE_FORMAT)
{
prec = 113;
break;
}
/* FALLTHRU */
case XFmode:
prec = 64;
break;
default:
abort ();
}
rndsav = rndprc;
rndprc = prec;
einfin (e);
rndprc = rndsav;
PUT_REAL (e, &r);
return r;
}
/* Output an e-type NaN.
This generates Intel's quiet NaN pattern for extended real.
The exponent is 7fff, the leading mantissa word is c000. */

1
gcc/real.h
View File

@ -292,6 +292,7 @@ extern int target_isinf PARAMS ((REAL_VALUE_TYPE));
extern int target_negative PARAMS ((REAL_VALUE_TYPE));
extern void debug_real PARAMS ((REAL_VALUE_TYPE));
extern REAL_VALUE_TYPE ereal_atof PARAMS ((const char *, enum machine_mode));
extern REAL_VALUE_TYPE ereal_inf PARAMS ((enum machine_mode));
/* In tree.c: wrap up a REAL_VALUE_TYPE in a tree node. */
extern tree build_real PARAMS ((tree, REAL_VALUE_TYPE));