diff options
| author | Andrew Waterman <andrew@sifive.com> | 2017-02-01 23:11:59 -0800 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2017-02-01 23:11:59 -0800 |
| commit | 6642f8c745b320bdb7bab2470c62defb1b1bb9e2 (patch) | |
| tree | 976ece29fb16dc47c70c2dd2eab52f9c7ba4d642 /riscv/insns/fmax_d.h | |
| parent | d392463e5c8e47cfa030eb4640585302f800207f (diff) | |
| download | spike-6642f8c745b320bdb7bab2470c62defb1b1bb9e2.zip spike-6642f8c745b320bdb7bab2470c62defb1b1bb9e2.tar.gz spike-6642f8c745b320bdb7bab2470c62defb1b1bb9e2.tar.bz2 | |
For FMIN(sNaN, x) and FMIN(qNaN, qNaN), return canonical NaN
Resolves #76
Diffstat (limited to 'riscv/insns/fmax_d.h')
| -rw-r--r-- | riscv/insns/fmax_d.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/riscv/insns/fmax_d.h b/riscv/insns/fmax_d.h index f0bea9b..56c9c7a 100644 --- a/riscv/insns/fmax_d.h +++ b/riscv/insns/fmax_d.h @@ -1,4 +1,6 @@ require_extension('D'); require_fp; -WRITE_FRD(isNaNF64UI(FRS2) || f64_le_quiet(f64(FRS2), f64(FRS1)) ? FRS1 : FRS2); +WRITE_FRD(f64_le_quiet(f64(FRS2), f64(FRS1)) || isNaNF64UI(FRS2) ? FRS1 : FRS2); +if ((isNaNF64UI(FRS1) && isNaNF64UI(FRS2)) || softfloat_exceptionFlags) + WRITE_FRD(defaultNaNF64UI); set_fp_exceptions; |