| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255 |
- ------------------------------------------------------------------------
- -- tointegralx.decTest -- round decimal to integral value, exact --
- -- Copyright (c) IBM Corporation, 2001, 2008. All rights reserved. --
- ------------------------------------------------------------------------
- -- Please see the document "General Decimal Arithmetic Testcases" --
- -- at http://www2.hursley.ibm.com/decimal for the description of --
- -- these testcases. --
- -- --
- -- These testcases are experimental ('beta' versions), and they --
- -- may contain errors. They are offered on an as-is basis. In --
- -- particular, achieving the same results as the tests here is not --
- -- a guarantee that an implementation complies with any Standard --
- -- or specification. The tests are not exhaustive. --
- -- --
- -- Please send comments, suggestions, and corrections to the author: --
- -- Mike Cowlishaw, IBM Fellow --
- -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --
- -- mfc@uk.ibm.com --
- ------------------------------------------------------------------------
- version: 2.59
- -- This set of tests tests the extended specification 'round-to-integral
- -- value' operation (from IEEE 854, later modified in 754r).
- -- All non-zero results are defined as being those from either copy or
- -- quantize, so those are assumed to have been tested.
- -- This tests toIntegraExact, which may set Inexact
- extended: 1
- precision: 9
- rounding: half_up
- maxExponent: 999
- minExponent: -999
- intxx001 tointegralx 0 -> 0
- intxx002 tointegralx 0.0 -> 0
- intxx003 tointegralx 0.1 -> 0 Inexact Rounded
- intxx004 tointegralx 0.2 -> 0 Inexact Rounded
- intxx005 tointegralx 0.3 -> 0 Inexact Rounded
- intxx006 tointegralx 0.4 -> 0 Inexact Rounded
- intxx007 tointegralx 0.5 -> 1 Inexact Rounded
- intxx008 tointegralx 0.6 -> 1 Inexact Rounded
- intxx009 tointegralx 0.7 -> 1 Inexact Rounded
- intxx010 tointegralx 0.8 -> 1 Inexact Rounded
- intxx011 tointegralx 0.9 -> 1 Inexact Rounded
- intxx012 tointegralx 1 -> 1
- intxx013 tointegralx 1.0 -> 1 Rounded
- intxx014 tointegralx 1.1 -> 1 Inexact Rounded
- intxx015 tointegralx 1.2 -> 1 Inexact Rounded
- intxx016 tointegralx 1.3 -> 1 Inexact Rounded
- intxx017 tointegralx 1.4 -> 1 Inexact Rounded
- intxx018 tointegralx 1.5 -> 2 Inexact Rounded
- intxx019 tointegralx 1.6 -> 2 Inexact Rounded
- intxx020 tointegralx 1.7 -> 2 Inexact Rounded
- intxx021 tointegralx 1.8 -> 2 Inexact Rounded
- intxx022 tointegralx 1.9 -> 2 Inexact Rounded
- -- negatives
- intxx031 tointegralx -0 -> -0
- intxx032 tointegralx -0.0 -> -0
- intxx033 tointegralx -0.1 -> -0 Inexact Rounded
- intxx034 tointegralx -0.2 -> -0 Inexact Rounded
- intxx035 tointegralx -0.3 -> -0 Inexact Rounded
- intxx036 tointegralx -0.4 -> -0 Inexact Rounded
- intxx037 tointegralx -0.5 -> -1 Inexact Rounded
- intxx038 tointegralx -0.6 -> -1 Inexact Rounded
- intxx039 tointegralx -0.7 -> -1 Inexact Rounded
- intxx040 tointegralx -0.8 -> -1 Inexact Rounded
- intxx041 tointegralx -0.9 -> -1 Inexact Rounded
- intxx042 tointegralx -1 -> -1
- intxx043 tointegralx -1.0 -> -1 Rounded
- intxx044 tointegralx -1.1 -> -1 Inexact Rounded
- intxx045 tointegralx -1.2 -> -1 Inexact Rounded
- intxx046 tointegralx -1.3 -> -1 Inexact Rounded
- intxx047 tointegralx -1.4 -> -1 Inexact Rounded
- intxx048 tointegralx -1.5 -> -2 Inexact Rounded
- intxx049 tointegralx -1.6 -> -2 Inexact Rounded
- intxx050 tointegralx -1.7 -> -2 Inexact Rounded
- intxx051 tointegralx -1.8 -> -2 Inexact Rounded
- intxx052 tointegralx -1.9 -> -2 Inexact Rounded
- -- next two would be NaN using quantize(x, 0)
- intxx053 tointegralx 10E+30 -> 1.0E+31
- intxx054 tointegralx -10E+30 -> -1.0E+31
- -- numbers around precision
- precision: 9
- intxx060 tointegralx '56267E-10' -> '0' Inexact Rounded
- intxx061 tointegralx '56267E-5' -> '1' Inexact Rounded
- intxx062 tointegralx '56267E-2' -> '563' Inexact Rounded
- intxx063 tointegralx '56267E-1' -> '5627' Inexact Rounded
- intxx065 tointegralx '56267E-0' -> '56267'
- intxx066 tointegralx '56267E+0' -> '56267'
- intxx067 tointegralx '56267E+1' -> '5.6267E+5'
- intxx068 tointegralx '56267E+2' -> '5.6267E+6'
- intxx069 tointegralx '56267E+3' -> '5.6267E+7'
- intxx070 tointegralx '56267E+4' -> '5.6267E+8'
- intxx071 tointegralx '56267E+5' -> '5.6267E+9'
- intxx072 tointegralx '56267E+6' -> '5.6267E+10'
- intxx073 tointegralx '1.23E+96' -> '1.23E+96'
- intxx074 tointegralx '1.23E+384' -> '1.23E+384'
- intxx075 tointegralx '1.23E+999' -> '1.23E+999'
- intxx080 tointegralx '-56267E-10' -> '-0' Inexact Rounded
- intxx081 tointegralx '-56267E-5' -> '-1' Inexact Rounded
- intxx082 tointegralx '-56267E-2' -> '-563' Inexact Rounded
- intxx083 tointegralx '-56267E-1' -> '-5627' Inexact Rounded
- intxx085 tointegralx '-56267E-0' -> '-56267'
- intxx086 tointegralx '-56267E+0' -> '-56267'
- intxx087 tointegralx '-56267E+1' -> '-5.6267E+5'
- intxx088 tointegralx '-56267E+2' -> '-5.6267E+6'
- intxx089 tointegralx '-56267E+3' -> '-5.6267E+7'
- intxx090 tointegralx '-56267E+4' -> '-5.6267E+8'
- intxx091 tointegralx '-56267E+5' -> '-5.6267E+9'
- intxx092 tointegralx '-56267E+6' -> '-5.6267E+10'
- intxx093 tointegralx '-1.23E+96' -> '-1.23E+96'
- intxx094 tointegralx '-1.23E+384' -> '-1.23E+384'
- intxx095 tointegralx '-1.23E+999' -> '-1.23E+999'
- -- subnormal inputs
- intxx100 tointegralx 1E-999 -> 0 Inexact Rounded
- intxx101 tointegralx 0.1E-999 -> 0 Inexact Rounded
- intxx102 tointegralx 0.01E-999 -> 0 Inexact Rounded
- intxx103 tointegralx 0E-999 -> 0
- -- specials and zeros
- intxx120 tointegralx 'Inf' -> Infinity
- intxx121 tointegralx '-Inf' -> -Infinity
- intxx122 tointegralx NaN -> NaN
- intxx123 tointegralx sNaN -> NaN Invalid_operation
- intxx124 tointegralx 0 -> 0
- intxx125 tointegralx -0 -> -0
- intxx126 tointegralx 0.000 -> 0
- intxx127 tointegralx 0.00 -> 0
- intxx128 tointegralx 0.0 -> 0
- intxx129 tointegralx 0 -> 0
- intxx130 tointegralx 0E-3 -> 0
- intxx131 tointegralx 0E-2 -> 0
- intxx132 tointegralx 0E-1 -> 0
- intxx133 tointegralx 0E-0 -> 0
- intxx134 tointegralx 0E+1 -> 0E+1
- intxx135 tointegralx 0E+2 -> 0E+2
- intxx136 tointegralx 0E+3 -> 0E+3
- intxx137 tointegralx 0E+4 -> 0E+4
- intxx138 tointegralx 0E+5 -> 0E+5
- intxx139 tointegralx -0.000 -> -0
- intxx140 tointegralx -0.00 -> -0
- intxx141 tointegralx -0.0 -> -0
- intxx142 tointegralx -0 -> -0
- intxx143 tointegralx -0E-3 -> -0
- intxx144 tointegralx -0E-2 -> -0
- intxx145 tointegralx -0E-1 -> -0
- intxx146 tointegralx -0E-0 -> -0
- intxx147 tointegralx -0E+1 -> -0E+1
- intxx148 tointegralx -0E+2 -> -0E+2
- intxx149 tointegralx -0E+3 -> -0E+3
- intxx150 tointegralx -0E+4 -> -0E+4
- intxx151 tointegralx -0E+5 -> -0E+5
- -- propagating NaNs
- intxx152 tointegralx NaN808 -> NaN808
- intxx153 tointegralx sNaN080 -> NaN80 Invalid_operation
- intxx154 tointegralx -NaN808 -> -NaN808
- intxx155 tointegralx -sNaN080 -> -NaN80 Invalid_operation
- intxx156 tointegralx -NaN -> -NaN
- intxx157 tointegralx -sNaN -> -NaN Invalid_operation
- -- examples
- rounding: half_up
- precision: 9
- intxx200 tointegralx 2.1 -> 2 Inexact Rounded
- intxx201 tointegralx 100 -> 100
- intxx202 tointegralx 100.0 -> 100 Rounded
- intxx203 tointegralx 101.5 -> 102 Inexact Rounded
- intxx204 tointegralx -101.5 -> -102 Inexact Rounded
- intxx205 tointegralx 10E+5 -> 1.0E+6
- intxx206 tointegralx 7.89E+77 -> 7.89E+77
- intxx207 tointegralx -Inf -> -Infinity
- -- all rounding modes
- rounding: half_even
- intxx210 tointegralx 55.5 -> 56 Inexact Rounded
- intxx211 tointegralx 56.5 -> 56 Inexact Rounded
- intxx212 tointegralx 57.5 -> 58 Inexact Rounded
- intxx213 tointegralx -55.5 -> -56 Inexact Rounded
- intxx214 tointegralx -56.5 -> -56 Inexact Rounded
- intxx215 tointegralx -57.5 -> -58 Inexact Rounded
- rounding: half_up
- intxx220 tointegralx 55.5 -> 56 Inexact Rounded
- intxx221 tointegralx 56.5 -> 57 Inexact Rounded
- intxx222 tointegralx 57.5 -> 58 Inexact Rounded
- intxx223 tointegralx -55.5 -> -56 Inexact Rounded
- intxx224 tointegralx -56.5 -> -57 Inexact Rounded
- intxx225 tointegralx -57.5 -> -58 Inexact Rounded
- rounding: half_down
- intxx230 tointegralx 55.5 -> 55 Inexact Rounded
- intxx231 tointegralx 56.5 -> 56 Inexact Rounded
- intxx232 tointegralx 57.5 -> 57 Inexact Rounded
- intxx233 tointegralx -55.5 -> -55 Inexact Rounded
- intxx234 tointegralx -56.5 -> -56 Inexact Rounded
- intxx235 tointegralx -57.5 -> -57 Inexact Rounded
- rounding: up
- intxx240 tointegralx 55.3 -> 56 Inexact Rounded
- intxx241 tointegralx 56.3 -> 57 Inexact Rounded
- intxx242 tointegralx 57.3 -> 58 Inexact Rounded
- intxx243 tointegralx -55.3 -> -56 Inexact Rounded
- intxx244 tointegralx -56.3 -> -57 Inexact Rounded
- intxx245 tointegralx -57.3 -> -58 Inexact Rounded
- rounding: down
- intxx250 tointegralx 55.7 -> 55 Inexact Rounded
- intxx251 tointegralx 56.7 -> 56 Inexact Rounded
- intxx252 tointegralx 57.7 -> 57 Inexact Rounded
- intxx253 tointegralx -55.7 -> -55 Inexact Rounded
- intxx254 tointegralx -56.7 -> -56 Inexact Rounded
- intxx255 tointegralx -57.7 -> -57 Inexact Rounded
- rounding: ceiling
- intxx260 tointegralx 55.3 -> 56 Inexact Rounded
- intxx261 tointegralx 56.3 -> 57 Inexact Rounded
- intxx262 tointegralx 57.3 -> 58 Inexact Rounded
- intxx263 tointegralx -55.3 -> -55 Inexact Rounded
- intxx264 tointegralx -56.3 -> -56 Inexact Rounded
- intxx265 tointegralx -57.3 -> -57 Inexact Rounded
- rounding: floor
- intxx270 tointegralx 55.7 -> 55 Inexact Rounded
- intxx271 tointegralx 56.7 -> 56 Inexact Rounded
- intxx272 tointegralx 57.7 -> 57 Inexact Rounded
- intxx273 tointegralx -55.7 -> -56 Inexact Rounded
- intxx274 tointegralx -56.7 -> -57 Inexact Rounded
- intxx275 tointegralx -57.7 -> -58 Inexact Rounded
- -- Int and uInt32 edge values for testing conversions
- precision: 16
- intxx300 tointegralx -2147483646 -> -2147483646
- intxx301 tointegralx -2147483647 -> -2147483647
- intxx302 tointegralx -2147483648 -> -2147483648
- intxx303 tointegralx -2147483649 -> -2147483649
- intxx304 tointegralx 2147483646 -> 2147483646
- intxx305 tointegralx 2147483647 -> 2147483647
- intxx306 tointegralx 2147483648 -> 2147483648
- intxx307 tointegralx 2147483649 -> 2147483649
- intxx308 tointegralx 4294967294 -> 4294967294
- intxx309 tointegralx 4294967295 -> 4294967295
- intxx310 tointegralx 4294967296 -> 4294967296
- intxx311 tointegralx 4294967297 -> 4294967297
|
