⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 add.dectest

📁 eda is an estimation of distributions algorithm
💻 DECTEST
📖 第 1 页 / 共 3 页
字号:
rounding: down
addx657 add 123456789 -0.500001 -> 123456788 Inexact Rounded

-- long operand triangle
rounding: half_up
precision:  37
addx660 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337114834538
precision:  36
addx661 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711483454  Inexact Rounded
precision:  35
addx662 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371148345   Inexact Rounded
precision:  34
addx663 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337114835    Inexact Rounded
precision:  33
addx664 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711483     Inexact Rounded
precision:  32
addx665 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371148      Inexact Rounded
precision:  31
addx666 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337115       Inexact Rounded
precision:  30
addx667 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892233711        Inexact Rounded
precision:  29
addx668 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223371         Inexact Rounded
precision:  28
addx669 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922337          Inexact Rounded
precision:  27
addx670 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892234           Inexact Rounded
precision:  26
addx671 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389223            Inexact Rounded
precision:  25
addx672 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023638922             Inexact Rounded
precision:  24
addx673 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102363892              Inexact Rounded
precision:  23
addx674 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236389               Inexact Rounded
precision:  22
addx675 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211023639                Inexact Rounded
precision:  21
addx676 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102364                 Inexact Rounded
precision:  20
addx677 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110236                  Inexact Rounded
precision:  19
addx678 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211024                   Inexact Rounded
precision:  18
addx679 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221102                    Inexact Rounded
precision:  17
addx680 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422110                     Inexact Rounded
precision:  16
addx681 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42211                      Inexact Rounded
precision:  15
addx682 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4221                       Inexact Rounded
precision:  14
addx683 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.422                        Inexact Rounded
precision:  13
addx684 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.42                         Inexact Rounded
precision:  12
addx685 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166.4                          Inexact Rounded
precision:  11
addx686 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 98471174166                            Inexact Rounded
precision:  10
addx687 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847117417E+10                        Inexact Rounded
precision:   9
addx688 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.84711742E+10                         Inexact Rounded
precision:   8
addx689 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8471174E+10                          Inexact Rounded
precision:   7
addx690 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847117E+10                          Inexact Rounded
precision:   6
addx691 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.84712E+10                          Inexact Rounded
precision:   5
addx692 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8471E+10                          Inexact Rounded
precision:   4
addx693 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.847E+10                          Inexact Rounded
precision:   3
addx694 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.85E+10                          Inexact Rounded
precision:   2
addx695 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 9.8E+10                          Inexact Rounded
precision:   1
addx696 add 98471198160.56524417578665886060 -23994.14313393939743548945165462 -> 1E+11                          Inexact Rounded

-- more zeros, etc.
rounding: half_up
precision:   9

addx701 add 5.00 1.00E-3 -> 5.00100
addx702 add 00.00 0.000  -> 0.000
addx703 add 00.00 0E-3   -> 0.000
addx704 add 0E-3  00.00  -> 0.000

addx710 add 0E+3  00.00  -> 0.00
addx711 add 0E+3  00.0   -> 0.0
addx712 add 0E+3  00.    -> 0
addx713 add 0E+3  00.E+1 -> 0E+1
addx714 add 0E+3  00.E+2 -> 0E+2
addx715 add 0E+3  00.E+3 -> 0E+3
addx716 add 0E+3  00.E+4 -> 0E+3
addx717 add 0E+3  00.E+5 -> 0E+3
addx718 add 0E+3  -00.0   -> 0.0
addx719 add 0E+3  -00.    -> 0
addx731 add 0E+3  -00.E+1 -> 0E+1

addx720 add 00.00  0E+3  -> 0.00
addx721 add 00.0   0E+3  -> 0.0
addx722 add 00.    0E+3  -> 0
addx723 add 00.E+1 0E+3  -> 0E+1
addx724 add 00.E+2 0E+3  -> 0E+2
addx725 add 00.E+3 0E+3  -> 0E+3
addx726 add 00.E+4 0E+3  -> 0E+3
addx727 add 00.E+5 0E+3  -> 0E+3
addx728 add -00.00 0E+3  -> 0.00
addx729 add -00.0  0E+3  -> 0.0
addx730 add -00.   0E+3  -> 0

addx732 add  0     0     ->  0
addx733 add  0    -0     ->  0
addx734 add -0     0     ->  0
addx735 add -0    -0     -> -0     -- IEEE 854 exception

addx736 add  1    -1     ->  0
addx737 add -1    -1     -> -2
addx738 add  1     1     ->  2
addx739 add -1     1     ->  0

addx741 add  0    -1     -> -1
addx742 add -0    -1     -> -1
addx743 add  0     1     ->  1
addx744 add -0     1     ->  1
addx745 add -1     0     -> -1
addx746 add -1    -0     -> -1
addx747 add  1     0     ->  1
addx748 add  1    -0     ->  1

addx751 add  0.0  -1     -> -1.0
addx752 add -0.0  -1     -> -1.0
addx753 add  0.0   1     ->  1.0
addx754 add -0.0   1     ->  1.0
addx755 add -1.0   0     -> -1.0
addx756 add -1.0  -0     -> -1.0
addx757 add  1.0   0     ->  1.0
addx758 add  1.0  -0     ->  1.0

addx761 add  0    -1.0   -> -1.0
addx762 add -0    -1.0   -> -1.0
addx763 add  0     1.0   ->  1.0
addx764 add -0     1.0   ->  1.0
addx765 add -1     0.0   -> -1.0
addx766 add -1    -0.0   -> -1.0
addx767 add  1     0.0   ->  1.0
addx768 add  1    -0.0   ->  1.0

addx771 add  0.0  -1.0   -> -1.0
addx772 add -0.0  -1.0   -> -1.0
addx773 add  0.0   1.0   ->  1.0
addx774 add -0.0   1.0   ->  1.0
addx775 add -1.0   0.0   -> -1.0
addx776 add -1.0  -0.0   -> -1.0
addx777 add  1.0   0.0   ->  1.0
addx778 add  1.0  -0.0   ->  1.0

-- Specials
addx780 add -Inf  -Inf   -> -Infinity
addx781 add -Inf  -1000  -> -Infinity
addx782 add -Inf  -1     -> -Infinity
addx783 add -Inf  -0     -> -Infinity
addx784 add -Inf   0     -> -Infinity
addx785 add -Inf   1     -> -Infinity
addx786 add -Inf   1000  -> -Infinity
addx787 add -1000 -Inf   -> -Infinity
addx788 add -Inf  -Inf   -> -Infinity
addx789 add -1    -Inf   -> -Infinity
addx790 add -0    -Inf   -> -Infinity
addx791 add  0    -Inf   -> -Infinity
addx792 add  1    -Inf   -> -Infinity
addx793 add  1000 -Inf   -> -Infinity

addx800 add  Inf  -Inf   ->  NaN  Invalid_operation
addx801 add  Inf  -1000  ->  Infinity
addx802 add  Inf  -1     ->  Infinity
addx803 add  Inf  -0     ->  Infinity
addx804 add  Inf   0     ->  Infinity
addx805 add  Inf   1     ->  Infinity
addx806 add  Inf   1000  ->  Infinity
addx807 add  Inf   Inf   ->  Infinity
addx808 add -1000  Inf   ->  Infinity
addx809 add -Inf   Inf   ->  NaN  Invalid_operation
addx810 add -1     Inf   ->  Infinity
addx811 add -0     Inf   ->  Infinity
addx812 add  0     Inf   ->  Infinity
addx813 add  1     Inf   ->  Infinity
addx814 add  1000  Inf   ->  Infinity
addx815 add  Inf   Inf   ->  Infinity

addx821 add  NaN -Inf    ->  NaN
addx822 add  NaN -1000   ->  NaN
addx823 add  NaN -1      ->  NaN
addx824 add  NaN -0      ->  NaN
addx825 add  NaN  0      ->  NaN
addx826 add  NaN  1      ->  NaN
addx827 add  NaN  1000   ->  NaN
addx828 add  NaN  Inf    ->  NaN
addx829 add  NaN  NaN    ->  NaN
addx830 add -Inf  NaN    ->  NaN
addx831 add -1000 NaN    ->  NaN
addx832 add -1    NaN    ->  NaN
addx833 add -0    NaN    ->  NaN
addx834 add  0    NaN    ->  NaN
addx835 add  1    NaN    ->  NaN
addx836 add  1000 NaN    ->  NaN
addx837 add  Inf  NaN    ->  NaN

addx841 add  sNaN -Inf   ->  NaN  Invalid_operation
addx842 add  sNaN -1000  ->  NaN  Invalid_operation
addx843 add  sNaN -1     ->  NaN  Invalid_operation
addx844 add  sNaN -0     ->  NaN  Invalid_operation
addx845 add  sNaN  0     ->  NaN  Invalid_operation
addx846 add  sNaN  1     ->  NaN  Invalid_operation
addx847 add  sNaN  1000  ->  NaN  Invalid_operation
addx848 add  sNaN  NaN   ->  NaN  Invalid_operation
addx849 add  sNaN sNaN   ->  NaN  Invalid_operation
addx850 add  NaN  sNaN   ->  NaN  Invalid_operation
addx851 add -Inf  sNaN   ->  NaN  Invalid_operation
addx852 add -1000 sNaN   ->  NaN  Invalid_operation
addx853 add -1    sNaN   ->  NaN  Invalid_operation
addx854 add -0    sNaN   ->  NaN  Invalid_operation
addx855 add  0    sNaN   ->  NaN  Invalid_operation
addx856 add  1    sNaN   ->  NaN  Invalid_operation
addx857 add  1000 sNaN   ->  NaN  Invalid_operation
addx858 add  Inf  sNaN   ->  NaN  Invalid_operation
addx859 add  NaN  sNaN   ->  NaN  Invalid_operation

-- overflow, underflow and subnormal tests
maxexponent: 999999999
precision: 9
addx860 add 1E+999999999     9E+999999999   -> Infinity Overflow Inexact Rounded
addx861 add 9E+999999999     1E+999999999   -> Infinity Overflow Inexact Rounded
addx862 add -1.1E-999999999  1E-999999999   -> -1E-1000000000    Subnormal
addx863 add 1E-999999999    -1.1e-999999999 -> -1E-1000000000    Subnormal
addx864 add -1.0001E-999999999  1E-999999999   -> -1E-1000000003 Subnormal
addx865 add 1E-999999999    -1.0001e-999999999 -> -1E-1000000003 Subnormal
addx866 add -1E+999999999   -9E+999999999   -> -Infinity Overflow Inexact Rounded
addx867 add -9E+999999999   -1E+999999999   -> -Infinity Overflow Inexact Rounded
addx868 add +1.1E-999999999 -1E-999999999   -> 1E-1000000000    Subnormal
addx869 add -1E-999999999   +1.1e-999999999 -> 1E-1000000000    Subnormal
addx870 add +1.0001E-999999999 -1E-999999999   -> 1E-1000000003 Subnormal
addx871 add -1E-999999999   +1.0001e-999999999 -> 1E-1000000003 Subnormal
addx872 add -1E+999999999   +9E+999999999   ->  8E+999999999
addx873 add -9E+999999999   +1E+999999999   -> -8E+999999999

precision: 3
addx880 add      0 -9.999E+999999999   -> -Infinity Inexact Overflow Rounded
addx881 add        -9.999E+999999999 0 -> -Infinity Inexact Overflow Rounded
addx882 add      0  9.999E+999999999   ->  Infinity Inexact Overflow Rounded
addx883 add         9.999E+999999999 0 ->  Infinity Inexact Overflow Rounded

precision: 3
maxexponent: 999
addx910 add  1.00E-999   0    ->   1.00E-999
addx911 add  0.1E-999    0    ->   1E-1000   Subnormal
addx912 add  0.10E-999   0    ->   1.0E-1000 Subnormal
addx913 add  0.100E-999  0    ->   1.0E-1000 Subnormal Rounded
addx914 add  0.01E-999   0    ->   1E-1001   Subnormal
-- next is rounded to Emin
addx915 add  0.999E-999  0    ->   1.00E-999 Inexact Rounded Subnormal Underflow
addx916 add  0.099E-999  0    ->   1.0E-1000 Inexact Rounded Subnormal Underflow
addx917 add  0.009E-999  0    ->   1E-1001   Inexact Rounded Subnormal Underflow
addx918 add  0.001E-999  0    ->   0E-1001   Inexact Rounded Subnormal Underflow
addx919 add  0.0009E-999 0    ->   0E-1001   Inexact Rounded Subnormal Underflow
addx920 add  0.0001E-999 0    ->   0E-1001   Inexact Rounded Subnormal Underflow

addx930 add -1.00E-999   0    ->  -1.00E-999
addx931 add -0.1E-999    0    ->  -1E-1000   Subnormal
addx932 add -0.10E-999   0    ->  -1.0E-1000 Subnormal
addx933 add -0.100E-999  0    ->  -1.0E-1000 Subnormal Rounded
addx934 add -0.01E-999   0    ->  -1E-1001   Subnormal
-- next is rounded to Emin
addx935 add -0.999E-999  0    ->  -1.00E-999 Inexact Rounded Subnormal Underflow
addx936 add -0.099E-999  0    ->  -1.0E-1000 Inexact Rounded Subnormal Underflow
addx937 add -0.009E-999  0    ->  -1E-1001   Inexact Rounded Subnormal Underflow
addx938 add -0.001E-999  0    ->  -0E-1001   Inexact Rounded Subnormal Underflow
addx939 add -0.0009E-999 0    ->  -0E-1001   Inexact Rounded Subnormal Underflow
addx940 add -0.0001E-999 0    ->  -0E-1001   Inexact Rounded Subnormal Underflow

-- some non-zero subnormal adds
addx950 add  1.00E-999    0.1E-999  ->   1.10E-999
addx951 add  0.1E-999     0.1E-999  ->   2E-1000    Subnormal
addx952 add  0.10E-999    0.1E-999  ->   2.0E-1000  Subnormal
addx953 add  0.100E-999   0.1E-999  ->   2.0E-1000  Subnormal Rounded
addx954 add  0.01E-999    0.1E-999  ->   1.1E-1000  Subnormal
addx955 add  0.999E-999   0.1E-999  ->   1.10E-999  Inexact Rounded
addx956 add  0.099E-999   0.1E-999  ->   2.0E-1000  Inexact Rounded Subnormal Underflow
addx957 add  0.009E-999   0.1E-999  ->   1.1E-1000  Inexact Rounded Subnormal Underflow
addx958 add  0.001E-999   0.1E-999  ->   1.0E-1000  Inexact Rounded Subnormal Underflow
addx959 add  0.0009E-999  0.1E-999  ->   1.0E-1000  Inexact Rounded Subnormal Underflow
addx960 add  0.0001E-999  0.1E-999  ->   1.0E-1000  Inexact Rounded Subnormal Underflow
-- negatives...
addx961 add  1.00E-999   -0.1E-999  ->   9.0E-1000  Subnormal
addx962 add  0.1E-999    -0.1E-999  ->   0E-1000
addx963 add  0.10E-999   -0.1E-999  ->   0E-1001
addx964 add  0.100E-999  -0.1E-999  ->   0E-1001
addx965 add  0.01E-999   -0.1E-999  ->   -9E-1001   Subnormal
addx966 add  0.999E-999  -0.1E-999  ->   9.0E-1000  Inexact Rounded Subnormal Underflow
addx967 add  0.099E-999  -0.1E-999  ->   -0E-1001   Inexact Rounded Subnormal Underflow
addx968 add  0.009E-999  -0.1E-999  ->   -9E-1001   Inexact Rounded Subnormal Underflow
addx969 add  0.001E-999  -0.1E-999  ->   -1.0E-1000 Inexact Rounded Subnormal Underflow
addx970 add  0.0009E-999 -0.1E-999  ->   -1.0E-1000 Inexact Rounded Subnormal Underflow
addx971 add  0.0001E-999 -0.1E-999  ->   -1.0E-1000 Inexact Rounded Subnormal Underflow

-- Null tests
addx990 add 10  # -> NaN Invalid_operation
addx991 add  # 10 -> NaN Invalid_operation

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -