AArch64: Work around undefined behaviour of printf for NaNs.

We manually print NaNs with a known output to have coherent traces across all
implementations of `printf`.

Change-Id: Ice93ab39c6379280c6cb012b911e6fdc15de2445
This commit is contained in:
Alexandre Rames 2016-07-22 17:17:23 +01:00
parent 294e6f426d
commit 6b5fe94b63
9 changed files with 80 additions and 69 deletions

View File

@ -735,7 +735,18 @@ void Simulator::PrintVRegisterFPHelper(unsigned code,
double value = (lane_size_in_bytes == kSRegSizeInBytes)
? ReadVRegister(code).GetLane<float>(lane)
: ReadVRegister(code).GetLane<double>(lane);
fprintf(stream_, "%s%s%#g%s", separator, clr_vreg_value, value, clr_normal);
if (std::isnan(value)) {
// The output for NaNs is implementation defined. Always print `nan`, so
// that traces are coherent across different implementations.
fprintf(stream_, "%s%snan%s", separator, clr_vreg_value, clr_normal);
} else {
fprintf(stream_,
"%s%s%#g%s",
separator,
clr_vreg_value,
value,
clr_normal);
}
separator = ", ";
}

View File

@ -1027,7 +1027,7 @@
0x~~~~~~~~~~~~~~~~ 1e7e79d3 fminnm d19, d14, d30
# v19: 0x00000000000000000000000000000001 (d19: 4.94066e-324)
0x~~~~~~~~~~~~~~~~ 1e217820 fminnm s0, s1, s1
# v0: 0x000000000000000000000000ffffffff (s0: -nan)
# v0: 0x000000000000000000000000ffffffff (s0: nan)
0x~~~~~~~~~~~~~~~~ 1e6040cd fmov d13, d6
# v13: 0x00000000000000000000000000000000 (d13: 0.00000)
0x~~~~~~~~~~~~~~~~ 9e670222 fmov d2, x17
@ -1051,7 +1051,7 @@
0x~~~~~~~~~~~~~~~~ 1e770b7e fmul d30, d27, d23
# v30: 0x00000000000000000000000000000000 (d30: 0.00000)
0x~~~~~~~~~~~~~~~~ 1e2f0a39 fmul s25, s17, s15
# v25: 0x000000000000000000000000ffffffff (s25: -nan)
# v25: 0x000000000000000000000000ffffffff (s25: nan)
0x~~~~~~~~~~~~~~~~ 5e61de24 fmulx d4, d17, d1
# v4: 0x00000000000000000000000000000000
0x~~~~~~~~~~~~~~~~ 5e24df2e fmulx s14, s25, s4
@ -1111,7 +1111,7 @@
0x~~~~~~~~~~~~~~~~ 1e65c100 frintz d0, d8
# v0: 0x0000000000000000c000000000000000 (d0: -2.00000)
0x~~~~~~~~~~~~~~~~ 1e25c3af frintz s15, s29
# v15: 0x000000000000000000000000ffffffff (s15: -nan)
# v15: 0x000000000000000000000000ffffffff (s15: nan)
0x~~~~~~~~~~~~~~~~ 7ee1d955 frsqrte d21, d10
# v21: 0x00000000000000007ff0000000000000
0x~~~~~~~~~~~~~~~~ 7ea1db31 frsqrte s17, s25
@ -1123,7 +1123,7 @@
0x~~~~~~~~~~~~~~~~ 1e61c22e fsqrt d14, d17
# v14: 0x00000000000000001f5ffffffff00000 (d14: 1.45671e-157)
0x~~~~~~~~~~~~~~~~ 1e21c1c4 fsqrt s4, s14
# v4: 0x000000000000000000000000fff00000 (s4: -nan)
# v4: 0x000000000000000000000000fff00000 (s4: nan)
0x~~~~~~~~~~~~~~~~ 1e673a6d fsub d13, d19, d7
# v13: 0x0000000000000000fff0000000000000 (d13: -inf)
0x~~~~~~~~~~~~~~~~ 1e3b3aa3 fsub s3, s21, s27
@ -1771,7 +1771,7 @@
# v29: 0x3f3e3d3c3b3a39383736353433323130 (0.743122, 0.00284155, 1.08604e-05, 4.14886e-08) <- 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 4cc2283c ld1 {v28.4s, v29.4s, v30.4s, v31.4s}, [x1], x2
# v28: 0xf7f6f5f4f3f2f1f0efeeedecebeae9e8 (-1.00179e+34, -3.84962e+31, -1.47890e+29, -5.67986e+26) <- 0x~~~~~~~~~~~~~~~~
# v29: 0x0706050403020100fffefdfcfbfaf9f8 (1.00825e-34, 3.82047e-37, -nan, -2.60629e+36) <- 0x~~~~~~~~~~~~~~~~
# v29: 0x0706050403020100fffefdfcfbfaf9f8 (1.00825e-34, 3.82047e-37, nan, -2.60629e+36) <- 0x~~~~~~~~~~~~~~~~
# v30: 0x17161514131211100f0e0d0c0b0a0908 (4.84942e-25, 1.84362e-27, 7.00365e-30, 2.65846e-32) <- 0x~~~~~~~~~~~~~~~~
# v31: 0x27262524232221201f1e1d1c1b1a1918 (2.30573e-15, 8.78905e-18, 3.34819e-20, 1.27467e-22) <- 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
@ -2063,7 +2063,7 @@
# x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 4cdf8838 ld2 {v24.4s, v25.4s}, [x1], #32
# v24: 0x03020100fbfaf9f8f3f2f1f0ebeae9e8 (3.82047e-37, -2.60629e+36, -3.84962e+31, -5.67986e+26) <- 0x~~~~~~~~~~~~~~~~
# v25: 0x07060504fffefdfcf7f6f5f4efeeedec (1.00825e-34, -nan, -1.00179e+34, -1.47890e+29) <- 0x~~~~~~~~~~~~~~~~
# v25: 0x07060504fffefdfcf7f6f5f4efeeedec (1.00825e-34, nan, -1.00179e+34, -1.47890e+29) <- 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0c408011 ld2 {v17.8b, v18.8b}, [x0]
# v17: 0x00000000000000000000ffff00850201 <- 0x~~~~~~~~~~~~~~~~
@ -3985,7 +3985,7 @@
# v0: 0x0000000000000000 (d0: 0.00000) -> 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0c822c2c st1 {v12.1d, v13.1d, v14.1d, v15.1d}, [x1], x2
# v12: 0x00000000ffffffff (d12: 2.12200e-314) -> 0x~~~~~~~~~~~~~~~~
# v13: 0xffffffffffefffe1 (d13: -nan) -> 0x~~~~~~~~~~~~~~~~
# v13: 0xffffffffffefffe1 (d13: nan) -> 0x~~~~~~~~~~~~~~~~
# v14: 0x0000000000000001 (d14: 4.94066e-324) -> 0x~~~~~~~~~~~~~~~~
# v15: 0x0000000000000000 (d15: 0.00000) -> 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
@ -4226,7 +4226,7 @@
# v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 4c9f782d st1 {v13.4s}, [x1], #16
# v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, -nan, -nan) -> 0x~~~~~~~~~~~~~~~~
# v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, nan, nan) -> 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0c00201a st1 {v26.8b, v27.8b, v28.8b, v29.8b}, [x0]
# v26: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
@ -4337,7 +4337,7 @@
# v4: 0x00 -> 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0d00840d st1 {v13.d}[0], [x0]
# v13: 0xffffffffffefffe1 (d13: -nan) -> 0x~~~~~~~~~~~~~~~~
# v13: 0xffffffffffefffe1 (d13: nan) -> 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0d82843e st1 {v30.d}[0], [x1], x2
# v30: 0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
@ -4514,7 +4514,7 @@
# v10: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
# v11: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0c82482d st3 {v13.2s, v14.2s, v15.2s}, [x1], x2
# v13: 0x0000000000000000ffffffffffefffe1 (..., -nan, -nan) <- 0x~~~~~~~~~~~~~~~~
# v13: 0x0000000000000000ffffffffffefffe1 (..., nan, nan) <- 0x~~~~~~~~~~~~~~~~
# v14: 0x00000000000000000000000000000001 (..., 0.00000, 1.40130e-45) <- 0x~~~~~~~~~~~~~~~~
# v15: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
@ -4622,13 +4622,13 @@
# v23: 0x0000 -> 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0d00a015 st3 {v21.s, v22.s, v23.s}[0], [x0]
# v21: 0xffff8007 (s21: -nan) -> 0x~~~~~~~~~~~~~~~~
# v21: 0xffff8007 (s21: nan) -> 0x~~~~~~~~~~~~~~~~
# v22: 0x00000000 (s22: 0.00000) -> 0x~~~~~~~~~~~~~~~~
# v23: 0x00000000 (s23: 0.00000) -> 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0d82b02b st3 {v11.s, v12.s, v13.s}[1], [x1], x2
# v11: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
# v12: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
# v13: 0xffffffff (..., -nan, ...) -> 0x~~~~~~~~~~~~~~~~
# v13: 0xffffffff (..., nan, ...) -> 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0d9fa02f st3 {v15.s, v16.s, v17.s}[0], [x1], #12
# v15: 0x00000000 (s15: 0.00000) -> 0x~~~~~~~~~~~~~~~~
@ -4704,7 +4704,7 @@
# v4: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 4c00080d st4 {v13.4s, v14.4s, v15.4s, v16.4s}, [x0]
# v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, -nan, -nan) <- 0x~~~~~~~~~~~~~~~~
# v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, nan, nan) <- 0x~~~~~~~~~~~~~~~~
# v14: 0x00000000000000000000000000000001 (0.00000, 0.00000, 0.00000, 1.40130e-45) <- 0x~~~~~~~~~~~~~~~~
# v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
# v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) <- 0x~~~~~~~~~~~~~~~~

View File

@ -1027,7 +1027,7 @@
0x~~~~~~~~~~~~~~~~ 1e7e79d3 fminnm d19, d14, d30
#  v19: 0x00000000000000000000000000000001 (d19: 4.94066e-324)
0x~~~~~~~~~~~~~~~~ 1e217820 fminnm s0, s1, s1
#  v0: 0x000000000000000000000000ffffffff (s0: -nan)
#  v0: 0x000000000000000000000000ffffffff (s0: nan)
0x~~~~~~~~~~~~~~~~ 1e6040cd fmov d13, d6
#  v13: 0x00000000000000000000000000000000 (d13: 0.00000)
0x~~~~~~~~~~~~~~~~ 9e670222 fmov d2, x17
@ -1051,7 +1051,7 @@
0x~~~~~~~~~~~~~~~~ 1e770b7e fmul d30, d27, d23
#  v30: 0x00000000000000000000000000000000 (d30: 0.00000)
0x~~~~~~~~~~~~~~~~ 1e2f0a39 fmul s25, s17, s15
#  v25: 0x000000000000000000000000ffffffff (s25: -nan)
#  v25: 0x000000000000000000000000ffffffff (s25: nan)
0x~~~~~~~~~~~~~~~~ 5e61de24 fmulx d4, d17, d1
#  v4: 0x00000000000000000000000000000000
0x~~~~~~~~~~~~~~~~ 5e24df2e fmulx s14, s25, s4
@ -1111,7 +1111,7 @@
0x~~~~~~~~~~~~~~~~ 1e65c100 frintz d0, d8
#  v0: 0x0000000000000000c000000000000000 (d0: -2.00000)
0x~~~~~~~~~~~~~~~~ 1e25c3af frintz s15, s29
#  v15: 0x000000000000000000000000ffffffff (s15: -nan)
#  v15: 0x000000000000000000000000ffffffff (s15: nan)
0x~~~~~~~~~~~~~~~~ 7ee1d955 frsqrte d21, d10
#  v21: 0x00000000000000007ff0000000000000
0x~~~~~~~~~~~~~~~~ 7ea1db31 frsqrte s17, s25
@ -1123,7 +1123,7 @@
0x~~~~~~~~~~~~~~~~ 1e61c22e fsqrt d14, d17
#  v14: 0x00000000000000001f5ffffffff00000 (d14: 1.45671e-157)
0x~~~~~~~~~~~~~~~~ 1e21c1c4 fsqrt s4, s14
#  v4: 0x000000000000000000000000fff00000 (s4: -nan)
#  v4: 0x000000000000000000000000fff00000 (s4: nan)
0x~~~~~~~~~~~~~~~~ 1e673a6d fsub d13, d19, d7
#  v13: 0x0000000000000000fff0000000000000 (d13: -inf)
0x~~~~~~~~~~~~~~~~ 1e3b3aa3 fsub s3, s21, s27
@ -1771,7 +1771,7 @@
#  v29: 0x3f3e3d3c3b3a39383736353433323130 (0.743122, 0.00284155, 1.08604e-05, 4.14886e-08) <- 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 4cc2283c ld1 {v28.4s, v29.4s, v30.4s, v31.4s}, [x1], x2
#  v28: 0xf7f6f5f4f3f2f1f0efeeedecebeae9e8 (-1.00179e+34, -3.84962e+31, -1.47890e+29, -5.67986e+26) <- 0x~~~~~~~~~~~~~~~~
#  v29: 0x0706050403020100fffefdfcfbfaf9f8 (1.00825e-34, 3.82047e-37, -nan, -2.60629e+36) <- 0x~~~~~~~~~~~~~~~~
#  v29: 0x0706050403020100fffefdfcfbfaf9f8 (1.00825e-34, 3.82047e-37, nan, -2.60629e+36) <- 0x~~~~~~~~~~~~~~~~
#  v30: 0x17161514131211100f0e0d0c0b0a0908 (4.84942e-25, 1.84362e-27, 7.00365e-30, 2.65846e-32) <- 0x~~~~~~~~~~~~~~~~
#  v31: 0x27262524232221201f1e1d1c1b1a1918 (2.30573e-15, 8.78905e-18, 3.34819e-20, 1.27467e-22) <- 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
@ -2063,7 +2063,7 @@
#  x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 4cdf8838 ld2 {v24.4s, v25.4s}, [x1], #32
#  v24: 0x03020100fbfaf9f8f3f2f1f0ebeae9e8 (3.82047e-37, -2.60629e+36, -3.84962e+31, -5.67986e+26) <- 0x~~~~~~~~~~~~~~~~
#  v25: 0x07060504fffefdfcf7f6f5f4efeeedec (1.00825e-34, -nan, -1.00179e+34, -1.47890e+29) <- 0x~~~~~~~~~~~~~~~~
#  v25: 0x07060504fffefdfcf7f6f5f4efeeedec (1.00825e-34, nan, -1.00179e+34, -1.47890e+29) <- 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0c408011 ld2 {v17.8b, v18.8b}, [x0]
#  v17: 0x00000000000000000000ffff00850201 <- 0x~~~~~~~~~~~~~~~~
@ -3985,7 +3985,7 @@
#  v0:  0x0000000000000000 (d0: 0.00000) -> 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0c822c2c st1 {v12.1d, v13.1d, v14.1d, v15.1d}, [x1], x2
#  v12:  0x00000000ffffffff (d12: 2.12200e-314) -> 0x~~~~~~~~~~~~~~~~
#  v13:  0xffffffffffefffe1 (d13: -nan) -> 0x~~~~~~~~~~~~~~~~
#  v13:  0xffffffffffefffe1 (d13: nan) -> 0x~~~~~~~~~~~~~~~~
#  v14:  0x0000000000000001 (d14: 4.94066e-324) -> 0x~~~~~~~~~~~~~~~~
#  v15:  0x0000000000000000 (d15: 0.00000) -> 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
@ -4226,7 +4226,7 @@
#  v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 4c9f782d st1 {v13.4s}, [x1], #16
#  v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, -nan, -nan) -> 0x~~~~~~~~~~~~~~~~
#  v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, nan, nan) -> 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0c00201a st1 {v26.8b, v27.8b, v28.8b, v29.8b}, [x0]
#  v26:  0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
@ -4337,7 +4337,7 @@
#  v4:  0x00  -> 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0d00840d st1 {v13.d}[0], [x0]
#  v13:  0xffffffffffefffe1 (d13: -nan) -> 0x~~~~~~~~~~~~~~~~
#  v13:  0xffffffffffefffe1 (d13: nan) -> 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0d82843e st1 {v30.d}[0], [x1], x2
#  v30:  0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
@ -4514,7 +4514,7 @@
#  v10: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
#  v11: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0c82482d st3 {v13.2s, v14.2s, v15.2s}, [x1], x2
#  v13: 0x0000000000000000ffffffffffefffe1 (..., -nan, -nan) <- 0x~~~~~~~~~~~~~~~~
#  v13: 0x0000000000000000ffffffffffefffe1 (..., nan, nan) <- 0x~~~~~~~~~~~~~~~~
#  v14: 0x00000000000000000000000000000001 (..., 0.00000, 1.40130e-45) <- 0x~~~~~~~~~~~~~~~~
#  v15: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
@ -4622,13 +4622,13 @@
#  v23:  0x0000  -> 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0d00a015 st3 {v21.s, v22.s, v23.s}[0], [x0]
#  v21:  0xffff8007 (s21: -nan) -> 0x~~~~~~~~~~~~~~~~
#  v21:  0xffff8007 (s21: nan) -> 0x~~~~~~~~~~~~~~~~
#  v22:  0x00000000 (s22: 0.00000) -> 0x~~~~~~~~~~~~~~~~
#  v23:  0x00000000 (s23: 0.00000) -> 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0d82b02b st3 {v11.s, v12.s, v13.s}[1], [x1], x2
#  v11:  0x00000000  (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
#  v12:  0x00000000  (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
#  v13:  0xffffffff  (..., -nan, ...) -> 0x~~~~~~~~~~~~~~~~
#  v13:  0xffffffff  (..., nan, ...) -> 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 0d9fa02f st3 {v15.s, v16.s, v17.s}[0], [x1], #12
#  v15:  0x00000000 (s15: 0.00000) -> 0x~~~~~~~~~~~~~~~~
@ -4704,7 +4704,7 @@
#  v4: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
0x~~~~~~~~~~~~~~~~ 4c00080d st4 {v13.4s, v14.4s, v15.4s, v16.4s}, [x0]
#  v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, -nan, -nan) <- 0x~~~~~~~~~~~~~~~~
#  v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, nan, nan) <- 0x~~~~~~~~~~~~~~~~
#  v14: 0x00000000000000000000000000000001 (0.00000, 0.00000, 0.00000, 1.40130e-45) <- 0x~~~~~~~~~~~~~~~~
#  v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
#  v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) <- 0x~~~~~~~~~~~~~~~~

View File

@ -534,7 +534,7 @@
# v20: 0x00000000000000000000000000000014 (d20: 9.88131e-323)
# v7: 0x00000000000000000000000000000000 (s7: 0.00000)
# v19: 0x00000000000000000000000000000001 (d19: 4.94066e-324)
# v0: 0x000000000000000000000000ffffffff (s0: -nan)
# v0: 0x000000000000000000000000ffffffff (s0: nan)
# v13: 0x00000000000000000000000000000000 (d13: 0.00000)
# v2: 0x00000000000000000000000000000000
# v8: 0x0000000000000000c004000000000000 (d8: -2.50000)
@ -546,7 +546,7 @@
# v20: 0x00000000000000000000000000000001 (d20: 4.94066e-324)
# v5: 0x00000000000000000000000000000000 (s5: 0.00000)
# v30: 0x00000000000000000000000000000000 (d30: 0.00000)
# v25: 0x000000000000000000000000ffffffff (s25: -nan)
# v25: 0x000000000000000000000000ffffffff (s25: nan)
# v4: 0x00000000000000000000000000000000
# v14: 0x000000000000000000000000ffffffff
# v15: 0x000000000000000080000000ffffffff (d15: -2.12200e-314)
@ -576,13 +576,13 @@
# v13: 0x00000000000000000000000000000000 (d13: 0.00000)
# v17: 0x00000000000000000000000000000000 (s17: 0.00000)
# v0: 0x0000000000000000c000000000000000 (d0: -2.00000)
# v15: 0x000000000000000000000000ffffffff (s15: -nan)
# v15: 0x000000000000000000000000ffffffff (s15: nan)
# v21: 0x00000000000000007ff0000000000000
# v17: 0x000000000000000000000000ffffffff
# v4: 0x00000000000000003ff8000000000000
# v14: 0x0000000000000000000000003fc00000
# v14: 0x00000000000000001f5ffffffff00000 (d14: 1.45671e-157)
# v4: 0x000000000000000000000000fff00000 (s4: -nan)
# v4: 0x000000000000000000000000fff00000 (s4: nan)
# v13: 0x0000000000000000fff0000000000000 (d13: -inf)
# v3: 0x00000000000000000000000000000000 (s3: 0.00000)
# v31: 0x00000000000000000000000000000000
@ -973,7 +973,7 @@
# v28: 0x2f2e2d2c2b2a29282726252423222120 (1.58413e-10, 6.04532e-13, 2.30573e-15, 8.78905e-18) <- 0x~~~~~~~~~~~~~~~~
# v29: 0x3f3e3d3c3b3a39383736353433323130 (0.743122, 0.00284155, 1.08604e-05, 4.14886e-08) <- 0x~~~~~~~~~~~~~~~~
# v28: 0xf7f6f5f4f3f2f1f0efeeedecebeae9e8 (-1.00179e+34, -3.84962e+31, -1.47890e+29, -5.67986e+26) <- 0x~~~~~~~~~~~~~~~~
# v29: 0x0706050403020100fffefdfcfbfaf9f8 (1.00825e-34, 3.82047e-37, -nan, -2.60629e+36) <- 0x~~~~~~~~~~~~~~~~
# v29: 0x0706050403020100fffefdfcfbfaf9f8 (1.00825e-34, 3.82047e-37, nan, -2.60629e+36) <- 0x~~~~~~~~~~~~~~~~
# v30: 0x17161514131211100f0e0d0c0b0a0908 (4.84942e-25, 1.84362e-27, 7.00365e-30, 2.65846e-32) <- 0x~~~~~~~~~~~~~~~~
# v31: 0x27262524232221201f1e1d1c1b1a1918 (2.30573e-15, 8.78905e-18, 3.34819e-20, 1.27467e-22) <- 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
@ -1180,7 +1180,7 @@
# v11: 0x0807060500fffefdf8f7f6f5f0efeeed (4.06322e-34, 2.35095e-38, -4.02346e+34, -5.94046e+29) <- 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
# v24: 0x03020100fbfaf9f8f3f2f1f0ebeae9e8 (3.82047e-37, -2.60629e+36, -3.84962e+31, -5.67986e+26) <- 0x~~~~~~~~~~~~~~~~
# v25: 0x07060504fffefdfcf7f6f5f4efeeedec (1.00825e-34, -nan, -1.00179e+34, -1.47890e+29) <- 0x~~~~~~~~~~~~~~~~
# v25: 0x07060504fffefdfcf7f6f5f4efeeedec (1.00825e-34, nan, -1.00179e+34, -1.47890e+29) <- 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
# v17: 0x00000000000000000000ffff00850201 <- 0x~~~~~~~~~~~~~~~~
# v18: 0x0000000000000000000000feff0000ff <- 0x~~~~~~~~~~~~~~~~
@ -2490,7 +2490,7 @@
# v9: 0x00000000000000000020000000200040 (..., 2.93874e-39, 2.93883e-39) <- 0x~~~~~~~~~~~~~~~~
# v10: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
# v11: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
# v13: 0x0000000000000000ffffffffffefffe1 (..., -nan, -nan) <- 0x~~~~~~~~~~~~~~~~
# v13: 0x0000000000000000ffffffffffefffe1 (..., nan, nan) <- 0x~~~~~~~~~~~~~~~~
# v14: 0x00000000000000000000000000000001 (..., 0.00000, 1.40130e-45) <- 0x~~~~~~~~~~~~~~~~
# v15: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
@ -2606,7 +2606,7 @@
# v3: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
# v4: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
# x1: 0x~~~~~~~~~~~~~~~~
# v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, -nan, -nan) <- 0x~~~~~~~~~~~~~~~~
# v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, nan, nan) <- 0x~~~~~~~~~~~~~~~~
# v14: 0x00000000000000000000000000000001 (0.00000, 0.00000, 0.00000, 1.40130e-45) <- 0x~~~~~~~~~~~~~~~~
# v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
# v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) <- 0x~~~~~~~~~~~~~~~~

View File

@ -534,7 +534,7 @@
#  v20: 0x00000000000000000000000000000014 (d20: 9.88131e-323)
#  v7: 0x00000000000000000000000000000000 (s7: 0.00000)
#  v19: 0x00000000000000000000000000000001 (d19: 4.94066e-324)
#  v0: 0x000000000000000000000000ffffffff (s0: -nan)
#  v0: 0x000000000000000000000000ffffffff (s0: nan)
#  v13: 0x00000000000000000000000000000000 (d13: 0.00000)
#  v2: 0x00000000000000000000000000000000
#  v8: 0x0000000000000000c004000000000000 (d8: -2.50000)
@ -546,7 +546,7 @@
#  v20: 0x00000000000000000000000000000001 (d20: 4.94066e-324)
#  v5: 0x00000000000000000000000000000000 (s5: 0.00000)
#  v30: 0x00000000000000000000000000000000 (d30: 0.00000)
#  v25: 0x000000000000000000000000ffffffff (s25: -nan)
#  v25: 0x000000000000000000000000ffffffff (s25: nan)
#  v4: 0x00000000000000000000000000000000
#  v14: 0x000000000000000000000000ffffffff
#  v15: 0x000000000000000080000000ffffffff (d15: -2.12200e-314)
@ -576,13 +576,13 @@
#  v13: 0x00000000000000000000000000000000 (d13: 0.00000)
#  v17: 0x00000000000000000000000000000000 (s17: 0.00000)
#  v0: 0x0000000000000000c000000000000000 (d0: -2.00000)
#  v15: 0x000000000000000000000000ffffffff (s15: -nan)
#  v15: 0x000000000000000000000000ffffffff (s15: nan)
#  v21: 0x00000000000000007ff0000000000000
#  v17: 0x000000000000000000000000ffffffff
#  v4: 0x00000000000000003ff8000000000000
#  v14: 0x0000000000000000000000003fc00000
#  v14: 0x00000000000000001f5ffffffff00000 (d14: 1.45671e-157)
#  v4: 0x000000000000000000000000fff00000 (s4: -nan)
#  v4: 0x000000000000000000000000fff00000 (s4: nan)
#  v13: 0x0000000000000000fff0000000000000 (d13: -inf)
#  v3: 0x00000000000000000000000000000000 (s3: 0.00000)
#  v31: 0x00000000000000000000000000000000
@ -973,7 +973,7 @@
#  v28: 0x2f2e2d2c2b2a29282726252423222120 (1.58413e-10, 6.04532e-13, 2.30573e-15, 8.78905e-18) <- 0x~~~~~~~~~~~~~~~~
#  v29: 0x3f3e3d3c3b3a39383736353433323130 (0.743122, 0.00284155, 1.08604e-05, 4.14886e-08) <- 0x~~~~~~~~~~~~~~~~
#  v28: 0xf7f6f5f4f3f2f1f0efeeedecebeae9e8 (-1.00179e+34, -3.84962e+31, -1.47890e+29, -5.67986e+26) <- 0x~~~~~~~~~~~~~~~~
#  v29: 0x0706050403020100fffefdfcfbfaf9f8 (1.00825e-34, 3.82047e-37, -nan, -2.60629e+36) <- 0x~~~~~~~~~~~~~~~~
#  v29: 0x0706050403020100fffefdfcfbfaf9f8 (1.00825e-34, 3.82047e-37, nan, -2.60629e+36) <- 0x~~~~~~~~~~~~~~~~
#  v30: 0x17161514131211100f0e0d0c0b0a0908 (4.84942e-25, 1.84362e-27, 7.00365e-30, 2.65846e-32) <- 0x~~~~~~~~~~~~~~~~
#  v31: 0x27262524232221201f1e1d1c1b1a1918 (2.30573e-15, 8.78905e-18, 3.34819e-20, 1.27467e-22) <- 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
@ -1180,7 +1180,7 @@
#  v11: 0x0807060500fffefdf8f7f6f5f0efeeed (4.06322e-34, 2.35095e-38, -4.02346e+34, -5.94046e+29) <- 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
#  v24: 0x03020100fbfaf9f8f3f2f1f0ebeae9e8 (3.82047e-37, -2.60629e+36, -3.84962e+31, -5.67986e+26) <- 0x~~~~~~~~~~~~~~~~
#  v25: 0x07060504fffefdfcf7f6f5f4efeeedec (1.00825e-34, -nan, -1.00179e+34, -1.47890e+29) <- 0x~~~~~~~~~~~~~~~~
#  v25: 0x07060504fffefdfcf7f6f5f4efeeedec (1.00825e-34, nan, -1.00179e+34, -1.47890e+29) <- 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
#  v17: 0x00000000000000000000ffff00850201 <- 0x~~~~~~~~~~~~~~~~
#  v18: 0x0000000000000000000000feff0000ff <- 0x~~~~~~~~~~~~~~~~
@ -2490,7 +2490,7 @@
#  v9: 0x00000000000000000020000000200040 (..., 2.93874e-39, 2.93883e-39) <- 0x~~~~~~~~~~~~~~~~
#  v10: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
#  v11: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
#  v13: 0x0000000000000000ffffffffffefffe1 (..., -nan, -nan) <- 0x~~~~~~~~~~~~~~~~
#  v13: 0x0000000000000000ffffffffffefffe1 (..., nan, nan) <- 0x~~~~~~~~~~~~~~~~
#  v14: 0x00000000000000000000000000000001 (..., 0.00000, 1.40130e-45) <- 0x~~~~~~~~~~~~~~~~
#  v15: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
@ -2606,7 +2606,7 @@
#  v3: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
#  v4: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
#  x1: 0x~~~~~~~~~~~~~~~~
#  v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, -nan, -nan) <- 0x~~~~~~~~~~~~~~~~
#  v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, nan, nan) <- 0x~~~~~~~~~~~~~~~~
#  v14: 0x00000000000000000000000000000001 (0.00000, 0.00000, 0.00000, 1.40130e-45) <- 0x~~~~~~~~~~~~~~~~
#  v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
#  v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) <- 0x~~~~~~~~~~~~~~~~

View File

@ -100,7 +100,7 @@
# v20: 0x00000000000000000000000000000014 (d20: 9.88131e-323)
# v7: 0x00000000000000000000000000000000 (s7: 0.00000)
# v19: 0x00000000000000000000000000000001 (d19: 4.94066e-324)
# v0: 0x000000000000000000000000ffffffff (s0: -nan)
# v0: 0x000000000000000000000000ffffffff (s0: nan)
# v13: 0x00000000000000000000000000000000 (d13: 0.00000)
# v2: 0x00000000000000000000000000000000
# v8: 0x0000000000000000c004000000000000 (d8: -2.50000)
@ -110,7 +110,7 @@
# v20: 0x00000000000000000000000000000001 (d20: 4.94066e-324)
# v5: 0x00000000000000000000000000000000 (s5: 0.00000)
# v30: 0x00000000000000000000000000000000 (d30: 0.00000)
# v25: 0x000000000000000000000000ffffffff (s25: -nan)
# v25: 0x000000000000000000000000ffffffff (s25: nan)
# v4: 0x00000000000000000000000000000000
# v14: 0x000000000000000000000000ffffffff
# v15: 0x000000000000000080000000ffffffff (d15: -2.12200e-314)
@ -140,13 +140,13 @@
# v13: 0x00000000000000000000000000000000 (d13: 0.00000)
# v17: 0x00000000000000000000000000000000 (s17: 0.00000)
# v0: 0x0000000000000000c000000000000000 (d0: -2.00000)
# v15: 0x000000000000000000000000ffffffff (s15: -nan)
# v15: 0x000000000000000000000000ffffffff (s15: nan)
# v21: 0x00000000000000007ff0000000000000
# v17: 0x000000000000000000000000ffffffff
# v4: 0x00000000000000003ff8000000000000
# v14: 0x0000000000000000000000003fc00000
# v14: 0x00000000000000001f5ffffffff00000 (d14: 1.45671e-157)
# v4: 0x000000000000000000000000fff00000 (s4: -nan)
# v4: 0x000000000000000000000000fff00000 (s4: nan)
# v13: 0x0000000000000000fff0000000000000 (d13: -inf)
# v3: 0x00000000000000000000000000000000 (s3: 0.00000)
# v31: 0x00000000000000000000000000000000
@ -497,7 +497,7 @@
# v28: 0x2f2e2d2c2b2a29282726252423222120 (1.58413e-10, 6.04532e-13, 2.30573e-15, 8.78905e-18) <- 0x~~~~~~~~~~~~~~~~
# v29: 0x3f3e3d3c3b3a39383736353433323130 (0.743122, 0.00284155, 1.08604e-05, 4.14886e-08) <- 0x~~~~~~~~~~~~~~~~
# v28: 0xf7f6f5f4f3f2f1f0efeeedecebeae9e8 (-1.00179e+34, -3.84962e+31, -1.47890e+29, -5.67986e+26) <- 0x~~~~~~~~~~~~~~~~
# v29: 0x0706050403020100fffefdfcfbfaf9f8 (1.00825e-34, 3.82047e-37, -nan, -2.60629e+36) <- 0x~~~~~~~~~~~~~~~~
# v29: 0x0706050403020100fffefdfcfbfaf9f8 (1.00825e-34, 3.82047e-37, nan, -2.60629e+36) <- 0x~~~~~~~~~~~~~~~~
# v30: 0x17161514131211100f0e0d0c0b0a0908 (4.84942e-25, 1.84362e-27, 7.00365e-30, 2.65846e-32) <- 0x~~~~~~~~~~~~~~~~
# v31: 0x27262524232221201f1e1d1c1b1a1918 (2.30573e-15, 8.78905e-18, 3.34819e-20, 1.27467e-22) <- 0x~~~~~~~~~~~~~~~~
# v4: 0xf6f5f4f3f2f1f0efeeedecebeae9e8e7 (-2.49430e+33, -9.58428e+30, -3.68172e+28, -1.41390e+26) <- 0x~~~~~~~~~~~~~~~~
@ -647,7 +647,7 @@
# v10: 0x04030201fcfbfaf9f4f3f2f1ecebeae9 (1.53999e-36, -1.04669e+37, -1.54621e+32, -2.28166e+27) <- 0x~~~~~~~~~~~~~~~~
# v11: 0x0807060500fffefdf8f7f6f5f0efeeed (4.06322e-34, 2.35095e-38, -4.02346e+34, -5.94046e+29) <- 0x~~~~~~~~~~~~~~~~
# v24: 0x03020100fbfaf9f8f3f2f1f0ebeae9e8 (3.82047e-37, -2.60629e+36, -3.84962e+31, -5.67986e+26) <- 0x~~~~~~~~~~~~~~~~
# v25: 0x07060504fffefdfcf7f6f5f4efeeedec (1.00825e-34, -nan, -1.00179e+34, -1.47890e+29) <- 0x~~~~~~~~~~~~~~~~
# v25: 0x07060504fffefdfcf7f6f5f4efeeedec (1.00825e-34, nan, -1.00179e+34, -1.47890e+29) <- 0x~~~~~~~~~~~~~~~~
# v17: 0x00000000000000000000ffff00850201 <- 0x~~~~~~~~~~~~~~~~
# v18: 0x0000000000000000000000feff0000ff <- 0x~~~~~~~~~~~~~~~~
# v13: 0x0000000000000000161412100e0c0a08 <- 0x~~~~~~~~~~~~~~~~
@ -1747,7 +1747,7 @@
# v9: 0x00000000000000000020000000200040 (..., 2.93874e-39, 2.93883e-39) <- 0x~~~~~~~~~~~~~~~~
# v10: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
# v11: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
# v13: 0x0000000000000000ffffffffffefffe1 (..., -nan, -nan) <- 0x~~~~~~~~~~~~~~~~
# v13: 0x0000000000000000ffffffffffefffe1 (..., nan, nan) <- 0x~~~~~~~~~~~~~~~~
# v14: 0x00000000000000000000000000000001 (..., 0.00000, 1.40130e-45) <- 0x~~~~~~~~~~~~~~~~
# v15: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
# v22: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
@ -1837,7 +1837,7 @@
# v2: 0x00000000000000000020000000200040 <- 0x~~~~~~~~~~~~~~~~
# v3: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
# v4: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
# v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, -nan, -nan) <- 0x~~~~~~~~~~~~~~~~
# v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, nan, nan) <- 0x~~~~~~~~~~~~~~~~
# v14: 0x00000000000000000000000000000001 (0.00000, 0.00000, 0.00000, 1.40130e-45) <- 0x~~~~~~~~~~~~~~~~
# v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
# v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) <- 0x~~~~~~~~~~~~~~~~

View File

@ -100,7 +100,7 @@
#  v20: 0x00000000000000000000000000000014 (d20: 9.88131e-323)
#  v7: 0x00000000000000000000000000000000 (s7: 0.00000)
#  v19: 0x00000000000000000000000000000001 (d19: 4.94066e-324)
#  v0: 0x000000000000000000000000ffffffff (s0: -nan)
#  v0: 0x000000000000000000000000ffffffff (s0: nan)
#  v13: 0x00000000000000000000000000000000 (d13: 0.00000)
#  v2: 0x00000000000000000000000000000000
#  v8: 0x0000000000000000c004000000000000 (d8: -2.50000)
@ -110,7 +110,7 @@
#  v20: 0x00000000000000000000000000000001 (d20: 4.94066e-324)
#  v5: 0x00000000000000000000000000000000 (s5: 0.00000)
#  v30: 0x00000000000000000000000000000000 (d30: 0.00000)
#  v25: 0x000000000000000000000000ffffffff (s25: -nan)
#  v25: 0x000000000000000000000000ffffffff (s25: nan)
#  v4: 0x00000000000000000000000000000000
#  v14: 0x000000000000000000000000ffffffff
#  v15: 0x000000000000000080000000ffffffff (d15: -2.12200e-314)
@ -140,13 +140,13 @@
#  v13: 0x00000000000000000000000000000000 (d13: 0.00000)
#  v17: 0x00000000000000000000000000000000 (s17: 0.00000)
#  v0: 0x0000000000000000c000000000000000 (d0: -2.00000)
#  v15: 0x000000000000000000000000ffffffff (s15: -nan)
#  v15: 0x000000000000000000000000ffffffff (s15: nan)
#  v21: 0x00000000000000007ff0000000000000
#  v17: 0x000000000000000000000000ffffffff
#  v4: 0x00000000000000003ff8000000000000
#  v14: 0x0000000000000000000000003fc00000
#  v14: 0x00000000000000001f5ffffffff00000 (d14: 1.45671e-157)
#  v4: 0x000000000000000000000000fff00000 (s4: -nan)
#  v4: 0x000000000000000000000000fff00000 (s4: nan)
#  v13: 0x0000000000000000fff0000000000000 (d13: -inf)
#  v3: 0x00000000000000000000000000000000 (s3: 0.00000)
#  v31: 0x00000000000000000000000000000000
@ -497,7 +497,7 @@
#  v28: 0x2f2e2d2c2b2a29282726252423222120 (1.58413e-10, 6.04532e-13, 2.30573e-15, 8.78905e-18) <- 0x~~~~~~~~~~~~~~~~
#  v29: 0x3f3e3d3c3b3a39383736353433323130 (0.743122, 0.00284155, 1.08604e-05, 4.14886e-08) <- 0x~~~~~~~~~~~~~~~~
#  v28: 0xf7f6f5f4f3f2f1f0efeeedecebeae9e8 (-1.00179e+34, -3.84962e+31, -1.47890e+29, -5.67986e+26) <- 0x~~~~~~~~~~~~~~~~
#  v29: 0x0706050403020100fffefdfcfbfaf9f8 (1.00825e-34, 3.82047e-37, -nan, -2.60629e+36) <- 0x~~~~~~~~~~~~~~~~
#  v29: 0x0706050403020100fffefdfcfbfaf9f8 (1.00825e-34, 3.82047e-37, nan, -2.60629e+36) <- 0x~~~~~~~~~~~~~~~~
#  v30: 0x17161514131211100f0e0d0c0b0a0908 (4.84942e-25, 1.84362e-27, 7.00365e-30, 2.65846e-32) <- 0x~~~~~~~~~~~~~~~~
#  v31: 0x27262524232221201f1e1d1c1b1a1918 (2.30573e-15, 8.78905e-18, 3.34819e-20, 1.27467e-22) <- 0x~~~~~~~~~~~~~~~~
#  v4: 0xf6f5f4f3f2f1f0efeeedecebeae9e8e7 (-2.49430e+33, -9.58428e+30, -3.68172e+28, -1.41390e+26) <- 0x~~~~~~~~~~~~~~~~
@ -647,7 +647,7 @@
#  v10: 0x04030201fcfbfaf9f4f3f2f1ecebeae9 (1.53999e-36, -1.04669e+37, -1.54621e+32, -2.28166e+27) <- 0x~~~~~~~~~~~~~~~~
#  v11: 0x0807060500fffefdf8f7f6f5f0efeeed (4.06322e-34, 2.35095e-38, -4.02346e+34, -5.94046e+29) <- 0x~~~~~~~~~~~~~~~~
#  v24: 0x03020100fbfaf9f8f3f2f1f0ebeae9e8 (3.82047e-37, -2.60629e+36, -3.84962e+31, -5.67986e+26) <- 0x~~~~~~~~~~~~~~~~
#  v25: 0x07060504fffefdfcf7f6f5f4efeeedec (1.00825e-34, -nan, -1.00179e+34, -1.47890e+29) <- 0x~~~~~~~~~~~~~~~~
#  v25: 0x07060504fffefdfcf7f6f5f4efeeedec (1.00825e-34, nan, -1.00179e+34, -1.47890e+29) <- 0x~~~~~~~~~~~~~~~~
#  v17: 0x00000000000000000000ffff00850201 <- 0x~~~~~~~~~~~~~~~~
#  v18: 0x0000000000000000000000feff0000ff <- 0x~~~~~~~~~~~~~~~~
#  v13: 0x0000000000000000161412100e0c0a08 <- 0x~~~~~~~~~~~~~~~~
@ -1747,7 +1747,7 @@
#  v9: 0x00000000000000000020000000200040 (..., 2.93874e-39, 2.93883e-39) <- 0x~~~~~~~~~~~~~~~~
#  v10: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
#  v11: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
#  v13: 0x0000000000000000ffffffffffefffe1 (..., -nan, -nan) <- 0x~~~~~~~~~~~~~~~~
#  v13: 0x0000000000000000ffffffffffefffe1 (..., nan, nan) <- 0x~~~~~~~~~~~~~~~~
#  v14: 0x00000000000000000000000000000001 (..., 0.00000, 1.40130e-45) <- 0x~~~~~~~~~~~~~~~~
#  v15: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
#  v22: 0x00000000000000000000000000000000 (..., 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
@ -1837,7 +1837,7 @@
#  v2: 0x00000000000000000020000000200040 <- 0x~~~~~~~~~~~~~~~~
#  v3: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
#  v4: 0x00000000000000000000000000000000 <- 0x~~~~~~~~~~~~~~~~
#  v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, -nan, -nan) <- 0x~~~~~~~~~~~~~~~~
#  v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, nan, nan) <- 0x~~~~~~~~~~~~~~~~
#  v14: 0x00000000000000000000000000000001 (0.00000, 0.00000, 0.00000, 1.40130e-45) <- 0x~~~~~~~~~~~~~~~~
#  v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) <- 0x~~~~~~~~~~~~~~~~
#  v16: 0x00000000000000000000000000007ff9 (0.00000, 0.00000, 0.00000, 4.59079e-41) <- 0x~~~~~~~~~~~~~~~~

View File

@ -79,7 +79,7 @@
# v31: 0x0000000000000000 (d31: 0.00000) -> 0x~~~~~~~~~~~~~~~~
# v0: 0x0000000000000000 (d0: 0.00000) -> 0x~~~~~~~~~~~~~~~~
# v12: 0x00000000ffffffff (d12: 2.12200e-314) -> 0x~~~~~~~~~~~~~~~~
# v13: 0xffffffffffefffe1 (d13: -nan) -> 0x~~~~~~~~~~~~~~~~
# v13: 0xffffffffffefffe1 (d13: nan) -> 0x~~~~~~~~~~~~~~~~
# v14: 0x0000000000000001 (d14: 4.94066e-324) -> 0x~~~~~~~~~~~~~~~~
# v15: 0x0000000000000000 (d15: 0.00000) -> 0x~~~~~~~~~~~~~~~~
# v30: 0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~
@ -223,7 +223,7 @@
# v2: 0x00000000000000000020000000200040 (0.00000, 0.00000, 2.93874e-39, 2.93883e-39) -> 0x~~~~~~~~~~~~~~~~
# v26: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
# v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
# v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, -nan, -nan) -> 0x~~~~~~~~~~~~~~~~
# v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, nan, nan) -> 0x~~~~~~~~~~~~~~~~
# v26: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
# v27: 0x0001000000010000 -> 0x~~~~~~~~~~~~~~~~
# v28: 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
@ -287,7 +287,7 @@
# v19: 0x00 -> 0x~~~~~~~~~~~~~~~~
# v25: 0x00 -> 0x~~~~~~~~~~~~~~~~
# v4: 0x00 -> 0x~~~~~~~~~~~~~~~~
# v13: 0xffffffffffefffe1 (d13: -nan) -> 0x~~~~~~~~~~~~~~~~
# v13: 0xffffffffffefffe1 (d13: nan) -> 0x~~~~~~~~~~~~~~~~
# v30: 0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~
# v3: 0x0000000000000000 (d3: 0.00000) -> 0x~~~~~~~~~~~~~~~~
# v22: 0x0000 -> 0x~~~~~~~~~~~~~~~~
@ -347,12 +347,12 @@
# v21: 0x0000 -> 0x~~~~~~~~~~~~~~~~
# v22: 0x0000 -> 0x~~~~~~~~~~~~~~~~
# v23: 0x0000 -> 0x~~~~~~~~~~~~~~~~
# v21: 0xffff8007 (s21: -nan) -> 0x~~~~~~~~~~~~~~~~
# v21: 0xffff8007 (s21: nan) -> 0x~~~~~~~~~~~~~~~~
# v22: 0x00000000 (s22: 0.00000) -> 0x~~~~~~~~~~~~~~~~
# v23: 0x00000000 (s23: 0.00000) -> 0x~~~~~~~~~~~~~~~~
# v11: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
# v12: 0x00000000 (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
# v13: 0xffffffff (..., -nan, ...) -> 0x~~~~~~~~~~~~~~~~
# v13: 0xffffffff (..., nan, ...) -> 0x~~~~~~~~~~~~~~~~
# v15: 0x00000000 (s15: 0.00000) -> 0x~~~~~~~~~~~~~~~~
# v16: 0x00007ff9 (s16: 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
# v17: 0x00000400 (s17: 1.43493e-42) -> 0x~~~~~~~~~~~~~~~~

View File

@ -79,7 +79,7 @@
#  v31:  0x0000000000000000 (d31: 0.00000) -> 0x~~~~~~~~~~~~~~~~
#  v0:  0x0000000000000000 (d0: 0.00000) -> 0x~~~~~~~~~~~~~~~~
#  v12:  0x00000000ffffffff (d12: 2.12200e-314) -> 0x~~~~~~~~~~~~~~~~
#  v13:  0xffffffffffefffe1 (d13: -nan) -> 0x~~~~~~~~~~~~~~~~
#  v13:  0xffffffffffefffe1 (d13: nan) -> 0x~~~~~~~~~~~~~~~~
#  v14:  0x0000000000000001 (d14: 4.94066e-324) -> 0x~~~~~~~~~~~~~~~~
#  v15:  0x0000000000000000 (d15: 0.00000) -> 0x~~~~~~~~~~~~~~~~
#  v30:  0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~
@ -223,7 +223,7 @@
#  v2: 0x00000000000000000020000000200040 (0.00000, 0.00000, 2.93874e-39, 2.93883e-39) -> 0x~~~~~~~~~~~~~~~~
#  v26: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
#  v15: 0x00000000000000000000000000000000 (0.00000, 0.00000, 0.00000, 0.00000) -> 0x~~~~~~~~~~~~~~~~
#  v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, -nan, -nan) -> 0x~~~~~~~~~~~~~~~~
#  v13: 0x0000000000000000ffffffffffefffe1 (0.00000, 0.00000, nan, nan) -> 0x~~~~~~~~~~~~~~~~
#  v26:  0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
#  v27:  0x0001000000010000 -> 0x~~~~~~~~~~~~~~~~
#  v28:  0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
@ -287,7 +287,7 @@
#  v19: 0x00  -> 0x~~~~~~~~~~~~~~~~
#  v25:  0x00  -> 0x~~~~~~~~~~~~~~~~
#  v4:  0x00  -> 0x~~~~~~~~~~~~~~~~
#  v13:  0xffffffffffefffe1 (d13: -nan) -> 0x~~~~~~~~~~~~~~~~
#  v13:  0xffffffffffefffe1 (d13: nan) -> 0x~~~~~~~~~~~~~~~~
#  v30:  0x0000000000000000 (d30: 0.00000) -> 0x~~~~~~~~~~~~~~~~
#  v3:  0x0000000000000000 (d3: 0.00000) -> 0x~~~~~~~~~~~~~~~~
#  v22:  0x0000 -> 0x~~~~~~~~~~~~~~~~
@ -347,12 +347,12 @@
#  v21:  0x0000  -> 0x~~~~~~~~~~~~~~~~
#  v22:  0x0000  -> 0x~~~~~~~~~~~~~~~~
#  v23:  0x0000  -> 0x~~~~~~~~~~~~~~~~
#  v21:  0xffff8007 (s21: -nan) -> 0x~~~~~~~~~~~~~~~~
#  v21:  0xffff8007 (s21: nan) -> 0x~~~~~~~~~~~~~~~~
#  v22:  0x00000000 (s22: 0.00000) -> 0x~~~~~~~~~~~~~~~~
#  v23:  0x00000000 (s23: 0.00000) -> 0x~~~~~~~~~~~~~~~~
#  v11:  0x00000000  (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
#  v12:  0x00000000  (..., 0.00000, ...) -> 0x~~~~~~~~~~~~~~~~
#  v13:  0xffffffff  (..., -nan, ...) -> 0x~~~~~~~~~~~~~~~~
#  v13:  0xffffffff  (..., nan, ...) -> 0x~~~~~~~~~~~~~~~~
#  v15:  0x00000000 (s15: 0.00000) -> 0x~~~~~~~~~~~~~~~~
#  v16:  0x00007ff9 (s16: 4.59079e-41) -> 0x~~~~~~~~~~~~~~~~
#  v17:  0x00000400 (s17: 1.43493e-42) -> 0x~~~~~~~~~~~~~~~~