| |
| /*============================================================================ |
| |
| This C source file is part of TestFloat, Release 3e, a package of programs for |
| testing the correctness of floating-point arithmetic complying with the IEEE |
| Standard for Floating-Point, by John R. Hauser. |
| |
| Copyright 2011, 2012, 2013, 2014, 2015, 2016, 2017 The Regents of the |
| University of California. All rights reserved. |
| |
| Redistribution and use in source and binary forms, with or without |
| modification, are permitted provided that the following conditions are met: |
| |
| 1. Redistributions of source code must retain the above copyright notice, |
| this list of conditions, and the following disclaimer. |
| |
| 2. Redistributions in binary form must reproduce the above copyright notice, |
| this list of conditions, and the following disclaimer in the documentation |
| and/or other materials provided with the distribution. |
| |
| 3. Neither the name of the University nor the names of its contributors may |
| be used to endorse or promote products derived from this software without |
| specific prior written permission. |
| |
| THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS "AS IS", AND ANY |
| EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED |
| WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE, ARE |
| DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE FOR ANY |
| DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES |
| (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; |
| LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND |
| ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS |
| SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| |
| =============================================================================*/ |
| |
| #include <stdbool.h> |
| #include "platform.h" |
| #include "functions.h" |
| |
| #define ARG_1 FUNC_ARG_UNARY |
| #define ARG_2 FUNC_ARG_BINARY |
| #define ARG_R FUNC_ARG_ROUNDINGMODE |
| #define ARG_E FUNC_ARG_EXACT |
| #define EFF_P FUNC_EFF_ROUNDINGPRECISION |
| #define EFF_R FUNC_EFF_ROUNDINGMODE |
| #define EFF_T FUNC_EFF_TININESSMODE |
| #define EFF_T_REDP FUNC_EFF_TININESSMODE_REDUCEDPREC |
| |
| /*---------------------------------------------------------------------------- |
| | Warning: This array must match the list of macros defined in "functions.h". |
| *----------------------------------------------------------------------------*/ |
| const struct functionInfo functionInfos[NUM_FUNCTIONS] = { |
| { 0, 0 }, |
| /*------------------------------------------------------------------------ |
| *------------------------------------------------------------------------*/ |
| #ifdef FLOAT16 |
| { "ui32_to_f16", ARG_1 | EFF_R }, |
| #endif |
| { "ui32_to_f32", ARG_1 | EFF_R }, |
| #ifdef FLOAT64 |
| { "ui32_to_f64", ARG_1 }, |
| #endif |
| #ifdef EXTFLOAT80 |
| { "ui32_to_extF80", ARG_1 }, |
| #endif |
| #ifdef FLOAT128 |
| { "ui32_to_f128", ARG_1 }, |
| #endif |
| #ifdef FLOAT16 |
| { "ui64_to_f16", ARG_1 | EFF_R }, |
| #endif |
| { "ui64_to_f32", ARG_1 | EFF_R }, |
| #ifdef FLOAT64 |
| { "ui64_to_f64", ARG_1 | EFF_R }, |
| #endif |
| #ifdef EXTFLOAT80 |
| { "ui64_to_extF80", ARG_1 }, |
| #endif |
| #ifdef FLOAT128 |
| { "ui64_to_f128", ARG_1 }, |
| #endif |
| #ifdef FLOAT16 |
| { "i32_to_f16", ARG_1 | EFF_R }, |
| #endif |
| { "i32_to_f32", ARG_1 | EFF_R }, |
| #ifdef FLOAT64 |
| { "i32_to_f64", ARG_1 }, |
| #endif |
| #ifdef EXTFLOAT80 |
| { "i32_to_extF80", ARG_1 }, |
| #endif |
| #ifdef FLOAT128 |
| { "i32_to_f128", ARG_1 }, |
| #endif |
| #ifdef FLOAT16 |
| { "i64_to_f16", ARG_1 | EFF_R }, |
| #endif |
| { "i64_to_f32", ARG_1 | EFF_R }, |
| #ifdef FLOAT64 |
| { "i64_to_f64", ARG_1 | EFF_R }, |
| #endif |
| #ifdef EXTFLOAT80 |
| { "i64_to_extF80", ARG_1 }, |
| #endif |
| #ifdef FLOAT128 |
| { "i64_to_f128", ARG_1 }, |
| #endif |
| /*------------------------------------------------------------------------ |
| *------------------------------------------------------------------------*/ |
| #ifdef FLOAT16 |
| { "f16_to_ui32", ARG_1 | ARG_R | ARG_E }, |
| { "f16_to_ui64", ARG_1 | ARG_R | ARG_E }, |
| { "f16_to_i32", ARG_1 | ARG_R | ARG_E }, |
| { "f16_to_i64", ARG_1 | ARG_R | ARG_E }, |
| { "f16_to_ui32_r_minMag", ARG_1 | ARG_E }, |
| { "f16_to_ui64_r_minMag", ARG_1 | ARG_E }, |
| { "f16_to_i32_r_minMag", ARG_1 | ARG_E }, |
| { "f16_to_i64_r_minMag", ARG_1 | ARG_E }, |
| { "f16_to_f32", ARG_1 }, |
| #ifdef FLOAT64 |
| { "f16_to_f64", ARG_1 }, |
| #endif |
| #ifdef EXTFLOAT80 |
| { "f16_to_extF80", ARG_1 }, |
| #endif |
| #ifdef FLOAT128 |
| { "f16_to_f128", ARG_1 }, |
| #endif |
| { "f16_roundToInt", ARG_1 | ARG_R | ARG_E }, |
| { "f16_add", ARG_2 | EFF_R }, |
| { "f16_sub", ARG_2 | EFF_R }, |
| { "f16_mul", ARG_2 | EFF_R | EFF_T }, |
| { "f16_mulAdd", EFF_R | EFF_T }, |
| { "f16_div", ARG_2 | EFF_R }, |
| { "f16_rem", ARG_2 }, |
| { "f16_sqrt", ARG_1 | EFF_R }, |
| { "f16_eq", ARG_2 }, |
| { "f16_le", ARG_2 }, |
| { "f16_lt", ARG_2 }, |
| { "f16_eq_signaling", ARG_2 }, |
| { "f16_le_quiet", ARG_2 }, |
| { "f16_lt_quiet", ARG_2 }, |
| #endif |
| /*------------------------------------------------------------------------ |
| *------------------------------------------------------------------------*/ |
| { "f32_to_ui32", ARG_1 | ARG_R | ARG_E }, |
| { "f32_to_ui64", ARG_1 | ARG_R | ARG_E }, |
| { "f32_to_i32", ARG_1 | ARG_R | ARG_E }, |
| { "f32_to_i64", ARG_1 | ARG_R | ARG_E }, |
| { "f32_to_ui32_r_minMag", ARG_1 | ARG_E }, |
| { "f32_to_ui64_r_minMag", ARG_1 | ARG_E }, |
| { "f32_to_i32_r_minMag", ARG_1 | ARG_E }, |
| { "f32_to_i64_r_minMag", ARG_1 | ARG_E }, |
| #ifdef FLOAT16 |
| { "f32_to_f16", ARG_1 | EFF_R | EFF_T }, |
| #endif |
| #ifdef FLOAT64 |
| { "f32_to_f64", ARG_1 }, |
| #endif |
| #ifdef EXTFLOAT80 |
| { "f32_to_extF80", ARG_1 }, |
| #endif |
| #ifdef FLOAT128 |
| { "f32_to_f128", ARG_1 }, |
| #endif |
| { "f32_roundToInt", ARG_1 | ARG_R | ARG_E }, |
| { "f32_add", ARG_2 | EFF_R }, |
| { "f32_sub", ARG_2 | EFF_R }, |
| { "f32_mul", ARG_2 | EFF_R | EFF_T }, |
| { "f32_mulAdd", EFF_R | EFF_T }, |
| { "f32_div", ARG_2 | EFF_R }, |
| { "f32_rem", ARG_2 }, |
| { "f32_sqrt", ARG_1 | EFF_R }, |
| { "f32_eq", ARG_2 }, |
| { "f32_le", ARG_2 }, |
| { "f32_lt", ARG_2 }, |
| { "f32_eq_signaling", ARG_2 }, |
| { "f32_le_quiet", ARG_2 }, |
| { "f32_lt_quiet", ARG_2 }, |
| /*------------------------------------------------------------------------ |
| *------------------------------------------------------------------------*/ |
| #ifdef FLOAT64 |
| { "f64_to_ui32", ARG_1 | ARG_R | ARG_E }, |
| { "f64_to_ui64", ARG_1 | ARG_R | ARG_E }, |
| { "f64_to_i32", ARG_1 | ARG_R | ARG_E }, |
| { "f64_to_i64", ARG_1 | ARG_R | ARG_E }, |
| { "f64_to_ui32_r_minMag", ARG_1 | ARG_E }, |
| { "f64_to_ui64_r_minMag", ARG_1 | ARG_E }, |
| { "f64_to_i32_r_minMag", ARG_1 | ARG_E }, |
| { "f64_to_i64_r_minMag", ARG_1 | ARG_E }, |
| #ifdef FLOAT16 |
| { "f64_to_f16", ARG_1 | EFF_R | EFF_T }, |
| #endif |
| { "f64_to_f32", ARG_1 | EFF_R | EFF_T }, |
| #ifdef EXTFLOAT80 |
| { "f64_to_extF80", ARG_1 }, |
| #endif |
| #ifdef FLOAT128 |
| { "f64_to_f128", ARG_1 }, |
| #endif |
| { "f64_roundToInt", ARG_1 | ARG_R | ARG_E }, |
| { "f64_add", ARG_2 | EFF_R }, |
| { "f64_sub", ARG_2 | EFF_R }, |
| { "f64_mul", ARG_2 | EFF_R | EFF_T }, |
| { "f64_mulAdd", EFF_R | EFF_T }, |
| { "f64_div", ARG_2 | EFF_R }, |
| { "f64_rem", ARG_2 }, |
| { "f64_sqrt", ARG_1 | EFF_R }, |
| { "f64_eq", ARG_2 }, |
| { "f64_le", ARG_2 }, |
| { "f64_lt", ARG_2 }, |
| { "f64_eq_signaling", ARG_2 }, |
| { "f64_le_quiet", ARG_2 }, |
| { "f64_lt_quiet", ARG_2 }, |
| #endif |
| /*------------------------------------------------------------------------ |
| *------------------------------------------------------------------------*/ |
| #ifdef EXTFLOAT80 |
| { "extF80_to_ui32", ARG_1 | ARG_R | ARG_E }, |
| { "extF80_to_ui64", ARG_1 | ARG_R | ARG_E }, |
| { "extF80_to_i32", ARG_1 | ARG_R | ARG_E }, |
| { "extF80_to_i64", ARG_1 | ARG_R | ARG_E }, |
| { "extF80_to_ui32_r_minMag", ARG_1 | ARG_E }, |
| { "extF80_to_ui64_r_minMag", ARG_1 | ARG_E }, |
| { "extF80_to_i32_r_minMag", ARG_1 | ARG_E }, |
| { "extF80_to_i64_r_minMag", ARG_1 | ARG_E }, |
| #ifdef FLOAT16 |
| { "extF80_to_f16", ARG_1 | EFF_R | EFF_T }, |
| #endif |
| { "extF80_to_f32", ARG_1 | EFF_R | EFF_T }, |
| #ifdef FLOAT64 |
| { "extF80_to_f64", ARG_1 | EFF_R | EFF_T }, |
| #endif |
| #ifdef FLOAT128 |
| { "extF80_to_f128", ARG_1 }, |
| #endif |
| { "extF80_roundToInt", ARG_1 | ARG_R | ARG_E }, |
| { "extF80_add", ARG_2 | EFF_P | EFF_R | EFF_T_REDP }, |
| { "extF80_sub", ARG_2 | EFF_P | EFF_R | EFF_T_REDP }, |
| { "extF80_mul", ARG_2 | EFF_P | EFF_R | EFF_T | EFF_T_REDP }, |
| { "extF80_div", ARG_2 | EFF_P | EFF_R | EFF_T_REDP }, |
| { "extF80_rem", ARG_2 }, |
| { "extF80_sqrt", ARG_1 | EFF_P | EFF_R }, |
| { "extF80_eq", ARG_2 }, |
| { "extF80_le", ARG_2 }, |
| { "extF80_lt", ARG_2 }, |
| { "extF80_eq_signaling", ARG_2 }, |
| { "extF80_le_quiet", ARG_2 }, |
| { "extF80_lt_quiet", ARG_2 }, |
| #endif |
| /*------------------------------------------------------------------------ |
| *------------------------------------------------------------------------*/ |
| #ifdef FLOAT128 |
| { "f128_to_ui32", ARG_1 | ARG_R | ARG_E }, |
| { "f128_to_ui64", ARG_1 | ARG_R | ARG_E }, |
| { "f128_to_i32", ARG_1 | ARG_R | ARG_E }, |
| { "f128_to_i64", ARG_1 | ARG_R | ARG_E }, |
| { "f128_to_ui32_r_minMag", ARG_1 | ARG_E }, |
| { "f128_to_ui64_r_minMag", ARG_1 | ARG_E }, |
| { "f128_to_i32_r_minMag", ARG_1 | ARG_E }, |
| { "f128_to_i64_r_minMag", ARG_1 | ARG_E }, |
| #ifdef FLOAT16 |
| { "f128_to_f16", ARG_1 | EFF_R | EFF_T }, |
| #endif |
| { "f128_to_f32", ARG_1 | EFF_R | EFF_T }, |
| #ifdef FLOAT64 |
| { "f128_to_f64", ARG_1 | EFF_R | EFF_T }, |
| #endif |
| #ifdef EXTFLOAT80 |
| { "f128_to_extF80", ARG_1 | EFF_R | EFF_T }, |
| #endif |
| { "f128_roundToInt", ARG_1 | ARG_R | ARG_E }, |
| { "f128_add", ARG_2 | EFF_R }, |
| { "f128_sub", ARG_2 | EFF_R }, |
| { "f128_mul", ARG_2 | EFF_R | EFF_T }, |
| { "f128_mulAdd", EFF_R | EFF_T }, |
| { "f128_div", ARG_2 | EFF_R }, |
| { "f128_rem", ARG_2 }, |
| { "f128_sqrt", ARG_1 | EFF_R }, |
| { "f128_eq", ARG_2 }, |
| { "f128_le", ARG_2 }, |
| { "f128_lt", ARG_2 }, |
| { "f128_eq_signaling", ARG_2 }, |
| { "f128_le_quiet", ARG_2 }, |
| { "f128_lt_quiet", ARG_2 }, |
| #endif |
| }; |
| |
