sys/arch/pmax/test/fp_t

   1 add.s   0 80000000
   2 add.s   0 0
   3 add.s   3f800000 0
   4 add.s   0 3f800000
   5 add.s   1 0
   6 add.s   0 1
   7 add.s   3f800000 3f800000
   8 add.s   3f800000 41200000
   9 add.s   3f800001 41200000
  10 add.s   3f000001 41200000
  11 add.s   3f000001 41200001
  12 add.s   bf800000 0
  13 add.s   0 bf800000
  14 add.s   80000001 0
  15 add.s   0 80000001
  16 add.s   bf800000 3f800000
  17 add.s   3f800000 c1200000
  18 add.s   bf800001 41200000
  19 add.s   bf000001 41200000
  20 add.s   bf000001 41200001
  21 add.s   3f123456 bf123456
  22 add.s   0 ff800000
  23 add.s   ff800000 0
  24 add.s   ff800000 ff800000
  25 add.s   7f800000 ff800000
  26 add.d   0 0 80000000 0
  27 add.d   0 0 0 0
  28 add.d   3ff00000 0 0 0
  29 add.d   0 0 3ff00000 0
  30 add.d   0 1 0 0
  31 add.d   0 0 0 1
  32 add.d   0 32 0 69
  33 add.d   0 32 80000000 69
  34 add.d   3ff00000 0 3ff00000 0
  35 add.d   3ff00000 0 41200000 0
  36 add.d   3ff00000 1 41200000 0
  37 add.d   3f000000 1 41200000 0
  38 add.d   3f000000 1 41200000 1
  39 add.d   bf800000 0 0 0
  40 add.d   0 0 bf800000 0
  41 add.d   80000001 0 0 0
  42 add.d   0 0 80000001 0
  43 add.d   bf800000 0 3f800000 0
  44 add.d   3f800000 0 c1200000 0
  45 add.d   bf800001 0 41200000 0
  46 add.d   bf000001 0 41200000 0
  47 add.d   bf000001 0 41200001 0
  48 add.d   3f123456 76543210 bf123456 76543210
  49 add.d   3f123456 76543210 bf123456 76543211
  50 add.d   bf123456 76543210 3f123456 76543211
  51 add.d   bf123456 76543211 3f123456 76543210
  52 add.d   bf123456 76543210 3f123456 76543210
  53 sub.s   0 80000000
  54 sub.s   0 0
  55 sub.s   3f800000 0
  56 sub.s   0 3f800000
  57 sub.s   1 0
  58 sub.s   0 1
  59 sub.s   3f800000 3f800000
  60 sub.s   3f800000 41200000
  61 sub.s   3f800001 41200000
  62 sub.s   3f000001 41200000
  63 sub.s   3f000001 41200001
  64 sub.s   bf800000 0
  65 sub.s   0 bf800000
  66 sub.s   80000001 0
  67 sub.s   0 80000001
  68 sub.s   bf800000 3f800000
  69 sub.s   3f800000 c1200000
  70 sub.s   bf800001 41200000
  71 sub.s   bf000001 41200000
  72 sub.s   bf000001 41200001
  73 sub.s   3f123456 bf123456
  74 sub.s   0 ff800000
  75 sub.s   ff800000 0
  76 sub.s   ff800000 ff800000
  77 sub.s   7f800000 ff800000
  78 sub.d   0 0 80000000 0
  79 sub.d   0 0 0 0
  80 sub.d   3ff00000 0 0 0
  81 sub.d   0 0 3ff00000 0
  82 sub.d   0 1 0 0
  83 sub.d   0 0 0 1
  84 sub.d   3ff00000 0 3ff00000 0
  85 sub.d   3ff00000 0 41200000 0
  86 sub.d   3ff00000 1 41200000 0
  87 sub.d   3f000000 1 41200000 0
  88 sub.d   3f000000 1 41200000 1
  89 sub.d   bf800000 0 0 0
  90 sub.d   0 0 bf800000 0
  91 sub.d   80000001 0 0 0
  92 sub.d   0 0 80000001 0
  93 sub.d   bf800000 0 3f800000 0
  94 sub.d   3f800000 0 c1200000 0
  95 sub.d   bf800001 0 41200000 0
  96 sub.d   bf000001 0 41200000 0
  97 sub.d   bf000001 0 41200001 0
  98 sub.d   3f123456 76543210 bf123456 76543210
  99 sub.d   3f123456 76543210 bf123456 76543211
 100 sub.d   bf123456 76543210 3f123456 76543211
 101 sub.d   bf123456 76543211 3f123456 76543210
 102 sub.d   bf123456 76543210 3f123456 76543210
 103 mul.s   0 80000000
 104 mul.s   0 0
 105 mul.s   3f800000 0
 106 mul.s   0 3f800000
 107 mul.s   1 0
 108 mul.s   0 1
 109 mul.s   3f800000 3f800000
 110 mul.s   3f800000 41200000
 111 mul.s   3f800001 41200000
 112 mul.s   3f000001 41200000
 113 mul.s   3f000001 41200001
 114 mul.s   bf800000 0
 115 mul.s   0 bf800000
 116 mul.s   80000001 0
 117 mul.s   0 80000001
 118 mul.s   bf800000 3f800000
 119 mul.s   3f800000 c1200000
 120 mul.s   bf800001 41200000
 121 mul.s   bf000001 41200000
 122 mul.s   bf000001 41200001
 123 mul.s   3f123456 bf123456
 124 mul.s   0 ff800000
 125 mul.s   ff800000 0
 126 mul.s   ff800000 ff800000
 127 mul.s   7f800000 ff800000
 128 mul.d   0 0 80000000 0
 129 mul.d   0 0 0 0
 130 mul.d   3ff00000 0 0 0
 131 mul.d   0 0 3ff00000 0
 132 mul.d   0 1 0 0
 133 mul.d   0 0 0 1
 134 mul.d   3ff00000 0 3ff00000 0
 135 mul.d   3ff00000 0 41200000 0
 136 mul.d   3ff00000 1 41200000 0
 137 mul.d   3f000000 1 41200000 0
 138 mul.d   3f000000 1 41200000 1
 139 mul.d   bf800000 0 0 0
 140 mul.d   0 0 bf800000 0
 141 mul.d   80000001 0 0 0
 142 mul.d   0 0 80000001 0
 143 mul.d   bf800000 0 3f800000 0
 144 mul.d   3f800000 0 c1200000 0
 145 mul.d   bf800001 0 41200000 0
 146 mul.d   bf000001 0 41200000 0
 147 mul.d   bf000001 0 41200001 0
 148 mul.d   3f123456 76543210 bf123456 76543210
 149 mul.d   3f123456 76543210 bf123456 76543211
 150 mul.d   bf123456 76543210 3f123456 76543211
 151 mul.d   bf123456 76543211 3f123456 76543210
 152 mul.d   bf123456 76543210 3f123456 76543210
 153 mul.d   0 0 fff00000 0
 154 mul.d   fff00000 0 fff00000 0
 155 mul.d   7ff00000 0 fff00000 0
 156 div.s   0 ff800000
 157 div.s   ff800000 0
 158 div.s   ff800000 ff800000
 159 div.s   1 ff800000
 160 div.s   ff800000 1
 161 div.s   ff800000 ff800000
 162 div.s   1 1
 163 div.s   3ff12348 3f800000
 164 div.s   0 80000000
 165 div.s   0 0
 166 div.s   3f800000 0
 167 div.s   0 3f800000
 168 div.s   1 0
 169 div.s   0 1
 170 div.s   3f800000 3f800000
 171 div.s   3f800000 41200000
 172 div.s   3f800001 41200000
 173 div.s   3f000001 41200000
 174 div.s   3f000001 41200001
 175 div.s   bf800000 0
 176 div.s   0 bf800000
 177 div.s   80000001 0
 178 div.s   0 80000001
 179 div.s   bf800000 3f800000
 180 div.s   3f800000 c1200000
 181 div.s   bf800001 41200000
 182 div.s   bf000001 41200000
 183 div.s   bf000001 41200001
 184 div.s   3f123456 bf123456
 185 div.s   0 ff800000
 186 div.s   ff800000 0
 187 div.s   ff800000 ff800000
 188 div.s   7f800000 ff800000
 189 div.d   0 0 80000000 0
 190 div.d   0 0 0 0
 191 div.d   3ff00000 0 0 0
 192 div.d   0 0 3ff00000 0
 193 div.d   0 1 0 0
 194 div.d   0 0 0 1
 195 div.d   3ff00000 0 3ff00000 0
 196 div.d   3ff00000 0 41200000 0
 197 div.d   3ff00000 1 41200000 0
 198 div.d   3f000000 1 41200000 0
 199 div.d   3f000000 1 41200000 1
 200 div.d   bf800000 0 0 0
 201 div.d   0 0 bf800000 0
 202 div.d   80000001 0 0 0
 203 div.d   0 0 80000001 0
 204 div.d   bf800000 0 3f800000 0
 205 div.d   3f800000 0 c1200000 0
 206 div.d   bf800001 0 41200000 0
 207 div.d   bf000001 0 41200000 0
 208 div.d   bf000001 0 41200001 0
 209 div.d   3f123456 76543210 bf123456 76543210
 210 div.d   3f123456 76543210 bf123456 76543211
 211 div.d   bf123456 76543210 3f123456 76543211
 212 div.d   bf123456 76543211 3f123456 76543210
 213 div.d   bf123456 76543210 3f123456 76543210
 214 div.d   0 0 fff00000 0
 215 div.d   fff00000 0 fff00000 0
 216 div.d   7ff00000 0 fff00000 0
 217 abs.s   0
 218 abs.s   80000000
 219 abs.s   3f812345
 220 abs.s   bf812345
 221 abs.s   7f800000
 222 abs.s   ff800000
 223 abs.d   0 0
 224 abs.d   80000000 0
 225 abs.d   3ff12345 87654321
 226 abs.d   bff12345 87654321
 227 abs.d   7ff00000 0
 228 abs.d   fff00000 0
 229 mov.s   0
 230 mov.s   80000000
 231 mov.s   3f812345
 232 mov.s   bf812345
 233 mov.s   7f800000
 234 mov.s   ff800000
 235 mov.d   0 0
 236 mov.d   80000000 0
 237 mov.d   3ff12345 87654321
 238 mov.d   bff12345 87654321
 239 mov.d   7ff00000 0
 240 mov.d   fff00000 0
 241 neg.s   0
 242 neg.s   80000000
 243 neg.s   3f812345
 244 neg.s   bf812345
 245 neg.s   7f800000
 246 neg.s   ff800000
 247 neg.d   0 0
 248 neg.d   80000000 0
 249 neg.d   3ff12345 87654321
 250 neg.d   bff12345 87654321
 251 neg.d   7ff00000 0
 252 neg.d   fff00000 0
 253 cvt.w.s 0
 254 cvt.w.s 32
 255 cvt.w.s 80000000
 256 cvt.w.s 3f812345
 257 cvt.w.s bf812345
 258 cvt.w.s 7f800000
 259 cvt.w.s ff800000
 260 cvt.w.d 0 0
 261 cvt.w.d 0 32
 262 cvt.w.d 80000000 0
 263 cvt.w.d 3ff12345 87654321
 264 cvt.w.d bff12345 87654321
 265 cvt.w.d 7ff00000 0
 266 cvt.w.d fff00000 0
 267 cvt.w.d 41e00000 0
 268 cvt.w.d c1f00000 0
 269 cvt.w.d 41bfffff ffe00000
 270 cvt.w.d 41bfffff fff00000
 271 cvt.w.d c1e00000 0
 272 cvt.s.d 0 0
 273 cvt.s.d 0 32
 274 cvt.s.d 80000000 0
 275 cvt.s.d 3ff12345 87654321
 276 cvt.s.d bff12345 87654321
 277 cvt.s.d 7ff00000 0
 278 cvt.s.d fff00000 0
 279 cvt.s.d 41e00000 0
 280 cvt.s.d c1f00000 0
 281 cvt.s.d 41bfffff ffe00000
 282 cvt.s.d 41bfffff fff00000
 283 cvt.s.d c1e00000 0
 284 cvt.s.w 0
 285 cvt.s.w 32
 286 cvt.s.w ffff0000
 287 cvt.s.w 80000000
 288 cvt.s.w 7fffffff
 289 cvt.d.s 0
 290 cvt.d.s 32
 291 cvt.d.s 80000000
 292 cvt.d.s 3f812345
 293 cvt.d.s bf812345
 294 cvt.d.s 7f800000
 295 cvt.d.s ff800000
 296 cvt.d.w 0
 297 cvt.d.w 32
 298 cvt.d.w ffff0000
 299 cvt.d.w 80000000
 300 cvt.d.w 7fffffff
 301 c.f.s   0 80000000
 302 c.f.s   0 0
 303 c.f.s   80000000 0
 304 c.f.s   0 3f800000
 305 c.f.s   bf800000 3f800000
 306 c.f.s   bf800000 bf800001
 307 c.f.s   80000001 80000002
 308 c.f.s   00000001 00000002
 309 c.f.s   ff800000 7f800000
 310 c.f.s   3f800000 0
 311 c.f.s   3f800000 bf800000
 312 c.f.s   bf800001 bf800000
 313 c.f.s   80000002 80000001
 314 c.f.s   00000002 00000001
 315 c.f.s   7f800000 ff800000
 316 c.f.s   7f800001 0
 317 c.f.s   0 7f800001
 318 c.un.s  0 80000000
 319 c.un.s  0 0
 320 c.un.s  80000000 0
 321 c.un.s  0 3f800000
 322 c.un.s  bf800000 3f800000
 323 c.un.s  bf800000 bf800001
 324 c.un.s  80000001 80000002
 325 c.un.s  00000001 00000002
 326 c.un.s  ff800000 7f800000
 327 c.un.s  3f800000 0
 328 c.un.s  3f800000 bf800000
 329 c.un.s  bf800001 bf800000
 330 c.un.s  80000002 80000001
 331 c.un.s  00000002 00000001
 332 c.un.s  7f800000 ff800000
 333 c.un.s  7f800001 0
 334 c.un.s  0 7f800001
 335 c.eq.s  0 80000000
 336 c.eq.s  0 0
 337 c.eq.s  80000000 0
 338 c.eq.s  0 3f800000
 339 c.eq.s  bf800000 3f800000
 340 c.eq.s  bf800000 bf800001
 341 c.eq.s  80000001 80000002
 342 c.eq.s  00000001 00000002
 343 c.eq.s  ff800000 7f800000
 344 c.eq.s  3f800000 0
 345 c.eq.s  3f800000 bf800000
 346 c.eq.s  bf800001 bf800000
 347 c.eq.s  80000002 80000001
 348 c.eq.s  00000002 00000001
 349 c.eq.s  7f800000 ff800000
 350 c.eq.s  7f800001 0
 351 c.eq.s  0 7f800001
 352 c.ueq.s 0 80000000
 353 c.ueq.s 0 0
 354 c.ueq.s 80000000 0
 355 c.ueq.s 0 3f800000
 356 c.ueq.s bf800000 3f800000
 357 c.ueq.s bf800000 bf800001
 358 c.ueq.s 80000001 80000002
 359 c.ueq.s 00000001 00000002
 360 c.ueq.s ff800000 7f800000
 361 c.ueq.s 3f800000 0
 362 c.ueq.s 3f800000 bf800000
 363 c.ueq.s bf800001 bf800000
 364 c.ueq.s 80000002 80000001
 365 c.ueq.s 00000002 00000001
 366 c.ueq.s 7f800000 ff800000
 367 c.ueq.s 7f800001 0
 368 c.ueq.s 0 7f800001
 369 c.olt.s 0 80000000
 370 c.olt.s 0 0
 371 c.olt.s 80000000 0
 372 c.olt.s 0 3f800000
 373 c.olt.s bf800000 3f800000
 374 c.olt.s bf800000 bf800001
 375 c.olt.s 80000001 80000002
 376 c.olt.s 00000001 00000002
 377 c.olt.s ff800000 7f800000
 378 c.olt.s 3f800000 0
 379 c.olt.s 3f800000 bf800000
 380 c.olt.s bf800001 bf800000
 381 c.olt.s 80000002 80000001
 382 c.olt.s 00000002 00000001
 383 c.olt.s 7f800000 ff800000
 384 c.olt.s 7f800001 0
 385 c.olt.s 0 7f800001
 386 c.ult.s 0 80000000
 387 c.ult.s 0 0
 388 c.ult.s 80000000 0
 389 c.ult.s 0 3f800000
 390 c.ult.s bf800000 3f800000
 391 c.ult.s bf800000 bf800001
 392 c.ult.s 80000001 80000002
 393 c.ult.s 00000001 00000002
 394 c.ult.s ff800000 7f800000
 395 c.ult.s 3f800000 0
 396 c.ult.s 3f800000 bf800000
 397 c.ult.s bf800001 bf800000
 398 c.ult.s 80000002 80000001
 399 c.ult.s 00000002 00000001
 400 c.ult.s 7f800000 ff800000
 401 c.ult.s 7f800001 0
 402 c.ult.s 0 7f800001
 403 c.ole.s 0 80000000
 404 c.ole.s 0 0
 405 c.ole.s 80000000 0
 406 c.ole.s 0 3f800000
 407 c.ole.s bf800000 3f800000
 408 c.ole.s bf800000 bf800001
 409 c.ole.s 80000001 80000002
 410 c.ole.s 00000001 00000002
 411 c.ole.s ff800000 7f800000
 412 c.ole.s 3f800000 0
 413 c.ole.s 3f800000 bf800000
 414 c.ole.s bf800001 bf800000
 415 c.ole.s 80000002 80000001
 416 c.ole.s 00000002 00000001
 417 c.ole.s 7f800000 ff800000
 418 c.ole.s 7f800001 0
 419 c.ole.s 0 7f800001
 420 c.ule.s 0 80000000
 421 c.ule.s 0 0
 422 c.ule.s 80000000 0
 423 c.ule.s 0 3f800000
 424 c.ule.s bf800000 3f800000
 425 c.ule.s bf800000 bf800001
 426 c.ule.s 80000001 80000002
 427 c.ule.s 00000001 00000002
 428 c.ule.s ff800000 7f800000
 429 c.ule.s 3f800000 0
 430 c.ule.s 3f800000 bf800000
 431 c.ule.s bf800001 bf800000
 432 c.ule.s 80000002 80000001
 433 c.ule.s 00000002 00000001
 434 c.ule.s 7f800000 ff800000
 435 c.ule.s 7f800001 0
 436 c.ule.s 0 7f800001
 437 c.sf.s  0 80000000
 438 c.sf.s  0 0
 439 c.sf.s  80000000 0
 440 c.sf.s  0 3f800000
 441 c.sf.s  bf800000 3f800000
 442 c.sf.s  bf800000 bf800001
 443 c.sf.s  80000001 80000002
 444 c.sf.s  00000001 00000002
 445 c.sf.s  ff800000 7f800000
 446 c.sf.s  3f800000 0
 447 c.sf.s  3f800000 bf800000
 448 c.sf.s  bf800001 bf800000
 449 c.sf.s  80000002 80000001
 450 c.sf.s  00000002 00000001
 451 c.sf.s  7f800000 ff800000
 452 c.sf.s  7f800001 0
 453 c.sf.s  0 7f800001
 454 c.ngle.s        0 80000000
 455 c.ngle.s        0 0
 456 c.ngle.s        80000000 0
 457 c.ngle.s        0 3f800000
 458 c.ngle.s        bf800000 3f800000
 459 c.ngle.s        bf800000 bf800001
 460 c.ngle.s        80000001 80000002
 461 c.ngle.s        00000001 00000002
 462 c.ngle.s        ff800000 7f800000
 463 c.ngle.s        3f800000 0
 464 c.ngle.s        3f800000 bf800000
 465 c.ngle.s        bf800001 bf800000
 466 c.ngle.s        80000002 80000001
 467 c.ngle.s        00000002 00000001
 468 c.ngle.s        7f800000 ff800000
 469 c.ngle.s        7f800001 0
 470 c.ngle.s        0 7f800001
 471 c.seq.s 0 80000000
 472 c.seq.s 0 0
 473 c.seq.s 80000000 0
 474 c.seq.s 0 3f800000
 475 c.seq.s bf800000 3f800000
 476 c.seq.s bf800000 bf800001
 477 c.seq.s 80000001 80000002
 478 c.seq.s 00000001 00000002
 479 c.seq.s ff800000 7f800000
 480 c.seq.s 3f800000 0
 481 c.seq.s 3f800000 bf800000
 482 c.seq.s bf800001 bf800000
 483 c.seq.s 80000002 80000001
 484 c.seq.s 00000002 00000001
 485 c.seq.s 7f800000 ff800000
 486 c.seq.s 7f800001 0
 487 c.seq.s 0 7f800001
 488 c.ngl.s 0 80000000
 489 c.ngl.s 0 0
 490 c.ngl.s 80000000 0
 491 c.ngl.s 0 3f800000
 492 c.ngl.s bf800000 3f800000
 493 c.ngl.s bf800000 bf800001
 494 c.ngl.s 80000001 80000002
 495 c.ngl.s 00000001 00000002
 496 c.ngl.s ff800000 7f800000
 497 c.ngl.s 3f800000 0
 498 c.ngl.s 3f800000 bf800000
 499 c.ngl.s bf800001 bf800000
 500 c.ngl.s 80000002 80000001
 501 c.ngl.s 00000002 00000001
 502 c.ngl.s 7f800000 ff800000
 503 c.ngl.s 7f800001 0
 504 c.ngl.s 0 7f800001
 505 c.lt.s  0 80000000
 506 c.lt.s  0 0
 507 c.lt.s  80000000 0
 508 c.lt.s  0 3f800000
 509 c.lt.s  bf800000 3f800000
 510 c.lt.s  bf800000 bf800001
 511 c.lt.s  80000001 80000002
 512 c.lt.s  00000001 00000002
 513 c.lt.s  ff800000 7f800000
 514 c.lt.s  3f800000 0
 515 c.lt.s  3f800000 bf800000
 516 c.lt.s  bf800001 bf800000
 517 c.lt.s  80000002 80000001
 518 c.lt.s  00000002 00000001
 519 c.lt.s  7f800000 ff800000
 520 c.lt.s  7f800001 0
 521 c.lt.s  0 7f800001
 522 c.nge.s 0 80000000
 523 c.nge.s 0 0
 524 c.nge.s 80000000 0
 525 c.nge.s 0 3f800000
 526 c.nge.s bf800000 3f800000
 527 c.nge.s bf800000 bf800001
 528 c.nge.s 80000001 80000002
 529 c.nge.s 00000001 00000002
 530 c.nge.s ff800000 7f800000
 531 c.nge.s 3f800000 0
 532 c.nge.s 3f800000 bf800000
 533 c.nge.s bf800001 bf800000
 534 c.nge.s 80000002 80000001
 535 c.nge.s 00000002 00000001
 536 c.nge.s 7f800000 ff800000
 537 c.nge.s 7f800001 0
 538 c.nge.s 0 7f800001
 539 c.le.s  0 80000000
 540 c.le.s  0 0
 541 c.le.s  80000000 0
 542 c.le.s  0 3f800000
 543 c.le.s  bf800000 3f800000
 544 c.le.s  bf800000 bf800001
 545 c.le.s  80000001 80000002
 546 c.le.s  00000001 00000002
 547 c.le.s  ff800000 7f800000
 548 c.le.s  3f800000 0
 549 c.le.s  3f800000 bf800000
 550 c.le.s  bf800001 bf800000
 551 c.le.s  80000002 80000001
 552 c.le.s  00000002 00000001
 553 c.le.s  7f800000 ff800000
 554 c.le.s  7f800001 0
 555 c.le.s  0 7f800001
 556 c.ngt.s 0 80000000
 557 c.ngt.s 0 0
 558 c.ngt.s 80000000 0
 559 c.ngt.s 0 3f800000
 560 c.ngt.s bf800000 3f800000
 561 c.ngt.s bf800000 bf800001
 562 c.ngt.s 80000001 80000002
 563 c.ngt.s 00000001 00000002
 564 c.ngt.s ff800000 7f800000
 565 c.ngt.s 3f800000 0
 566 c.ngt.s 3f800000 bf800000
 567 c.ngt.s bf800001 bf800000
 568 c.ngt.s 80000002 80000001
 569 c.ngt.s 00000002 00000001
 570 c.ngt.s 7f800000 ff800000
 571 c.ngt.s 7f800001 0
 572 c.ngt.s 0 7f800001
 573 c.f.d   0 0 80000000 0
 574 c.f.d   0 0 0 0
 575 c.f.d   80000000 0 0 0
 576 c.f.d   0 0 3ff00000 0
 577 c.f.d   bff00000 0 3ff00000 0
 578 c.f.d   bff00000 0 bff00000 1
 579 c.f.d   80000000 1 80000000 2
 580 c.f.d   00000000 1 00000000 2
 581 c.f.d   fff00000 0 7ff00000 0
 582 c.f.d   3ff00000 0 0 0
 583 c.f.d   3ff00000 0 bff00000 0
 584 c.f.d   bff00001 1 bff00000 0
 585 c.f.d   80000000 2 80000000 1
 586 c.f.d   00000000 2 00000000 1
 587 c.f.d   7ff00000 0 fff00000 0
 588 c.f.d   7ff00000 1 0 0
 589 c.f.d   0 0 7ff00000 1
 590 c.un.d  0 0 80000000 0
 591 c.un.d  0 0 0 0
 592 c.un.d  80000000 0 0 0
 593 c.un.d  0 0 3ff00000 0
 594 c.un.d  bff00000 0 3ff00000 0
 595 c.un.d  bff00000 0 bff00000 1
 596 c.un.d  80000000 1 80000000 2
 597 c.un.d  00000000 1 00000000 2
 598 c.un.d  fff00000 0 7ff00000 0
 599 c.un.d  3ff00000 0 0 0
 600 c.un.d  3ff00000 0 bff00000 0
 601 c.un.d  bff00001 1 bff00000 0
 602 c.un.d  80000000 2 80000000 1
 603 c.un.d  00000000 2 00000000 1
 604 c.un.d  7ff00000 0 fff00000 0
 605 c.un.d  7ff00000 1 0 0
 606 c.un.d  0 0 7ff00000 1
 607 c.eq.d  0 0 80000000 0
 608 c.eq.d  0 0 0 0
 609 c.eq.d  80000000 0 0 0
 610 c.eq.d  0 0 3ff00000 0
 611 c.eq.d  bff00000 0 3ff00000 0
 612 c.eq.d  bff00000 0 bff00000 1
 613 c.eq.d  80000000 1 80000000 2
 614 c.eq.d  00000000 1 00000000 2
 615 c.eq.d  fff00000 0 7ff00000 0
 616 c.eq.d  3ff00000 0 0 0
 617 c.eq.d  3ff00000 0 bff00000 0
 618 c.eq.d  bff00001 1 bff00000 0
 619 c.eq.d  80000000 2 80000000 1
 620 c.eq.d  00000000 2 00000000 1
 621 c.eq.d  7ff00000 0 fff00000 0
 622 c.eq.d  7ff00000 1 0 0
 623 c.eq.d  0 0 7ff00000 1
 624 c.ueq.d 0 0 80000000 0
 625 c.ueq.d 0 0 0 0
 626 c.ueq.d 80000000 0 0 0
 627 c.ueq.d 0 0 3ff00000 0
 628 c.ueq.d bff00000 0 3ff00000 0
 629 c.ueq.d bff00000 0 bff00000 1
 630 c.ueq.d 80000000 1 80000000 2
 631 c.ueq.d 00000000 1 00000000 2
 632 c.ueq.d fff00000 0 7ff00000 0
 633 c.ueq.d 3ff00000 0 0 0
 634 c.ueq.d 3ff00000 0 bff00000 0
 635 c.ueq.d bff00001 1 bff00000 0
 636 c.ueq.d 80000000 2 80000000 1
 637 c.ueq.d 00000000 2 00000000 1
 638 c.ueq.d 7ff00000 0 fff00000 0
 639 c.ueq.d 7ff00000 1 0 0
 640 c.ueq.d 0 0 7ff00000 1
 641 c.olt.d 0 0 80000000 0
 642 c.olt.d 0 0 0 0
 643 c.olt.d 80000000 0 0 0
 644 c.olt.d 0 0 3ff00000 0
 645 c.olt.d bff00000 0 3ff00000 0
 646 c.olt.d bff00000 0 bff00000 1
 647 c.olt.d 80000000 1 80000000 2
 648 c.olt.d 00000000 1 00000000 2
 649 c.olt.d fff00000 0 7ff00000 0
 650 c.olt.d 3ff00000 0 0 0
 651 c.olt.d 3ff00000 0 bff00000 0
 652 c.olt.d bff00001 1 bff00000 0
 653 c.olt.d 80000000 2 80000000 1
 654 c.olt.d 00000000 2 00000000 1
 655 c.olt.d 7ff00000 0 fff00000 0
 656 c.olt.d 7ff00000 1 0 0
 657 c.olt.d 0 0 7ff00000 1
 658 c.ult.d 0 0 80000000 0
 659 c.ult.d 0 0 0 0
 660 c.ult.d 80000000 0 0 0
 661 c.ult.d 0 0 3ff00000 0
 662 c.ult.d bff00000 0 3ff00000 0
 663 c.ult.d bff00000 0 bff00000 1
 664 c.ult.d 80000000 1 80000000 2
 665 c.ult.d 00000000 1 00000000 2
 666 c.ult.d fff00000 0 7ff00000 0
 667 c.ult.d 3ff00000 0 0 0
 668 c.ult.d 3ff00000 0 bff00000 0
 669 c.ult.d bff00001 1 bff00000 0
 670 c.ult.d 80000000 2 80000000 1
 671 c.ult.d 00000000 2 00000000 1
 672 c.ult.d 7ff00000 0 fff00000 0
 673 c.ult.d 7ff00000 1 0 0
 674 c.ult.d 0 0 7ff00000 1
 675 c.ole.d 0 0 80000000 0
 676 c.ole.d 0 0 0 0
 677 c.ole.d 80000000 0 0 0
 678 c.ole.d 0 0 3ff00000 0
 679 c.ole.d bff00000 0 3ff00000 0
 680 c.ole.d bff00000 0 bff00000 1
 681 c.ole.d 80000000 1 80000000 2
 682 c.ole.d 00000000 1 00000000 2
 683 c.ole.d fff00000 0 7ff00000 0
 684 c.ole.d 3ff00000 0 0 0
 685 c.ole.d 3ff00000 0 bff00000 0
 686 c.ole.d bff00001 1 bff00000 0
 687 c.ole.d 80000000 2 80000000 1
 688 c.ole.d 00000000 2 00000000 1
 689 c.ole.d 7ff00000 0 fff00000 0
 690 c.ole.d 7ff00000 1 0 0
 691 c.ole.d 0 0 7ff00000 1
 692 c.ule.d 0 0 80000000 0
 693 c.ule.d 0 0 0 0
 694 c.ule.d 80000000 0 0 0
 695 c.ule.d 0 0 3ff00000 0
 696 c.ule.d bff00000 0 3ff00000 0
 697 c.ule.d bff00000 0 bff00000 1
 698 c.ule.d 80000000 1 80000000 2
 699 c.ule.d 00000000 1 00000000 2
 700 c.ule.d fff00000 0 7ff00000 0
 701 c.ule.d 3ff00000 0 0 0
 702 c.ule.d 3ff00000 0 bff00000 0
 703 c.ule.d bff00001 1 bff00000 0
 704 c.ule.d 80000000 2 80000000 1
 705 c.ule.d 00000000 2 00000000 1
 706 c.ule.d 7ff00000 0 fff00000 0
 707 c.ule.d 7ff00000 1 0 0
 708 c.ule.d 0 0 7ff00000 1
 709 c.sf.d  0 0 80000000 0
 710 c.sf.d  0 0 0 0
 711 c.sf.d  80000000 0 0 0
 712 c.sf.d  0 0 3ff00000 0
 713 c.sf.d  bff00000 0 3ff00000 0
 714 c.sf.d  bff00000 0 bff00000 1
 715 c.sf.d  80000000 1 80000000 2
 716 c.sf.d  00000000 1 00000000 2
 717 c.sf.d  fff00000 0 7ff00000 0
 718 c.sf.d  3ff00000 0 0 0
 719 c.sf.d  3ff00000 0 bff00000 0
 720 c.sf.d  bff00001 1 bff00000 0
 721 c.sf.d  80000000 2 80000000 1
 722 c.sf.d  00000000 2 00000000 1
 723 c.sf.d  7ff00000 0 fff00000 0
 724 c.sf.d  7ff00000 1 0 0
 725 c.sf.d  0 0 7ff00000 1
 726 c.ngle.d        0 0 80000000 0
 727 c.ngle.d        0 0 0 0
 728 c.ngle.d        80000000 0 0 0
 729 c.ngle.d        0 0 3ff00000 0
 730 c.ngle.d        bff00000 0 3ff00000 0
 731 c.ngle.d        bff00000 0 bff00000 1
 732 c.ngle.d        80000000 1 80000000 2
 733 c.ngle.d        00000000 1 00000000 2
 734 c.ngle.d        fff00000 0 7ff00000 0
 735 c.ngle.d        3ff00000 0 0 0
 736 c.ngle.d        3ff00000 0 bff00000 0
 737 c.ngle.d        bff00001 1 bff00000 0
 738 c.ngle.d        80000000 2 80000000 1
 739 c.ngle.d        00000000 2 00000000 1
 740 c.ngle.d        7ff00000 0 fff00000 0
 741 c.ngle.d        7ff00000 1 0 0
 742 c.ngle.d        0 0 7ff00000 1
 743 c.seq.d 0 0 80000000 0
 744 c.seq.d 0 0 0 0
 745 c.seq.d 80000000 0 0 0
 746 c.seq.d 0 0 3ff00000 0
 747 c.seq.d bff00000 0 3ff00000 0
 748 c.seq.d bff00000 0 bff00000 1
 749 c.seq.d 80000000 1 80000000 2
 750 c.seq.d 00000000 1 00000000 2
 751 c.seq.d fff00000 0 7ff00000 0
 752 c.seq.d 3ff00000 0 0 0
 753 c.seq.d 3ff00000 0 bff00000 0
 754 c.seq.d bff00001 1 bff00000 0
 755 c.seq.d 80000000 2 80000000 1
 756 c.seq.d 00000000 2 00000000 1
 757 c.seq.d 7ff00000 0 fff00000 0
 758 c.seq.d 7ff00000 1 0 0
 759 c.seq.d 0 0 7ff00000 1
 760 c.ngl.d 0 0 80000000 0
 761 c.ngl.d 0 0 0 0
 762 c.ngl.d 80000000 0 0 0
 763 c.ngl.d 0 0 3ff00000 0
 764 c.ngl.d bff00000 0 3ff00000 0
 765 c.ngl.d bff00000 0 bff00000 1
 766 c.ngl.d 80000000 1 80000000 2
 767 c.ngl.d 00000000 1 00000000 2
 768 c.ngl.d fff00000 0 7ff00000 0
 769 c.ngl.d 3ff00000 0 0 0
 770 c.ngl.d 3ff00000 0 bff00000 0
 771 c.ngl.d bff00001 1 bff00000 0
 772 c.ngl.d 80000000 2 80000000 1
 773 c.ngl.d 00000000 2 00000000 1
 774 c.ngl.d 7ff00000 0 fff00000 0
 775 c.ngl.d 7ff00000 1 0 0
 776 c.ngl.d 0 0 7ff00000 1
 777 c.lt.d  0 0 80000000 0
 778 c.lt.d  0 0 0 0
 779 c.lt.d  80000000 0 0 0
 780 c.lt.d  0 0 3ff00000 0
 781 c.lt.d  bff00000 0 3ff00000 0
 782 c.lt.d  bff00000 0 bff00000 1
 783 c.lt.d  80000000 1 80000000 2
 784 c.lt.d  00000000 1 00000000 2
 785 c.lt.d  fff00000 0 7ff00000 0
 786 c.lt.d  3ff00000 0 0 0
 787 c.lt.d  3ff00000 0 bff00000 0
 788 c.lt.d  bff00001 1 bff00000 0
 789 c.lt.d  80000000 2 80000000 1
 790 c.lt.d  00000000 2 00000000 1
 791 c.lt.d  7ff00000 0 fff00000 0
 792 c.lt.d  7ff00000 1 0 0
 793 c.lt.d  0 0 7ff00000 1
 794 c.nge.d 0 0 80000000 0
 795 c.nge.d 0 0 0 0
 796 c.nge.d 80000000 0 0 0
 797 c.nge.d 0 0 3ff00000 0
 798 c.nge.d bff00000 0 3ff00000 0
 799 c.nge.d bff00000 0 bff00000 1
 800 c.nge.d 80000000 1 80000000 2
 801 c.nge.d 00000000 1 00000000 2
 802 c.nge.d fff00000 0 7ff00000 0
 803 c.nge.d 3ff00000 0 0 0
 804 c.nge.d 3ff00000 0 bff00000 0
 805 c.nge.d bff00001 1 bff00000 0
 806 c.nge.d 80000000 2 80000000 1
 807 c.nge.d 00000000 2 00000000 1
 808 c.nge.d 7ff00000 0 fff00000 0
 809 c.nge.d 7ff00000 1 0 0
 810 c.nge.d 0 0 7ff00000 1
 811 c.le.d  0 0 80000000 0
 812 c.le.d  0 0 0 0
 813 c.le.d  80000000 0 0 0
 814 c.le.d  0 0 3ff00000 0
 815 c.le.d  bff00000 0 3ff00000 0
 816 c.le.d  bff00000 0 bff00000 1
 817 c.le.d  80000000 1 80000000 2
 818 c.le.d  00000000 1 00000000 2
 819 c.le.d  fff00000 0 7ff00000 0
 820 c.le.d  3ff00000 0 0 0
 821 c.le.d  3ff00000 0 bff00000 0
 822 c.le.d  bff00001 1 bff00000 0
 823 c.le.d  80000000 2 80000000 1
 824 c.le.d  00000000 2 00000000 1
 825 c.le.d  7ff00000 0 fff00000 0
 826 c.le.d  7ff00000 1 0 0
 827 c.le.d  0 0 7ff00000 1
 828 c.ngt.d 0 0 80000000 0
 829 c.ngt.d 0 0 0 0
 830 c.ngt.d 80000000 0 0 0
 831 c.ngt.d 0 0 3ff00000 0
 832 c.ngt.d bff00000 0 3ff00000 0
 833 c.ngt.d bff00000 0 bff00000 1
 834 c.ngt.d 80000000 1 80000000 2
 835 c.ngt.d 00000000 1 00000000 2
 836 c.ngt.d fff00000 0 7ff00000 0
 837 c.ngt.d 3ff00000 0 0 0
 838 c.ngt.d 3ff00000 0 bff00000 0
 839 c.ngt.d bff00001 1 bff00000 0
 840 c.ngt.d 80000000 2 80000000 1
 841 c.ngt.d 00000000 2 00000000 1
 842 c.ngt.d 7ff00000 0 fff00000 0
 843 c.ngt.d 7ff00000 1 0 0
 844 c.ngt.d 0 0 7ff00000 1