1/*****************************************************************************
2
3  Licensed to Accellera Systems Initiative Inc. (Accellera) under one or
4  more contributor license agreements.  See the NOTICE file distributed
5  with this work for additional information regarding copyright ownership.
6  Accellera licenses this file to you under the Apache License, Version 2.0
7  (the "License"); you may not use this file except in compliance with the
8  License.  You may obtain a copy of the License at
9
10    http://www.apache.org/licenses/LICENSE-2.0
11
12  Unless required by applicable law or agreed to in writing, software
13  distributed under the License is distributed on an "AS IS" BASIS,
14  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
15  implied.  See the License for the specific language governing
16  permissions and limitations under the License.
17
18 *****************************************************************************/
19
20/*****************************************************************************
21
22  fx_float_limits_zero.cpp --
23
24  Original Author: Martin Janssen, Synopsys, Inc., 2002-02-15
25
26 *****************************************************************************/
27
28/*****************************************************************************
29
30  MODIFICATION LOG - modifiers, enter your name, affiliation, date and
31  changes you are making here.
32
33      Name, Affiliation, Date:
34  Description of Modification:
35
36 *****************************************************************************/
37
38// This may look like C code, but it is really -*- C++ -*-
39//
40// fx_float_limits.cxx --
41// Copyright Synopsys 1998
42// Author          : Ric Hilderink
43// Created On      : Fri Jan  8 14:31:37 1999
44// Status          : none
45//
46
47
48#include <limits.h>
49#include <float.h>
50#include <math.h>
51
52#define SC_INCLUDE_FX
53#include "systemc.h"
54#include "fx_precision_double.h"
55
56#define SHOW(a) out << #a << " : " << a.to_string(SC_HEX) << "\n"
57#define SHOW_EXP(a) { res = a; out << #a << " : " << res.to_string(SC_HEX) << "\n"; }
58
59
60#define SHOW_EXPRS(a, b) \
61  SHOW_EXP(a b zero_min);   \
62  SHOW_EXP(a b zero_plus);  \
63  SHOW_EXP(a b zero);       \
64  SHOW_EXP(a b nan);        \
65  SHOW_EXP(a b inf_plus);   \
66  SHOW_EXP(a b inf_min);    \
67  SHOW_EXP(a b inf);        \
68  SHOW_EXP(a b long_max);   \
69  SHOW_EXP(a b long_min);   \
70  SHOW_EXP(a b int_max);    \
71  SHOW_EXP(a b int_min);    \
72  SHOW_EXP(a b uint_max);   \
73  SHOW_EXP(a b ulong_max);  \
74  SHOW_EXP(a b double_min); \
75  SHOW_EXP(a b double_max); \
76  SHOW_EXP(a b float_min);  \
77  SHOW_EXP(a b float_max);
78
79#define SHOW_EXPS(a) \
80  SHOW_EXPRS(a, /) \
81  SHOW_EXPRS(a, *) \
82  SHOW_EXPRS(a, +) \
83  SHOW_EXPRS(a, -) \
84  SHOW_EXPRS(a, >)							      \
85  SHOW_EXPRS(a, <)							      \
86  SHOW_EXPRS(a, >=)							      \
87  SHOW_EXPRS(a, <=)							      \
88  SHOW_EXPRS(a, ==)							      \
89  SHOW_EXPRS(a, !=)							      \
90  SHOW_EXPRS(a, * a *)
91
92
93void test_fx_float_limits_zero(ostream& out)
94{
95  cerr << "****************** limits fx_float_zero\n";
96
97  sc_fxval zero_min("-0");     SHOW(zero_min);
98  sc_fxval zero_plus("+0");    SHOW(zero_plus);
99  sc_fxval zero(0);            SHOW(zero);
100
101  sc_fxval nan("NaN");         SHOW(nan);
102  sc_fxval inf_plus("+Inf");   SHOW(inf_plus);
103  sc_fxval inf_min("-Inf");    SHOW(inf_min);
104  sc_fxval inf("Inf");         SHOW(inf);
105
106  sc_fxval long_max(LONG_MAX); SHOW(long_max);
107  sc_fxval long_min(LONG_MIN); SHOW(long_min);
108  sc_fxval int_max(INT_MAX);   SHOW(int_max);
109  sc_fxval int_min(INT_MIN);   SHOW(int_min);
110  sc_fxval uint_max(UINT_MAX); SHOW(uint_max);
111  sc_fxval ulong_max(ULONG_MAX); SHOW(ulong_max);
112
113  sc_fxval double_min(DBL_MIN); SHOW(double_min);
114  sc_fxval double_max(DBL_MAX); SHOW(double_max);
115  sc_fxval float_min(FLT_MIN);  SHOW(float_min);
116  sc_fxval float_max(FLT_MAX);  SHOW(float_max);
117
118  sc_fxval res;
119
120
121  SHOW_EXPS(zero_min);
122  SHOW_EXPS(zero_plus);
123  SHOW_EXPS(zero);
124}
125