/* Decimal context module for the decNumber C Library.
|
/* Decimal context module for the decNumber C Library.
|
Copyright (C) 2005 Free Software Foundation, Inc.
|
Copyright (C) 2005 Free Software Foundation, Inc.
|
Contributed by IBM Corporation. Author Mike Cowlishaw.
|
Contributed by IBM Corporation. Author Mike Cowlishaw.
|
|
|
This file is part of GCC.
|
This file is part of GCC.
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
GCC is free software; you can redistribute it and/or modify it under
|
the terms of the GNU General Public License as published by the Free
|
the terms of the GNU General Public License as published by the Free
|
Software Foundation; either version 2, or (at your option) any later
|
Software Foundation; either version 2, or (at your option) any later
|
version.
|
version.
|
|
|
In addition to the permissions in the GNU General Public License,
|
In addition to the permissions in the GNU General Public License,
|
the Free Software Foundation gives you unlimited permission to link
|
the Free Software Foundation gives you unlimited permission to link
|
the compiled version of this file into combinations with other
|
the compiled version of this file into combinations with other
|
programs, and to distribute those combinations without any
|
programs, and to distribute those combinations without any
|
restriction coming from the use of this file. (The General Public
|
restriction coming from the use of this file. (The General Public
|
License restrictions do apply in other respects; for example, they
|
License restrictions do apply in other respects; for example, they
|
cover modification of the file, and distribution when not linked
|
cover modification of the file, and distribution when not linked
|
into a combine executable.)
|
into a combine executable.)
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
for more details.
|
for more details.
|
|
|
You should have received a copy of the GNU General Public License
|
You should have received a copy of the GNU General Public License
|
along with GCC; see the file COPYING. If not, write to the Free
|
along with GCC; see the file COPYING. If not, write to the Free
|
Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
|
Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
|
02110-1301, USA. */
|
02110-1301, USA. */
|
|
|
/* This module compirises the routines for handling the arithmetic
|
/* This module compirises the routines for handling the arithmetic
|
context structures. */
|
context structures. */
|
|
|
#include <string.h> /* for strcmp */
|
#include <string.h> /* for strcmp */
|
#include "config.h"
|
#include "config.h"
|
#include "decContext.h" /* context and base types */
|
#include "decContext.h" /* context and base types */
|
#include "decNumberLocal.h" /* decNumber local types, etc. */
|
#include "decNumberLocal.h" /* decNumber local types, etc. */
|
|
|
/* ------------------------------------------------------------------ */
|
/* ------------------------------------------------------------------ */
|
/* decContextDefault -- initialize a context structure */
|
/* decContextDefault -- initialize a context structure */
|
/* */
|
/* */
|
/* context is the structure to be initialized */
|
/* context is the structure to be initialized */
|
/* kind selects the required set of default values, one of: */
|
/* kind selects the required set of default values, one of: */
|
/* DEC_INIT_BASE -- select ANSI X3-274 defaults */
|
/* DEC_INIT_BASE -- select ANSI X3-274 defaults */
|
/* DEC_INIT_DECIMAL32 -- select IEEE 754r defaults, 32-bit */
|
/* DEC_INIT_DECIMAL32 -- select IEEE 754r defaults, 32-bit */
|
/* DEC_INIT_DECIMAL64 -- select IEEE 754r defaults, 64-bit */
|
/* DEC_INIT_DECIMAL64 -- select IEEE 754r defaults, 64-bit */
|
/* DEC_INIT_DECIMAL128 -- select IEEE 754r defaults, 128-bit */
|
/* DEC_INIT_DECIMAL128 -- select IEEE 754r defaults, 128-bit */
|
/* For any other value a valid context is returned, but with */
|
/* For any other value a valid context is returned, but with */
|
/* Invalid_operation set in the status field. */
|
/* Invalid_operation set in the status field. */
|
/* returns a context structure with the appropriate initial values. */
|
/* returns a context structure with the appropriate initial values. */
|
/* ------------------------------------------------------------------ */
|
/* ------------------------------------------------------------------ */
|
decContext *
|
decContext *
|
decContextDefault (decContext * context, Int kind)
|
decContextDefault (decContext * context, Int kind)
|
{
|
{
|
/* set defaults... */
|
/* set defaults... */
|
context->digits = 9; /* 9 digits */
|
context->digits = 9; /* 9 digits */
|
context->emax = DEC_MAX_EMAX; /* 9-digit exponents */
|
context->emax = DEC_MAX_EMAX; /* 9-digit exponents */
|
context->emin = DEC_MIN_EMIN; /* .. balanced */
|
context->emin = DEC_MIN_EMIN; /* .. balanced */
|
context->round = DEC_ROUND_HALF_UP; /* 0.5 rises */
|
context->round = DEC_ROUND_HALF_UP; /* 0.5 rises */
|
context->traps = DEC_Errors; /* all but informational */
|
context->traps = DEC_Errors; /* all but informational */
|
context->status = 0; /* cleared */
|
context->status = 0; /* cleared */
|
context->clamp = 0; /* no clamping */
|
context->clamp = 0; /* no clamping */
|
#if DECSUBSET
|
#if DECSUBSET
|
context->extended = 0; /* cleared */
|
context->extended = 0; /* cleared */
|
#endif
|
#endif
|
switch (kind)
|
switch (kind)
|
{
|
{
|
case DEC_INIT_BASE:
|
case DEC_INIT_BASE:
|
/* [use defaults] */
|
/* [use defaults] */
|
break;
|
break;
|
case DEC_INIT_DECIMAL32:
|
case DEC_INIT_DECIMAL32:
|
context->digits = 7; /* digits */
|
context->digits = 7; /* digits */
|
context->emax = 96; /* Emax */
|
context->emax = 96; /* Emax */
|
context->emin = -95; /* Emin */
|
context->emin = -95; /* Emin */
|
context->round = DEC_ROUND_HALF_EVEN; /* 0.5 to nearest even */
|
context->round = DEC_ROUND_HALF_EVEN; /* 0.5 to nearest even */
|
context->traps = 0; /* no traps set */
|
context->traps = 0; /* no traps set */
|
context->clamp = 1; /* clamp exponents */
|
context->clamp = 1; /* clamp exponents */
|
#if DECSUBSET
|
#if DECSUBSET
|
context->extended = 1; /* set */
|
context->extended = 1; /* set */
|
#endif
|
#endif
|
break;
|
break;
|
case DEC_INIT_DECIMAL64:
|
case DEC_INIT_DECIMAL64:
|
context->digits = 16; /* digits */
|
context->digits = 16; /* digits */
|
context->emax = 384; /* Emax */
|
context->emax = 384; /* Emax */
|
context->emin = -383; /* Emin */
|
context->emin = -383; /* Emin */
|
context->round = DEC_ROUND_HALF_EVEN; /* 0.5 to nearest even */
|
context->round = DEC_ROUND_HALF_EVEN; /* 0.5 to nearest even */
|
context->traps = 0; /* no traps set */
|
context->traps = 0; /* no traps set */
|
context->clamp = 1; /* clamp exponents */
|
context->clamp = 1; /* clamp exponents */
|
#if DECSUBSET
|
#if DECSUBSET
|
context->extended = 1; /* set */
|
context->extended = 1; /* set */
|
#endif
|
#endif
|
break;
|
break;
|
case DEC_INIT_DECIMAL128:
|
case DEC_INIT_DECIMAL128:
|
context->digits = 34; /* digits */
|
context->digits = 34; /* digits */
|
context->emax = 6144; /* Emax */
|
context->emax = 6144; /* Emax */
|
context->emin = -6143; /* Emin */
|
context->emin = -6143; /* Emin */
|
context->round = DEC_ROUND_HALF_EVEN; /* 0.5 to nearest even */
|
context->round = DEC_ROUND_HALF_EVEN; /* 0.5 to nearest even */
|
context->traps = 0; /* no traps set */
|
context->traps = 0; /* no traps set */
|
context->clamp = 1; /* clamp exponents */
|
context->clamp = 1; /* clamp exponents */
|
#if DECSUBSET
|
#if DECSUBSET
|
context->extended = 1; /* set */
|
context->extended = 1; /* set */
|
#endif
|
#endif
|
break;
|
break;
|
|
|
default: /* invalid Kind */
|
default: /* invalid Kind */
|
/* use defaults, and .. */
|
/* use defaults, and .. */
|
decContextSetStatus (context, DEC_Invalid_operation); /* trap */
|
decContextSetStatus (context, DEC_Invalid_operation); /* trap */
|
}
|
}
|
return context;
|
return context;
|
} /* decContextDefault */
|
} /* decContextDefault */
|
|
|
/* ------------------------------------------------------------------ */
|
/* ------------------------------------------------------------------ */
|
/* decContextStatusToString -- convert status flags to a string */
|
/* decContextStatusToString -- convert status flags to a string */
|
/* */
|
/* */
|
/* context is a context with valid status field */
|
/* context is a context with valid status field */
|
/* */
|
/* */
|
/* returns a constant string describing the condition. If multiple */
|
/* returns a constant string describing the condition. If multiple */
|
/* (or no) flags are set, a generic constant message is returned. */
|
/* (or no) flags are set, a generic constant message is returned. */
|
/* ------------------------------------------------------------------ */
|
/* ------------------------------------------------------------------ */
|
const char *
|
const char *
|
decContextStatusToString (const decContext * context)
|
decContextStatusToString (const decContext * context)
|
{
|
{
|
Int status = context->status;
|
Int status = context->status;
|
if (status == DEC_Conversion_syntax)
|
if (status == DEC_Conversion_syntax)
|
return DEC_Condition_CS;
|
return DEC_Condition_CS;
|
if (status == DEC_Division_by_zero)
|
if (status == DEC_Division_by_zero)
|
return DEC_Condition_DZ;
|
return DEC_Condition_DZ;
|
if (status == DEC_Division_impossible)
|
if (status == DEC_Division_impossible)
|
return DEC_Condition_DI;
|
return DEC_Condition_DI;
|
if (status == DEC_Division_undefined)
|
if (status == DEC_Division_undefined)
|
return DEC_Condition_DU;
|
return DEC_Condition_DU;
|
if (status == DEC_Inexact)
|
if (status == DEC_Inexact)
|
return DEC_Condition_IE;
|
return DEC_Condition_IE;
|
if (status == DEC_Insufficient_storage)
|
if (status == DEC_Insufficient_storage)
|
return DEC_Condition_IS;
|
return DEC_Condition_IS;
|
if (status == DEC_Invalid_context)
|
if (status == DEC_Invalid_context)
|
return DEC_Condition_IC;
|
return DEC_Condition_IC;
|
if (status == DEC_Invalid_operation)
|
if (status == DEC_Invalid_operation)
|
return DEC_Condition_IO;
|
return DEC_Condition_IO;
|
#if DECSUBSET
|
#if DECSUBSET
|
if (status == DEC_Lost_digits)
|
if (status == DEC_Lost_digits)
|
return DEC_Condition_LD;
|
return DEC_Condition_LD;
|
#endif
|
#endif
|
if (status == DEC_Overflow)
|
if (status == DEC_Overflow)
|
return DEC_Condition_OV;
|
return DEC_Condition_OV;
|
if (status == DEC_Clamped)
|
if (status == DEC_Clamped)
|
return DEC_Condition_PA;
|
return DEC_Condition_PA;
|
if (status == DEC_Rounded)
|
if (status == DEC_Rounded)
|
return DEC_Condition_RO;
|
return DEC_Condition_RO;
|
if (status == DEC_Subnormal)
|
if (status == DEC_Subnormal)
|
return DEC_Condition_SU;
|
return DEC_Condition_SU;
|
if (status == DEC_Underflow)
|
if (status == DEC_Underflow)
|
return DEC_Condition_UN;
|
return DEC_Condition_UN;
|
if (status == 0)
|
if (status == 0)
|
return DEC_Condition_ZE;
|
return DEC_Condition_ZE;
|
return DEC_Condition_MU; /* Multiple errors */
|
return DEC_Condition_MU; /* Multiple errors */
|
} /* decContextStatusToString */
|
} /* decContextStatusToString */
|
|
|
/* ------------------------------------------------------------------ */
|
/* ------------------------------------------------------------------ */
|
/* decContextSetStatusFromString -- set status from a string */
|
/* decContextSetStatusFromString -- set status from a string */
|
/* */
|
/* */
|
/* context is the controlling context */
|
/* context is the controlling context */
|
/* string is a string exactly equal to one that might be returned */
|
/* string is a string exactly equal to one that might be returned */
|
/* by decContextStatusToString */
|
/* by decContextStatusToString */
|
/* */
|
/* */
|
/* The status bit corresponding to the string is set, and a trap */
|
/* The status bit corresponding to the string is set, and a trap */
|
/* is raised if appropriate. */
|
/* is raised if appropriate. */
|
/* */
|
/* */
|
/* returns the context structure, unless the string is equal to */
|
/* returns the context structure, unless the string is equal to */
|
/* DEC_Condition_MU or is not recognized. In these cases NULL is */
|
/* DEC_Condition_MU or is not recognized. In these cases NULL is */
|
/* returned. */
|
/* returned. */
|
/* ------------------------------------------------------------------ */
|
/* ------------------------------------------------------------------ */
|
decContext *
|
decContext *
|
decContextSetStatusFromString (decContext * context, const char *string)
|
decContextSetStatusFromString (decContext * context, const char *string)
|
{
|
{
|
if (strcmp (string, DEC_Condition_CS) == 0)
|
if (strcmp (string, DEC_Condition_CS) == 0)
|
return decContextSetStatus (context, DEC_Conversion_syntax);
|
return decContextSetStatus (context, DEC_Conversion_syntax);
|
if (strcmp (string, DEC_Condition_DZ) == 0)
|
if (strcmp (string, DEC_Condition_DZ) == 0)
|
return decContextSetStatus (context, DEC_Division_by_zero);
|
return decContextSetStatus (context, DEC_Division_by_zero);
|
if (strcmp (string, DEC_Condition_DI) == 0)
|
if (strcmp (string, DEC_Condition_DI) == 0)
|
return decContextSetStatus (context, DEC_Division_impossible);
|
return decContextSetStatus (context, DEC_Division_impossible);
|
if (strcmp (string, DEC_Condition_DU) == 0)
|
if (strcmp (string, DEC_Condition_DU) == 0)
|
return decContextSetStatus (context, DEC_Division_undefined);
|
return decContextSetStatus (context, DEC_Division_undefined);
|
if (strcmp (string, DEC_Condition_IE) == 0)
|
if (strcmp (string, DEC_Condition_IE) == 0)
|
return decContextSetStatus (context, DEC_Inexact);
|
return decContextSetStatus (context, DEC_Inexact);
|
if (strcmp (string, DEC_Condition_IS) == 0)
|
if (strcmp (string, DEC_Condition_IS) == 0)
|
return decContextSetStatus (context, DEC_Insufficient_storage);
|
return decContextSetStatus (context, DEC_Insufficient_storage);
|
if (strcmp (string, DEC_Condition_IC) == 0)
|
if (strcmp (string, DEC_Condition_IC) == 0)
|
return decContextSetStatus (context, DEC_Invalid_context);
|
return decContextSetStatus (context, DEC_Invalid_context);
|
if (strcmp (string, DEC_Condition_IO) == 0)
|
if (strcmp (string, DEC_Condition_IO) == 0)
|
return decContextSetStatus (context, DEC_Invalid_operation);
|
return decContextSetStatus (context, DEC_Invalid_operation);
|
#if DECSUBSET
|
#if DECSUBSET
|
if (strcmp (string, DEC_Condition_LD) == 0)
|
if (strcmp (string, DEC_Condition_LD) == 0)
|
return decContextSetStatus (context, DEC_Lost_digits);
|
return decContextSetStatus (context, DEC_Lost_digits);
|
#endif
|
#endif
|
if (strcmp (string, DEC_Condition_OV) == 0)
|
if (strcmp (string, DEC_Condition_OV) == 0)
|
return decContextSetStatus (context, DEC_Overflow);
|
return decContextSetStatus (context, DEC_Overflow);
|
if (strcmp (string, DEC_Condition_PA) == 0)
|
if (strcmp (string, DEC_Condition_PA) == 0)
|
return decContextSetStatus (context, DEC_Clamped);
|
return decContextSetStatus (context, DEC_Clamped);
|
if (strcmp (string, DEC_Condition_RO) == 0)
|
if (strcmp (string, DEC_Condition_RO) == 0)
|
return decContextSetStatus (context, DEC_Rounded);
|
return decContextSetStatus (context, DEC_Rounded);
|
if (strcmp (string, DEC_Condition_SU) == 0)
|
if (strcmp (string, DEC_Condition_SU) == 0)
|
return decContextSetStatus (context, DEC_Subnormal);
|
return decContextSetStatus (context, DEC_Subnormal);
|
if (strcmp (string, DEC_Condition_UN) == 0)
|
if (strcmp (string, DEC_Condition_UN) == 0)
|
return decContextSetStatus (context, DEC_Underflow);
|
return decContextSetStatus (context, DEC_Underflow);
|
if (strcmp (string, DEC_Condition_ZE) == 0)
|
if (strcmp (string, DEC_Condition_ZE) == 0)
|
return context;
|
return context;
|
return NULL; /* Multiple status, or unknown */
|
return NULL; /* Multiple status, or unknown */
|
} /* decContextSetStatusFromString */
|
} /* decContextSetStatusFromString */
|
|
|
/* ------------------------------------------------------------------ */
|
/* ------------------------------------------------------------------ */
|
/* decContextSetStatus -- set status and raise trap if appropriate */
|
/* decContextSetStatus -- set status and raise trap if appropriate */
|
/* */
|
/* */
|
/* context is the controlling context */
|
/* context is the controlling context */
|
/* status is the DEC_ exception code */
|
/* status is the DEC_ exception code */
|
/* returns the context structure */
|
/* returns the context structure */
|
/* */
|
/* */
|
/* Control may never return from this routine, if there is a signal */
|
/* Control may never return from this routine, if there is a signal */
|
/* handler and it takes a long jump. */
|
/* handler and it takes a long jump. */
|
/* ------------------------------------------------------------------ */
|
/* ------------------------------------------------------------------ */
|
decContext *
|
decContext *
|
decContextSetStatus (decContext * context, uInt status)
|
decContextSetStatus (decContext * context, uInt status)
|
{
|
{
|
context->status |= status;
|
context->status |= status;
|
if (status & context->traps)
|
if (status & context->traps)
|
raise (SIGFPE);
|
raise (SIGFPE);
|
return context;
|
return context;
|
} /* decContextSetStatus */
|
} /* decContextSetStatus */
|
|
|
