/Lib/test/decimaltestdata/ddAdd.decTest

http://unladen-swallow.googlecode.com/ · Unknown · 1328 lines · 1226 code · 102 blank · 0 comment · 0 complexity · bec50909cd0296a44e68afc13ccc7a9b MD5 · raw file

Large files are truncated click here to view the full file

  1. ------------------------------------------------------------------------
  2. -- ddAdd.decTest -- decDouble addition --
  3. -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --
  4. ------------------------------------------------------------------------
  5. -- Please see the document "General Decimal Arithmetic Testcases" --
  6. -- at http://www2.hursley.ibm.com/decimal for the description of --
  7. -- these testcases. --
  8. -- --
  9. -- These testcases are experimental ('beta' versions), and they --
  10. -- may contain errors. They are offered on an as-is basis. In --
  11. -- particular, achieving the same results as the tests here is not --
  12. -- a guarantee that an implementation complies with any Standard --
  13. -- or specification. The tests are not exhaustive. --
  14. -- --
  15. -- Please send comments, suggestions, and corrections to the author: --
  16. -- Mike Cowlishaw, IBM Fellow --
  17. -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --
  18. -- mfc@uk.ibm.com --
  19. ------------------------------------------------------------------------
  20. version: 2.58
  21. -- This set of tests are for decDoubles only; all arguments are
  22. -- representable in a decDouble
  23. precision: 16
  24. maxExponent: 384
  25. minExponent: -383
  26. extended: 1
  27. clamp: 1
  28. rounding: half_even
  29. -- [first group are 'quick confidence check']
  30. ddadd001 add 1 1 -> 2
  31. ddadd002 add 2 3 -> 5
  32. ddadd003 add '5.75' '3.3' -> 9.05
  33. ddadd004 add '5' '-3' -> 2
  34. ddadd005 add '-5' '-3' -> -8
  35. ddadd006 add '-7' '2.5' -> -4.5
  36. ddadd007 add '0.7' '0.3' -> 1.0
  37. ddadd008 add '1.25' '1.25' -> 2.50
  38. ddadd009 add '1.23456789' '1.00000000' -> '2.23456789'
  39. ddadd010 add '1.23456789' '1.00000011' -> '2.23456800'
  40. -- 1234567890123456 1234567890123456
  41. ddadd011 add '0.4444444444444446' '0.5555555555555555' -> '1.000000000000000' Inexact Rounded
  42. ddadd012 add '0.4444444444444445' '0.5555555555555555' -> '1.000000000000000' Rounded
  43. ddadd013 add '0.4444444444444444' '0.5555555555555555' -> '0.9999999999999999'
  44. ddadd014 add '4444444444444444' '0.49' -> '4444444444444444' Inexact Rounded
  45. ddadd015 add '4444444444444444' '0.499' -> '4444444444444444' Inexact Rounded
  46. ddadd016 add '4444444444444444' '0.4999' -> '4444444444444444' Inexact Rounded
  47. ddadd017 add '4444444444444444' '0.5000' -> '4444444444444444' Inexact Rounded
  48. ddadd018 add '4444444444444444' '0.5001' -> '4444444444444445' Inexact Rounded
  49. ddadd019 add '4444444444444444' '0.501' -> '4444444444444445' Inexact Rounded
  50. ddadd020 add '4444444444444444' '0.51' -> '4444444444444445' Inexact Rounded
  51. ddadd021 add 0 1 -> 1
  52. ddadd022 add 1 1 -> 2
  53. ddadd023 add 2 1 -> 3
  54. ddadd024 add 3 1 -> 4
  55. ddadd025 add 4 1 -> 5
  56. ddadd026 add 5 1 -> 6
  57. ddadd027 add 6 1 -> 7
  58. ddadd028 add 7 1 -> 8
  59. ddadd029 add 8 1 -> 9
  60. ddadd030 add 9 1 -> 10
  61. -- some carrying effects
  62. ddadd031 add '0.9998' '0.0000' -> '0.9998'
  63. ddadd032 add '0.9998' '0.0001' -> '0.9999'
  64. ddadd033 add '0.9998' '0.0002' -> '1.0000'
  65. ddadd034 add '0.9998' '0.0003' -> '1.0001'
  66. ddadd035 add '70' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
  67. ddadd036 add '700' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
  68. ddadd037 add '7000' '10000e+16' -> '1.000000000000000E+20' Inexact Rounded
  69. ddadd038 add '70000' '10000e+16' -> '1.000000000000001E+20' Inexact Rounded
  70. ddadd039 add '700000' '10000e+16' -> '1.000000000000007E+20' Rounded
  71. -- symmetry:
  72. ddadd040 add '10000e+16' '70' -> '1.000000000000000E+20' Inexact Rounded
  73. ddadd041 add '10000e+16' '700' -> '1.000000000000000E+20' Inexact Rounded
  74. ddadd042 add '10000e+16' '7000' -> '1.000000000000000E+20' Inexact Rounded
  75. ddadd044 add '10000e+16' '70000' -> '1.000000000000001E+20' Inexact Rounded
  76. ddadd045 add '10000e+16' '700000' -> '1.000000000000007E+20' Rounded
  77. -- same, without rounding
  78. ddadd046 add '10000e+9' '7' -> '10000000000007'
  79. ddadd047 add '10000e+9' '70' -> '10000000000070'
  80. ddadd048 add '10000e+9' '700' -> '10000000000700'
  81. ddadd049 add '10000e+9' '7000' -> '10000000007000'
  82. ddadd050 add '10000e+9' '70000' -> '10000000070000'
  83. ddadd051 add '10000e+9' '700000' -> '10000000700000'
  84. ddadd052 add '10000e+9' '7000000' -> '10000007000000'
  85. -- examples from decarith
  86. ddadd053 add '12' '7.00' -> '19.00'
  87. ddadd054 add '1.3' '-1.07' -> '0.23'
  88. ddadd055 add '1.3' '-1.30' -> '0.00'
  89. ddadd056 add '1.3' '-2.07' -> '-0.77'
  90. ddadd057 add '1E+2' '1E+4' -> '1.01E+4'
  91. -- leading zero preservation
  92. ddadd061 add 1 '0.0001' -> '1.0001'
  93. ddadd062 add 1 '0.00001' -> '1.00001'
  94. ddadd063 add 1 '0.000001' -> '1.000001'
  95. ddadd064 add 1 '0.0000001' -> '1.0000001'
  96. ddadd065 add 1 '0.00000001' -> '1.00000001'
  97. -- some funny zeros [in case of bad signum]
  98. ddadd070 add 1 0 -> 1
  99. ddadd071 add 1 0. -> 1
  100. ddadd072 add 1 .0 -> 1.0
  101. ddadd073 add 1 0.0 -> 1.0
  102. ddadd074 add 1 0.00 -> 1.00
  103. ddadd075 add 0 1 -> 1
  104. ddadd076 add 0. 1 -> 1
  105. ddadd077 add .0 1 -> 1.0
  106. ddadd078 add 0.0 1 -> 1.0
  107. ddadd079 add 0.00 1 -> 1.00
  108. -- some carries
  109. ddadd080 add 999999998 1 -> 999999999
  110. ddadd081 add 999999999 1 -> 1000000000
  111. ddadd082 add 99999999 1 -> 100000000
  112. ddadd083 add 9999999 1 -> 10000000
  113. ddadd084 add 999999 1 -> 1000000
  114. ddadd085 add 99999 1 -> 100000
  115. ddadd086 add 9999 1 -> 10000
  116. ddadd087 add 999 1 -> 1000
  117. ddadd088 add 99 1 -> 100
  118. ddadd089 add 9 1 -> 10
  119. -- more LHS swaps
  120. ddadd090 add '-56267E-10' 0 -> '-0.0000056267'
  121. ddadd091 add '-56267E-6' 0 -> '-0.056267'
  122. ddadd092 add '-56267E-5' 0 -> '-0.56267'
  123. ddadd093 add '-56267E-4' 0 -> '-5.6267'
  124. ddadd094 add '-56267E-3' 0 -> '-56.267'
  125. ddadd095 add '-56267E-2' 0 -> '-562.67'
  126. ddadd096 add '-56267E-1' 0 -> '-5626.7'
  127. ddadd097 add '-56267E-0' 0 -> '-56267'
  128. ddadd098 add '-5E-10' 0 -> '-5E-10'
  129. ddadd099 add '-5E-7' 0 -> '-5E-7'
  130. ddadd100 add '-5E-6' 0 -> '-0.000005'
  131. ddadd101 add '-5E-5' 0 -> '-0.00005'
  132. ddadd102 add '-5E-4' 0 -> '-0.0005'
  133. ddadd103 add '-5E-1' 0 -> '-0.5'
  134. ddadd104 add '-5E0' 0 -> '-5'
  135. ddadd105 add '-5E1' 0 -> '-50'
  136. ddadd106 add '-5E5' 0 -> '-500000'
  137. ddadd107 add '-5E15' 0 -> '-5000000000000000'
  138. ddadd108 add '-5E16' 0 -> '-5.000000000000000E+16' Rounded
  139. ddadd109 add '-5E17' 0 -> '-5.000000000000000E+17' Rounded
  140. ddadd110 add '-5E18' 0 -> '-5.000000000000000E+18' Rounded
  141. ddadd111 add '-5E100' 0 -> '-5.000000000000000E+100' Rounded
  142. -- more RHS swaps
  143. ddadd113 add 0 '-56267E-10' -> '-0.0000056267'
  144. ddadd114 add 0 '-56267E-6' -> '-0.056267'
  145. ddadd116 add 0 '-56267E-5' -> '-0.56267'
  146. ddadd117 add 0 '-56267E-4' -> '-5.6267'
  147. ddadd119 add 0 '-56267E-3' -> '-56.267'
  148. ddadd120 add 0 '-56267E-2' -> '-562.67'
  149. ddadd121 add 0 '-56267E-1' -> '-5626.7'
  150. ddadd122 add 0 '-56267E-0' -> '-56267'
  151. ddadd123 add 0 '-5E-10' -> '-5E-10'
  152. ddadd124 add 0 '-5E-7' -> '-5E-7'
  153. ddadd125 add 0 '-5E-6' -> '-0.000005'
  154. ddadd126 add 0 '-5E-5' -> '-0.00005'
  155. ddadd127 add 0 '-5E-4' -> '-0.0005'
  156. ddadd128 add 0 '-5E-1' -> '-0.5'
  157. ddadd129 add 0 '-5E0' -> '-5'
  158. ddadd130 add 0 '-5E1' -> '-50'
  159. ddadd131 add 0 '-5E5' -> '-500000'
  160. ddadd132 add 0 '-5E15' -> '-5000000000000000'
  161. ddadd133 add 0 '-5E16' -> '-5.000000000000000E+16' Rounded
  162. ddadd134 add 0 '-5E17' -> '-5.000000000000000E+17' Rounded
  163. ddadd135 add 0 '-5E18' -> '-5.000000000000000E+18' Rounded
  164. ddadd136 add 0 '-5E100' -> '-5.000000000000000E+100' Rounded
  165. -- related
  166. ddadd137 add 1 '0E-19' -> '1.000000000000000' Rounded
  167. ddadd138 add -1 '0E-19' -> '-1.000000000000000' Rounded
  168. ddadd139 add '0E-19' 1 -> '1.000000000000000' Rounded
  169. ddadd140 add '0E-19' -1 -> '-1.000000000000000' Rounded
  170. ddadd141 add 1E+11 0.0000 -> '100000000000.0000'
  171. ddadd142 add 1E+11 0.00000 -> '100000000000.0000' Rounded
  172. ddadd143 add 0.000 1E+12 -> '1000000000000.000'
  173. ddadd144 add 0.0000 1E+12 -> '1000000000000.000' Rounded
  174. -- [some of the next group are really constructor tests]
  175. ddadd146 add '00.0' 0 -> '0.0'
  176. ddadd147 add '0.00' 0 -> '0.00'
  177. ddadd148 add 0 '0.00' -> '0.00'
  178. ddadd149 add 0 '00.0' -> '0.0'
  179. ddadd150 add '00.0' '0.00' -> '0.00'
  180. ddadd151 add '0.00' '00.0' -> '0.00'
  181. ddadd152 add '3' '.3' -> '3.3'
  182. ddadd153 add '3.' '.3' -> '3.3'
  183. ddadd154 add '3.0' '.3' -> '3.3'
  184. ddadd155 add '3.00' '.3' -> '3.30'
  185. ddadd156 add '3' '3' -> '6'
  186. ddadd157 add '3' '+3' -> '6'
  187. ddadd158 add '3' '-3' -> '0'
  188. ddadd159 add '0.3' '-0.3' -> '0.0'
  189. ddadd160 add '0.03' '-0.03' -> '0.00'
  190. -- try borderline precision, with carries, etc.
  191. ddadd161 add '1E+12' '-1' -> '999999999999'
  192. ddadd162 add '1E+12' '1.11' -> '1000000000001.11'
  193. ddadd163 add '1.11' '1E+12' -> '1000000000001.11'
  194. ddadd164 add '-1' '1E+12' -> '999999999999'
  195. ddadd165 add '7E+12' '-1' -> '6999999999999'
  196. ddadd166 add '7E+12' '1.11' -> '7000000000001.11'
  197. ddadd167 add '1.11' '7E+12' -> '7000000000001.11'
  198. ddadd168 add '-1' '7E+12' -> '6999999999999'
  199. rounding: half_up
  200. -- 1.234567890123456 1234567890123456 1 234567890123456
  201. ddadd170 add '4.444444444444444' '0.5555555555555567' -> '5.000000000000001' Inexact Rounded
  202. ddadd171 add '4.444444444444444' '0.5555555555555566' -> '5.000000000000001' Inexact Rounded
  203. ddadd172 add '4.444444444444444' '0.5555555555555565' -> '5.000000000000001' Inexact Rounded
  204. ddadd173 add '4.444444444444444' '0.5555555555555564' -> '5.000000000000000' Inexact Rounded
  205. ddadd174 add '4.444444444444444' '0.5555555555555553' -> '4.999999999999999' Inexact Rounded
  206. ddadd175 add '4.444444444444444' '0.5555555555555552' -> '4.999999999999999' Inexact Rounded
  207. ddadd176 add '4.444444444444444' '0.5555555555555551' -> '4.999999999999999' Inexact Rounded
  208. ddadd177 add '4.444444444444444' '0.5555555555555550' -> '4.999999999999999' Rounded
  209. ddadd178 add '4.444444444444444' '0.5555555555555545' -> '4.999999999999999' Inexact Rounded
  210. ddadd179 add '4.444444444444444' '0.5555555555555544' -> '4.999999999999998' Inexact Rounded
  211. ddadd180 add '4.444444444444444' '0.5555555555555543' -> '4.999999999999998' Inexact Rounded
  212. ddadd181 add '4.444444444444444' '0.5555555555555542' -> '4.999999999999998' Inexact Rounded
  213. ddadd182 add '4.444444444444444' '0.5555555555555541' -> '4.999999999999998' Inexact Rounded
  214. ddadd183 add '4.444444444444444' '0.5555555555555540' -> '4.999999999999998' Rounded
  215. -- and some more, including residue effects and different roundings
  216. rounding: half_up
  217. ddadd200 add '1234560123456789' 0 -> '1234560123456789'
  218. ddadd201 add '1234560123456789' 0.000000001 -> '1234560123456789' Inexact Rounded
  219. ddadd202 add '1234560123456789' 0.000001 -> '1234560123456789' Inexact Rounded
  220. ddadd203 add '1234560123456789' 0.1 -> '1234560123456789' Inexact Rounded
  221. ddadd204 add '1234560123456789' 0.4 -> '1234560123456789' Inexact Rounded
  222. ddadd205 add '1234560123456789' 0.49 -> '1234560123456789' Inexact Rounded
  223. ddadd206 add '1234560123456789' 0.499999 -> '1234560123456789' Inexact Rounded
  224. ddadd207 add '1234560123456789' 0.499999999 -> '1234560123456789' Inexact Rounded
  225. ddadd208 add '1234560123456789' 0.5 -> '1234560123456790' Inexact Rounded
  226. ddadd209 add '1234560123456789' 0.500000001 -> '1234560123456790' Inexact Rounded
  227. ddadd210 add '1234560123456789' 0.500001 -> '1234560123456790' Inexact Rounded
  228. ddadd211 add '1234560123456789' 0.51 -> '1234560123456790' Inexact Rounded
  229. ddadd212 add '1234560123456789' 0.6 -> '1234560123456790' Inexact Rounded
  230. ddadd213 add '1234560123456789' 0.9 -> '1234560123456790' Inexact Rounded
  231. ddadd214 add '1234560123456789' 0.99999 -> '1234560123456790' Inexact Rounded
  232. ddadd215 add '1234560123456789' 0.999999999 -> '1234560123456790' Inexact Rounded
  233. ddadd216 add '1234560123456789' 1 -> '1234560123456790'
  234. ddadd217 add '1234560123456789' 1.000000001 -> '1234560123456790' Inexact Rounded
  235. ddadd218 add '1234560123456789' 1.00001 -> '1234560123456790' Inexact Rounded
  236. ddadd219 add '1234560123456789' 1.1 -> '1234560123456790' Inexact Rounded
  237. rounding: half_even
  238. ddadd220 add '1234560123456789' 0 -> '1234560123456789'
  239. ddadd221 add '1234560123456789' 0.000000001 -> '1234560123456789' Inexact Rounded
  240. ddadd222 add '1234560123456789' 0.000001 -> '1234560123456789' Inexact Rounded
  241. ddadd223 add '1234560123456789' 0.1 -> '1234560123456789' Inexact Rounded
  242. ddadd224 add '1234560123456789' 0.4 -> '1234560123456789' Inexact Rounded
  243. ddadd225 add '1234560123456789' 0.49 -> '1234560123456789' Inexact Rounded
  244. ddadd226 add '1234560123456789' 0.499999 -> '1234560123456789' Inexact Rounded
  245. ddadd227 add '1234560123456789' 0.499999999 -> '1234560123456789' Inexact Rounded
  246. ddadd228 add '1234560123456789' 0.5 -> '1234560123456790' Inexact Rounded
  247. ddadd229 add '1234560123456789' 0.500000001 -> '1234560123456790' Inexact Rounded
  248. ddadd230 add '1234560123456789' 0.500001 -> '1234560123456790' Inexact Rounded
  249. ddadd231 add '1234560123456789' 0.51 -> '1234560123456790' Inexact Rounded
  250. ddadd232 add '1234560123456789' 0.6 -> '1234560123456790' Inexact Rounded
  251. ddadd233 add '1234560123456789' 0.9 -> '1234560123456790' Inexact Rounded
  252. ddadd234 add '1234560123456789' 0.99999 -> '1234560123456790' Inexact Rounded
  253. ddadd235 add '1234560123456789' 0.999999999 -> '1234560123456790' Inexact Rounded
  254. ddadd236 add '1234560123456789' 1 -> '1234560123456790'
  255. ddadd237 add '1234560123456789' 1.00000001 -> '1234560123456790' Inexact Rounded
  256. ddadd238 add '1234560123456789' 1.00001 -> '1234560123456790' Inexact Rounded
  257. ddadd239 add '1234560123456789' 1.1 -> '1234560123456790' Inexact Rounded
  258. -- critical few with even bottom digit...
  259. ddadd240 add '1234560123456788' 0.499999999 -> '1234560123456788' Inexact Rounded
  260. ddadd241 add '1234560123456788' 0.5 -> '1234560123456788' Inexact Rounded
  261. ddadd242 add '1234560123456788' 0.500000001 -> '1234560123456789' Inexact Rounded
  262. rounding: down
  263. ddadd250 add '1234560123456789' 0 -> '1234560123456789'
  264. ddadd251 add '1234560123456789' 0.000000001 -> '1234560123456789' Inexact Rounded
  265. ddadd252 add '1234560123456789' 0.000001 -> '1234560123456789' Inexact Rounded
  266. ddadd253 add '1234560123456789' 0.1 -> '1234560123456789' Inexact Rounded
  267. ddadd254 add '1234560123456789' 0.4 -> '1234560123456789' Inexact Rounded
  268. ddadd255 add '1234560123456789' 0.49 -> '1234560123456789' Inexact Rounded
  269. ddadd256 add '1234560123456789' 0.499999 -> '1234560123456789' Inexact Rounded
  270. ddadd257 add '1234560123456789' 0.499999999 -> '1234560123456789' Inexact Rounded
  271. ddadd258 add '1234560123456789' 0.5 -> '1234560123456789' Inexact Rounded
  272. ddadd259 add '1234560123456789' 0.500000001 -> '1234560123456789' Inexact Rounded
  273. ddadd260 add '1234560123456789' 0.500001 -> '1234560123456789' Inexact Rounded
  274. ddadd261 add '1234560123456789' 0.51 -> '1234560123456789' Inexact Rounded
  275. ddadd262 add '1234560123456789' 0.6 -> '1234560123456789' Inexact Rounded
  276. ddadd263 add '1234560123456789' 0.9 -> '1234560123456789' Inexact Rounded
  277. ddadd264 add '1234560123456789' 0.99999 -> '1234560123456789' Inexact Rounded
  278. ddadd265 add '1234560123456789' 0.999999999 -> '1234560123456789' Inexact Rounded
  279. ddadd266 add '1234560123456789' 1 -> '1234560123456790'
  280. ddadd267 add '1234560123456789' 1.00000001 -> '1234560123456790' Inexact Rounded
  281. ddadd268 add '1234560123456789' 1.00001 -> '1234560123456790' Inexact Rounded
  282. ddadd269 add '1234560123456789' 1.1 -> '1234560123456790' Inexact Rounded
  283. -- 1 in last place tests
  284. rounding: half_up
  285. ddadd301 add -1 1 -> 0
  286. ddadd302 add 0 1 -> 1
  287. ddadd303 add 1 1 -> 2
  288. ddadd304 add 12 1 -> 13
  289. ddadd305 add 98 1 -> 99
  290. ddadd306 add 99 1 -> 100
  291. ddadd307 add 100 1 -> 101
  292. ddadd308 add 101 1 -> 102
  293. ddadd309 add -1 -1 -> -2
  294. ddadd310 add 0 -1 -> -1
  295. ddadd311 add 1 -1 -> 0
  296. ddadd312 add 12 -1 -> 11
  297. ddadd313 add 98 -1 -> 97
  298. ddadd314 add 99 -1 -> 98
  299. ddadd315 add 100 -1 -> 99
  300. ddadd316 add 101 -1 -> 100
  301. ddadd321 add -0.01 0.01 -> 0.00
  302. ddadd322 add 0.00 0.01 -> 0.01
  303. ddadd323 add 0.01 0.01 -> 0.02
  304. ddadd324 add 0.12 0.01 -> 0.13
  305. ddadd325 add 0.98 0.01 -> 0.99
  306. ddadd326 add 0.99 0.01 -> 1.00
  307. ddadd327 add 1.00 0.01 -> 1.01
  308. ddadd328 add 1.01 0.01 -> 1.02
  309. ddadd329 add -0.01 -0.01 -> -0.02
  310. ddadd330 add 0.00 -0.01 -> -0.01
  311. ddadd331 add 0.01 -0.01 -> 0.00
  312. ddadd332 add 0.12 -0.01 -> 0.11
  313. ddadd333 add 0.98 -0.01 -> 0.97
  314. ddadd334 add 0.99 -0.01 -> 0.98
  315. ddadd335 add 1.00 -0.01 -> 0.99
  316. ddadd336 add 1.01 -0.01 -> 1.00
  317. -- some more cases where adding 0 affects the coefficient
  318. ddadd340 add 1E+3 0 -> 1000
  319. ddadd341 add 1E+15 0 -> 1000000000000000
  320. ddadd342 add 1E+16 0 -> 1.000000000000000E+16 Rounded
  321. ddadd343 add 1E+20 0 -> 1.000000000000000E+20 Rounded
  322. -- which simply follow from these cases ...
  323. ddadd344 add 1E+3 1 -> 1001
  324. ddadd345 add 1E+15 1 -> 1000000000000001
  325. ddadd346 add 1E+16 1 -> 1.000000000000000E+16 Inexact Rounded
  326. ddadd347 add 1E+20 1 -> 1.000000000000000E+20 Inexact Rounded
  327. ddadd348 add 1E+3 7 -> 1007
  328. ddadd349 add 1E+15 7 -> 1000000000000007
  329. ddadd350 add 1E+16 7 -> 1.000000000000001E+16 Inexact Rounded
  330. ddadd351 add 1E+20 7 -> 1.000000000000000E+20 Inexact Rounded
  331. -- tryzeros cases
  332. rounding: half_up
  333. ddadd360 add 0E+50 10000E+1 -> 1.0000E+5
  334. ddadd361 add 0E-50 10000E+1 -> 100000.0000000000 Rounded
  335. ddadd362 add 10000E+1 0E-50 -> 100000.0000000000 Rounded
  336. ddadd363 add 10000E+1 10000E-50 -> 100000.0000000000 Rounded Inexact
  337. ddadd364 add 9.999999999999999E+384 -9.999999999999999E+384 -> 0E+369
  338. -- a curiosity from JSR 13 testing
  339. rounding: half_down
  340. ddadd370 add 999999999999999 815 -> 1000000000000814
  341. ddadd371 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact
  342. rounding: half_up
  343. ddadd372 add 999999999999999 815 -> 1000000000000814
  344. ddadd373 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact
  345. rounding: half_even
  346. ddadd374 add 999999999999999 815 -> 1000000000000814
  347. ddadd375 add 9999999999999999 815 -> 1.000000000000081E+16 Rounded Inexact
  348. -- operands folded
  349. ddadd380 add 1E+384 1E+384 -> 2.000000000000000E+384 Clamped
  350. ddadd381 add 1E+380 1E+380 -> 2.00000000000E+380 Clamped
  351. ddadd382 add 1E+376 1E+376 -> 2.0000000E+376 Clamped
  352. ddadd383 add 1E+372 1E+372 -> 2.000E+372 Clamped
  353. ddadd384 add 1E+370 1E+370 -> 2.0E+370 Clamped
  354. ddadd385 add 1E+369 1E+369 -> 2E+369
  355. ddadd386 add 1E+368 1E+368 -> 2E+368
  356. -- ulp replacement tests
  357. ddadd400 add 1 77e-14 -> 1.00000000000077
  358. ddadd401 add 1 77e-15 -> 1.000000000000077
  359. ddadd402 add 1 77e-16 -> 1.000000000000008 Inexact Rounded
  360. ddadd403 add 1 77e-17 -> 1.000000000000001 Inexact Rounded
  361. ddadd404 add 1 77e-18 -> 1.000000000000000 Inexact Rounded
  362. ddadd405 add 1 77e-19 -> 1.000000000000000 Inexact Rounded
  363. ddadd406 add 1 77e-299 -> 1.000000000000000 Inexact Rounded
  364. ddadd410 add 10 77e-14 -> 10.00000000000077
  365. ddadd411 add 10 77e-15 -> 10.00000000000008 Inexact Rounded
  366. ddadd412 add 10 77e-16 -> 10.00000000000001 Inexact Rounded
  367. ddadd413 add 10 77e-17 -> 10.00000000000000 Inexact Rounded
  368. ddadd414 add 10 77e-18 -> 10.00000000000000 Inexact Rounded
  369. ddadd415 add 10 77e-19 -> 10.00000000000000 Inexact Rounded
  370. ddadd416 add 10 77e-299 -> 10.00000000000000 Inexact Rounded
  371. ddadd420 add 77e-14 1 -> 1.00000000000077
  372. ddadd421 add 77e-15 1 -> 1.000000000000077
  373. ddadd422 add 77e-16 1 -> 1.000000000000008 Inexact Rounded
  374. ddadd423 add 77e-17 1 -> 1.000000000000001 Inexact Rounded
  375. ddadd424 add 77e-18 1 -> 1.000000000000000 Inexact Rounded
  376. ddadd425 add 77e-19 1 -> 1.000000000000000 Inexact Rounded
  377. ddadd426 add 77e-299 1 -> 1.000000000000000 Inexact Rounded
  378. ddadd430 add 77e-14 10 -> 10.00000000000077
  379. ddadd431 add 77e-15 10 -> 10.00000000000008 Inexact Rounded
  380. ddadd432 add 77e-16 10 -> 10.00000000000001 Inexact Rounded
  381. ddadd433 add 77e-17 10 -> 10.00000000000000 Inexact Rounded
  382. ddadd434 add 77e-18 10 -> 10.00000000000000 Inexact Rounded
  383. ddadd435 add 77e-19 10 -> 10.00000000000000 Inexact Rounded
  384. ddadd436 add 77e-299 10 -> 10.00000000000000 Inexact Rounded
  385. -- fastpath boundary (more in dqadd)
  386. -- 1234567890123456
  387. ddadd539 add '4444444444444444' '3333333333333333' -> '7777777777777777'
  388. ddadd540 add '4444444444444444' '4444444444444444' -> '8888888888888888'
  389. ddadd541 add '4444444444444444' '5555555555555555' -> '9999999999999999'
  390. ddadd542 add '3333333333333333' '4444444444444444' -> '7777777777777777'
  391. ddadd543 add '4444444444444444' '4444444444444444' -> '8888888888888888'
  392. ddadd544 add '5555555555555555' '4444444444444444' -> '9999999999999999'
  393. ddadd545 add '3000004000000000' '3000000000000040' -> '6000004000000040'
  394. ddadd546 add '3000000400000000' '4000000000000400' -> '7000000400000400'
  395. ddadd547 add '3000000040000000' '5000000000004000' -> '8000000040004000'
  396. ddadd548 add '4000000004000000' '3000000000040000' -> '7000000004040000'
  397. ddadd549 add '4000000000400000' '4000000000400000' -> '8000000000800000'
  398. ddadd550 add '4000000000040000' '5000000004000000' -> '9000000004040000'
  399. ddadd551 add '5000000000004000' '3000000040000000' -> '8000000040004000'
  400. ddadd552 add '5000000000000400' '4000000400000000' -> '9000000400000400'
  401. ddadd553 add '5000000000000040' '5000004000000000' -> 1.000000400000004E+16 Rounded
  402. -- check propagation
  403. ddadd554 add '8999999999999999' '0000000000000001' -> 9000000000000000
  404. ddadd555 add '0000000000000001' '8999999999999999' -> 9000000000000000
  405. ddadd556 add '0999999999999999' '0000000000000001' -> 1000000000000000
  406. ddadd557 add '0000000000000001' '0999999999999999' -> 1000000000000000
  407. ddadd558 add '4444444444444444' '4555555555555556' -> 9000000000000000
  408. ddadd559 add '4555555555555556' '4444444444444444' -> 9000000000000000
  409. -- negative ulps
  410. ddadd6440 add 1 -77e-14 -> 0.99999999999923
  411. ddadd6441 add 1 -77e-15 -> 0.999999999999923
  412. ddadd6442 add 1 -77e-16 -> 0.9999999999999923
  413. ddadd6443 add 1 -77e-17 -> 0.9999999999999992 Inexact Rounded
  414. ddadd6444 add 1 -77e-18 -> 0.9999999999999999 Inexact Rounded
  415. ddadd6445 add 1 -77e-19 -> 1.000000000000000 Inexact Rounded
  416. ddadd6446 add 1 -77e-99 -> 1.000000000000000 Inexact Rounded
  417. ddadd6450 add 10 -77e-14 -> 9.99999999999923
  418. ddadd6451 add 10 -77e-15 -> 9.999999999999923
  419. ddadd6452 add 10 -77e-16 -> 9.999999999999992 Inexact Rounded
  420. ddadd6453 add 10 -77e-17 -> 9.999999999999999 Inexact Rounded
  421. ddadd6454 add 10 -77e-18 -> 10.00000000000000 Inexact Rounded
  422. ddadd6455 add 10 -77e-19 -> 10.00000000000000 Inexact Rounded
  423. ddadd6456 add 10 -77e-99 -> 10.00000000000000 Inexact Rounded
  424. ddadd6460 add -77e-14 1 -> 0.99999999999923
  425. ddadd6461 add -77e-15 1 -> 0.999999999999923
  426. ddadd6462 add -77e-16 1 -> 0.9999999999999923
  427. ddadd6463 add -77e-17 1 -> 0.9999999999999992 Inexact Rounded
  428. ddadd6464 add -77e-18 1 -> 0.9999999999999999 Inexact Rounded
  429. ddadd6465 add -77e-19 1 -> 1.000000000000000 Inexact Rounded
  430. ddadd6466 add -77e-99 1 -> 1.000000000000000 Inexact Rounded
  431. ddadd6470 add -77e-14 10 -> 9.99999999999923
  432. ddadd6471 add -77e-15 10 -> 9.999999999999923
  433. ddadd6472 add -77e-16 10 -> 9.999999999999992 Inexact Rounded
  434. ddadd6473 add -77e-17 10 -> 9.999999999999999 Inexact Rounded
  435. ddadd6474 add -77e-18 10 -> 10.00000000000000 Inexact Rounded
  436. ddadd6475 add -77e-19 10 -> 10.00000000000000 Inexact Rounded
  437. ddadd6476 add -77e-99 10 -> 10.00000000000000 Inexact Rounded
  438. -- negative ulps
  439. ddadd6480 add -1 77e-14 -> -0.99999999999923
  440. ddadd6481 add -1 77e-15 -> -0.999999999999923
  441. ddadd6482 add -1 77e-16 -> -0.9999999999999923
  442. ddadd6483 add -1 77e-17 -> -0.9999999999999992 Inexact Rounded
  443. ddadd6484 add -1 77e-18 -> -0.9999999999999999 Inexact Rounded
  444. ddadd6485 add -1 77e-19 -> -1.000000000000000 Inexact Rounded
  445. ddadd6486 add -1 77e-99 -> -1.000000000000000 Inexact Rounded
  446. ddadd6490 add -10 77e-14 -> -9.99999999999923
  447. ddadd6491 add -10 77e-15 -> -9.999999999999923
  448. ddadd6492 add -10 77e-16 -> -9.999999999999992 Inexact Rounded
  449. ddadd6493 add -10 77e-17 -> -9.999999999999999 Inexact Rounded
  450. ddadd6494 add -10 77e-18 -> -10.00000000000000 Inexact Rounded
  451. ddadd6495 add -10 77e-19 -> -10.00000000000000 Inexact Rounded
  452. ddadd6496 add -10 77e-99 -> -10.00000000000000 Inexact Rounded
  453. ddadd6500 add 77e-14 -1 -> -0.99999999999923
  454. ddadd6501 add 77e-15 -1 -> -0.999999999999923
  455. ddadd6502 add 77e-16 -1 -> -0.9999999999999923
  456. ddadd6503 add 77e-17 -1 -> -0.9999999999999992 Inexact Rounded
  457. ddadd6504 add 77e-18 -1 -> -0.9999999999999999 Inexact Rounded
  458. ddadd6505 add 77e-19 -1 -> -1.000000000000000 Inexact Rounded
  459. ddadd6506 add 77e-99 -1 -> -1.000000000000000 Inexact Rounded
  460. ddadd6510 add 77e-14 -10 -> -9.99999999999923
  461. ddadd6511 add 77e-15 -10 -> -9.999999999999923
  462. ddadd6512 add 77e-16 -10 -> -9.999999999999992 Inexact Rounded
  463. ddadd6513 add 77e-17 -10 -> -9.999999999999999 Inexact Rounded
  464. ddadd6514 add 77e-18 -10 -> -10.00000000000000 Inexact Rounded
  465. ddadd6515 add 77e-19 -10 -> -10.00000000000000 Inexact Rounded
  466. ddadd6516 add 77e-99 -10 -> -10.00000000000000 Inexact Rounded
  467. -- and some more residue effects and different roundings
  468. rounding: half_up
  469. ddadd6540 add '6543210123456789' 0 -> '6543210123456789'
  470. ddadd6541 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded
  471. ddadd6542 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded
  472. ddadd6543 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded
  473. ddadd6544 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded
  474. ddadd6545 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded
  475. ddadd6546 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded
  476. ddadd6547 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded
  477. ddadd6548 add '6543210123456789' 0.5 -> '6543210123456790' Inexact Rounded
  478. ddadd6549 add '6543210123456789' 0.500000001 -> '6543210123456790' Inexact Rounded
  479. ddadd6550 add '6543210123456789' 0.500001 -> '6543210123456790' Inexact Rounded
  480. ddadd6551 add '6543210123456789' 0.51 -> '6543210123456790' Inexact Rounded
  481. ddadd6552 add '6543210123456789' 0.6 -> '6543210123456790' Inexact Rounded
  482. ddadd6553 add '6543210123456789' 0.9 -> '6543210123456790' Inexact Rounded
  483. ddadd6554 add '6543210123456789' 0.99999 -> '6543210123456790' Inexact Rounded
  484. ddadd6555 add '6543210123456789' 0.999999999 -> '6543210123456790' Inexact Rounded
  485. ddadd6556 add '6543210123456789' 1 -> '6543210123456790'
  486. ddadd6557 add '6543210123456789' 1.000000001 -> '6543210123456790' Inexact Rounded
  487. ddadd6558 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded
  488. ddadd6559 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded
  489. rounding: half_even
  490. ddadd6560 add '6543210123456789' 0 -> '6543210123456789'
  491. ddadd6561 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded
  492. ddadd6562 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded
  493. ddadd6563 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded
  494. ddadd6564 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded
  495. ddadd6565 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded
  496. ddadd6566 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded
  497. ddadd6567 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded
  498. ddadd6568 add '6543210123456789' 0.5 -> '6543210123456790' Inexact Rounded
  499. ddadd6569 add '6543210123456789' 0.500000001 -> '6543210123456790' Inexact Rounded
  500. ddadd6570 add '6543210123456789' 0.500001 -> '6543210123456790' Inexact Rounded
  501. ddadd6571 add '6543210123456789' 0.51 -> '6543210123456790' Inexact Rounded
  502. ddadd6572 add '6543210123456789' 0.6 -> '6543210123456790' Inexact Rounded
  503. ddadd6573 add '6543210123456789' 0.9 -> '6543210123456790' Inexact Rounded
  504. ddadd6574 add '6543210123456789' 0.99999 -> '6543210123456790' Inexact Rounded
  505. ddadd6575 add '6543210123456789' 0.999999999 -> '6543210123456790' Inexact Rounded
  506. ddadd6576 add '6543210123456789' 1 -> '6543210123456790'
  507. ddadd6577 add '6543210123456789' 1.00000001 -> '6543210123456790' Inexact Rounded
  508. ddadd6578 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded
  509. ddadd6579 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded
  510. -- critical few with even bottom digit...
  511. ddadd7540 add '6543210123456788' 0.499999999 -> '6543210123456788' Inexact Rounded
  512. ddadd7541 add '6543210123456788' 0.5 -> '6543210123456788' Inexact Rounded
  513. ddadd7542 add '6543210123456788' 0.500000001 -> '6543210123456789' Inexact Rounded
  514. rounding: down
  515. ddadd7550 add '6543210123456789' 0 -> '6543210123456789'
  516. ddadd7551 add '6543210123456789' 0.000000001 -> '6543210123456789' Inexact Rounded
  517. ddadd7552 add '6543210123456789' 0.000001 -> '6543210123456789' Inexact Rounded
  518. ddadd7553 add '6543210123456789' 0.1 -> '6543210123456789' Inexact Rounded
  519. ddadd7554 add '6543210123456789' 0.4 -> '6543210123456789' Inexact Rounded
  520. ddadd7555 add '6543210123456789' 0.49 -> '6543210123456789' Inexact Rounded
  521. ddadd7556 add '6543210123456789' 0.499999 -> '6543210123456789' Inexact Rounded
  522. ddadd7557 add '6543210123456789' 0.499999999 -> '6543210123456789' Inexact Rounded
  523. ddadd7558 add '6543210123456789' 0.5 -> '6543210123456789' Inexact Rounded
  524. ddadd7559 add '6543210123456789' 0.500000001 -> '6543210123456789' Inexact Rounded
  525. ddadd7560 add '6543210123456789' 0.500001 -> '6543210123456789' Inexact Rounded
  526. ddadd7561 add '6543210123456789' 0.51 -> '6543210123456789' Inexact Rounded
  527. ddadd7562 add '6543210123456789' 0.6 -> '6543210123456789' Inexact Rounded
  528. ddadd7563 add '6543210123456789' 0.9 -> '6543210123456789' Inexact Rounded
  529. ddadd7564 add '6543210123456789' 0.99999 -> '6543210123456789' Inexact Rounded
  530. ddadd7565 add '6543210123456789' 0.999999999 -> '6543210123456789' Inexact Rounded
  531. ddadd7566 add '6543210123456789' 1 -> '6543210123456790'
  532. ddadd7567 add '6543210123456789' 1.00000001 -> '6543210123456790' Inexact Rounded
  533. ddadd7568 add '6543210123456789' 1.00001 -> '6543210123456790' Inexact Rounded
  534. ddadd7569 add '6543210123456789' 1.1 -> '6543210123456790' Inexact Rounded
  535. -- verify a query
  536. rounding: down
  537. ddadd7661 add 1e-398 9.000000000000000E+384 -> 9.000000000000000E+384 Inexact Rounded
  538. ddadd7662 add 0 9.000000000000000E+384 -> 9.000000000000000E+384 Rounded
  539. ddadd7663 add 1e-388 9.000000000000000E+374 -> 9.000000000000000E+374 Inexact Rounded
  540. ddadd7664 add 0 9.000000000000000E+374 -> 9.000000000000000E+374 Rounded
  541. -- more zeros, etc.
  542. rounding: half_even
  543. ddadd7701 add 5.00 1.00E-3 -> 5.00100
  544. ddadd7702 add 00.00 0.000 -> 0.000
  545. ddadd7703 add 00.00 0E-3 -> 0.000
  546. ddadd7704 add 0E-3 00.00 -> 0.000
  547. ddadd7710 add 0E+3 00.00 -> 0.00
  548. ddadd7711 add 0E+3 00.0 -> 0.0
  549. ddadd7712 add 0E+3 00. -> 0
  550. ddadd7713 add 0E+3 00.E+1 -> 0E+1
  551. ddadd7714 add 0E+3 00.E+2 -> 0E+2
  552. ddadd7715 add 0E+3 00.E+3 -> 0E+3
  553. ddadd7716 add 0E+3 00.E+4 -> 0E+3
  554. ddadd7717 add 0E+3 00.E+5 -> 0E+3
  555. ddadd7718 add 0E+3 -00.0 -> 0.0
  556. ddadd7719 add 0E+3 -00. -> 0
  557. ddadd7731 add 0E+3 -00.E+1 -> 0E+1
  558. ddadd7720 add 00.00 0E+3 -> 0.00
  559. ddadd7721 add 00.0 0E+3 -> 0.0
  560. ddadd7722 add 00. 0E+3 -> 0
  561. ddadd7723 add 00.E+1 0E+3 -> 0E+1
  562. ddadd7724 add 00.E+2 0E+3 -> 0E+2
  563. ddadd7725 add 00.E+3 0E+3 -> 0E+3
  564. ddadd7726 add 00.E+4 0E+3 -> 0E+3
  565. ddadd7727 add 00.E+5 0E+3 -> 0E+3
  566. ddadd7728 add -00.00 0E+3 -> 0.00
  567. ddadd7729 add -00.0 0E+3 -> 0.0
  568. ddadd7730 add -00. 0E+3 -> 0
  569. ddadd7732 add 0 0 -> 0
  570. ddadd7733 add 0 -0 -> 0
  571. ddadd7734 add -0 0 -> 0
  572. ddadd7735 add -0 -0 -> -0 -- IEEE 854 special case
  573. ddadd7736 add 1 -1 -> 0
  574. ddadd7737 add -1 -1 -> -2
  575. ddadd7738 add 1 1 -> 2
  576. ddadd7739 add -1 1 -> 0
  577. ddadd7741 add 0 -1 -> -1
  578. ddadd7742 add -0 -1 -> -1
  579. ddadd7743 add 0 1 -> 1
  580. ddadd7744 add -0 1 -> 1
  581. ddadd7745 add -1 0 -> -1
  582. ddadd7746 add -1 -0 -> -1
  583. ddadd7747 add 1 0 -> 1
  584. ddadd7748 add 1 -0 -> 1
  585. ddadd7751 add 0.0 -1 -> -1.0
  586. ddadd7752 add -0.0 -1 -> -1.0
  587. ddadd7753 add 0.0 1 -> 1.0
  588. ddadd7754 add -0.0 1 -> 1.0
  589. ddadd7755 add -1.0 0 -> -1.0
  590. ddadd7756 add -1.0 -0 -> -1.0
  591. ddadd7757 add 1.0 0 -> 1.0
  592. ddadd7758 add 1.0 -0 -> 1.0
  593. ddadd7761 add 0 -1.0 -> -1.0
  594. ddadd7762 add -0 -1.0 -> -1.0
  595. ddadd7763 add 0 1.0 -> 1.0
  596. ddadd7764 add -0 1.0 -> 1.0
  597. ddadd7765 add -1 0.0 -> -1.0
  598. ddadd7766 add -1 -0.0 -> -1.0
  599. ddadd7767 add 1 0.0 -> 1.0
  600. ddadd7768 add 1 -0.0 -> 1.0
  601. ddadd7771 add 0.0 -1.0 -> -1.0
  602. ddadd7772 add -0.0 -1.0 -> -1.0
  603. ddadd7773 add 0.0 1.0 -> 1.0
  604. ddadd7774 add -0.0 1.0 -> 1.0
  605. ddadd7775 add -1.0 0.0 -> -1.0
  606. ddadd7776 add -1.0 -0.0 -> -1.0
  607. ddadd7777 add 1.0 0.0 -> 1.0
  608. ddadd7778 add 1.0 -0.0 -> 1.0
  609. -- Specials
  610. ddadd7780 add -Inf -Inf -> -Infinity
  611. ddadd7781 add -Inf -1000 -> -Infinity
  612. ddadd7782 add -Inf -1 -> -Infinity
  613. ddadd7783 add -Inf -0 -> -Infinity
  614. ddadd7784 add -Inf 0 -> -Infinity
  615. ddadd7785 add -Inf 1 -> -Infinity
  616. ddadd7786 add -Inf 1000 -> -Infinity
  617. ddadd7787 add -1000 -Inf -> -Infinity
  618. ddadd7788 add -Inf -Inf -> -Infinity
  619. ddadd7789 add -1 -Inf -> -Infinity
  620. ddadd7790 add -0 -Inf -> -Infinity
  621. ddadd7791 add 0 -Inf -> -Infinity
  622. ddadd7792 add 1 -Inf -> -Infinity
  623. ddadd7793 add 1000 -Inf -> -Infinity
  624. ddadd7794 add Inf -Inf -> NaN Invalid_operation
  625. ddadd7800 add Inf -Inf -> NaN Invalid_operation
  626. ddadd7801 add Inf -1000 -> Infinity
  627. ddadd7802 add Inf -1 -> Infinity
  628. ddadd7803 add Inf -0 -> Infinity
  629. ddadd7804 add Inf 0 -> Infinity
  630. ddadd7805 add Inf 1 -> Infinity
  631. ddadd7806 add Inf 1000 -> Infinity
  632. ddadd7807 add Inf Inf -> Infinity
  633. ddadd7808 add -1000 Inf -> Infinity
  634. ddadd7809 add -Inf Inf -> NaN Invalid_operation
  635. ddadd7810 add -1 Inf -> Infinity
  636. ddadd7811 add -0 Inf -> Infinity
  637. ddadd7812 add 0 Inf -> Infinity
  638. ddadd7813 add 1 Inf -> Infinity
  639. ddadd7814 add 1000 Inf -> Infinity
  640. ddadd7815 add Inf Inf -> Infinity
  641. ddadd7821 add NaN -Inf -> NaN
  642. ddadd7822 add NaN -1000 -> NaN
  643. ddadd7823 add NaN -1 -> NaN
  644. ddadd7824 add NaN -0 -> NaN
  645. ddadd7825 add NaN 0 -> NaN
  646. ddadd7826 add NaN 1 -> NaN
  647. ddadd7827 add NaN 1000 -> NaN
  648. ddadd7828 add NaN Inf -> NaN
  649. ddadd7829 add NaN NaN -> NaN
  650. ddadd7830 add -Inf NaN -> NaN
  651. ddadd7831 add -1000 NaN -> NaN
  652. ddadd7832 add -1 NaN -> NaN
  653. ddadd7833 add -0 NaN -> NaN
  654. ddadd7834 add 0 NaN -> NaN
  655. ddadd7835 add 1 NaN -> NaN
  656. ddadd7836 add 1000 NaN -> NaN
  657. ddadd7837 add Inf NaN -> NaN
  658. ddadd7841 add sNaN -Inf -> NaN Invalid_operation
  659. ddadd7842 add sNaN -1000 -> NaN Invalid_operation
  660. ddadd7843 add sNaN -1 -> NaN Invalid_operation
  661. ddadd7844 add sNaN -0 -> NaN Invalid_operation
  662. ddadd7845 add sNaN 0 -> NaN Invalid_operation
  663. ddadd7846 add sNaN 1 -> NaN Invalid_operation
  664. ddadd7847 add sNaN 1000 -> NaN Invalid_operation
  665. ddadd7848 add sNaN NaN -> NaN Invalid_operation
  666. ddadd7849 add sNaN sNaN -> NaN Invalid_operation
  667. ddadd7850 add NaN sNaN -> NaN Invalid_operation
  668. ddadd7851 add -Inf sNaN -> NaN Invalid_operation
  669. ddadd7852 add -1000 sNaN -> NaN Invalid_operation
  670. ddadd7853 add -1 sNaN -> NaN Invalid_operation
  671. ddadd7854 add -0 sNaN -> NaN Invalid_operation
  672. ddadd7855 add 0 sNaN -> NaN Invalid_operation
  673. ddadd7856 add 1 sNaN -> NaN Invalid_operation
  674. ddadd7857 add 1000 sNaN -> NaN Invalid_operation
  675. ddadd7858 add Inf sNaN -> NaN Invalid_operation
  676. ddadd7859 add NaN sNaN -> NaN Invalid_operation
  677. -- propagating NaNs
  678. ddadd7861 add NaN1 -Inf -> NaN1
  679. ddadd7862 add +NaN2 -1000 -> NaN2
  680. ddadd7863 add NaN3 1000 -> NaN3
  681. ddadd7864 add NaN4 Inf -> NaN4
  682. ddadd7865 add NaN5 +NaN6 -> NaN5
  683. ddadd7866 add -Inf NaN7 -> NaN7
  684. ddadd7867 add -1000 NaN8 -> NaN8
  685. ddadd7868 add 1000 NaN9 -> NaN9
  686. ddadd7869 add Inf +NaN10 -> NaN10
  687. ddadd7871 add sNaN11 -Inf -> NaN11 Invalid_operation
  688. ddadd7872 add sNaN12 -1000 -> NaN12 Invalid_operation
  689. ddadd7873 add sNaN13 1000 -> NaN13 Invalid_operation
  690. ddadd7874 add sNaN14 NaN17 -> NaN14 Invalid_operation
  691. ddadd7875 add sNaN15 sNaN18 -> NaN15 Invalid_operation
  692. ddadd7876 add NaN16 sNaN19 -> NaN19 Invalid_operation
  693. ddadd7877 add -Inf +sNaN20 -> NaN20 Invalid_operation
  694. ddadd7878 add -1000 sNaN21 -> NaN21 Invalid_operation
  695. ddadd7879 add 1000 sNaN22 -> NaN22 Invalid_operation
  696. ddadd7880 add Inf sNaN23 -> NaN23 Invalid_operation
  697. ddadd7881 add +NaN25 +sNaN24 -> NaN24 Invalid_operation
  698. ddadd7882 add -NaN26 NaN28 -> -NaN26
  699. ddadd7883 add -sNaN27 sNaN29 -> -NaN27 Invalid_operation
  700. ddadd7884 add 1000 -NaN30 -> -NaN30
  701. ddadd7885 add 1000 -sNaN31 -> -NaN31 Invalid_operation
  702. -- Here we explore near the boundary of rounding a subnormal to Nmin
  703. ddadd7575 add 1E-383 -1E-398 -> 9.99999999999999E-384 Subnormal
  704. ddadd7576 add -1E-383 +1E-398 -> -9.99999999999999E-384 Subnormal
  705. -- and another curious case
  706. ddadd7577 add 7.000000000000E-385 -1.00000E-391 -> 6.999999000000E-385 Subnormal
  707. -- check overflow edge case
  708. -- 1234567890123456
  709. ddadd7972 apply 9.999999999999999E+384 -> 9.999999999999999E+384
  710. ddadd7973 add 9.999999999999999E+384 1 -> 9.999999999999999E+384 Inexact Rounded
  711. ddadd7974 add 9999999999999999E+369 1 -> 9.999999999999999E+384 Inexact Rounded
  712. ddadd7975 add 9999999999999999E+369 1E+369 -> Infinity Overflow Inexact Rounded
  713. ddadd7976 add 9999999999999999E+369 9E+368 -> Infinity Overflow Inexact Rounded
  714. ddadd7977 add 9999999999999999E+369 8E+368 -> Infinity Overflow Inexact Rounded
  715. ddadd7978 add 9999999999999999E+369 7E+368 -> Infinity Overflow Inexact Rounded
  716. ddadd7979 add 9999999999999999E+369 6E+368 -> Infinity Overflow Inexact Rounded
  717. ddadd7980 add 9999999999999999E+369 5E+368 -> Infinity Overflow Inexact Rounded
  718. ddadd7981 add 9999999999999999E+369 4E+368 -> 9.999999999999999E+384 Inexact Rounded
  719. ddadd7982 add 9999999999999999E+369 3E+368 -> 9.999999999999999E+384 Inexact Rounded
  720. ddadd7983 add 9999999999999999E+369 2E+368 -> 9.999999999999999E+384 Inexact Rounded
  721. ddadd7984 add 9999999999999999E+369 1E+368 -> 9.999999999999999E+384 Inexact Rounded
  722. ddadd7985 apply -9.999999999999999E+384 -> -9.999999999999999E+384
  723. ddadd7986 add -9.999999999999999E+384 -1 -> -9.999999999999999E+384 Inexact Rounded
  724. ddadd7987 add -9999999999999999E+369 -1 -> -9.999999999999999E+384 Inexact Rounded
  725. ddadd7988 add -9999999999999999E+369 -1E+369 -> -Infinity Overflow Inexact Rounded
  726. ddadd7989 add -9999999999999999E+369 -9E+368 -> -Infinity Overflow Inexact Rounded
  727. ddadd7990 add -9999999999999999E+369 -8E+368 -> -Infinity Overflow Inexact Rounded
  728. ddadd7991 add -9999999999999999E+369 -7E+368 -> -Infinity Overflow Inexact Rounded
  729. ddadd7992 add -9999999999999999E+369 -6E+368 -> -Infinity Overflow Inexact Rounded
  730. ddadd7993 add -9999999999999999E+369 -5E+368 -> -Infinity Overflow Inexact Rounded
  731. ddadd7994 add -9999999999999999E+369 -4E+368 -> -9.999999999999999E+384 Inexact Rounded
  732. ddadd7995 add -9999999999999999E+369 -3E+368 -> -9.999999999999999E+384 Inexact Rounded
  733. ddadd7996 add -9999999999999999E+369 -2E+368 -> -9.999999999999999E+384 Inexact Rounded
  734. ddadd7997 add -9999999999999999E+369 -1E+368 -> -9.999999999999999E+384 Inexact Rounded
  735. -- And for round down full and subnormal results
  736. rounding: down
  737. ddadd71100 add 1e+2 -1e-383 -> 99.99999999999999 Rounded Inexact
  738. ddadd71101 add 1e+1 -1e-383 -> 9.999999999999999 Rounded Inexact
  739. ddadd71103 add +1 -1e-383 -> 0.9999999999999999 Rounded Inexact
  740. ddadd71104 add 1e-1 -1e-383 -> 0.09999999999999999 Rounded Inexact
  741. ddadd71105 add 1e-2 -1e-383 -> 0.009999999999999999 Rounded Inexact
  742. ddadd71106 add 1e-3 -1e-383 -> 0.0009999999999999999 Rounded Inexact
  743. ddadd71107 add 1e-4 -1e-383 -> 0.00009999999999999999 Rounded Inexact
  744. ddadd71108 add 1e-5 -1e-383 -> 0.000009999999999999999 Rounded Inexact
  745. ddadd71109 add 1e-6 -1e-383 -> 9.999999999999999E-7 Rounded Inexact
  746. rounding: ceiling
  747. ddadd71110 add -1e+2 +1e-383 -> -99.99999999999999 Rounded Inexact
  748. ddadd71111 add -1e+1 +1e-383 -> -9.999999999999999 Rounded Inexact
  749. ddadd71113 add -1 +1e-383 -> -0.9999999999999999 Rounded Inexact
  750. ddadd71114 add -1e-1 +1e-383 -> -0.09999999999999999 Rounded Inexact
  751. ddadd71115 add -1e-2 +1e-383 -> -0.009999999999999999 Rounded Inexact
  752. ddadd71116 add -1e-3 +1e-383 -> -0.0009999999999999999 Rounded Inexact
  753. ddadd71117 add -1e-4 +1e-383 -> -0.00009999999999999999 Rounded Inexact
  754. ddadd71118 add -1e-5 +1e-383 -> -0.000009999999999999999 Rounded Inexact
  755. ddadd71119 add -1e-6 +1e-383 -> -9.999999999999999E-7 Rounded Inexact
  756. -- tests based on Gunnar Degnbol's edge case
  757. rounding: half_even
  758. ddadd71300 add 1E16 -0.5 -> 1.000000000000000E+16 Inexact Rounded
  759. ddadd71310 add 1E16 -0.51 -> 9999999999999999 Inexact Rounded
  760. ddadd71311 add 1E16 -0.501 -> 9999999999999999 Inexact Rounded
  761. ddadd71312 add 1E16 -0.5001 -> 9999999999999999 Inexact Rounded
  762. ddadd71313 add 1E16 -0.50001 -> 9999999999999999 Inexact Rounded
  763. ddadd71314 add 1E16 -0.500001 -> 9999999999999999 Inexact Rounded
  764. ddadd71315 add 1E16 -0.5000001 -> 9999999999999999 Inexact Rounded
  765. ddadd71316 add 1E16 -0.50000001 -> 9999999999999999 Inexact Rounded
  766. ddadd71317 add 1E16 -0.500000001 -> 9999999999999999 Inexact Rounded
  767. ddadd71318 add 1E16 -0.5000000001 -> 9999999999999999 Inexact Rounded
  768. ddadd71319 add 1E16 -0.50000000001 -> 9999999999999999 Inexact Rounded
  769. ddadd71320 add 1E16 -0.500000000001 -> 9999999999999999 Inexact Rounded
  770. ddadd71321 add 1E16 -0.5000000000001 -> 9999999999999999 Inexact Rounded
  771. ddadd71322 add 1E16 -0.50000000000001 -> 9999999999999999 Inexact Rounded
  772. ddadd71323 add 1E16 -0.500000000000001 -> 9999999999999999 Inexact Rounded
  773. ddadd71324 add 1E16 -0.5000000000000001 -> 9999999999999999 Inexact Rounded
  774. ddadd71325 add 1E16 -0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded
  775. ddadd71326 add 1E16 -0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded
  776. ddadd71327 add 1E16 -0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded
  777. ddadd71328 add 1E16 -0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded
  778. ddadd71329 add 1E16 -0.500000000000 -> 1.000000000000000E+16 Inexact Rounded
  779. ddadd71330 add 1E16 -0.50000000000 -> 1.000000000000000E+16 Inexact Rounded
  780. ddadd71331 add 1E16 -0.5000000000 -> 1.000000000000000E+16 Inexact Rounded
  781. ddadd71332 add 1E16 -0.500000000 -> 1.000000000000000E+16 Inexact Rounded
  782. ddadd71333 add 1E16 -0.50000000 -> 1.000000000000000E+16 Inexact Rounded
  783. ddadd71334 add 1E16 -0.5000000 -> 1.000000000000000E+16 Inexact Rounded
  784. ddadd71335 add 1E16 -0.500000 -> 1.000000000000000E+16 Inexact Rounded
  785. ddadd71336 add 1E16 -0.50000 -> 1.000000000000000E+16 Inexact Rounded
  786. ddadd71337 add 1E16 -0.5000 -> 1.000000000000000E+16 Inexact Rounded
  787. ddadd71338 add 1E16 -0.500 -> 1.000000000000000E+16 Inexact Rounded
  788. ddadd71339 add 1E16 -0.50 -> 1.000000000000000E+16 Inexact Rounded
  789. ddadd71340 add 1E16 -5000000.000010001 -> 9999999995000000 Inexact Rounded
  790. ddadd71341 add 1E16 -5000000.000000001 -> 9999999995000000 Inexact Rounded
  791. ddadd71349 add 9999999999999999 0.4 -> 9999999999999999 Inexact Rounded
  792. ddadd71350 add 9999999999999999 0.49 -> 9999999999999999 Inexact Rounded
  793. ddadd71351 add 9999999999999999 0.499 -> 9999999999999999 Inexact Rounded
  794. ddadd71352 add 9999999999999999 0.4999 -> 9999999999999999 Inexact Rounded
  795. ddadd71353 add 9999999999999999 0.49999 -> 9999999999999999 Inexact Rounded
  796. ddadd71354 add 9999999999999999 0.499999 -> 9999999999999999 Inexact Rounded
  797. ddadd71355 add 9999999999999999 0.4999999 -> 9999999999999999 Inexact Rounded
  798. ddadd71356 add 9999999999999999 0.49999999 -> 9999999999999999 Inexact Rounded
  799. ddadd71357 add 9999999999999999 0.499999999 -> 9999999999999999 Inexact Rounded
  800. ddadd71358 add 9999999999999999 0.4999999999 -> 9999999999999999 Inexact Rounded
  801. ddadd71359 add 9999999999999999 0.49999999999 -> 9999999999999999 Inexact Rounded
  802. ddadd71360 add 9999999999999999 0.499999999999 -> 9999999999999999 Inexact Rounded
  803. ddadd71361 add 9999999999999999 0.4999999999999 -> 9999999999999999 Inexact Rounded
  804. ddadd71362 add 9999999999999999 0.49999999999999 -> 9999999999999999 Inexact Rounded
  805. ddadd71363 add 9999999999999999 0.499999999999999 -> 9999999999999999 Inexact Rounded
  806. ddadd71364 add 9999999999999999 0.4999999999999999 -> 9999999999999999 Inexact Rounded
  807. ddadd71365 add 9999999999999999 0.5000000000000000 -> 1.000000000000000E+16 Inexact Rounded
  808. ddadd71367 add 9999999999999999 0.500000000000000 -> 1.000000000000000E+16 Inexact Rounded
  809. ddadd71368 add 9999999999999999 0.50000000000000 -> 1.000000000000000E+16 Inexact Rounded
  810. ddadd71369 add 9999999999999999 0.5000000000000 -> 1.000000000000000E+16 Inexact Rounded
  811. ddadd71370 add 9999999999999999 0.500000000000 -> 1.000000000000000E+16 Inexact Rounded
  812. ddadd71371 add 9999999999999999 0.50000000000 -> 1.000000000000000E+16 Inexact Rounded
  813. ddadd71372 add 9999999999999999 0.5000000000 -> 1.000000000000000E+16 Inexact Rounded
  814. ddadd71373 add 9999999999999999 0.500000000 -> 1.000000000000000E+16 Inexact Rounded
  815. ddadd71374 add 9999999999999999 0.50000000 -> 1.000000000000000E+16 Inexact Rounded
  816. ddadd71375 add 9999999999999999 0.5000000 -> 1.000000000000000E+16 Inexact Rounded
  817. ddadd71376 add 9999999999999999 0.500000 -> 1.000000000000000E+16 Inexact Rounded
  818. ddadd71377 add 9999999999999999 0.50000 -> 1.000000000000000E+16 Inexact Rounded
  819. ddadd71378 add 9999999999999999 0.5000 -> 1.000000000000000E+16 Inexact Rounded
  820. ddadd71379 add 9999999999999999 0.500 -> 1.000000000000000E+16 Inexact Rounded
  821. ddadd71380 add 9999999999999999 0.50 -> 1.000000000000000E+16 Inexact Rounded
  822. ddadd71381 add 9999999999999999 0.5 -> 1.000000000000000E+16 Inexact Rounded
  823. ddadd71382 add 9999999999999999 0.5000000000000001 -> 1.000000000000000E+16 Inexact Rounded
  824. ddadd71383 add 9999999999999999 0.500000000000001 -> 1.000000000000000E+16 Inexact Rounded
  825. ddadd71384 add 9999999999999999 0.50000000000001 -> 1.000000000000000E+16 Inexact Rounded