You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
112 lines
4.3 KiB
Plaintext
112 lines
4.3 KiB
Plaintext
9 years ago
|
------------------------------------------------------------------------
|
||
|
|
-- max0.decTest -- decimal maximum (simplified) --
|
||
|
|
-- Copyright (c) IBM Corporation, 1981, 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.58
|
||
|
|
|
||
|
|
-- we assume that base comparison is tested in compare.decTest, so
|
||
|
|
-- these mainly cover special cases, lost digits, and rounding
|
||
|
|
|
||
|
|
extended: 0
|
||
|
|
precision: 9
|
||
|
|
rounding: half_up
|
||
|
|
maxExponent: 999
|
||
|
|
minexponent: -999
|
||
|
|
|
||
|
|
-- sanity checks
|
||
|
|
max001 max -2 -2 -> -2
|
||
|
|
max002 max -2 -1 -> -1
|
||
|
|
max003 max -2 0 -> 0
|
||
|
|
max004 max -2 1 -> 1
|
||
|
|
max005 max -2 2 -> 2
|
||
|
|
max006 max -1 -2 -> -1
|
||
|
|
max007 max -1 -1 -> -1
|
||
|
|
max008 max -1 0 -> 0
|
||
|
|
max009 max -1 1 -> 1
|
||
|
|
max010 max -1 2 -> 2
|
||
|
|
max011 max 0 -2 -> 0
|
||
|
|
max012 max 0 -1 -> 0
|
||
|
|
max013 max 0 0 -> 0
|
||
|
|
max014 max 0 1 -> 1
|
||
|
|
max015 max 0 2 -> 2
|
||
|
|
max016 max 1 -2 -> 1
|
||
|
|
max017 max 1 -1 -> 1
|
||
|
|
max018 max 1 0 -> 1
|
||
|
|
max019 max 1 1 -> 1
|
||
|
|
max020 max 1 2 -> 2
|
||
|
|
max021 max 2 -2 -> 2
|
||
|
|
max022 max 2 -1 -> 2
|
||
|
|
max023 max 2 0 -> 2
|
||
|
|
max025 max 2 1 -> 2
|
||
|
|
max026 max 2 2 -> 2
|
||
|
|
|
||
|
|
-- lostDigits and input rounding checks
|
||
|
|
maxexponent: 999
|
||
|
|
minexponent: -999
|
||
|
|
precision: 9
|
||
|
|
max101 max 12345678000 1 -> 1.23456780E+10 Rounded
|
||
|
|
max102 max 1 12345678000 -> 1.23456780E+10 Rounded
|
||
|
|
max103 max 1234567800 1 -> 1.23456780E+9 Rounded
|
||
|
|
max104 max 1 1234567800 -> 1.23456780E+9 Rounded
|
||
|
|
max105 max 1234567890 1 -> 1.23456789E+9 Rounded
|
||
|
|
max106 max 1 1234567890 -> 1.23456789E+9 Rounded
|
||
|
|
max107 max 1234567891 1 -> 1.23456789E+9 Inexact Lost_digits Rounded
|
||
|
|
max108 max 1 1234567891 -> 1.23456789E+9 Inexact Lost_digits Rounded
|
||
|
|
max109 max 12345678901 1 -> 1.23456789E+10 Inexact Lost_digits Rounded
|
||
|
|
max110 max 1 12345678901 -> 1.23456789E+10 Inexact Lost_digits Rounded
|
||
|
|
max111 max 1234567896 1 -> 1.23456790E+9 Inexact Lost_digits Rounded
|
||
|
|
max112 max 1 1234567896 -> 1.23456790E+9 Inexact Lost_digits Rounded
|
||
|
|
max113 max -1234567891 1 -> 1 Inexact Lost_digits Rounded
|
||
|
|
max114 max 1 -1234567891 -> 1 Inexact Lost_digits Rounded
|
||
|
|
max115 max -12345678901 1 -> 1 Inexact Lost_digits Rounded
|
||
|
|
max116 max 1 -12345678901 -> 1 Inexact Lost_digits Rounded
|
||
|
|
max117 max -1234567896 1 -> 1 Inexact Lost_digits Rounded
|
||
|
|
max118 max 1 -1234567896 -> 1 Inexact Lost_digits Rounded
|
||
|
|
|
||
|
|
precision: 15
|
||
|
|
-- still checking for [no] lostDigits
|
||
|
|
max121 max 12345678000 1 -> 12345678000
|
||
|
|
max122 max 1 12345678000 -> 12345678000
|
||
|
|
max123 max 1234567800 1 -> 1234567800
|
||
|
|
max124 max 1 1234567800 -> 1234567800
|
||
|
|
max125 max 1234567890 1 -> 1234567890
|
||
|
|
max126 max 1 1234567890 -> 1234567890
|
||
|
|
max127 max 1234567891 1 -> 1234567891
|
||
|
|
max128 max 1 1234567891 -> 1234567891
|
||
|
|
max129 max 12345678901 1 -> 12345678901
|
||
|
|
max130 max 1 12345678901 -> 12345678901
|
||
|
|
max131 max 1234567896 1 -> 1234567896
|
||
|
|
max132 max 1 1234567896 -> 1234567896
|
||
|
|
max133 max -1234567891 1 -> 1
|
||
|
|
max134 max 1 -1234567891 -> 1
|
||
|
|
max135 max -12345678901 1 -> 1
|
||
|
|
max136 max 1 -12345678901 -> 1
|
||
|
|
max137 max -1234567896 1 -> 1
|
||
|
|
max138 max 1 -1234567896 -> 1
|
||
|
|
|
||
|
|
-- from examples
|
||
|
|
max180 max '3' '2' -> '3'
|
||
|
|
max181 max '-10' '3' -> '3'
|
||
|
|
max182 max '1.0' '1' -> '1.0'
|
||
|
|
max183 max '1' '1.0' -> '1'
|
||
|
|
|
||
|
|
-- Null tests
|
||
|
|
max900 max 10 # -> ? Invalid_operation
|
||
|
|
max901 max # 10 -> ? Invalid_operation
|
||
|
|
|