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

📄 power.dectest

📁 eda is an estimation of distributions algorithm
💻 DECTEST
📖 第 1 页 / 共 2 页
字号:
powx334 power -11            999999998 ->  Infinity Overflow Inexact Rounded
powx335 power -12            999999998 ->  Infinity Overflow Inexact Rounded
powx336 power -999           999999998 ->  Infinity Overflow Inexact Rounded
powx337 power -999999        999999998 ->  Infinity Overflow Inexact Rounded
powx338 power -999999999     999999998 ->  Infinity Overflow Inexact Rounded
powx339 power -9.9E999999999 999999998 ->  Infinity Overflow Inexact Rounded

powx340 power -0.5           999999998 ->  8.67119187E-301029996 Inexact Rounded
powx341 power -0.1           999999998 ->  1E-999999998  -- NB exact unrounded
powx342 power -0.09          999999998 ->  0E-1000000007 Underflow Subnormal Inexact Rounded
powx343 power -0.05          999999998 ->  0E-1000000007 Underflow Subnormal Inexact Rounded
powx344 power -0.01          999999998 ->  0E-1000000007 Underflow Subnormal Inexact Rounded
powx345 power -0.0001        999999998 ->  0E-1000000007 Underflow Subnormal Inexact Rounded
powx347 power -0.0000001     999999998 ->  0E-1000000007 Underflow Subnormal Inexact Rounded
powx348 power -0.0000000001  999999998 ->  0E-1000000007 Underflow Subnormal Inexact Rounded
powx349 power -1E-999999999  999999998 ->  0E-1000000007 Underflow Subnormal Inexact Rounded

-- some subnormals
precision: 9
-- [precision is 9, so smallest exponent is -1000000007
powx350 power  1e-1          500000000 ->  1E-500000000
powx351 power  1e-2          999999999 ->  0E-1000000007 Underflow Subnormal Inexact Rounded
powx352 power  1e-2          500000000 ->  1E-1000000000 Subnormal
powx353 power  1e-2          500000001 ->  1E-1000000002 Subnormal
powx354 power  1e-2          500000002 ->  1E-1000000004 Subnormal
powx355 power  1e-2          500000003 ->  1E-1000000006 Subnormal
powx356 power  1e-2          500000004 ->  0E-1000000007 Underflow Subnormal Inexact Rounded

powx360 power  0.010001      500000000 ->  4.34941988E-999978287 Inexact Rounded
powx361 power  0.010000001   500000000 ->  5.18469257E-999999979 Inexact Rounded
powx362 power  0.010000001   500000001 ->  5.18469309E-999999981 Inexact Rounded
powx363 power  0.0100000009  500000000 ->  3.49342003E-999999981 Inexact Rounded
powx364 power  0.0100000001  500000000 ->  1.48413155E-999999998 Inexact Rounded
powx365 power  0.01          500000000 ->  1E-1000000000 Subnormal
powx366 power  0.0099999999  500000000 ->  6.7379E-1000000003 Underflow Subnormal Inexact Rounded
powx367 power  0.0099999998  500000000 ->  4.54E-1000000005 Underflow Subnormal Inexact Rounded
powx368 power  0.0099999997  500000000 ->  3E-1000000007 Underflow Subnormal Inexact Rounded
powx369 power  0.0099999996  500000000 ->  0E-1000000007 Underflow Subnormal Inexact Rounded
powx370 power  0.009         500000000 ->  0E-1000000007 Underflow Subnormal Inexact Rounded

-- 1/subnormal -> overflow
powx371 power  1e-1         -500000000 ->  1E+500000000
powx372 power  1e-2         -999999999 ->  Infinity Overflow Inexact Rounded
powx373 power  1e-2         -500000000 ->  Infinity Overflow Inexact Rounded
powx374 power  1e-2         -500000001 ->  Infinity Overflow Inexact Rounded
powx375 power  1e-2         -500000002 ->  Infinity Overflow Inexact Rounded
powx376 power  1e-2         -500000003 ->  Infinity Overflow Inexact Rounded
powx377 power  1e-2         -500000004 ->  Infinity Overflow Inexact Rounded

powx381 power  0.010001     -500000000 ->  2.29915719E+999978286 Inexact Rounded
powx382 power  0.010000001  -500000000 ->  1.92875467E+999999978 Inexact Rounded
powx383 power  0.010000001  -500000001 ->  1.92875448E+999999980 Inexact Rounded
powx384 power  0.0100000009 -500000000 ->  2.86252438E+999999980 Inexact Rounded
powx385 power  0.0100000001 -500000000 ->  6.73794717E+999999997 Inexact Rounded
powx386 power  0.01         -500000000 ->  Infinity Overflow Inexact Rounded
powx387 power  0.009999     -500000000 ->  Infinity Overflow Inexact Rounded

-- negative power giving subnormal
powx388 power  100.000001   -500000000 ->  6.7379E-1000000003 Underflow Subnormal Inexact Rounded

-- some more edge cases
precision:   15
maxExponent: 999
powx391 power  0.1   999 -> 1E-999
powx392 power  0.099 999 -> 4.360732062E-1004 Underflow Subnormal Inexact Rounded
powx393 power  0.098 999 -> 1.71731E-1008 Underflow Subnormal Inexact Rounded
powx394 power  0.097 999 -> 6E-1013 Underflow Subnormal Inexact Rounded
powx395 power  0.096 999 -> 0E-1013 Underflow Subnormal Inexact Rounded
powx396 power  0.01  999 -> 0E-1013 Underflow Subnormal Inexact Rounded

-- multiply tests are here to aid checking and test for consistent handling
-- of underflow
precision: 5
maxexponent: 999

-- squares
mulx400 multiply  1E-502     1e-502 -> 0E-1003    Subnormal Inexact Underflow Rounded
mulx401 multiply  1E-501     1e-501 -> 1E-1002    Subnormal
mulx402 multiply  2E-501     2e-501 -> 4E-1002    Subnormal
mulx403 multiply  4E-501     4e-501 -> 1.6E-1001  Subnormal
mulx404 multiply 10E-501    10e-501 -> 1.00E-1000 Subnormal
mulx405 multiply 30E-501    30e-501 -> 9.00E-1000 Subnormal
mulx406 multiply 40E-501    40e-501 -> 1.600E-999

powx400 power     1E-502     2      -> 0E-1003    Underflow Subnormal Inexact Rounded
powx401 power     1E-501     2      -> 1E-1002    Subnormal
powx402 power     2E-501     2      -> 4E-1002    Subnormal
powx403 power     4E-501     2      -> 1.6E-1001  Subnormal
powx404 power    10E-501     2      -> 1.00E-1000 Subnormal
powx405 power    30E-501     2      -> 9.00E-1000 Subnormal
powx406 power    40E-501     2      -> 1.600E-999

-- cubes
mulx410 multiply  1E-670     1e-335 -> 0E-1003    Underflow Subnormal Inexact Rounded
mulx411 multiply  1E-668     1e-334 -> 1E-1002    Subnormal
mulx412 multiply  4E-668     2e-334 -> 8E-1002    Subnormal
mulx413 multiply  9E-668     3e-334 -> 2.7E-1001  Subnormal
mulx414 multiply 16E-668     4e-334 -> 6.4E-1001  Subnormal
mulx415 multiply 25E-668     5e-334 -> 1.25E-1000 Subnormal
mulx416 multiply 10E-668   100e-334 -> 1.000E-999

powx410 power     1E-335     3      -> 0E-1003    Underflow Subnormal Inexact Rounded
powx411 power     1E-334     3      -> 1E-1002    Subnormal
powx412 power     2E-334     3      -> 8E-1002    Subnormal
powx413 power     3E-334     3      -> 2.7E-1001  Subnormal
powx414 power     4E-334     3      -> 6.4E-1001  Subnormal
powx415 power     5E-334     3      -> 1.25E-1000 Subnormal
powx416 power    10E-334     3      -> 1.000E-999

-- negative powers, testing subnormals
precision:   5
maxExponent: 999
powx421 power  2.5E-501     -2         ->  Infinity Overflow Inexact Rounded
powx422 power  2.5E-500     -2         ->  1.6E+999

powx423 power  2.5E+499     -2         ->  1.6E-999
powx424 power  2.5E+500     -2         ->  1.6E-1001 Subnormal
powx425 power  2.5E+501     -2         ->    2E-1003 Underflow Subnormal Inexact Rounded
powx426 power  2.5E+502     -2         ->    0E-1003 Underflow Subnormal Inexact Rounded

powx427 power 0.25E+499     -2         ->  1.6E-997
powx428 power 0.25E+500     -2         ->  1.6E-999
powx429 power 0.25E+501     -2         ->  1.6E-1001 Subnormal
powx430 power 0.25E+502     -2         ->    2E-1003 Underflow Subnormal Inexact Rounded
powx431 power 0.25E+503     -2         ->    0E-1003 Underflow Subnormal Inexact Rounded

powx432 power 0.04E+499     -2         ->  6.25E-996
powx433 power 0.04E+500     -2         ->  6.25E-998
powx434 power 0.04E+501     -2         ->  6.25E-1000 Subnormal
powx435 power 0.04E+502     -2         ->   6.3E-1002 Underflow Subnormal Inexact Rounded
powx436 power 0.04E+503     -2         ->     1E-1003 Underflow Subnormal Inexact Rounded
powx437 power 0.04E+504     -2         ->     0E-1003 Underflow Subnormal Inexact Rounded

powx441 power 0.04E+334     -3         ->  1.5625E-998
powx442 power 0.04E+335     -3         ->    1.56E-1001 Underflow Subnormal Inexact Rounded
powx443 power 0.04E+336     -3         ->       0E-1003 Underflow Subnormal Inexact Rounded
powx444 power 0.25E+333     -3         ->     6.4E-998
powx445 power 0.25E+334     -3         ->     6.4E-1001 Subnormal
powx446 power 0.25E+335     -3         ->       1E-1003 Underflow Subnormal Inexact Rounded
powx447 power 0.25E+336     -3         ->       0E-1003 Underflow Subnormal Inexact Rounded
-- check sign for cubes  and a few squares
powx448 power -0.04E+334    -3         -> -1.5625E-998
powx449 power -0.04E+335    -3         ->   -1.56E-1001 Underflow Subnormal Inexact Rounded
powx450 power -0.04E+336    -3         ->      -0E-1003 Underflow Subnormal Inexact Rounded
powx451 power -0.25E+333    -3         ->    -6.4E-998
powx452 power -0.25E+334    -3         ->    -6.4E-1001 Subnormal
powx453 power -0.25E+335    -3         ->      -1E-1003 Underflow Subnormal Inexact Rounded
powx454 power -0.25E+336    -3         ->      -0E-1003 Underflow Subnormal Inexact Rounded
powx455 power -0.04E+499    -2         ->    6.25E-996
powx456 power -0.04E+500    -2         ->    6.25E-998
powx457 power -0.04E+501    -2         ->    6.25E-1000 Subnormal
powx458 power -0.04E+502    -2         ->     6.3E-1002 Underflow Subnormal Inexact Rounded

-- test -0s
precision: 9
powx560 power  0  0        ->  NaN Invalid_operation
powx561 power  0 -0        ->  NaN Invalid_operation
powx562 power -0  0        ->  NaN Invalid_operation
powx563 power -0 -0        ->  NaN Invalid_operation
powx564 power  1  0        ->  1
powx565 power  1 -0        ->  1
powx566 power -1  0        ->  1
powx567 power -1 -0        ->  1
powx568 power  0  1        ->  0
powx569 power  0 -1        ->  Infinity Division_by_zero
powx570 power -0  1        -> -0
powx571 power -0 -1        -> -Infinity Division_by_zero
powx572 power  0  2        ->  0
powx573 power  0 -2        ->  Infinity Division_by_zero
powx574 power -0  2        ->  0
powx575 power -0 -2        ->  Infinity Division_by_zero
powx576 power  0  3        ->  0
powx577 power  0 -3        ->  Infinity Division_by_zero
powx578 power -0  3        -> -0
powx579 power -0 -3        -> -Infinity Division_by_zero

-- Specials
powx580 power  Inf  -Inf   ->  NaN  Invalid_operation
powx581 power  Inf  -1000  ->  0
powx582 power  Inf  -1     ->  0
powx583 power  Inf  -0     ->  1
powx584 power  Inf   0     ->  1
powx585 power  Inf   1     ->  Infinity
powx586 power  Inf   1000  ->  Infinity
powx587 power  Inf   Inf   ->  NaN  Invalid_operation
powx588 power -1000  Inf   ->  NaN  Invalid_operation
powx589 power -Inf   Inf   ->  NaN  Invalid_operation
powx590 power -1     Inf   ->  NaN  Invalid_operation
powx591 power -0     Inf   ->  NaN  Invalid_operation
powx592 power  0     Inf   ->  NaN  Invalid_operation
powx593 power  1     Inf   ->  NaN  Invalid_operation
powx594 power  1000  Inf   ->  NaN  Invalid_operation
powx595 power  Inf   Inf   ->  NaN  Invalid_operation

powx600 power -Inf  -Inf   ->  NaN  Invalid_operation
powx601 power -Inf  -1000  ->  0
powx602 power -Inf  -1     -> -0
powx603 power -Inf  -0     ->  1
powx604 power -Inf   0     ->  1
powx605 power -Inf   1     -> -Infinity
powx606 power -Inf   1000  ->  Infinity
powx607 power -Inf   Inf   ->  NaN  Invalid_operation
powx608 power -1000  Inf   ->  NaN  Invalid_operation
powx609 power -Inf  -Inf   ->  NaN  Invalid_operation
powx610 power -1    -Inf   ->  NaN  Invalid_operation
powx611 power -0    -Inf   ->  NaN  Invalid_operation
powx612 power  0    -Inf   ->  NaN  Invalid_operation
powx613 power  1    -Inf   ->  NaN  Invalid_operation
powx614 power  1000 -Inf   ->  NaN  Invalid_operation
powx615 power  Inf  -Inf   ->  NaN  Invalid_operation

powx621 power  NaN -Inf    ->  NaN  Invalid_operation
powx622 power  NaN -1000   ->  NaN
powx623 power  NaN -1      ->  NaN
powx624 power  NaN -0      ->  NaN
powx625 power  NaN  0      ->  NaN
powx626 power  NaN  1      ->  NaN
powx627 power  NaN  1000   ->  NaN
powx628 power  NaN  Inf    ->  NaN  Invalid_operation
powx629 power  NaN  NaN    ->  NaN
powx630 power -Inf  NaN    ->  NaN
powx631 power -1000 NaN    ->  NaN
powx632 power -1    NaN    ->  NaN
powx633 power -0    NaN    ->  NaN
powx634 power  0    NaN    ->  NaN
powx635 power  1    NaN    ->  NaN
powx636 power  1000 NaN    ->  NaN
powx637 power  Inf  NaN    ->  NaN

powx641 power  sNaN -Inf   ->  NaN  Invalid_operation
powx642 power  sNaN -1000  ->  NaN  Invalid_operation
powx643 power  sNaN -1     ->  NaN  Invalid_operation
powx644 power  sNaN -0     ->  NaN  Invalid_operation
powx645 power  sNaN  0     ->  NaN  Invalid_operation
powx646 power  sNaN  1     ->  NaN  Invalid_operation
powx647 power  sNaN  1000  ->  NaN  Invalid_operation
powx648 power  sNaN  NaN   ->  NaN  Invalid_operation
powx649 power  sNaN sNaN   ->  NaN  Invalid_operation
powx650 power  NaN  sNaN   ->  NaN  Invalid_operation
powx651 power -Inf  sNaN   ->  NaN  Invalid_operation
powx652 power -1000 sNaN   ->  NaN  Invalid_operation
powx653 power -1    sNaN   ->  NaN  Invalid_operation
powx654 power -0    sNaN   ->  NaN  Invalid_operation
powx655 power  0    sNaN   ->  NaN  Invalid_operation
powx656 power  1    sNaN   ->  NaN  Invalid_operation
powx657 power  1000 sNaN   ->  NaN  Invalid_operation
powx658 power  Inf  sNaN   ->  NaN  Invalid_operation
powx659 power  NaN  sNaN   ->  NaN  Invalid_operation

-- Examples from extended specification
powx660 power  Inf  -2     ->  0
powx661 power  Inf  -1     ->  0
powx662 power  Inf   0     ->  1
powx663 power  Inf   1     ->  Infinity
powx664 power  Inf   2     ->  Infinity
powx665 power -Inf  -2     ->  0
powx666 power -Inf  -1     ->  -0
powx667 power -Inf   0     ->  1
powx668 power -Inf   1     ->  -Infinity
powx669 power -Inf   2     ->  Infinity
powx670 power    0   0     ->  NaN Invalid_operation

-- long operand and RHS range checks
maxexponent: 999
precision: 9
powx701 power 12345678000 1 -> 1.23456780E+10 Rounded
powx702 power 1234567800  1 -> 1.23456780E+9 Rounded
powx703 power 1234567890  1 -> 1.23456789E+9 Rounded
powx704 power 1234567891  1 -> 1.23456789E+9 Inexact Rounded
powx705 power 12345678901 1 -> 1.23456789E+10 Inexact Rounded
powx706 power 1234567896  1 -> 1.23456790E+9 Inexact Rounded
powx707 power 1 12345678000  -> NaN Invalid_operation
powx708 power 1 1234567800   -> NaN Invalid_operation
powx709 power 1 1234567890   -> NaN Invalid_operation
powx710 power 1 11234567891  -> NaN Invalid_operation
powx711 power 1 12345678901  -> NaN Invalid_operation
powx712 power 1 1234567896   -> NaN Invalid_operation
powx713 power 1 -1234567896  -> NaN Invalid_operation
powx714 power 1 1000000000   -> NaN Invalid_operation
powx715 power 1 -1000000000  -> NaN Invalid_operation

precision: 15
-- still checking
powx741 power 12345678000 1 -> 12345678000
powx742 power 1234567800  1 -> 1234567800
powx743 power 1234567890  1 -> 1234567890
powx744 power 1234567891  1 -> 1234567891
powx745 power 12345678901 1 -> 12345678901
powx746 power 1234567896  1 -> 1234567896
powx747 power 1 12345678000  -> NaN Invalid_operation
powx748 power 1 -1234567896  -> NaN Invalid_operation
powx749 power 1 1000000000   -> NaN Invalid_operation
powx740 power 1 -1000000000  -> NaN Invalid_operation



-- Null tests
powx900 power  1 # -> NaN Invalid_operation
powx901 power  # 1 -> NaN Invalid_operation

⌨️ 快捷键说明

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