ARM64: Prevent compilers to optimize away NaN negation in tests.
BUG=v8:3226 R=ulan@chromium.org, jochen@chromium.org LOG=N Review URL: https://codereview.chromium.org/196173021 git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@20213 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
This commit is contained in:
parent
e577a18bd8
commit
688d07d11b
@ -2830,7 +2830,6 @@ void Simulator::VisitFPDataProcessing3Source(Instruction* instr) {
|
||||
unsigned fm = instr->Rm();
|
||||
unsigned fa = instr->Ra();
|
||||
|
||||
// The C99 (and C++11) fma function performs a fused multiply-accumulate.
|
||||
switch (instr->Mask(FPDataProcessing3SourceMask)) {
|
||||
// fd = fa +/- (fn * fm)
|
||||
case FMADD_s: set_sreg(fd, FPMulAdd(sreg(fa), sreg(fn), sreg(fm))); break;
|
||||
|
@ -89,9 +89,6 @@
|
||||
|
||||
# BUG(v8:3155).
|
||||
'test-strings/AsciiArrayJoin': [PASS, ['mode == debug', FAIL]],
|
||||
|
||||
# BUG(v8:3226).
|
||||
'test-assembler-arm64/fmadd_fmsub_float_nans': [PASS, FAIL]
|
||||
}], # 'arch == arm64'
|
||||
|
||||
['arch == arm64 and simulator_run == True', {
|
||||
|
@ -5247,32 +5247,42 @@ TEST(fmadd_fmsub_double_nans) {
|
||||
ASSERT(IsQuietNaN(q2_proc));
|
||||
ASSERT(IsQuietNaN(qa_proc));
|
||||
|
||||
// Negated NaNs as it would be done on ARMv8 hardware.
|
||||
double s1_proc_neg = rawbits_to_double(0xfffd555511111111);
|
||||
double sa_proc_neg = rawbits_to_double(0xfffd5555aaaaaaaa);
|
||||
double q1_proc_neg = rawbits_to_double(0xfffaaaaa11111111);
|
||||
double qa_proc_neg = rawbits_to_double(0xfffaaaaaaaaaaaaa);
|
||||
ASSERT(IsQuietNaN(s1_proc_neg));
|
||||
ASSERT(IsQuietNaN(sa_proc_neg));
|
||||
ASSERT(IsQuietNaN(q1_proc_neg));
|
||||
ASSERT(IsQuietNaN(qa_proc_neg));
|
||||
|
||||
// Quiet NaNs are propagated.
|
||||
FmaddFmsubHelper(q1, 0, 0, q1_proc, -q1_proc, -q1_proc, q1_proc);
|
||||
FmaddFmsubHelper(q1, 0, 0, q1_proc, q1_proc_neg, q1_proc_neg, q1_proc);
|
||||
FmaddFmsubHelper(0, q2, 0, q2_proc, q2_proc, q2_proc, q2_proc);
|
||||
FmaddFmsubHelper(0, 0, qa, qa_proc, qa_proc, -qa_proc, -qa_proc);
|
||||
FmaddFmsubHelper(q1, q2, 0, q1_proc, -q1_proc, -q1_proc, q1_proc);
|
||||
FmaddFmsubHelper(0, q2, qa, qa_proc, qa_proc, -qa_proc, -qa_proc);
|
||||
FmaddFmsubHelper(q1, 0, qa, qa_proc, qa_proc, -qa_proc, -qa_proc);
|
||||
FmaddFmsubHelper(q1, q2, qa, qa_proc, qa_proc, -qa_proc, -qa_proc);
|
||||
FmaddFmsubHelper(0, 0, qa, qa_proc, qa_proc, qa_proc_neg, qa_proc_neg);
|
||||
FmaddFmsubHelper(q1, q2, 0, q1_proc, q1_proc_neg, q1_proc_neg, q1_proc);
|
||||
FmaddFmsubHelper(0, q2, qa, qa_proc, qa_proc, qa_proc_neg, qa_proc_neg);
|
||||
FmaddFmsubHelper(q1, 0, qa, qa_proc, qa_proc, qa_proc_neg, qa_proc_neg);
|
||||
FmaddFmsubHelper(q1, q2, qa, qa_proc, qa_proc, qa_proc_neg, qa_proc_neg);
|
||||
|
||||
// Signalling NaNs are propagated, and made quiet.
|
||||
FmaddFmsubHelper(s1, 0, 0, s1_proc, -s1_proc, -s1_proc, s1_proc);
|
||||
FmaddFmsubHelper(s1, 0, 0, s1_proc, s1_proc_neg, s1_proc_neg, s1_proc);
|
||||
FmaddFmsubHelper(0, s2, 0, s2_proc, s2_proc, s2_proc, s2_proc);
|
||||
FmaddFmsubHelper(0, 0, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(s1, s2, 0, s1_proc, -s1_proc, -s1_proc, s1_proc);
|
||||
FmaddFmsubHelper(0, s2, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(s1, 0, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(s1, s2, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(0, 0, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
FmaddFmsubHelper(s1, s2, 0, s1_proc, s1_proc_neg, s1_proc_neg, s1_proc);
|
||||
FmaddFmsubHelper(0, s2, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
FmaddFmsubHelper(s1, 0, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
FmaddFmsubHelper(s1, s2, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
|
||||
// Signalling NaNs take precedence over quiet NaNs.
|
||||
FmaddFmsubHelper(s1, q2, qa, s1_proc, -s1_proc, -s1_proc, s1_proc);
|
||||
FmaddFmsubHelper(s1, q2, qa, s1_proc, s1_proc_neg, s1_proc_neg, s1_proc);
|
||||
FmaddFmsubHelper(q1, s2, qa, s2_proc, s2_proc, s2_proc, s2_proc);
|
||||
FmaddFmsubHelper(q1, q2, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(s1, s2, qa, s1_proc, -s1_proc, -s1_proc, s1_proc);
|
||||
FmaddFmsubHelper(q1, s2, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(s1, q2, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(s1, s2, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(q1, q2, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
FmaddFmsubHelper(s1, s2, qa, s1_proc, s1_proc_neg, s1_proc_neg, s1_proc);
|
||||
FmaddFmsubHelper(q1, s2, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
FmaddFmsubHelper(s1, q2, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
FmaddFmsubHelper(s1, s2, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
|
||||
// A NaN generated by the intermediate op1 * op2 overrides a quiet NaN in a.
|
||||
FmaddFmsubHelper(0, kFP64PositiveInfinity, qa,
|
||||
@ -5320,32 +5330,42 @@ TEST(fmadd_fmsub_float_nans) {
|
||||
ASSERT(IsQuietNaN(q2_proc));
|
||||
ASSERT(IsQuietNaN(qa_proc));
|
||||
|
||||
// Negated NaNs as it would be done on ARMv8 hardware.
|
||||
float s1_proc_neg = rawbits_to_float(0xffd51111);
|
||||
float sa_proc_neg = rawbits_to_float(0xffd5aaaa);
|
||||
float q1_proc_neg = rawbits_to_float(0xffea1111);
|
||||
float qa_proc_neg = rawbits_to_float(0xffeaaaaa);
|
||||
ASSERT(IsQuietNaN(s1_proc_neg));
|
||||
ASSERT(IsQuietNaN(sa_proc_neg));
|
||||
ASSERT(IsQuietNaN(q1_proc_neg));
|
||||
ASSERT(IsQuietNaN(qa_proc_neg));
|
||||
|
||||
// Quiet NaNs are propagated.
|
||||
FmaddFmsubHelper(q1, 0, 0, q1_proc, -q1_proc, -q1_proc, q1_proc);
|
||||
FmaddFmsubHelper(q1, 0, 0, q1_proc, q1_proc_neg, q1_proc_neg, q1_proc);
|
||||
FmaddFmsubHelper(0, q2, 0, q2_proc, q2_proc, q2_proc, q2_proc);
|
||||
FmaddFmsubHelper(0, 0, qa, qa_proc, qa_proc, -qa_proc, -qa_proc);
|
||||
FmaddFmsubHelper(q1, q2, 0, q1_proc, -q1_proc, -q1_proc, q1_proc);
|
||||
FmaddFmsubHelper(0, q2, qa, qa_proc, qa_proc, -qa_proc, -qa_proc);
|
||||
FmaddFmsubHelper(q1, 0, qa, qa_proc, qa_proc, -qa_proc, -qa_proc);
|
||||
FmaddFmsubHelper(q1, q2, qa, qa_proc, qa_proc, -qa_proc, -qa_proc);
|
||||
FmaddFmsubHelper(0, 0, qa, qa_proc, qa_proc, qa_proc_neg, qa_proc_neg);
|
||||
FmaddFmsubHelper(q1, q2, 0, q1_proc, q1_proc_neg, q1_proc_neg, q1_proc);
|
||||
FmaddFmsubHelper(0, q2, qa, qa_proc, qa_proc, qa_proc_neg, qa_proc_neg);
|
||||
FmaddFmsubHelper(q1, 0, qa, qa_proc, qa_proc, qa_proc_neg, qa_proc_neg);
|
||||
FmaddFmsubHelper(q1, q2, qa, qa_proc, qa_proc, qa_proc_neg, qa_proc_neg);
|
||||
|
||||
// Signalling NaNs are propagated, and made quiet.
|
||||
FmaddFmsubHelper(s1, 0, 0, s1_proc, -s1_proc, -s1_proc, s1_proc);
|
||||
FmaddFmsubHelper(s1, 0, 0, s1_proc, s1_proc_neg, s1_proc_neg, s1_proc);
|
||||
FmaddFmsubHelper(0, s2, 0, s2_proc, s2_proc, s2_proc, s2_proc);
|
||||
FmaddFmsubHelper(0, 0, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(s1, s2, 0, s1_proc, -s1_proc, -s1_proc, s1_proc);
|
||||
FmaddFmsubHelper(0, s2, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(s1, 0, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(s1, s2, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(0, 0, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
FmaddFmsubHelper(s1, s2, 0, s1_proc, s1_proc_neg, s1_proc_neg, s1_proc);
|
||||
FmaddFmsubHelper(0, s2, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
FmaddFmsubHelper(s1, 0, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
FmaddFmsubHelper(s1, s2, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
|
||||
// Signalling NaNs take precedence over quiet NaNs.
|
||||
FmaddFmsubHelper(s1, q2, qa, s1_proc, -s1_proc, -s1_proc, s1_proc);
|
||||
FmaddFmsubHelper(s1, q2, qa, s1_proc, s1_proc_neg, s1_proc_neg, s1_proc);
|
||||
FmaddFmsubHelper(q1, s2, qa, s2_proc, s2_proc, s2_proc, s2_proc);
|
||||
FmaddFmsubHelper(q1, q2, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(s1, s2, qa, s1_proc, -s1_proc, -s1_proc, s1_proc);
|
||||
FmaddFmsubHelper(q1, s2, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(s1, q2, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(s1, s2, sa, sa_proc, sa_proc, -sa_proc, -sa_proc);
|
||||
FmaddFmsubHelper(q1, q2, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
FmaddFmsubHelper(s1, s2, qa, s1_proc, s1_proc_neg, s1_proc_neg, s1_proc);
|
||||
FmaddFmsubHelper(q1, s2, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
FmaddFmsubHelper(s1, q2, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
FmaddFmsubHelper(s1, s2, sa, sa_proc, sa_proc, sa_proc_neg, sa_proc_neg);
|
||||
|
||||
// A NaN generated by the intermediate op1 * op2 overrides a quiet NaN in a.
|
||||
FmaddFmsubHelper(0, kFP32PositiveInfinity, qa,
|
||||
|
Loading…
Reference in New Issue
Block a user