aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/fmax_d.h
diff options
context:
space:
mode:
authorAndrew Waterman <waterman@s141.Millennium.Berkeley.EDU>2011-06-12 20:27:10 -0700
committerAndrew Waterman <waterman@s141.Millennium.Berkeley.EDU>2011-06-12 20:27:10 -0700
commit740f981cfd55604d46598144dccac26dd53f643c (patch)
tree4b825dc642cb6eb9a060e54bf8d69288fbee4904 /riscv/insns/fmax_d.h
parentc0ebf99d6bb3ef3cf252703b50b849bcbaa2ec59 (diff)
downloadspike-740f981cfd55604d46598144dccac26dd53f643c.zip
spike-740f981cfd55604d46598144dccac26dd53f643c.tar.gz
spike-740f981cfd55604d46598144dccac26dd53f643c.tar.bz2
[sim] renamed to riscv-isa-run
Diffstat (limited to 'riscv/insns/fmax_d.h')
-rw-r--r--riscv/insns/fmax_d.h4
1 files changed, 0 insertions, 4 deletions
diff --git a/riscv/insns/fmax_d.h b/riscv/insns/fmax_d.h
deleted file mode 100644
index cbbb343..0000000
--- a/riscv/insns/fmax_d.h
+++ /dev/null
@@ -1,4 +0,0 @@
-require_fp;
-FRD = isNaNF64UI(FRS2) || f64_le_quiet(FRS2,FRS1) /* && FRS1 not NaN */
- ? FRS1 : FRS2;
-set_fp_exceptions;