URL
https://opencores.org/ocsvn/openrisc_2011-10-31/openrisc_2011-10-31/trunk
Subversion Repositories openrisc_2011-10-31
Compare Revisions
- This comparison shows the changes necessary to convert path
/openrisc/tags/or1ksim/or1ksim-0.4.0rc1/testsuite/test-code-or1k/fp
- from Rev 104 to Rev 105
- ↔ Reverse comparison
Rev 104 → Rev 105
/Makefile.in
0,0 → 1,504
# Makefile.in generated by automake 1.11.1 from Makefile.am. |
# @configure_input@ |
|
# Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, |
# 2003, 2004, 2005, 2006, 2007, 2008, 2009 Free Software Foundation, |
# Inc. |
# This Makefile.in is free software; the Free Software Foundation |
# gives unlimited permission to copy and/or distribute it, |
# with or without modifications, as long as this notice is preserved. |
|
# This program is distributed in the hope that it will be useful, |
# but WITHOUT ANY WARRANTY, to the extent permitted by law; without |
# even the implied warranty of MERCHANTABILITY or FITNESS FOR A |
# PARTICULAR PURPOSE. |
|
@SET_MAKE@ |
|
# Makefile.am for or1ksim testsuite CPU test program: fp |
|
# Copyright (C) Embecosm Limited, 2010 |
|
# Contributor Jeremy Bennett <jeremy.bennett@embecosm.com> |
|
# This file is part of OpenRISC 1000 Architectural Simulator. |
|
# This program is free software; you can redistribute it and/or modify it |
# under the terms of the GNU General Public License as published by the Free |
# Software Foundation; either version 3 of the License, or (at your option) |
# any later version. |
|
# This program is distributed in the hope that it will be useful, but WITHOUT |
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for |
# more details. |
|
# You should have received a copy of the GNU General Public License along |
# with this program. If not, see <http:#www.gnu.org/licenses/>. */ |
|
# ----------------------------------------------------------------------------- |
# This code is commented throughout for use with Doxygen. |
# ----------------------------------------------------------------------------- |
VPATH = @srcdir@ |
pkgdatadir = $(datadir)/@PACKAGE@ |
pkgincludedir = $(includedir)/@PACKAGE@ |
pkglibdir = $(libdir)/@PACKAGE@ |
pkglibexecdir = $(libexecdir)/@PACKAGE@ |
am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd |
install_sh_DATA = $(install_sh) -c -m 644 |
install_sh_PROGRAM = $(install_sh) -c |
install_sh_SCRIPT = $(install_sh) -c |
INSTALL_HEADER = $(INSTALL_DATA) |
transform = $(program_transform_name) |
NORMAL_INSTALL = : |
PRE_INSTALL = : |
POST_INSTALL = : |
NORMAL_UNINSTALL = : |
PRE_UNINSTALL = : |
POST_UNINSTALL = : |
build_triplet = @build@ |
host_triplet = @host@ |
check_PROGRAMS = fp$(EXEEXT) |
subdir = fp |
DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in |
ACLOCAL_M4 = $(top_srcdir)/aclocal.m4 |
am__aclocal_m4_deps = $(top_srcdir)/m4/libtool.m4 \ |
$(top_srcdir)/m4/ltoptions.m4 $(top_srcdir)/m4/ltsugar.m4 \ |
$(top_srcdir)/m4/ltversion.m4 $(top_srcdir)/m4/lt~obsolete.m4 \ |
$(top_srcdir)/configure.ac |
am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \ |
$(ACLOCAL_M4) |
mkinstalldirs = $(SHELL) $(top_srcdir)/../../mkinstalldirs |
CONFIG_HEADER = $(top_builddir)/config.h |
CONFIG_CLEAN_FILES = |
CONFIG_CLEAN_VPATH_FILES = |
am_fp_OBJECTS = fp.$(OBJEXT) |
fp_OBJECTS = $(am_fp_OBJECTS) |
fp_LDADD = $(LDADD) |
fp_LINK = $(LIBTOOL) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \ |
--mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(fp_LDFLAGS) \ |
$(LDFLAGS) -o $@ |
DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir) |
depcomp = $(SHELL) $(top_srcdir)/../../depcomp |
am__depfiles_maybe = depfiles |
am__mv = mv -f |
CPPASCOMPILE = $(CCAS) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \ |
$(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CCASFLAGS) $(CCASFLAGS) |
LTCPPASCOMPILE = $(LIBTOOL) $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \ |
--mode=compile $(CCAS) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \ |
$(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CCASFLAGS) $(CCASFLAGS) |
COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \ |
$(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) |
LTCOMPILE = $(LIBTOOL) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \ |
--mode=compile $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \ |
$(AM_CPPFLAGS) $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS) |
CCLD = $(CC) |
LINK = $(LIBTOOL) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \ |
--mode=link $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) \ |
$(LDFLAGS) -o $@ |
SOURCES = $(fp_SOURCES) |
DIST_SOURCES = $(fp_SOURCES) |
ETAGS = etags |
CTAGS = ctags |
DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST) |
ACLOCAL = @ACLOCAL@ |
AMTAR = @AMTAR@ |
AR = @AR@ |
AUTOCONF = @AUTOCONF@ |
AUTOHEADER = @AUTOHEADER@ |
AUTOMAKE = @AUTOMAKE@ |
AWK = @AWK@ |
CC = @CC@ |
CCAS = @CCAS@ |
CCASDEPMODE = @CCASDEPMODE@ |
CCASFLAGS = @CCASFLAGS@ |
CCDEPMODE = @CCDEPMODE@ |
CFLAGS = @CFLAGS@ |
CPP = @CPP@ |
CPPFLAGS = @CPPFLAGS@ |
CYGPATH_W = @CYGPATH_W@ |
DEFS = @DEFS@ |
DEPDIR = @DEPDIR@ |
DSYMUTIL = @DSYMUTIL@ |
DUMPBIN = @DUMPBIN@ |
ECHO_C = @ECHO_C@ |
ECHO_N = @ECHO_N@ |
ECHO_T = @ECHO_T@ |
EGREP = @EGREP@ |
EXEEXT = @EXEEXT@ |
FGREP = @FGREP@ |
GREP = @GREP@ |
INSTALL = @INSTALL@ |
INSTALL_DATA = @INSTALL_DATA@ |
INSTALL_PROGRAM = @INSTALL_PROGRAM@ |
INSTALL_SCRIPT = @INSTALL_SCRIPT@ |
INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@ |
LD = @LD@ |
LDFLAGS = @LDFLAGS@ |
LIBOBJS = @LIBOBJS@ |
LIBS = @LIBS@ |
LIBTOOL = @LIBTOOL@ |
LIPO = @LIPO@ |
LN_S = @LN_S@ |
LTLIBOBJS = @LTLIBOBJS@ |
MAKEINFO = @MAKEINFO@ |
MKDIR_P = @MKDIR_P@ |
NM = @NM@ |
NMEDIT = @NMEDIT@ |
OBJDUMP = @OBJDUMP@ |
OBJEXT = @OBJEXT@ |
OTOOL = @OTOOL@ |
OTOOL64 = @OTOOL64@ |
PACKAGE = @PACKAGE@ |
PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@ |
PACKAGE_NAME = @PACKAGE_NAME@ |
PACKAGE_STRING = @PACKAGE_STRING@ |
PACKAGE_TARNAME = @PACKAGE_TARNAME@ |
PACKAGE_VERSION = @PACKAGE_VERSION@ |
PATH_SEPARATOR = @PATH_SEPARATOR@ |
RANLIB = @RANLIB@ |
SED = @SED@ |
SET_MAKE = @SET_MAKE@ |
SHELL = @SHELL@ |
SIM = @SIM@ |
STRIP = @STRIP@ |
VERSION = @VERSION@ |
abs_builddir = @abs_builddir@ |
abs_srcdir = @abs_srcdir@ |
abs_top_builddir = @abs_top_builddir@ |
abs_top_srcdir = @abs_top_srcdir@ |
ac_ct_CC = @ac_ct_CC@ |
ac_ct_DUMPBIN = @ac_ct_DUMPBIN@ |
am__include = @am__include@ |
am__leading_dot = @am__leading_dot@ |
am__quote = @am__quote@ |
am__tar = @am__tar@ |
am__untar = @am__untar@ |
bindir = @bindir@ |
build = @build@ |
build_alias = @build_alias@ |
build_cpu = @build_cpu@ |
build_os = @build_os@ |
build_vendor = @build_vendor@ |
builddir = @builddir@ |
datadir = @datadir@ |
datarootdir = @datarootdir@ |
docdir = @docdir@ |
dvidir = @dvidir@ |
exec_prefix = @exec_prefix@ |
host = @host@ |
host_alias = @host_alias@ |
host_cpu = @host_cpu@ |
host_os = @host_os@ |
host_vendor = @host_vendor@ |
htmldir = @htmldir@ |
includedir = @includedir@ |
infodir = @infodir@ |
install_sh = @install_sh@ |
libdir = @libdir@ |
libexecdir = @libexecdir@ |
localedir = @localedir@ |
localstatedir = @localstatedir@ |
lt_ECHO = @lt_ECHO@ |
mandir = @mandir@ |
mkdir_p = @mkdir_p@ |
oldincludedir = @oldincludedir@ |
pdfdir = @pdfdir@ |
prefix = @prefix@ |
program_transform_name = @program_transform_name@ |
psdir = @psdir@ |
sbindir = @sbindir@ |
sharedstatedir = @sharedstatedir@ |
srcdir = @srcdir@ |
sysconfdir = @sysconfdir@ |
target_alias = @target_alias@ |
top_build_prefix = @top_build_prefix@ |
top_builddir = @top_builddir@ |
top_srcdir = @top_srcdir@ |
fp_SOURCES = fp.S |
fp_LDFLAGS = -T$(srcdir)/../default.ld |
all: all-am |
|
.SUFFIXES: |
.SUFFIXES: .S .lo .o .obj |
$(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps) |
@for dep in $?; do \ |
case '$(am__configure_deps)' in \ |
*$$dep*) \ |
( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \ |
&& { if test -f $@; then exit 0; else break; fi; }; \ |
exit 1;; \ |
esac; \ |
done; \ |
echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu fp/Makefile'; \ |
$(am__cd) $(top_srcdir) && \ |
$(AUTOMAKE) --gnu fp/Makefile |
.PRECIOUS: Makefile |
Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status |
@case '$?' in \ |
*config.status*) \ |
cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \ |
*) \ |
echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \ |
cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \ |
esac; |
|
$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES) |
cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh |
|
$(top_srcdir)/configure: $(am__configure_deps) |
cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh |
$(ACLOCAL_M4): $(am__aclocal_m4_deps) |
cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh |
$(am__aclocal_m4_deps): |
|
clean-checkPROGRAMS: |
@list='$(check_PROGRAMS)'; test -n "$$list" || exit 0; \ |
echo " rm -f" $$list; \ |
rm -f $$list || exit $$?; \ |
test -n "$(EXEEXT)" || exit 0; \ |
list=`for p in $$list; do echo "$$p"; done | sed 's/$(EXEEXT)$$//'`; \ |
echo " rm -f" $$list; \ |
rm -f $$list |
fp$(EXEEXT): $(fp_OBJECTS) $(fp_DEPENDENCIES) |
@rm -f fp$(EXEEXT) |
$(fp_LINK) $(fp_OBJECTS) $(fp_LDADD) $(LIBS) |
|
mostlyclean-compile: |
-rm -f *.$(OBJEXT) |
|
distclean-compile: |
-rm -f *.tab.c |
|
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/fp.Po@am__quote@ |
|
.S.o: |
@am__fastdepCCAS_TRUE@ $(CPPASCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $< |
@am__fastdepCCAS_TRUE@ $(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po |
@AMDEP_TRUE@@am__fastdepCCAS_FALSE@ source='$<' object='$@' libtool=no @AMDEPBACKSLASH@ |
@AMDEP_TRUE@@am__fastdepCCAS_FALSE@ DEPDIR=$(DEPDIR) $(CCASDEPMODE) $(depcomp) @AMDEPBACKSLASH@ |
@am__fastdepCCAS_FALSE@ $(CPPASCOMPILE) -c -o $@ $< |
|
.S.obj: |
@am__fastdepCCAS_TRUE@ $(CPPASCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ `$(CYGPATH_W) '$<'` |
@am__fastdepCCAS_TRUE@ $(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po |
@AMDEP_TRUE@@am__fastdepCCAS_FALSE@ source='$<' object='$@' libtool=no @AMDEPBACKSLASH@ |
@AMDEP_TRUE@@am__fastdepCCAS_FALSE@ DEPDIR=$(DEPDIR) $(CCASDEPMODE) $(depcomp) @AMDEPBACKSLASH@ |
@am__fastdepCCAS_FALSE@ $(CPPASCOMPILE) -c -o $@ `$(CYGPATH_W) '$<'` |
|
.S.lo: |
@am__fastdepCCAS_TRUE@ $(LTCPPASCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $< |
@am__fastdepCCAS_TRUE@ $(am__mv) $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Plo |
@AMDEP_TRUE@@am__fastdepCCAS_FALSE@ source='$<' object='$@' libtool=yes @AMDEPBACKSLASH@ |
@AMDEP_TRUE@@am__fastdepCCAS_FALSE@ DEPDIR=$(DEPDIR) $(CCASDEPMODE) $(depcomp) @AMDEPBACKSLASH@ |
@am__fastdepCCAS_FALSE@ $(LTCPPASCOMPILE) -c -o $@ $< |
|
mostlyclean-libtool: |
-rm -f *.lo |
|
clean-libtool: |
-rm -rf .libs _libs |
|
ID: $(HEADERS) $(SOURCES) $(LISP) $(TAGS_FILES) |
list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \ |
unique=`for i in $$list; do \ |
if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \ |
done | \ |
$(AWK) '{ files[$$0] = 1; nonempty = 1; } \ |
END { if (nonempty) { for (i in files) print i; }; }'`; \ |
mkid -fID $$unique |
tags: TAGS |
|
TAGS: $(HEADERS) $(SOURCES) $(TAGS_DEPENDENCIES) \ |
$(TAGS_FILES) $(LISP) |
set x; \ |
here=`pwd`; \ |
list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \ |
unique=`for i in $$list; do \ |
if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \ |
done | \ |
$(AWK) '{ files[$$0] = 1; nonempty = 1; } \ |
END { if (nonempty) { for (i in files) print i; }; }'`; \ |
shift; \ |
if test -z "$(ETAGS_ARGS)$$*$$unique"; then :; else \ |
test -n "$$unique" || unique=$$empty_fix; \ |
if test $$# -gt 0; then \ |
$(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \ |
"$$@" $$unique; \ |
else \ |
$(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \ |
$$unique; \ |
fi; \ |
fi |
ctags: CTAGS |
CTAGS: $(HEADERS) $(SOURCES) $(TAGS_DEPENDENCIES) \ |
$(TAGS_FILES) $(LISP) |
list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \ |
unique=`for i in $$list; do \ |
if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \ |
done | \ |
$(AWK) '{ files[$$0] = 1; nonempty = 1; } \ |
END { if (nonempty) { for (i in files) print i; }; }'`; \ |
test -z "$(CTAGS_ARGS)$$unique" \ |
|| $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \ |
$$unique |
|
GTAGS: |
here=`$(am__cd) $(top_builddir) && pwd` \ |
&& $(am__cd) $(top_srcdir) \ |
&& gtags -i $(GTAGS_ARGS) "$$here" |
|
distclean-tags: |
-rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags |
|
distdir: $(DISTFILES) |
@srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \ |
topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \ |
list='$(DISTFILES)'; \ |
dist_files=`for file in $$list; do echo $$file; done | \ |
sed -e "s|^$$srcdirstrip/||;t" \ |
-e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \ |
case $$dist_files in \ |
*/*) $(MKDIR_P) `echo "$$dist_files" | \ |
sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \ |
sort -u` ;; \ |
esac; \ |
for file in $$dist_files; do \ |
if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \ |
if test -d $$d/$$file; then \ |
dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \ |
if test -d "$(distdir)/$$file"; then \ |
find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \ |
fi; \ |
if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \ |
cp -fpR $(srcdir)/$$file "$(distdir)$$dir" || exit 1; \ |
find "$(distdir)/$$file" -type d ! -perm -700 -exec chmod u+rwx {} \;; \ |
fi; \ |
cp -fpR $$d/$$file "$(distdir)$$dir" || exit 1; \ |
else \ |
test -f "$(distdir)/$$file" \ |
|| cp -p $$d/$$file "$(distdir)/$$file" \ |
|| exit 1; \ |
fi; \ |
done |
check-am: all-am |
$(MAKE) $(AM_MAKEFLAGS) $(check_PROGRAMS) |
check: check-am |
all-am: Makefile |
installdirs: |
install: install-am |
install-exec: install-exec-am |
install-data: install-data-am |
uninstall: uninstall-am |
|
install-am: all-am |
@$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am |
|
installcheck: installcheck-am |
install-strip: |
$(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \ |
install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \ |
`test -z '$(STRIP)' || \ |
echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install |
mostlyclean-generic: |
|
clean-generic: |
|
distclean-generic: |
-test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES) |
-test . = "$(srcdir)" || test -z "$(CONFIG_CLEAN_VPATH_FILES)" || rm -f $(CONFIG_CLEAN_VPATH_FILES) |
|
maintainer-clean-generic: |
@echo "This command is intended for maintainers to use" |
@echo "it deletes files that may require special tools to rebuild." |
clean: clean-am |
|
clean-am: clean-checkPROGRAMS clean-generic clean-libtool \ |
mostlyclean-am |
|
distclean: distclean-am |
-rm -rf ./$(DEPDIR) |
-rm -f Makefile |
distclean-am: clean-am distclean-compile distclean-generic \ |
distclean-tags |
|
dvi: dvi-am |
|
dvi-am: |
|
html: html-am |
|
html-am: |
|
info: info-am |
|
info-am: |
|
install-data-am: |
|
install-dvi: install-dvi-am |
|
install-dvi-am: |
|
install-exec-am: |
|
install-html: install-html-am |
|
install-html-am: |
|
install-info: install-info-am |
|
install-info-am: |
|
install-man: |
|
install-pdf: install-pdf-am |
|
install-pdf-am: |
|
install-ps: install-ps-am |
|
install-ps-am: |
|
installcheck-am: |
|
maintainer-clean: maintainer-clean-am |
-rm -rf ./$(DEPDIR) |
-rm -f Makefile |
maintainer-clean-am: distclean-am maintainer-clean-generic |
|
mostlyclean: mostlyclean-am |
|
mostlyclean-am: mostlyclean-compile mostlyclean-generic \ |
mostlyclean-libtool |
|
pdf: pdf-am |
|
pdf-am: |
|
ps: ps-am |
|
ps-am: |
|
uninstall-am: |
|
.MAKE: check-am install-am install-strip |
|
.PHONY: CTAGS GTAGS all all-am check check-am clean \ |
clean-checkPROGRAMS clean-generic clean-libtool ctags \ |
distclean distclean-compile distclean-generic \ |
distclean-libtool distclean-tags distdir dvi dvi-am html \ |
html-am info info-am install install-am install-data \ |
install-data-am install-dvi install-dvi-am install-exec \ |
install-exec-am install-html install-html-am install-info \ |
install-info-am install-man install-pdf install-pdf-am \ |
install-ps install-ps-am install-strip installcheck \ |
installcheck-am installdirs maintainer-clean \ |
maintainer-clean-generic mostlyclean mostlyclean-compile \ |
mostlyclean-generic mostlyclean-libtool pdf pdf-am ps ps-am \ |
tags uninstall uninstall-am |
|
|
# Tell versions [3.59,3.63) of GNU make to not export all variables. |
# Otherwise a system limit (for SysV at least) may be exceeded. |
.NOEXPORT: |
/fp.S
0,0 → 1,2438
/* fp.S. Floating point instruction set test of Or1ksim |
|
Copyright (C) 1999-2006 OpenCores |
Copyright (C) 2010 Embecosm Limited |
|
Contributors various OpenCores participants |
Contributor Jeremy Bennett <jeremy.bennett@embecosm.com> |
|
This file is part of OpenRISC 1000 Architectural Simulator. |
|
This program is free software; you can redistribute it and/or modify it |
under the terms of the GNU General Public License as published by the Free |
Software Foundation; either version 3 of the License, or (at your option) |
any later version. |
|
This program is distributed in the hope that it will be useful, but WITHOUT |
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for |
more details. |
|
You should have received a copy of the GNU General Public License along |
with this program. If not, see <http: www.gnu.org/licenses/>. */ |
|
|
/* ---------------------------------------------------------------------------- |
* Test coverage |
* |
* At present the tests are only reasonably comprehensive for lf.add.s and |
* lf.div.s. This is intended as a template for future work, and still has |
* omissions even so. |
* |
* Basic tests are provided for all single precision floating point |
* numbers. Since Or1ksim translates these operations into host FP, there is |
* little point in testing more of the subtleties of IEEE 745. |
* |
* However in future this test could be used with OpenRISC hardware, in which |
* case exhaustive testing would be essential. |
* ------------------------------------------------------------------------- */ |
|
|
#include "spr-defs.h" |
#include "board.h" |
|
/* ---------------------------------------------------------------------------- |
* Coding conventions |
* |
* A simple rising stack is provided to starting at _stack and pointed to by |
* r1. r1 points to the next free word. Only 32-bit registers may be pushed |
* onto the stack. |
* |
* Temporary labels up to 49 are reserved for macros and subroutines. Each is |
* used only once in any macro or subroutine. You can get in a serious mess if |
* you get local label clashing in macros. |
* |
* Arguments to functions are passed in r3 through r8. |
* r9 is the link (return address) |
* r11 is for returning results |
* r2 through r11 are not preserved across calls. All other registers are. |
* ------------------------------------------------------------------------- */ |
|
|
/* ---------------------------------------------------------------------------- |
* Memory controller constants |
* ------------------------------------------------------------------------- */ |
|
#define MEM_RAM 0x00000000 |
|
#define MC_CSR (0x00) |
#define MC_POC (0x04) |
#define MC_BA_MASK (0x08) |
#define MC_CSC(i) (0x10 + (i) * 8) |
#define MC_TMS(i) (0x14 + (i) * 8) |
|
/* ---------------------------------------------------------------------------- |
* Floating point constants (IEEE 754) |
* |
* For the record, the single precision format has 1 sign bit, 8 exponent bits |
* and 23 fraction bits. |
* |
* seeeeeeeefffffffffffffffffffffff |
* |
* The exponent is biased by 2^7 - 1 (i.e 127 is subtracted from the value to |
* give the actual exponent). Normalized numbers have a non-zero exponent (up |
* to 2^8 - 2) and an implicit 1 before the fraction. Thus the value |
* represented is |
* |
* (-1)^s * 1.fffffffffffffffffffffff * 2^(eeeeeeee - (2^7 - 1)) |
* |
* Special values used are: |
* |
* Zeroes Exponent is zero, fraction also zero |
* Denormalized numbers Exponent is zero, fraction non-zero |
* Infinities Exponent is 2^8 - 1, fraction is zero |
* NaNs Exponent is 2^8 - 1, fraction is non-zero |
* |
* The top bit of the fraction in a NaN is often used to indicate the type of |
* NaN. If 1, it is a "quiet" NaN, if 0 it is a "signalling" NaN. Quiet NaN's |
* are generally propagated for FP errors. Signalling NaN's can be used for |
* more unusual purposes |
* |
* In general any other bits of the NaN fraction are just propagated unchanged. |
* ------------------------------------------------------------------------- */ |
|
#define FP_S_P_ZERO (0x00000000) /* Positive zero */ |
#define FP_S_N_ZERO (0x80000000) /* Positive zero */ |
#define FP_S_P_INF (0x7f800000) /* Positive infinity */ |
#define FP_S_N_INF (0xff800000) /* Negative infinity */ |
#define FP_S_P_NAN (0x7fc00000) /* Positive qNaN */ |
#define FP_S_N_NAN (0xffc00000) /* Negative qNaN */ |
|
/* Some NaNs without all fraction bits set (permitted under IEEE 754) */ |
#define FP_S_P_NAN_B (0x7f800001) /* Positive NaN, not all 1s in frac */ |
#define FP_S_N_NAN_B (0xff800001) /* Negative NaN, not all 1s in frac */ |
|
/* Some single precision normalized numbers */ |
#define FP_S_0_5 (0x3f000000) /* +0.5 */ |
#define FP_S_ONE (0x3f800000) /* +1.0 */ |
#define FP_S_1_5 (0x3fc00000) /* +1.5 */ |
#define FP_S_TWO (0x40000000) /* +2.0 */ |
#define FP_S_THREE (0x40400000) /* +3.0 */ |
#define FP_S_HUGE1 (0x7e800000) /* +1.0 * 2^+126 */ |
#define FP_S_HUGE2 (0x7f000000) /* +1.0 * 2^+127 */ |
#define FP_S_N_0_5 (0xbf000000) /* -0.5 */ |
#define FP_S_N_ONE (0xbf800000) /* -1.0 */ |
#define FP_S_N_1_5 (0xbfc00000) /* -1.5 */ |
#define FP_S_N_TWO (0xc0000000) /* -2.0 */ |
#define FP_S_N_THREE (0xc0400000) /* -3.0 */ |
#define FP_S_N_HUGE1 (0xfe800000) /* -1.0 * 2^+126 */ |
#define FP_S_N_HUGE2 (0xff000000) /* -1.0 * 2^+127 */ |
|
/* Some denormalized numbers */ |
#define FP_S_SMALL1 (0x00200000) /* +1.0 * 2^-129 */ |
#define FP_S_SMALL2 (0x00400000) /* +1.0 * 2^-128 */ |
#define FP_S_N_SMALL1 (0x80200000) /* -1.0 * 2^-129 */ |
#define FP_S_N_SMALL2 (0x80400000) /* -1.0 * 2^-128 */ |
|
/* Indicator of completion */ |
#define ALL_DONE (0xdeaddead) |
|
/* Logical values */ |
#define TRUE 1 |
#define FALSE 0 |
|
|
/* ---------------------------------------------------------------------------- |
* Macro to push a register onto the stack |
* |
* r1 points to the next free slot. Push the supplied register on, then |
* advance the stack pointer. |
* |
* Arguments: |
* reg The register to push |
* |
* Registers modified |
* r1 |
* ------------------------------------------------------------------------- */ |
#define PUSH(reg) \ |
l.sw 0(r1),reg /* Push */ ;\ |
l.addi r1,r1,4 /* Advance the stack */ |
|
/* ---------------------------------------------------------------------------- |
* Macro to pop a register off the stack |
* |
* r1 points to the next free slot. Decrement the stack pointer, then pop the |
* requested register. |
* |
* Arguments: |
* reg The register to pop |
* |
* Registers modified |
* r1 |
* ------------------------------------------------------------------------- */ |
#define POP(reg) \ |
l.addi r1,r1,-4 /* Decrement the stack */ ;\ |
l.lws reg,0(r1) /* Pop */ |
|
/* ---------------------------------------------------------------------------- |
* Macro to load a 32-bit constant into a register |
* |
* Arguments: |
* reg The register to load |
* val The value to load |
* |
* ------------------------------------------------------------------------- */ |
#define LOAD_CONST(reg,val) \ |
l.movhi reg,hi(val) ;\ |
l.ori reg,reg,lo(val) |
|
/* ---------------------------------------------------------------------------- |
* Macro to define and load a pointer to a string |
* |
* Arguments: |
* reg The register to load |
* str The string |
* |
* ------------------------------------------------------------------------- */ |
#define LOAD_STR(reg,str) \ |
.section .rodata ;\ |
1: ;\ |
.string str ;\ |
;\ |
.section .text ;\ |
l.movhi reg,hi(1b) ;\ |
l.ori reg,reg,lo(1b) |
|
/* ---------------------------------------------------------------------------- |
* Macro to print a character |
* |
* Arguments: |
* c The character to print |
* ------------------------------------------------------------------------- */ |
#define PUTC(c) \ |
l.addi r3,r0,c ;\ |
l.nop NOP_PUTC |
|
/* ---------------------------------------------------------------------------- |
* Macro for recording the result of a test |
* |
* The test result is in r4. Print out the name of test indented two spaces, |
* followed by ": ", either "OK" or "Failed" and a newline. |
* |
* Arguments: |
* str Textual name of the test |
* reg The result to test (not r2) |
* val Desired result of the test |
* ------------------------------------------------------------------------- */ |
#define CHECK_RES(str,reg,val) \ |
.section .rodata ;\ |
2: ;\ |
.string str ;\ |
;\ |
.section .text ;\ |
PUSH (reg) /* Save the register to test */ ;\ |
;\ |
LOAD_CONST (r3,2b) /* Print out the string */ ;\ |
l.jal _ptest ;\ |
l.nop ;\ |
;\ |
LOAD_CONST(r2,val) /* The desired result */ ;\ |
POP (reg) /* The register to test */ ;\ |
PUSH (reg) /* May need again later */ ;\ |
l.sfeq r2,reg /* Does the result match? */ ;\ |
l.bf 3f ;\ |
l.nop ;\ |
;\ |
l.jal _pfail /* Test failed */ ;\ |
l.nop ;\ |
POP (reg) /* Report the register */ ;\ |
l.add r3,r0,reg ;\ |
l.j 4f ;\ |
l.nop NOP_REPORT ;\ |
3: ;\ |
POP (reg) /* Discard the register */ ;\ |
l.jal _pok /* Test succeeded */ ;\ |
l.nop ;\ |
4: |
|
/* ---------------------------------------------------------------------------- |
* Macro for recording the result of a comparison |
* |
* If the flag is set print the string argument indented by 2 spaces, followed |
* by "TRUE" and a newline, otherwise print the string argument indented by |
* two spaces, followed by "FALSE" and a newline. |
* |
* Arguments: |
* str Textual name of the test |
* res Expected result (TRUE or FALSE) |
* ------------------------------------------------------------------------- */ |
#define CHECK_FLAG(str,res) \ |
.section .rodata ;\ |
5: ;\ |
.string str ;\ |
;\ |
.section .text ;\ |
l.bnf 7f /* Branch if result FALSE */ ;\ |
;\ |
/* Branch for TRUE result */ ;\ |
LOAD_CONST (r3,5b) /* The string to print */ ;\ |
l.jal _ptest ;\ |
l.nop ;\ |
;\ |
l.addi r2,r0,TRUE /* Was it expected? */ ;\ |
l.addi r3,r0,res ;\ |
l.sfeq r2,r3 ;\ |
l.bnf 6f /* Branch if not expected */ ;\ |
;\ |
/* Sub-branch for TRUE found and expected */ ;\ |
l.jal _ptrue ;\ |
l.nop ;\ |
PUTC ('\n') ;\ |
l.j 9f ;\ |
l.nop ;\ |
6: ;\ |
/* Sub-branch for TRUE found and not expected */ ;\ |
l.jal _ptrue ;\ |
l.nop ;\ |
l.jal _punexpected ;\ |
l.nop ;\ |
l.j 9f ;\ |
l.nop ;\ |
;\ |
7: ;\ |
/* Branch for FALSE result */ ;\ |
LOAD_CONST (r3,5b) /* The string to print */ ;\ |
l.jal _ptest ;\ |
l.nop ;\ |
;\ |
l.addi r2,r0,FALSE /* Was it expected? */ ;\ |
l.addi r3,r0,res ;\ |
l.sfeq r2,r3 ;\ |
l.bnf 8f /* Branch if not expected */ ;\ |
;\ |
/* Sub-branch for FALSE found and expected */ ;\ |
l.jal _pfalse ;\ |
l.nop ;\ |
PUTC ('\n') ;\ |
l.j 9f ;\ |
l.nop ;\ |
8: ;\ |
/* Sub-branch for FALSE found and not expected */ ;\ |
l.jal _pfalse ;\ |
l.nop ;\ |
l.jal _punexpected ;\ |
l.nop ;\ |
9: |
|
/* ---------------------------------------------------------------------------- |
* Simple stack, will be pointed to by r1, which is the next empty slot |
* ------------------------------------------------------------------------- */ |
.section .data |
.balign 4 |
.global _stack |
_stack: |
.space 0x1000,0x0 |
|
/* ---------------------------------------------------------------------------- |
* reset exception |
* ------------------------------------------------------------------------- */ |
.section .except, "ax" |
l.addi r1,r0,0 |
|
.section .text |
.org 0x100 |
_reset: |
l.movhi r1,hi(_stack) /* Set up the stack */ |
l.ori r1,r1,lo(_stack) |
|
l.movhi r3,hi(_init_mc) /* Code starts with MC setup */ |
l.ori r3,r3,lo(_init_mc) |
l.jr r3 |
l.nop |
|
/* ---------------------------------------------------------------------------- |
* Subroutine to print out a string |
* |
* The string is followed by a newline |
* |
* Parameters: |
* r3 Pointer to the string to print |
* ------------------------------------------------------------------------- */ |
_puts: |
l.add r2,r0,r3 /* Copy the string pointer */ |
|
/* Loop getting and printing each char until end of string */ |
10: |
l.lbz r3,0(r2) |
l.sfeq r3,r0 /* NULL termination? */ |
l.bf 11f |
|
l.addi r2,r2,1 /* Delay slot, move to next char */ |
l.j 10b /* Repeat */ |
l.nop NOP_PUTC /* Delay slot */ |
|
11: |
l.jr r9 /* Return */ |
l.nop |
|
/* ---------------------------------------------------------------------------- |
* Subroutine to print out a test name prompt |
* |
* The string is preceded by two spaces |
* |
* Parameters: |
* r3 Pointer to the test name to print |
* ------------------------------------------------------------------------- */ |
_ptest: |
PUSH(r9) /* Save the return address */ |
PUSH(r3) /* Save the test name for later */ |
|
LOAD_STR(r3, " ") /* Prefix */ |
l.jal _puts |
l.nop |
|
POP(r3) /* Test name */ |
l.jal _puts |
l.nop |
|
POP (r9) |
l.jr r9 |
|
|
/* ---------------------------------------------------------------------------- |
* Subroutine to print out "OK" |
* |
* The string is followed by a newline |
* ------------------------------------------------------------------------- */ |
_pok: |
PUSH(r9) /* Save the return address */ |
|
LOAD_STR(r3, "OK\n") |
l.jal _puts |
l.nop |
|
POP (r9) |
l.jr r9 |
|
|
/* ---------------------------------------------------------------------------- |
* Subroutine to print out "Failed" |
* |
* The string is followed by a ": ", which will then allow a report |
* ------------------------------------------------------------------------- */ |
_pfail: |
PUSH(r9) /* Save the return address */ |
|
LOAD_STR(r3, "Failed: ") |
l.jal _puts |
l.nop |
|
POP (r9) |
l.jr r9 |
|
/* ---------------------------------------------------------------------------- |
* Subroutine to print out "TRUE" |
* ------------------------------------------------------------------------- */ |
_ptrue: |
PUSH(r9) /* Save the return address */ |
|
LOAD_STR(r3, "TRUE") |
l.jal _puts |
l.nop |
|
POP (r9) |
l.jr r9 |
|
|
/* ---------------------------------------------------------------------------- |
* Subroutine to print out "FALSE" |
* ------------------------------------------------------------------------- */ |
_pfalse: |
PUSH(r9) /* Save the return address */ |
|
LOAD_STR(r3, "FALSE") |
l.jal _puts |
l.nop |
|
POP (r9) |
l.jr r9 |
|
/* ---------------------------------------------------------------------------- |
* Subroutine to print out "unexpected" |
* |
* Preceded by a space and followed by a newline |
* ------------------------------------------------------------------------- */ |
_punexpected: |
PUSH(r9) /* Save the return address */ |
|
LOAD_STR(r3, " unexpected\n") |
l.jal _puts |
l.nop |
|
POP (r9) |
l.jr r9 |
|
/* ---------------------------------------------------------------------------- |
* Memory controller initialization initialization |
* ------------------------------------------------------------------------- */ |
_init_mc: |
|
l.movhi r3,hi(MC_BASE_ADDR) |
l.ori r3,r3,lo(MC_BASE_ADDR) |
|
l.addi r4,r3,MC_CSC(0) |
l.movhi r5,hi(FLASH_BASE_ADDR) |
l.srai r5,r5,6 |
l.ori r5,r5,0x0025 |
l.sw 0(r4),r5 |
|
l.addi r4,r3,MC_TMS(0) |
l.movhi r5,hi(FLASH_TMS_VAL) |
l.ori r5,r5,lo(FLASH_TMS_VAL) |
l.sw 0(r4),r5 |
|
l.addi r4,r3,MC_BA_MASK |
l.addi r5,r0,MC_MASK_VAL |
l.sw 0(r4),r5 |
|
l.addi r4,r3,MC_CSR |
l.movhi r5,hi(MC_CSR_VAL) |
l.ori r5,r5,lo(MC_CSR_VAL) |
l.sw 0(r4),r5 |
|
l.addi r4,r3,MC_TMS(1) |
l.movhi r5,hi(SDRAM_TMS_VAL) |
l.ori r5,r5,lo(SDRAM_TMS_VAL) |
l.sw 0(r4),r5 |
|
l.addi r4,r3,MC_CSC(1) |
l.movhi r5,hi(SDRAM_BASE_ADDR) |
l.srai r5,r5,6 |
l.ori r5,r5,0x0411 |
l.sw 0(r4),r5 |
|
/* ---------------------------------------------------------------------------- |
* Test of single precision add: lf.add.s |
* ------------------------------------------------------------------------- */ |
.section .text |
_add_s: |
LOAD_STR (r3, "lf.add.s\n") |
l.jal _puts |
l.nop |
|
/* Simple integer addition */ |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_ZERO) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 1.0 + 0.0 = 1.0: ", r4, FP_S_ONE) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_N_ZERO) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 1.0 + -0.0 = 1.0: ", r4, FP_S_ONE) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_ONE) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 1.0 + 1.0 = 2.0: ", r4, FP_S_TWO) |
|
LOAD_CONST (r5,FP_S_TWO) |
LOAD_CONST (r6,FP_S_ONE) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 2.0 + 1.0 = 3.0: ", r4, FP_S_THREE) |
|
/* Fractional addition */ |
LOAD_CONST (r5,FP_S_1_5) |
LOAD_CONST (r6,FP_S_1_5) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 1.5 + 1.5 = 3.0: ", r4, FP_S_THREE) |
|
/* Addition with negative numbers */ |
LOAD_CONST (r5,FP_S_TWO) |
LOAD_CONST (r6,FP_S_N_ONE) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 2.0 + -1.0 = 1.0: ", r4, FP_S_ONE) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_N_TWO) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 1.0 + -2.0 = -1.0: ", r4, FP_S_N_ONE) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_N_ONE) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 1.0 + -1.0 = +0.0: ", r4, FP_S_P_ZERO) |
|
/* Addition with infinities */ |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_INF) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 1.0 + +inf = +inf: ", r4, FP_S_P_INF) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_N_INF) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 1.0 + -inf = -inf: ", r4, FP_S_N_INF) |
|
LOAD_CONST (r5,FP_S_P_INF) |
LOAD_CONST (r6,FP_S_P_INF) |
lf.add.s r4,r5,r6 |
CHECK_RES ("+inf + +inf = +inf: ", r4, FP_S_P_INF) |
|
LOAD_CONST (r5,FP_S_P_INF) |
LOAD_CONST (r6,FP_S_N_INF) |
lf.add.s r4,r5,r6 |
CHECK_RES ("+inf + -inf = -NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_N_INF) |
LOAD_CONST (r6,FP_S_N_INF) |
lf.add.s r4,r5,r6 |
CHECK_RES ("-inf + -inf = -inf: ", r4, FP_S_N_INF) |
|
/* Addition with NaNs */ |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_NAN) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 1.0 + +NaN = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_N_NAN) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 1.0 + -NaN = -NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_P_NAN) |
LOAD_CONST (r6,FP_S_P_NAN) |
lf.add.s r4,r5,r6 |
CHECK_RES ("+NaN + +NaN = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r5,FP_S_P_NAN) |
LOAD_CONST (r6,FP_S_N_NAN) |
lf.add.s r4,r5,r6 |
CHECK_RES ("+NaN + -NaN = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r5,FP_S_N_NAN) |
LOAD_CONST (r6,FP_S_N_NAN) |
lf.add.s r4,r5,r6 |
CHECK_RES ("-NaN + -NaN = -NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_NAN_B) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 1.0 + +sNaN = +qNaN: ", r4, 0x7fc00001) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_N_NAN_B) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 1.0 + -sNaN = -qNaN: ", r4, 0xffc00001) |
|
/* Addition with overflow */ |
LOAD_CONST (r5,FP_S_HUGE2) |
LOAD_CONST (r6,FP_S_HUGE2) |
lf.add.s r4,r5,r6 |
CHECK_RES (" 1.0 * 2^127 + 1.0 * 2^127 = +inf: ", r4, FP_S_P_INF) |
|
LOAD_CONST (r5,FP_S_N_HUGE2) |
LOAD_CONST (r6,FP_S_N_HUGE2) |
lf.add.s r4,r5,r6 |
CHECK_RES ("-1.0 * 2^127 + -1.0 * 2^127 = -inf: ", r4, FP_S_N_INF) |
|
/* ---------------------------------------------------------------------------- |
* Test of single precision custom instruction: lf.cust1.s |
* ------------------------------------------------------------------------- */ |
_cust1_s: |
LOAD_STR (r3, "lf.cust1.s\n") |
l.jal _puts |
l.nop |
|
/* Just test that the instruction does nothing */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_TWO) |
lf.cust1.s r4,r5 /* Should do nothing */ |
CHECK_RES ("l.cust1: ", r4, FP_S_ONE) |
|
/* ---------------------------------------------------------------------------- |
* Test of single precision divide instruction: lf.div.s |
* ------------------------------------------------------------------------- */ |
_div_s: |
LOAD_STR (r3, "lf.div.s\n") |
l.jal _puts |
l.nop |
|
/* Tests of integer division */ |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_ONE) |
lf.div.s r4,r5,r6 |
CHECK_RES (" 1.0 / 1.0 = 1.0: ", r4, FP_S_ONE) |
|
LOAD_CONST (r5,FP_S_TWO) |
LOAD_CONST (r6,FP_S_ONE) |
lf.div.s r4,r5,r6 |
CHECK_RES (" 2.0 / 1.0 = 2.0: ", r4, FP_S_TWO) |
|
/* Test division with fractional result */ |
LOAD_CONST (r5,FP_S_THREE) |
LOAD_CONST (r6,FP_S_TWO) |
lf.div.s r4,r5,r6 |
CHECK_RES (" 3.0 / 2.0 = 1.5: ", r4, FP_S_1_5) |
|
/* Test division of zero */ |
LOAD_CONST (r5,FP_S_P_ZERO) |
LOAD_CONST (r6,FP_S_ONE) |
lf.div.s r4,r5,r6 |
CHECK_RES ("+0.0 / 1.0 = +0.0: ", r4, FP_S_P_ZERO) |
|
LOAD_CONST (r5,FP_S_N_ZERO) |
LOAD_CONST (r6,FP_S_ONE) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-0.0 / 1.0 = -0.0: ", r4, FP_S_N_ZERO) |
|
/* Test signed division */ |
LOAD_CONST (r5,FP_S_N_THREE) |
LOAD_CONST (r6,FP_S_TWO) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-3.0 / 2.0 = -1.5: ", r4, FP_S_N_1_5) |
|
LOAD_CONST (r5,FP_S_THREE) |
LOAD_CONST (r6,FP_S_N_TWO) |
lf.div.s r4,r5,r6 |
CHECK_RES (" 3.0 / -2.0 = -1.5: ", r4, FP_S_N_1_5) |
|
LOAD_CONST (r5,FP_S_N_THREE) |
LOAD_CONST (r6,FP_S_N_TWO) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-3.0 / -2.0 = -1.5: ", r4, FP_S_1_5) |
|
/* Division by zero */ |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_ZERO) |
lf.div.s r4,r5,r6 |
CHECK_RES (" 1.0 / +0.0 = +inf: ", r4, FP_S_P_INF) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_ZERO) |
lf.div.s r4,r5,r6 |
CHECK_RES (" 1.0 / -0.0 = +inf: ", r4, FP_S_P_INF) |
|
LOAD_CONST (r5,FP_S_N_ONE) |
LOAD_CONST (r6,FP_S_P_ZERO) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-1.0 / +0.0 = -inf: ", r4, FP_S_N_INF) |
|
LOAD_CONST (r5,FP_S_N_ONE) |
LOAD_CONST (r6,FP_S_P_ZERO) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-1.0 / -0.0 = -inf: ", r4, FP_S_N_INF) |
|
/* Division with infinities */ |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_INF) |
lf.div.s r4,r5,r6 |
CHECK_RES (" 1.0 / +inf = +0.0: ", r4, FP_S_P_ZERO) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_N_INF) |
lf.div.s r4,r5,r6 |
CHECK_RES (" 1.0 / -inf = -0.0: ", r4, FP_S_N_ZERO) |
|
LOAD_CONST (r5,FP_S_N_ONE) |
LOAD_CONST (r6,FP_S_P_INF) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-1.0 / +inf = -0.0: ", r4, FP_S_N_ZERO) |
|
LOAD_CONST (r5,FP_S_N_ONE) |
LOAD_CONST (r6,FP_S_N_INF) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-1.0 / -inf = +0.0: ", r4, FP_S_P_ZERO) |
|
LOAD_CONST (r5,FP_S_P_INF) |
LOAD_CONST (r6,FP_S_ONE) |
lf.div.s r4,r5,r6 |
CHECK_RES ("+inf / 1.0 = +inf: ", r4, FP_S_P_INF) |
|
LOAD_CONST (r5,FP_S_N_INF) |
LOAD_CONST (r6,FP_S_ONE) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-inf / 1.0 = -inf: ", r4, FP_S_N_INF) |
|
LOAD_CONST (r5,FP_S_P_INF) |
LOAD_CONST (r6,FP_S_N_ONE) |
lf.div.s r4,r5,r6 |
CHECK_RES ("+inf / -1.0 = -inf: ", r4, FP_S_N_INF) |
|
LOAD_CONST (r5,FP_S_N_INF) |
LOAD_CONST (r6,FP_S_N_ONE) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-inf / -1.0 = +inf: ", r4, FP_S_P_INF) |
|
LOAD_CONST (r5,FP_S_P_INF) |
LOAD_CONST (r6,FP_S_P_INF) |
lf.div.s r4,r5,r6 |
CHECK_RES ("+inf / +inf = -NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_P_INF) |
LOAD_CONST (r6,FP_S_N_INF) |
lf.div.s r4,r5,r6 |
CHECK_RES ("+inf / -inf = -NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_N_INF) |
LOAD_CONST (r6,FP_S_P_INF) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-inf / +inf = -NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_N_INF) |
LOAD_CONST (r6,FP_S_N_INF) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-inf / -inf = -NaN: ", r4, FP_S_N_NAN) |
|
/* Division with NaNs */ |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_NAN) |
lf.div.s r4,r5,r6 |
CHECK_RES (" 1.0 / +NaN = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_N_NAN) |
lf.div.s r4,r5,r6 |
CHECK_RES (" 1.0 / -NaN = -NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_N_ONE) |
LOAD_CONST (r6,FP_S_P_NAN) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-1.0 / +NaN = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r5,FP_S_N_ONE) |
LOAD_CONST (r6,FP_S_N_NAN) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-1.0 / -NaN = 1NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_P_NAN) |
LOAD_CONST (r6,FP_S_ONE) |
lf.div.s r4,r5,r6 |
CHECK_RES ("+NaN / 1.0 = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r5,FP_S_N_NAN) |
LOAD_CONST (r6,FP_S_ONE) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-NaN / 1.0 = -NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_P_NAN) |
LOAD_CONST (r6,FP_S_N_ONE) |
lf.div.s r4,r5,r6 |
CHECK_RES ("+NaN / -1.0 = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r5,FP_S_N_NAN) |
LOAD_CONST (r6,FP_S_N_ONE) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-NaN / -1.0 = -NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_P_NAN) |
LOAD_CONST (r6,FP_S_P_NAN) |
lf.div.s r4,r5,r6 |
CHECK_RES ("+NaN / +NaN = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r5,FP_S_P_NAN) |
LOAD_CONST (r6,FP_S_N_NAN) |
lf.div.s r4,r5,r6 |
CHECK_RES ("+NaN / -NaN = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r5,FP_S_N_NAN) |
LOAD_CONST (r6,FP_S_P_NAN) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-NaN / +NaN = -NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r5,FP_S_N_NAN) |
LOAD_CONST (r6,FP_S_N_NAN) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-NaN / -NaN = -NaN: ", r4, FP_S_N_NAN) |
|
/* Division with overflow */ |
LOAD_CONST (r5,FP_S_HUGE2) |
LOAD_CONST (r6,FP_S_SMALL1) |
lf.div.s r4,r5,r6 |
CHECK_RES (" 1.0 * 2^127 / 1.0 * 2^-129 = +inf: ", r4, FP_S_P_INF) |
|
LOAD_CONST (r5,FP_S_N_HUGE2) |
LOAD_CONST (r6,FP_S_SMALL1) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-1.0 * 2^127 / 1.0 * 2^-129 = -inf: ", r4, FP_S_N_INF) |
|
LOAD_CONST (r5,FP_S_HUGE2) |
LOAD_CONST (r6,FP_S_N_SMALL1) |
lf.div.s r4,r5,r6 |
CHECK_RES (" 1.0 * 2^127 / -1.0 * 2^-129 = -inf: ", r4, FP_S_N_INF) |
|
LOAD_CONST (r5,FP_S_N_HUGE2) |
LOAD_CONST (r6,FP_S_N_SMALL1) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-1.0 * 2^127 / -1.0 * 2^-129 = +inf: ", r4, FP_S_P_INF) |
|
/* Division with underflow */ |
LOAD_CONST (r5,FP_S_SMALL1) |
LOAD_CONST (r6,FP_S_HUGE1) |
lf.div.s r4,r5,r6 |
CHECK_RES (" 1.0 * 2^-129 / 1.0 * 2^127 = +0.0: ", r4, FP_S_P_ZERO) |
|
LOAD_CONST (r5,FP_S_N_SMALL1) |
LOAD_CONST (r6,FP_S_HUGE1) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-1.0 * 2^-129 / 1.0 * 2^127 = -0.0: ", r4, FP_S_N_ZERO) |
|
LOAD_CONST (r5,FP_S_SMALL1) |
LOAD_CONST (r6,FP_S_N_HUGE1) |
lf.div.s r4,r5,r6 |
CHECK_RES (" 1.0 * 2^-129 / -1.0 * 2^127 = -0.0: ", r4, FP_S_N_ZERO) |
|
LOAD_CONST (r5,FP_S_N_SMALL1) |
LOAD_CONST (r6,FP_S_N_HUGE1) |
lf.div.s r4,r5,r6 |
CHECK_RES ("-1.0 * 2^-129 / -1.0 * 2^127 = +0.0: ", r4, FP_S_P_ZERO) |
|
/* Needs tests of normalization to denormalization */ |
|
/* ---------------------------------------------------------------------------- |
* Test of single precision fp to integer conversion: lf.ftoi.s |
* ------------------------------------------------------------------------- */ |
v_ftoi_s: |
LOAD_STR (r3, "lf.ftoi.s\n") |
l.jal _puts |
l.nop |
|
/* Integer conversion */ |
LOAD_CONST (r5,FP_S_ONE) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(int) 1.0 = 1: ", r4, 0x00000001) |
|
LOAD_CONST (r5,FP_S_N_ONE) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(int) -1.0 = -1: ", r4, 0xffffffff) |
|
LOAD_CONST (r5,FP_S_P_ZERO) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(int) +0.0 = 0: ", r4, 0x00000000) |
|
LOAD_CONST (r5,FP_S_N_ZERO) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(int) -0.0 = 0: ", r4, 0x00000000) |
|
/* Fractional conversion (round towards zero) */ |
LOAD_CONST (r5,FP_S_1_5) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(int) 1.5 = 1: ", r4, 0x00000001) |
|
LOAD_CONST (r5,FP_S_N_1_5) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(int) -1.5 = -1: ", r4, 0xffffffff) |
|
/* Conversion of values too big */ |
LOAD_CONST (r5,FP_S_HUGE1) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(int) 1.0 * 2^126 = -2^31: ", r4, 0x80000000) |
|
LOAD_CONST (r5,FP_S_N_HUGE1) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(int) -1.0 * 2^126 = -2^31: ", r4, 0x80000000) |
|
/* Conversion of very small values */ |
LOAD_CONST (r5,FP_S_SMALL1) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(int) 1.0 * 2^-129 = 0: ", r4, 0x00000000) |
|
LOAD_CONST (r5,FP_S_N_SMALL1) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(int) -1.0 * 2^-129 = 0: ", r4, 0x00000000) |
|
/* Just basic check of Infinity & NaN */ |
LOAD_CONST (r5,FP_S_P_INF) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(int) +inf = -2^31: ", r4, 0x80000000) |
|
LOAD_CONST (r5,FP_S_N_INF) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(int) -inf = -2^31: ", r4, 0x80000000) |
|
LOAD_CONST (r5,FP_S_P_NAN) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(int) +NaN = -2^31: ", r4, 0x80000000) |
|
LOAD_CONST (r5,FP_S_N_NAN) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(int) -NaN = -2^31: ", r4, 0x80000000) |
|
/* ---------------------------------------------------------------------------- |
* Test of single precision integer to fp conversion: lf.itof.s |
* ------------------------------------------------------------------------- */ |
_itof_s: |
LOAD_STR (r3, "lf.itof.s\n") |
l.jal _puts |
l.nop |
|
/* Integer conversion */ |
LOAD_CONST (r5,FP_S_ONE) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(float) 1.0 = 1: ", r4, 0x00000001) |
|
LOAD_CONST (r5,FP_S_N_ONE) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(float) -1.0 = -1: ", r4, 0xffffffff) |
|
LOAD_CONST (r5,FP_S_P_ZERO) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(float) +0.0 = 0: ", r4, 0x00000000) |
|
LOAD_CONST (r5,FP_S_N_ZERO) |
lf.ftoi.s r4,r5 |
CHECK_RES ("(float) -0.0 = 0: ", r4, 0x00000000) |
|
/* ---------------------------------------------------------------------------- |
* Test of single precision multiply and add: lf.madd.s |
* ------------------------------------------------------------------------- */ |
_madd_s: |
LOAD_STR (r3, "lf.madd.s\n") |
l.jal _puts |
l.nop |
|
/* Test of integer multiply and add */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_ONE) |
lf.madd.s r4,r5,r6 |
CHECK_RES (" 1.0 + 1.0 * 1.0 = 2.0: ", r4, FP_S_TWO) |
|
/* Multiply and add with fractions */ |
LOAD_CONST (r4,FP_S_0_5) |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_ONE) |
lf.madd.s r4,r5,r6 |
CHECK_RES (" 0.5 + 1.0 * 1.0 = 1.5: ", r4, FP_S_1_5) |
|
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_0_5) |
LOAD_CONST (r6,FP_S_TWO) |
lf.madd.s r4,r5,r6 |
CHECK_RES (" 1.0 + 0.5 * 2.0 = 2.0: ", r4, FP_S_TWO) |
|
/* Multiply and add with negative numbers */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_N_ONE) |
LOAD_CONST (r6,FP_S_TWO) |
lf.madd.s r4,r5,r6 |
CHECK_RES (" 1.0 + -1.0 * 2.0 = -1.0: ", r4, FP_S_N_ONE) |
|
LOAD_CONST (r4,FP_S_N_TWO) |
LOAD_CONST (r5,FP_S_TWO) |
LOAD_CONST (r6,FP_S_0_5) |
lf.madd.s r4,r5,r6 |
CHECK_RES ("-2.0 + 2.0 * 0.5 = -1.0: ", r4, FP_S_N_ONE) |
|
LOAD_CONST (r4,FP_S_N_0_5) |
LOAD_CONST (r5,FP_S_N_0_5) |
LOAD_CONST (r6,FP_S_THREE) |
lf.madd.s r4,r5,r6 |
CHECK_RES ("-0.5 + -0.5 * 3.0 = -2.0: ", r4, FP_S_N_TWO) |
|
/* Multiply and add with zeros (more needed) */ |
LOAD_CONST (r4,FP_S_P_ZERO) |
LOAD_CONST (r5,FP_S_P_ZERO) |
LOAD_CONST (r6,FP_S_P_ZERO) |
lf.madd.s r4,r5,r6 |
CHECK_RES ("+0.0 + +0.0 * +0.0 = +0.0: ", r4, FP_S_P_ZERO) |
|
LOAD_CONST (r4,FP_S_N_ZERO) |
LOAD_CONST (r5,FP_S_N_ZERO) |
LOAD_CONST (r6,FP_S_N_ZERO) |
lf.madd.s r4,r5,r6 |
CHECK_RES ("-0.0 + +0.0 * -0.0 = +0.0: ", r4, FP_S_P_ZERO) |
|
LOAD_CONST (r4,FP_S_N_ZERO) |
LOAD_CONST (r5,FP_S_N_ZERO) |
LOAD_CONST (r6,FP_S_N_ZERO) |
lf.madd.s r4,r5,r6 |
CHECK_RES ("-0.0 + -0.0 * -0.0 = +0.0: ", r4, FP_S_P_ZERO) |
|
LOAD_CONST (r4,FP_S_N_ONE) |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_ONE) |
lf.madd.s r4,r5,r6 |
CHECK_RES ("-1.0 + 1.0 * 1.0 = +0.0: ", r4, FP_S_P_ZERO) |
|
/* Multiply and add with infinities (more needed) */ |
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_ONE) |
lf.madd.s r4,r5,r6 |
CHECK_RES ("+inf + 1.0 * 1.0 = +inf: ", r4, FP_S_P_INF) |
|
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_INF) |
lf.madd.s r4,r5,r6 |
CHECK_RES (" 1.0 + 1.0 * +inf = +inf: ", r4, FP_S_P_INF) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_INF) |
lf.madd.s r4,r5,r6 |
CHECK_RES ("+inf + 1.0 * +inf = +inf: ", r4, FP_S_P_INF) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_ONE) |
lf.madd.s r4,r5,r6 |
CHECK_RES ("-inf + 1.0 * 1.0 = -inf: ", r4, FP_S_N_INF) |
|
/* Multiply and add with NaNs (more needed) */ |
LOAD_CONST (r4,FP_S_P_NAN) |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_ONE) |
lf.madd.s r4,r5,r6 |
CHECK_RES ("+NaN + 1.0 * 1.0 = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_NAN) |
lf.madd.s r4,r5,r6 |
CHECK_RES (" 1.0 + 1.0 * +NaN = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r4,FP_S_P_NAN) |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_NAN) |
lf.madd.s r4,r5,r6 |
CHECK_RES ("+NaN + 1.0 * +NaN = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r4,FP_S_N_NAN) |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_ONE) |
lf.madd.s r4,r5,r6 |
CHECK_RES ("-NaN + 1.0 * 1.0 = -NaN: ", r4, FP_S_N_NAN) |
|
/* Multiply and add with overflow (more needed) */ |
LOAD_CONST (r4,FP_S_HUGE2) |
LOAD_CONST (r5,FP_S_HUGE2) |
LOAD_CONST (r6,FP_S_ONE) |
lf.madd.s r4,r5,r6 |
CHECK_RES (" 1.0 * 2^127 + 1.0 * 2^127 * 1.0 = +inf: ", |
r4, FP_S_P_INF) |
|
LOAD_CONST (r4,FP_S_HUGE2) |
LOAD_CONST (r5,FP_S_HUGE2) |
LOAD_CONST (r6,FP_S_SMALL1) |
lf.madd.s r4,r5,r6 |
CHECK_RES (" 1.0 * 2^127 + 1.0 * 2^127 * 1.0 * 2^-129 = +inf: ", |
r4, FP_S_HUGE2) |
|
/* ---------------------------------------------------------------------------- |
* Test of single precision multiply: lf.mul.s |
* ------------------------------------------------------------------------- */ |
_mul_s: |
LOAD_STR (r3, "lf.mul.s\n") |
l.jal _puts |
l.nop |
|
/* Tests of integer multiplication */ |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_ONE) |
lf.mul.s r4,r5,r6 |
CHECK_RES (" 1.0 * 1.0 = 1.0: ", r4, FP_S_ONE) |
|
LOAD_CONST (r5,FP_S_THREE) |
LOAD_CONST (r6,FP_S_ONE) |
lf.mul.s r4,r5,r6 |
CHECK_RES (" 3.0 * 1.0 = 3.0: ", r4, FP_S_THREE) |
|
/* Multiplication with fractions */ |
LOAD_CONST (r5,FP_S_1_5) |
LOAD_CONST (r6,FP_S_TWO) |
lf.mul.s r4,r5,r6 |
CHECK_RES (" 1.5 * 2.0 = 3.0: ", r4, FP_S_THREE) |
|
/* Multiplication with negative numbers */ |
LOAD_CONST (r5,FP_S_N_ONE) |
LOAD_CONST (r6,FP_S_TWO) |
lf.mul.s r4,r5,r6 |
CHECK_RES ("-1.0 * 2.0 = -2.0: ", r4, FP_S_N_TWO) |
|
LOAD_CONST (r5,FP_S_N_ONE) |
LOAD_CONST (r6,FP_S_N_TWO) |
lf.mul.s r4,r5,r6 |
CHECK_RES ("-1.0 * -2.0 = +2.0: ", r4, FP_S_TWO) |
|
/* Multiplication with zeros */ |
LOAD_CONST (r5,FP_S_P_ZERO) |
LOAD_CONST (r6,FP_S_TWO) |
lf.mul.s r4,r5,r6 |
CHECK_RES ("+0.0 * 2.0 = +0.0: ", r4, FP_S_P_ZERO) |
|
LOAD_CONST (r5,FP_S_N_ZERO) |
LOAD_CONST (r6,FP_S_TWO) |
lf.mul.s r4,r5,r6 |
CHECK_RES ("+0.0 * 2.0 = +0.0: ", r4, FP_S_N_ZERO) |
|
/* Multiplication with infinities (more needed) */ |
LOAD_CONST (r5,FP_S_P_INF) |
LOAD_CONST (r6,FP_S_N_TWO) |
lf.mul.s r4,r5,r6 |
CHECK_RES ("+inf * -2.0 = -inf: ", r4, FP_S_N_INF) |
|
/* Multiplication with NaNs (more needed) */ |
LOAD_CONST (r5,FP_S_P_NAN) |
LOAD_CONST (r6,FP_S_TWO) |
lf.mul.s r4,r5,r6 |
CHECK_RES ("+NaN * 2.0 = +NaN: ", r4, FP_S_P_NAN) |
|
/* Multiplication overflow */ |
LOAD_CONST (r5,FP_S_HUGE1) |
LOAD_CONST (r6,FP_S_HUGE1) |
lf.mul.s r4,r5,r6 |
CHECK_RES (" 1.0 * 2^127 * 1.0 * 2^127 = +inf: ", r4, FP_S_P_INF) |
|
LOAD_CONST (r5,FP_S_N_HUGE1) |
LOAD_CONST (r6,FP_S_HUGE1) |
lf.mul.s r4,r5,r6 |
CHECK_RES ("-1.0 * 2^127 * 1.0 * 2^127 = -inf: ", r4, FP_S_N_INF) |
|
LOAD_CONST (r5,FP_S_HUGE1) |
LOAD_CONST (r6,FP_S_N_HUGE1) |
lf.mul.s r4,r5,r6 |
CHECK_RES (" 1.0 * 2^127 * -1.0 * 2^127 = -inf: ", r4, FP_S_N_INF) |
|
LOAD_CONST (r5,FP_S_N_HUGE1) |
LOAD_CONST (r6,FP_S_N_HUGE1) |
lf.mul.s r4,r5,r6 |
CHECK_RES ("-1.0 * 2^127 * -1.0 * 2^127 = +inf: ", r4, FP_S_P_INF) |
|
/* ---------------------------------------------------------------------------- |
* Test of single precision remainder: lf.rem.s |
* ------------------------------------------------------------------------- */ |
_rem_s: |
LOAD_STR (r3, "lf.rem.s\n") |
l.jal _puts |
l.nop |
|
/* Tests of integer remainder */ |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_ONE) |
lf.rem.s r4,r5,r6 |
CHECK_RES (" 1.0 % 1.0 = +0.0: ", r4, FP_S_P_ZERO) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_TWO) |
lf.rem.s r4,r5,r6 |
CHECK_RES (" 1.0 % 2.0 = 1.0: ", r4, FP_S_ONE) |
|
/* Remainder with fractions */ |
LOAD_CONST (r5,FP_S_1_5) |
LOAD_CONST (r6,FP_S_TWO) |
lf.rem.s r4,r5,r6 |
CHECK_RES (" 1.5 % 2.0 = 1.5: ", r4, FP_S_1_5) |
|
LOAD_CONST (r5,FP_S_TWO) |
LOAD_CONST (r6,FP_S_1_5) |
lf.rem.s r4,r5,r6 |
CHECK_RES (" 2.0 % 1.5 = 0.5: ", r4, FP_S_0_5) |
|
LOAD_CONST (r5,FP_S_THREE) |
LOAD_CONST (r6,FP_S_1_5) |
lf.rem.s r4,r5,r6 |
CHECK_RES (" 3.0 % 1.5 = +0.0: ", r4, FP_S_P_ZERO) |
|
/* Remainder with negative numbers */ |
LOAD_CONST (r5,FP_S_N_THREE) |
LOAD_CONST (r6,FP_S_TWO) |
lf.rem.s r4,r5,r6 |
CHECK_RES ("-3.0 % 2.0 = -1.0: ", r4, FP_S_N_ONE) |
|
LOAD_CONST (r5,FP_S_N_THREE) |
LOAD_CONST (r6,FP_S_TWO) |
lf.rem.s r4,r5,r6 |
CHECK_RES ("-3.0 % 2.0 = -1.0: ", r4, FP_S_N_ONE) |
|
LOAD_CONST (r5,FP_S_THREE) |
LOAD_CONST (r6,FP_S_N_TWO) |
lf.rem.s r4,r5,r6 |
CHECK_RES (" 3.0 % -2.0 = 1.0: ", r4, FP_S_ONE) |
|
LOAD_CONST (r5,FP_S_N_THREE) |
LOAD_CONST (r6,FP_S_N_TWO) |
lf.rem.s r4,r5,r6 |
CHECK_RES ("-3.0 % -2.0 = -1.0: ", r4, FP_S_N_ONE) |
|
/* Remainder with zeros (more are needed) */ |
LOAD_CONST (r5,FP_S_P_ZERO) |
LOAD_CONST (r6,FP_S_TWO) |
lf.rem.s r4,r5,r6 |
CHECK_RES ("+0.0 % 2.0 = +0.0: ", r4, FP_S_P_ZERO) |
|
LOAD_CONST (r5,FP_S_N_ZERO) |
LOAD_CONST (r6,FP_S_TWO) |
lf.rem.s r4,r5,r6 |
CHECK_RES ("-0.0 % 2.0 = -0.0: ", r4, FP_S_N_ZERO) |
|
LOAD_CONST (r5,FP_S_TWO) |
LOAD_CONST (r6,FP_S_P_ZERO) |
lf.rem.s r4,r5,r6 |
CHECK_RES (" 2.0 % +0.0 = -NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_N_TWO) |
LOAD_CONST (r6,FP_S_P_ZERO) |
lf.rem.s r4,r5,r6 |
CHECK_RES ("-2.0 % +0.0 = -NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_TWO) |
LOAD_CONST (r6,FP_S_N_ZERO) |
lf.rem.s r4,r5,r6 |
CHECK_RES (" 2.0 % -0.0 = -NaN: ", r4, FP_S_N_NAN) |
|
/* Remainder with infinities (more are needed) */ |
LOAD_CONST (r5,FP_S_TWO) |
LOAD_CONST (r6,FP_S_P_INF) |
lf.rem.s r4,r5,r6 |
CHECK_RES (" 2.0 % +inf = 2.0: ", r4, FP_S_TWO) |
|
LOAD_CONST (r5,FP_S_P_INF) |
LOAD_CONST (r6,FP_S_TWO) |
lf.rem.s r4,r5,r6 |
CHECK_RES ("+inf % 2.0 = -NaN: ", r4, FP_S_N_NAN) |
|
/* Remainder with NaNs (more are needed) */ |
LOAD_CONST (r5,FP_S_TWO) |
LOAD_CONST (r6,FP_S_P_NAN) |
lf.rem.s r4,r5,r6 |
CHECK_RES (" 2.0 % +NaN = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r5,FP_S_P_NAN) |
LOAD_CONST (r6,FP_S_TWO) |
lf.rem.s r4,r5,r6 |
CHECK_RES ("+NaN % 2.0 = +NaN: ", r4, FP_S_P_NAN) |
|
/* Remainder with overflow of division (more are needed) */ |
LOAD_CONST (r5,FP_S_HUGE2) |
LOAD_CONST (r6,FP_S_SMALL1) |
lf.rem.s r4,r5,r6 |
CHECK_RES (" 1.0 * 2^127 % 1.0 * 2^-129 = +0.0: ", r4, FP_S_P_ZERO) |
|
/* Remainder with underflow (more are needed) */ |
LOAD_CONST (r5,FP_S_SMALL1) |
LOAD_CONST (r6,FP_S_HUGE2) |
lf.rem.s r4,r5,r6 |
CHECK_RES (" 1.0 * 2^-129 % 1.0 * 2^127 = +0.0: ", r4, FP_S_SMALL1) |
|
/* Remainder with denormalization (more are needed) */ |
|
/* ---------------------------------------------------------------------------- |
* Test of single precision set flag if equal: lf.sfeq.s |
* ------------------------------------------------------------------------- */ |
_sfeq_s: |
LOAD_STR (r3, "lf.sfeq.s\n") |
l.jal _puts |
l.nop |
|
/* Tests of integer equality */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sfeq.s r4,r5 |
CHECK_FLAG (" 1.0 == 1.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_TWO) |
lf.sfeq.s r4,r5 |
CHECK_FLAG (" 1.0 == 2.0: ", FALSE) |
|
/* Fractional equality */ |
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_1_5) |
lf.sfeq.s r4,r5 |
CHECK_FLAG (" 1.5 == 1.5: ", TRUE) |
|
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_0_5) |
lf.sfeq.s r4,r5 |
CHECK_FLAG (" 1.5 == 0.5: ", FALSE) |
|
/* Signed equality */ |
LOAD_CONST (r4,FP_S_N_1_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sfeq.s r4,r5 |
CHECK_FLAG ("-1.5 == -1.5: ", TRUE) |
|
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sfeq.s r4,r5 |
CHECK_FLAG (" 1.5 == -1.5: ", FALSE) |
|
/* Equality of zeros */ |
LOAD_CONST (r4,FP_S_P_ZERO) |
LOAD_CONST (r5,FP_S_P_ZERO) |
lf.sfeq.s r4,r5 |
CHECK_FLAG ("+0.0 == +0.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_ZERO) |
LOAD_CONST (r5,FP_S_N_ZERO) |
lf.sfeq.s r4,r5 |
CHECK_FLAG ("-0.0 == -0.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_P_ZERO) |
LOAD_CONST (r5,FP_S_N_ZERO) |
lf.sfeq.s r4,r5 |
CHECK_FLAG ("+0.0 == -0.0: ", TRUE) |
|
/* Equality with infinities (more needed) */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sfeq.s r4,r5 |
CHECK_FLAG (" 1.0 == +inf: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sfeq.s r4,r5 |
CHECK_FLAG ("+inf == +inf: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sfeq.s r4,r5 |
CHECK_FLAG ("-inf == -inf: ", TRUE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sfeq.s r4,r5 |
CHECK_FLAG ("+inf == -inf: ", FALSE) |
|
/* Equality with NaNs (more needed) */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sfeq.s r4,r5 |
CHECK_FLAG (" 1.0 == +NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_NAN) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sfeq.s r4,r5 |
CHECK_FLAG ("+NaN == +NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_NAN) |
LOAD_CONST (r5,FP_S_N_NAN) |
lf.sfeq.s r4,r5 |
CHECK_FLAG ("-NaN == -NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_NAN) |
LOAD_CONST (r5,FP_S_N_NAN) |
lf.sfeq.s r4,r5 |
CHECK_FLAG ("+NaN == -NaN: ", FALSE) |
|
/* Equality with denormalized numbers (more needed) */ |
LOAD_CONST (r4,FP_S_SMALL1) |
LOAD_CONST (r5,FP_S_SMALL1) |
lf.sfeq.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-129 == 1.0 * 2^-129: ", TRUE) |
|
LOAD_CONST (r4,FP_S_SMALL1) |
LOAD_CONST (r5,FP_S_SMALL2) |
lf.sfeq.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-129 == 1.0 * 2^-128: ", FALSE) |
|
LOAD_CONST (r4,FP_S_HUGE1) |
LOAD_CONST (r5,FP_S_SMALL2) |
lf.sfeq.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^126 == 1.0 * 2^-128: ", FALSE) |
|
|
/* ---------------------------------------------------------------------------- |
* Test of single precision set flag if greater than or equal: lf.sfge.s |
* ------------------------------------------------------------------------- */ |
_sfge_s: |
LOAD_STR (r3, "lf.sfge.s\n") |
l.jal _puts |
l.nop |
|
/* Tests of integer greater than or equality */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 1.0 >= 1.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_TWO) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 2.0 >= 1.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_TWO) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 1.0 >= 2.0: ", FALSE) |
|
/* Fractional greater than or equality */ |
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_1_5) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 1.5 >= 1.5: ", TRUE) |
|
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_0_5) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 1.5 >= 0.5: ", TRUE) |
|
LOAD_CONST (r4,FP_S_0_5) |
LOAD_CONST (r5,FP_S_1_5) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 0.5 >= 1.5: ", FALSE) |
|
/* Signed greater than or equality */ |
LOAD_CONST (r4,FP_S_N_1_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("-1.5 >= -1.5: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_1_5) |
LOAD_CONST (r5,FP_S_N_0_5) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("-1.5 >= -0.5: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_0_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("-0.5 >= -1.5: ", TRUE) |
|
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 1.5 >= -1.5: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_1_5) |
LOAD_CONST (r5,FP_S_1_5) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("-1.5 >= 1.5: ", FALSE) |
|
/* Greater than or equality of zeros */ |
LOAD_CONST (r4,FP_S_P_ZERO) |
LOAD_CONST (r5,FP_S_P_ZERO) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("+0.0 >= +0.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_ZERO) |
LOAD_CONST (r5,FP_S_N_ZERO) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("-0.0 >= -0.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_P_ZERO) |
LOAD_CONST (r5,FP_S_N_ZERO) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("+0.0 >= -0.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_ZERO) |
LOAD_CONST (r5,FP_S_P_ZERO) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("-0.0 >= +0.0: ", TRUE) |
|
/* Greater than or equality with infinities (more needed) */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 1.0 >= +inf: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("+inf >= 1.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 1.0 >= -inf: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("-inf >= 1.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("+inf >= +inf: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("-inf >= -inf: ", TRUE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("+inf >= -inf: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("-inf >= +inf: ", FALSE) |
|
/* Greater than or equality with NaNs (more needed) */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 1.0 >= +NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_NAN) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("+NaN >= +NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_NAN) |
LOAD_CONST (r5,FP_S_N_NAN) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("-NaN >= -NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_NAN) |
LOAD_CONST (r5,FP_S_N_NAN) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("+NaN >= -NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_NAN) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sfge.s r4,r5 |
CHECK_FLAG ("-NaN >= +NaN: ", FALSE) |
|
/* Greater than or equality with denormalized numbers (more needed) */ |
LOAD_CONST (r4,FP_S_SMALL1) |
LOAD_CONST (r5,FP_S_SMALL1) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-129 >= 1.0 * 2^-129: ", TRUE) |
|
LOAD_CONST (r4,FP_S_SMALL1) |
LOAD_CONST (r5,FP_S_SMALL2) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-129 >= 1.0 * 2^-128: ", FALSE) |
|
LOAD_CONST (r4,FP_S_SMALL2) |
LOAD_CONST (r5,FP_S_SMALL1) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-128 >= 1.0 * 2^-129: ", TRUE) |
|
LOAD_CONST (r4,FP_S_HUGE1) |
LOAD_CONST (r5,FP_S_SMALL2) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^126 >= 1.0 * 2^-128: ", TRUE) |
|
LOAD_CONST (r4,FP_S_SMALL2) |
LOAD_CONST (r5,FP_S_HUGE1) |
lf.sfge.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-128 >= 1.0 * 2^126: ", FALSE) |
|
|
/* ---------------------------------------------------------------------------- |
* Test of single precision set flag if greater than: lf.sfgt.s |
* ------------------------------------------------------------------------- */ |
_sfgt_s: |
LOAD_STR (r3, "lf.sfgt.s\n") |
l.jal _puts |
l.nop |
|
/* Tests of integer greater than */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 1.0 > 1.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_TWO) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 2.0 > 1.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_TWO) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 1.0 > 2.0: ", FALSE) |
|
/* Fractional greater than */ |
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_1_5) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 1.5 > 1.5: ", FALSE) |
|
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_0_5) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 1.5 > 0.5: ", TRUE) |
|
LOAD_CONST (r4,FP_S_0_5) |
LOAD_CONST (r5,FP_S_1_5) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 0.5 > 1.5: ", FALSE) |
|
/* Signed greater than */ |
LOAD_CONST (r4,FP_S_N_1_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("-1.5 > -1.5: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_1_5) |
LOAD_CONST (r5,FP_S_N_0_5) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("-1.5 > -0.5: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_0_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("-0.5 > -1.5: ", TRUE) |
|
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 1.5 > -1.5: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_1_5) |
LOAD_CONST (r5,FP_S_1_5) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("-1.5 > 1.5: ", FALSE) |
|
/* Greater than of zeros */ |
LOAD_CONST (r4,FP_S_P_ZERO) |
LOAD_CONST (r5,FP_S_P_ZERO) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("+0.0 > +0.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_ZERO) |
LOAD_CONST (r5,FP_S_N_ZERO) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("-0.0 > -0.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_ZERO) |
LOAD_CONST (r5,FP_S_N_ZERO) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("+0.0 > -0.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_ZERO) |
LOAD_CONST (r5,FP_S_P_ZERO) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("-0.0 > +0.0: ", FALSE) |
|
/* Greater than with infinities (more needed) */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 1.0 > +inf: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("+inf > 1.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 1.0 > -inf: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("-inf > 1.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("+inf > +inf: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("-inf > -inf: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("+inf > -inf: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("-inf > +inf: ", FALSE) |
|
/* Greater than with NaNs (more needed) */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 1.0 > +NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_NAN) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("+NaN > +NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_NAN) |
LOAD_CONST (r5,FP_S_N_NAN) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("-NaN > -NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_NAN) |
LOAD_CONST (r5,FP_S_N_NAN) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("+NaN > -NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_NAN) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sfgt.s r4,r5 |
CHECK_FLAG ("-NaN > +NaN: ", FALSE) |
|
/* Greater than with denormalized numbers (more needed) */ |
LOAD_CONST (r4,FP_S_SMALL1) |
LOAD_CONST (r5,FP_S_SMALL1) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-129 > 1.0 * 2^-129: ", FALSE) |
|
LOAD_CONST (r4,FP_S_SMALL1) |
LOAD_CONST (r5,FP_S_SMALL2) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-129 > 1.0 * 2^-128: ", FALSE) |
|
LOAD_CONST (r4,FP_S_SMALL2) |
LOAD_CONST (r5,FP_S_SMALL1) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-128 > 1.0 * 2^-129: ", TRUE) |
|
LOAD_CONST (r4,FP_S_HUGE1) |
LOAD_CONST (r5,FP_S_SMALL2) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^126 > 1.0 * 2^-128: ", TRUE) |
|
LOAD_CONST (r4,FP_S_SMALL2) |
LOAD_CONST (r5,FP_S_HUGE1) |
lf.sfgt.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-128 > 1.0 * 2^126: ", FALSE) |
|
/* ---------------------------------------------------------------------------- |
* Test of single precision set flag if less than or equal: lf.sfle.s |
* ------------------------------------------------------------------------- */ |
_sfle_s: |
LOAD_STR (r3, "lf.sfle.s\n") |
l.jal _puts |
l.nop |
|
/* Tests of integer less than or equality */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 1.0 <= 1.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_TWO) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 2.0 <= 1.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_TWO) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 1.0 <= 2.0: ", TRUE) |
|
/* Fractional less than or equality */ |
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_1_5) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 1.5 <= 1.5: ", TRUE) |
|
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_0_5) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 1.5 <= 0.5: ", FALSE) |
|
LOAD_CONST (r4,FP_S_0_5) |
LOAD_CONST (r5,FP_S_1_5) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 0.5 <= 1.5: ", TRUE) |
|
/* Signed less than or equality */ |
LOAD_CONST (r4,FP_S_N_1_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("-1.5 <= -1.5: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_1_5) |
LOAD_CONST (r5,FP_S_N_0_5) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("-1.5 <= -0.5: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_0_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("-0.5 <= -1.5: ", FALSE) |
|
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 1.5 <= -1.5: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_1_5) |
LOAD_CONST (r5,FP_S_1_5) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("-1.5 <= 1.5: ", TRUE) |
|
/* Less than or equality of zeros */ |
LOAD_CONST (r4,FP_S_P_ZERO) |
LOAD_CONST (r5,FP_S_P_ZERO) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("+0.0 <= +0.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_ZERO) |
LOAD_CONST (r5,FP_S_N_ZERO) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("-0.0 <= -0.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_P_ZERO) |
LOAD_CONST (r5,FP_S_N_ZERO) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("+0.0 <= -0.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_ZERO) |
LOAD_CONST (r5,FP_S_P_ZERO) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("-0.0 <= +0.0: ", TRUE) |
|
/* Less than or equality with infinities (more needed) */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 1.0 <= +inf: ", TRUE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("+inf <= 1.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 1.0 <= -inf: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("-inf <= 1.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("+inf <= +inf: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("-inf <= -inf: ", TRUE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("+inf <= -inf: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("-inf <= +inf: ", TRUE) |
|
/* Less than or equality with NaNs (more needed) */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 1.0 <= +NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_NAN) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("+NaN <= +NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_NAN) |
LOAD_CONST (r5,FP_S_N_NAN) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("-NaN <= -NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_NAN) |
LOAD_CONST (r5,FP_S_N_NAN) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("+NaN <= -NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_NAN) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sfle.s r4,r5 |
CHECK_FLAG ("-NaN <= +NaN: ", FALSE) |
|
/* Less than or equality with denormalized numbers (more needed) */ |
LOAD_CONST (r4,FP_S_SMALL1) |
LOAD_CONST (r5,FP_S_SMALL1) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-129 <= 1.0 * 2^-129: ", TRUE) |
|
LOAD_CONST (r4,FP_S_SMALL1) |
LOAD_CONST (r5,FP_S_SMALL2) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-129 <= 1.0 * 2^-128: ", TRUE) |
|
LOAD_CONST (r4,FP_S_SMALL2) |
LOAD_CONST (r5,FP_S_SMALL1) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-128 <= 1.0 * 2^-129: ", FALSE) |
|
LOAD_CONST (r4,FP_S_HUGE1) |
LOAD_CONST (r5,FP_S_SMALL2) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^126 <= 1.0 * 2^-128: ", FALSE) |
|
LOAD_CONST (r4,FP_S_SMALL2) |
LOAD_CONST (r5,FP_S_HUGE1) |
lf.sfle.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-128 <= 1.0 * 2^126: ", TRUE) |
|
|
/* ---------------------------------------------------------------------------- |
* Test of single precision set flag if less than: lf.sflt.s |
* ------------------------------------------------------------------------- */ |
_sflt_s: |
LOAD_STR (r3, "lf.sflt.s\n") |
l.jal _puts |
l.nop |
|
/* Tests of integer less than */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 1.0 < 1.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_TWO) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 2.0 < 1.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_TWO) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 1.0 < 2.0: ", TRUE) |
|
/* Fractional less than */ |
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_1_5) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 1.5 < 1.5: ", FALSE) |
|
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_0_5) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 1.5 < 0.5: ", FALSE) |
|
LOAD_CONST (r4,FP_S_0_5) |
LOAD_CONST (r5,FP_S_1_5) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 0.5 < 1.5: ", TRUE) |
|
/* Signed less than */ |
LOAD_CONST (r4,FP_S_N_1_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("-1.5 < -1.5: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_1_5) |
LOAD_CONST (r5,FP_S_N_0_5) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("-1.5 < -0.5: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_0_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("-0.5 < -1.5: ", FALSE) |
|
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 1.5 < -1.5: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_1_5) |
LOAD_CONST (r5,FP_S_1_5) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("-1.5 < 1.5: ", TRUE) |
|
/* Less than of zeros */ |
LOAD_CONST (r4,FP_S_P_ZERO) |
LOAD_CONST (r5,FP_S_P_ZERO) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("+0.0 < +0.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_ZERO) |
LOAD_CONST (r5,FP_S_N_ZERO) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("-0.0 < -0.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_ZERO) |
LOAD_CONST (r5,FP_S_N_ZERO) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("+0.0 < -0.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_ZERO) |
LOAD_CONST (r5,FP_S_P_ZERO) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("-0.0 < +0.0: ", FALSE) |
|
/* Less than with infinities (more needed) */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 1.0 < +inf: ", TRUE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("+inf < 1.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 1.0 < -inf: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("-inf < 1.0: ", TRUE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("+inf < +inf: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("-inf < -inf: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("+inf < -inf: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("-inf < +inf: ", TRUE) |
|
/* Less than with NaNs (more needed) */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 1.0 < +NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_NAN) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("+NaN < +NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_NAN) |
LOAD_CONST (r5,FP_S_N_NAN) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("-NaN < -NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_NAN) |
LOAD_CONST (r5,FP_S_N_NAN) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("+NaN < -NaN: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_NAN) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sflt.s r4,r5 |
CHECK_FLAG ("-NaN < +NaN: ", FALSE) |
|
/* Less than with denormalized numbers (more needed) */ |
LOAD_CONST (r4,FP_S_SMALL1) |
LOAD_CONST (r5,FP_S_SMALL1) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-129 < 1.0 * 2^-129: ", FALSE) |
|
LOAD_CONST (r4,FP_S_SMALL1) |
LOAD_CONST (r5,FP_S_SMALL2) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-129 < 1.0 * 2^-128: ", TRUE) |
|
LOAD_CONST (r4,FP_S_SMALL2) |
LOAD_CONST (r5,FP_S_SMALL1) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-128 < 1.0 * 2^-129: ", FALSE) |
|
LOAD_CONST (r4,FP_S_HUGE1) |
LOAD_CONST (r5,FP_S_SMALL2) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^126 < 1.0 * 2^-128: ", FALSE) |
|
LOAD_CONST (r4,FP_S_SMALL2) |
LOAD_CONST (r5,FP_S_HUGE1) |
lf.sflt.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-128 < 1.0 * 2^126: ", TRUE) |
|
/* ---------------------------------------------------------------------------- |
* Test of single precision set flag if not equal: lf.sfne.s |
* ------------------------------------------------------------------------- */ |
_sfne_s: |
LOAD_STR (r3, "lf.sfne.s\n") |
l.jal _puts |
l.nop |
|
/* Tests of integer inequality */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_ONE) |
lf.sfne.s r4,r5 |
CHECK_FLAG (" 1.0 != 1.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_TWO) |
lf.sfne.s r4,r5 |
CHECK_FLAG (" 1.0 != 2.0: ", TRUE) |
|
/* Fractional inequality */ |
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_1_5) |
lf.sfne.s r4,r5 |
CHECK_FLAG (" 1.5 != 1.5: ", FALSE) |
|
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_0_5) |
lf.sfne.s r4,r5 |
CHECK_FLAG (" 1.5 != 0.5: ", TRUE) |
|
/* Signed inequality */ |
LOAD_CONST (r4,FP_S_N_1_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sfne.s r4,r5 |
CHECK_FLAG ("-1.5 != -1.5: ", FALSE) |
|
LOAD_CONST (r4,FP_S_1_5) |
LOAD_CONST (r5,FP_S_N_1_5) |
lf.sfne.s r4,r5 |
CHECK_FLAG (" 1.5 != -1.5: ", TRUE) |
|
/* Inequality of zeros */ |
LOAD_CONST (r4,FP_S_P_ZERO) |
LOAD_CONST (r5,FP_S_P_ZERO) |
lf.sfne.s r4,r5 |
CHECK_FLAG ("+0.0 != +0.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_ZERO) |
LOAD_CONST (r5,FP_S_N_ZERO) |
lf.sfne.s r4,r5 |
CHECK_FLAG ("-0.0 != -0.0: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_ZERO) |
LOAD_CONST (r5,FP_S_N_ZERO) |
lf.sfne.s r4,r5 |
CHECK_FLAG ("+0.0 != -0.0: ", FALSE) |
|
/* Inequality with infinities (more needed) */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sfne.s r4,r5 |
CHECK_FLAG (" 1.0 != +inf: ", TRUE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_P_INF) |
lf.sfne.s r4,r5 |
CHECK_FLAG ("+inf != +inf: ", FALSE) |
|
LOAD_CONST (r4,FP_S_N_INF) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sfne.s r4,r5 |
CHECK_FLAG ("-inf != -inf: ", FALSE) |
|
LOAD_CONST (r4,FP_S_P_INF) |
LOAD_CONST (r5,FP_S_N_INF) |
lf.sfne.s r4,r5 |
CHECK_FLAG ("+inf != -inf: ", TRUE) |
|
/* Inequality with NaNs (more needed) */ |
LOAD_CONST (r4,FP_S_ONE) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sfne.s r4,r5 |
CHECK_FLAG (" 1.0 != +NaN: ", TRUE) |
|
LOAD_CONST (r4,FP_S_P_NAN) |
LOAD_CONST (r5,FP_S_P_NAN) |
lf.sfne.s r4,r5 |
CHECK_FLAG ("+NaN != +NaN: ", TRUE) |
|
LOAD_CONST (r4,FP_S_N_NAN) |
LOAD_CONST (r5,FP_S_N_NAN) |
lf.sfne.s r4,r5 |
CHECK_FLAG ("-NaN != -NaN: ", TRUE) |
|
LOAD_CONST (r4,FP_S_P_NAN) |
LOAD_CONST (r5,FP_S_N_NAN) |
lf.sfne.s r4,r5 |
CHECK_FLAG ("+NaN != -NaN: ", TRUE) |
|
/* Inequality with denormalized numbers (more needed) */ |
LOAD_CONST (r4,FP_S_SMALL1) |
LOAD_CONST (r5,FP_S_SMALL1) |
lf.sfne.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-129 != 1.0 * 2^-129: ", FALSE) |
|
LOAD_CONST (r4,FP_S_SMALL1) |
LOAD_CONST (r5,FP_S_SMALL2) |
lf.sfne.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^-129 != 1.0 * 2^-128: ", TRUE) |
|
LOAD_CONST (r4,FP_S_HUGE1) |
LOAD_CONST (r5,FP_S_SMALL2) |
lf.sfne.s r4,r5 |
CHECK_FLAG (" 1.0 * 2^126 != 1.0 * 2^-128: ", TRUE) |
|
/* ---------------------------------------------------------------------------- |
* Test of single precision subtract: lf.sub.s |
* ------------------------------------------------------------------------- */ |
.section .text |
_sub_s: |
LOAD_STR (r3, "lf.sub.s\n") |
l.jal _puts |
l.nop |
|
/* Simple integer subtraction */ |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_ZERO) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.0 - 0.0 = 1.0: ", r4, FP_S_ONE) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_N_ZERO) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.0 - -0.0 = 1.0: ", r4, FP_S_ONE) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_ONE) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.0 - 1.0 = +0.0: ", r4, FP_S_P_ZERO) |
|
LOAD_CONST (r5,FP_S_TWO) |
LOAD_CONST (r6,FP_S_ONE) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 2.0 - 1.0 = 1.0: ", r4, FP_S_ONE) |
|
/* Fractional subtraction */ |
LOAD_CONST (r5,FP_S_1_5) |
LOAD_CONST (r6,FP_S_1_5) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.5 - 1.5 = +0.0: ", r4, FP_S_P_ZERO) |
|
LOAD_CONST (r5,FP_S_1_5) |
LOAD_CONST (r6,FP_S_0_5) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.5 - 0.5 = 1.0: ", r4, FP_S_ONE) |
|
LOAD_CONST (r5,FP_S_1_5) |
LOAD_CONST (r6,FP_S_ONE) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.5 - 1.5 = 0.5: ", r4, FP_S_0_5) |
|
/* Subtraction with negative numbers */ |
LOAD_CONST (r5,FP_S_TWO) |
LOAD_CONST (r6,FP_S_N_ONE) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 2.0 - -1.0 = 3.0: ", r4, FP_S_THREE) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_N_TWO) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.0 - -2.0 = 3.0: ", r4, FP_S_THREE) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_N_ONE) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.0 - -1.0 = 2.0: ", r4, FP_S_TWO) |
|
LOAD_CONST (r5,FP_S_N_ONE) |
LOAD_CONST (r6,FP_S_TWO) |
lf.sub.s r4,r5,r6 |
CHECK_RES ("-1.0 - 2.0 = -3.0: ", r4, FP_S_N_THREE) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_TWO) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.0 - 2.0 = -1.0: ", r4, FP_S_N_ONE) |
|
LOAD_CONST (r5,FP_S_N_ONE) |
LOAD_CONST (r6,FP_S_N_ONE) |
lf.sub.s r4,r5,r6 |
CHECK_RES ("-1.0 - -1.0 = 0.0: ", r4, FP_S_P_ZERO) |
|
/* Subtraction with infinities (more needed) */ |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_INF) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.0 - +inf = -inf: ", r4, FP_S_N_INF) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_N_INF) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.0 - -inf = +inf: ", r4, FP_S_P_INF) |
|
LOAD_CONST (r5,FP_S_P_INF) |
LOAD_CONST (r6,FP_S_P_INF) |
lf.sub.s r4,r5,r6 |
CHECK_RES ("+inf - +inf = -NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_P_INF) |
LOAD_CONST (r6,FP_S_N_INF) |
lf.sub.s r4,r5,r6 |
CHECK_RES ("+inf - -inf = +inf: ", r4, FP_S_P_INF) |
|
LOAD_CONST (r5,FP_S_N_INF) |
LOAD_CONST (r6,FP_S_N_INF) |
lf.sub.s r4,r5,r6 |
CHECK_RES ("-inf - -inf = -NaN: ", r4, FP_S_N_NAN) |
|
/* Subtraction with NaNs (more needed) */ |
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_NAN) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.0 - +NaN = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_N_NAN) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.0 - -NaN = -NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_P_NAN) |
LOAD_CONST (r6,FP_S_P_NAN) |
lf.sub.s r4,r5,r6 |
CHECK_RES ("+NaN - +NaN = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r5,FP_S_P_NAN) |
LOAD_CONST (r6,FP_S_N_NAN) |
lf.sub.s r4,r5,r6 |
CHECK_RES ("+NaN - -NaN = +NaN: ", r4, FP_S_P_NAN) |
|
LOAD_CONST (r5,FP_S_N_NAN) |
LOAD_CONST (r6,FP_S_N_NAN) |
lf.sub.s r4,r5,r6 |
CHECK_RES ("-NaN - -NaN = -NaN: ", r4, FP_S_N_NAN) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_P_NAN_B) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.0 - +sNaN = +qNaN: ", r4, 0x7fc00001) |
|
LOAD_CONST (r5,FP_S_ONE) |
LOAD_CONST (r6,FP_S_N_NAN_B) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.0 - -sNaN = -qNaN: ", r4, 0xffc00001) |
|
/* Subtraction with overflow (more neeeded) */ |
LOAD_CONST (r5,FP_S_N_HUGE2) |
LOAD_CONST (r6,FP_S_HUGE2) |
lf.sub.s r4,r5,r6 |
CHECK_RES ("-1.0 * 2^127 - 1.0 * 2^127 = +inf: ", r4, FP_S_N_INF) |
|
LOAD_CONST (r5,FP_S_HUGE2) |
LOAD_CONST (r6,FP_S_N_HUGE2) |
lf.sub.s r4,r5,r6 |
CHECK_RES (" 1.0 * 2^127 - -1.0 * 2^127 = -inf: ", r4, FP_S_P_INF) |
|
|
/* ---------------------------------------------------------------------------- |
* All done |
* ------------------------------------------------------------------------- */ |
_exit: |
LOAD_STR (r3, "Test completed\n") |
l.jal _puts |
l.nop |
|
l.movhi r3,hi(ALL_DONE) |
l.ori r3,r3,lo(ALL_DONE) |
l.nop NOP_REPORT /* Should be 0xdeaddead */ |
|
l.addi r3,r0,0 |
l.nop NOP_EXIT |
fp.S
Property changes :
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: svn:keywords
## -0,0 +1 ##
+Id
\ No newline at end of property
Index: Makefile.am
===================================================================
--- Makefile.am (nonexistent)
+++ Makefile.am (revision 105)
@@ -0,0 +1,32 @@
+# Makefile.am for or1ksim testsuite CPU test program: fp
+
+# Copyright (C) Embecosm Limited, 2010
+
+# Contributor Jeremy Bennett
+
+# This file is part of OpenRISC 1000 Architectural Simulator.
+
+# This program is free software; you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by the Free
+# Software Foundation; either version 3 of the License, or (at your option)
+# any later version.
+
+# This program is distributed in the hope that it will be useful, but WITHOUT
+# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
+# more details.
+
+# You should have received a copy of the GNU General Public License along
+# with this program. If not, see . */
+
+# -----------------------------------------------------------------------------
+# This code is commented throughout for use with Doxygen.
+# -----------------------------------------------------------------------------
+
+
+# A test program of the floating point instructions
+check_PROGRAMS = fp
+
+fp_SOURCES = fp.S
+
+fp_LDFLAGS = -T$(srcdir)/../default.ld
Makefile.am
Property changes :
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: svn:keywords
## -0,0 +1 ##
+Id
\ No newline at end of property