math/gen-fromfp-tests.py

   1 #!/usr/bin/python3
   2 # Expand test inputs for fromfp functions into text to edit into libm-test.inc.
   3 # Copyright (C) 2016-2023 Free Software Foundation, Inc.
   4 # This file is part of the GNU C Library.
   5 #
   6 # The GNU C Library is free software; you can redistribute it and/or
   7 # modify it under the terms of the GNU Lesser General Public
   8 # License as published by the Free Software Foundation; either
   9 # version 2.1 of the License, or (at your option) any later version.
  10 #
  11 # The GNU C Library is distributed in the hope that it will be useful,
  12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14 # Lesser General Public License for more details.
  15 #
  16 # You should have received a copy of the GNU Lesser General Public
  17 # License along with the GNU C Library; if not, see
  18 # <https://www.gnu.org/licenses/>.
  19
  20 # Take test inputs on stdin, in format:
  21 #
  22 # i <value>:width [int-value]
  23 #
  24 # for integer inputs, or
  25 #
  26 # t <value> <pos> <z> <a>
  27 #
  28 # for noninteger inputs, where <pos> is "a" for fractional part
  29 # between 0 and 0.5, "be" for 0.5 with even integer part, "bo" for 0.5
  30 # with odd integer part and "c" for between 0.5 and 1; <z> is the
  31 # value truncated towards zero, <a> is the value rounded away from
  32 # zero, both being in the form <value>:<width>.  Width values are for
  33 # the smallest type that can hold the value; for positive values, this
  34 # is an unsigned type.
  35 #
  36 # Command-line argument is function to generate tests for.  Any input
  37 # lines not of the above form are just passed through unchanged.
  38 #
  39 # Note that the output of this script forms the largest part of the
  40 # tests for the fromfp functions, but not the whole of those tests.
  41
  42 import sys
  43
  44 func = sys.argv[1]
  45
  46 invalid_res = 'IGNORE, NO_INEXACT_EXCEPTION|INVALID_EXCEPTION|ERRNO_EDOM'
  47 exact_res = 'NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED'
  48 if func == 'fromfpx' or func == 'ufromfpx':
  49     inexact_res = 'INEXACT_EXCEPTION|ERRNO_UNCHANGED'
  50 else:
  51     inexact_res = exact_res
  52 unsigned = func.startswith('ufromfp')
  53 rm_list = ['FP_INT_UPWARD', 'FP_INT_DOWNWARD', 'FP_INT_TOWARDZERO',
  54            'FP_INT_TONEARESTFROMZERO', 'FP_INT_TONEAREST']
  55 rm_away_pos = {'FP_INT_UPWARD': 'a',
  56                'FP_INT_DOWNWARD': 'z',
  57                'FP_INT_TOWARDZERO': 'z',
  58                'FP_INT_TONEARESTFROMZERO': 'be',
  59                'FP_INT_TONEAREST': 'bo'}
  60 rm_away_neg = {'FP_INT_UPWARD': 'z',
  61                'FP_INT_DOWNWARD': 'a',
  62                'FP_INT_TOWARDZERO': 'z',
  63                'FP_INT_TONEARESTFROMZERO': 'be',
  64                'FP_INT_TONEAREST': 'bo'}
  65 if unsigned:
  66     test_macro = 'TEST_fiu_U'
  67 else:
  68     test_macro = 'TEST_fiu_M'
  69
  70 for line in sys.stdin:
  71     if line.startswith('i'):
  72         data = line.split()
  73         val_width = data[1]
  74         val, width = val_width.split(':')
  75         negative = val.startswith('-')
  76         if unsigned and negative:
  77             continue
  78         width = int(width)
  79         if not unsigned and not negative:
  80             width += 1
  81         width_list = [0, 1]
  82         if width > 2:
  83             width_list.append(width - 1)
  84         if width > 1 and width <= 64:
  85             width_list.append(width)
  86         if width < 64:
  87             width_list.append(width + 1)
  88         if width < 63:
  89             width_list.append(64)
  90         width_list = [(w, str(w)) for w in width_list]
  91         width_list.append((64, 'UINT_MAX'))
  92         for rm in rm_list:
  93             for we in width_list:
  94                 w, ws = we
  95                 if w < width:
  96                     print('    %s (%s, %s, %s, %s, %s),' %
  97                           (test_macro, func, val, rm, ws, invalid_res))
  98                 else:
  99                     print('    %s (%s, %s, %s, %s, %s, %s),' %
 100                           (test_macro, func, val, rm, ws, val, exact_res))
 101     elif line.startswith('t'):
 102         data = line.split()
 103         val = data[1]
 104         pos = data[2]
 105         z, z_width = data[3].split(':')
 106         z_width = int(z_width)
 107         a, a_width = data[4].split(':')
 108         a_width = int(a_width)
 109         if unsigned and z.startswith('-'):
 110             continue
 111         negative = val.startswith('-')
 112         if negative:
 113             rm_away = rm_away_neg
 114         else:
 115             rm_away = rm_away_pos
 116         for rm in rm_list:
 117             if pos >= rm_away[rm]:
 118                 res, width = a, a_width
 119             else:
 120                 res, width = z, z_width
 121             if not unsigned and not negative and res != '0':
 122                 width += 1
 123             width_list = [0, 1]
 124             if width > 2:
 125                 width_list.append(width - 1)
 126             if width > 1 and width <= 64:
 127                 width_list.append(width)
 128             if width < 64:
 129                 width_list.append(width + 1)
 130             if width < 63:
 131                 width_list.append(64)
 132             width_list = [(w, str(w)) for w in width_list]
 133             width_list.append((64, 'UINT_MAX'))
 134             for we in width_list:
 135                 w, ws = we
 136                 if w < width or (unsigned and res.startswith('-')):
 137                     print('    %s (%s, %s, %s, %s, %s),' %
 138                           (test_macro, func, val, rm, ws, invalid_res))
 139                 else:
 140                     print('    %s (%s, %s, %s, %s, %s, %s),' %
 141                           (test_macro, func, val, rm, ws, res, inexact_res))
 142     else:
 143         print(line.rstrip())