From f755993d040a8ea9c1acf758efce76da60870627 Mon Sep 17 00:00:00 2001 From: John Hauser Date: Fri, 10 Feb 2017 12:38:35 -0800 Subject: Release 3c. See "doc/TestFloat-history.html". --- build/Linux-386-GCC/Makefile | 11 ++++++----- build/Linux-386-GCC/platform.h | 2 +- build/Linux-386-SSE2-GCC/Makefile | 11 ++++++----- build/Linux-386-SSE2-GCC/platform.h | 2 +- build/Linux-x86_64-GCC/Makefile | 11 ++++++----- build/Linux-x86_64-GCC/platform.h | 2 +- build/Win32-MinGW/Makefile | 11 ++++++----- build/Win32-MinGW/platform.h | 2 +- build/Win32-SSE2-MinGW/Makefile | 11 ++++++----- build/Win32-SSE2-MinGW/platform.h | 2 +- build/Win64-MinGW-w64/Makefile | 11 ++++++----- build/Win64-MinGW-w64/platform.h | 2 +- build/template/Makefile | 11 ++++++----- build/template/platform.h | 2 +- 14 files changed, 49 insertions(+), 42 deletions(-) (limited to 'build') diff --git a/build/Linux-386-GCC/Makefile b/build/Linux-386-GCC/Makefile index c851807..b735bfd 100644 --- a/build/Linux-386-GCC/Makefile +++ b/build/Linux-386-GCC/Makefile @@ -1,12 +1,12 @@ #============================================================================= # -# This Makefile is part of TestFloat, Release 3b, a package of programs for +# This Makefile is part of TestFloat, Release 3c, a package of programs for # testing the correctness of floating-point arithmetic complying with the IEEE # Standard for Floating-Point, by John R. Hauser. # -# Copyright 2011, 2012, 2013, 2014, 2015, 2016 The Regents of the University -# of California. All rights reserved. +# Copyright 2011, 2012, 2013, 2014, 2015, 2016, 2017 The Regents of the +# University of California. All rights reserved. # # Redistribution and use in source and binary forms, with or without # modification, are permitted provided that the following conditions are met: @@ -47,7 +47,9 @@ SOFTFLOAT_H = \ $(SOFTFLOAT_INCLUDE_DIR)/softfloat.h SOFTFLOAT_LIB = $(SOFTFLOAT_DIR)/build/$(PLATFORM)/softfloat$(LIB) -TESTFLOAT_OPTS ?= -DFLOAT16 -DEXTFLOAT80 -DFLOAT128 -DLONG_DOUBLE_IS_EXTFLOAT80 +TESTFLOAT_OPTS ?= \ + -DFLOAT16 -DFLOAT64 -DEXTFLOAT80 -DFLOAT128 -DFLOAT_ROUND_ODD \ + -DLONG_DOUBLE_IS_EXTFLOAT80 DELETE = rm -f C_INCLUDES = \ @@ -99,7 +101,6 @@ OBJS_WRITECASE = \ writeCase_abc_f64$(OBJ) \ writeCase_a_extF80M$(OBJ) \ writeCase_ab_extF80M$(OBJ) \ - writeCase_abc_extF80M$(OBJ) \ writeCase_a_f128M$(OBJ) \ writeCase_ab_f128M$(OBJ) \ writeCase_abc_f128M$(OBJ) \ diff --git a/build/Linux-386-GCC/platform.h b/build/Linux-386-GCC/platform.h index 5389f9a..ffaf89f 100644 --- a/build/Linux-386-GCC/platform.h +++ b/build/Linux-386-GCC/platform.h @@ -1,7 +1,7 @@ /*============================================================================ -This C header file is part of TestFloat, Release 3b, a package of programs for +This C header file is part of TestFloat, Release 3c, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. diff --git a/build/Linux-386-SSE2-GCC/Makefile b/build/Linux-386-SSE2-GCC/Makefile index 74a735a..e082d93 100644 --- a/build/Linux-386-SSE2-GCC/Makefile +++ b/build/Linux-386-SSE2-GCC/Makefile @@ -1,12 +1,12 @@ #============================================================================= # -# This Makefile is part of TestFloat, Release 3b, a package of programs for +# This Makefile is part of TestFloat, Release 3c, a package of programs for # testing the correctness of floating-point arithmetic complying with the IEEE # Standard for Floating-Point, by John R. Hauser. # -# Copyright 2011, 2012, 2013, 2014, 2015, 2016 The Regents of the University -# of California. All rights reserved. +# Copyright 2011, 2012, 2013, 2014, 2015, 2016, 2017 The Regents of the +# University of California. All rights reserved. # # Redistribution and use in source and binary forms, with or without # modification, are permitted provided that the following conditions are met: @@ -47,7 +47,9 @@ SOFTFLOAT_H = \ $(SOFTFLOAT_INCLUDE_DIR)/softfloat.h SOFTFLOAT_LIB = $(SOFTFLOAT_DIR)/build/$(PLATFORM)/softfloat$(LIB) -TESTFLOAT_OPTS ?= -DFLOAT16 -DEXTFLOAT80 -DFLOAT128 -DLONG_DOUBLE_IS_EXTFLOAT80 +TESTFLOAT_OPTS ?= \ + -DFLOAT16 -DFLOAT64 -DEXTFLOAT80 -DFLOAT128 -DFLOAT_ROUND_ODD \ + -DLONG_DOUBLE_IS_EXTFLOAT80 DELETE = rm -f C_INCLUDES = \ @@ -99,7 +101,6 @@ OBJS_WRITECASE = \ writeCase_abc_f64$(OBJ) \ writeCase_a_extF80M$(OBJ) \ writeCase_ab_extF80M$(OBJ) \ - writeCase_abc_extF80M$(OBJ) \ writeCase_a_f128M$(OBJ) \ writeCase_ab_f128M$(OBJ) \ writeCase_abc_f128M$(OBJ) \ diff --git a/build/Linux-386-SSE2-GCC/platform.h b/build/Linux-386-SSE2-GCC/platform.h index 5389f9a..ffaf89f 100644 --- a/build/Linux-386-SSE2-GCC/platform.h +++ b/build/Linux-386-SSE2-GCC/platform.h @@ -1,7 +1,7 @@ /*============================================================================ -This C header file is part of TestFloat, Release 3b, a package of programs for +This C header file is part of TestFloat, Release 3c, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. diff --git a/build/Linux-x86_64-GCC/Makefile b/build/Linux-x86_64-GCC/Makefile index 5cdcfda..b0ff067 100644 --- a/build/Linux-x86_64-GCC/Makefile +++ b/build/Linux-x86_64-GCC/Makefile @@ -1,12 +1,12 @@ #============================================================================= # -# This Makefile is part of TestFloat, Release 3b, a package of programs for +# This Makefile is part of TestFloat, Release 3c, a package of programs for # testing the correctness of floating-point arithmetic complying with the IEEE # Standard for Floating-Point, by John R. Hauser. # -# Copyright 2011, 2012, 2013, 2014, 2015, 2016 The Regents of the University -# of California. All rights reserved. +# Copyright 2011, 2012, 2013, 2014, 2015, 2016, 2017 The Regents of the +# University of California. All rights reserved. # # Redistribution and use in source and binary forms, with or without # modification, are permitted provided that the following conditions are met: @@ -47,7 +47,9 @@ SOFTFLOAT_H = \ $(SOFTFLOAT_INCLUDE_DIR)/softfloat.h SOFTFLOAT_LIB = $(SOFTFLOAT_DIR)/build/$(PLATFORM)/softfloat$(LIB) -TESTFLOAT_OPTS ?= -DFLOAT16 -DEXTFLOAT80 -DFLOAT128 -DLONG_DOUBLE_IS_EXTFLOAT80 +TESTFLOAT_OPTS ?= \ + -DFLOAT16 -DFLOAT64 -DEXTFLOAT80 -DFLOAT128 -DFLOAT_ROUND_ODD \ + -DLONG_DOUBLE_IS_EXTFLOAT80 DELETE = rm -f C_INCLUDES = \ @@ -99,7 +101,6 @@ OBJS_WRITECASE = \ writeCase_abc_f64$(OBJ) \ writeCase_a_extF80M$(OBJ) \ writeCase_ab_extF80M$(OBJ) \ - writeCase_abc_extF80M$(OBJ) \ writeCase_a_f128M$(OBJ) \ writeCase_ab_f128M$(OBJ) \ writeCase_abc_f128M$(OBJ) \ diff --git a/build/Linux-x86_64-GCC/platform.h b/build/Linux-x86_64-GCC/platform.h index 5389f9a..ffaf89f 100644 --- a/build/Linux-x86_64-GCC/platform.h +++ b/build/Linux-x86_64-GCC/platform.h @@ -1,7 +1,7 @@ /*============================================================================ -This C header file is part of TestFloat, Release 3b, a package of programs for +This C header file is part of TestFloat, Release 3c, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. diff --git a/build/Win32-MinGW/Makefile b/build/Win32-MinGW/Makefile index 22de648..c35269f 100644 --- a/build/Win32-MinGW/Makefile +++ b/build/Win32-MinGW/Makefile @@ -1,12 +1,12 @@ #============================================================================= # -# This Makefile is part of TestFloat, Release 3b, a package of programs for +# This Makefile is part of TestFloat, Release 3c, a package of programs for # testing the correctness of floating-point arithmetic complying with the IEEE # Standard for Floating-Point, by John R. Hauser. # -# Copyright 2011, 2012, 2013, 2014, 2015, 2016 The Regents of the University -# of California. All rights reserved. +# Copyright 2011, 2012, 2013, 2014, 2015, 2016, 2017 The Regents of the +# University of California. All rights reserved. # # Redistribution and use in source and binary forms, with or without # modification, are permitted provided that the following conditions are met: @@ -47,7 +47,9 @@ SOFTFLOAT_H = \ $(SOFTFLOAT_INCLUDE_DIR)/softfloat.h SOFTFLOAT_LIB = $(SOFTFLOAT_DIR)/build/$(PLATFORM)/softfloat$(LIB) -TESTFLOAT_OPTS ?= -DFLOAT16 -DEXTFLOAT80 -DFLOAT128 -DLONG_DOUBLE_IS_EXTFLOAT80 +TESTFLOAT_OPTS ?= \ + -DFLOAT16 -DFLOAT64 -DEXTFLOAT80 -DFLOAT128 -DFLOAT_ROUND_ODD \ + -DLONG_DOUBLE_IS_EXTFLOAT80 DELETE = rm -f C_INCLUDES = \ @@ -99,7 +101,6 @@ OBJS_WRITECASE = \ writeCase_abc_f64$(OBJ) \ writeCase_a_extF80M$(OBJ) \ writeCase_ab_extF80M$(OBJ) \ - writeCase_abc_extF80M$(OBJ) \ writeCase_a_f128M$(OBJ) \ writeCase_ab_f128M$(OBJ) \ writeCase_abc_f128M$(OBJ) \ diff --git a/build/Win32-MinGW/platform.h b/build/Win32-MinGW/platform.h index 5389f9a..ffaf89f 100644 --- a/build/Win32-MinGW/platform.h +++ b/build/Win32-MinGW/platform.h @@ -1,7 +1,7 @@ /*============================================================================ -This C header file is part of TestFloat, Release 3b, a package of programs for +This C header file is part of TestFloat, Release 3c, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. diff --git a/build/Win32-SSE2-MinGW/Makefile b/build/Win32-SSE2-MinGW/Makefile index ff966a2..9af2d80 100644 --- a/build/Win32-SSE2-MinGW/Makefile +++ b/build/Win32-SSE2-MinGW/Makefile @@ -1,12 +1,12 @@ #============================================================================= # -# This Makefile is part of TestFloat, Release 3b, a package of programs for +# This Makefile is part of TestFloat, Release 3c, a package of programs for # testing the correctness of floating-point arithmetic complying with the IEEE # Standard for Floating-Point, by John R. Hauser. # -# Copyright 2011, 2012, 2013, 2014, 2015, 2016 The Regents of the University -# of California. All rights reserved. +# Copyright 2011, 2012, 2013, 2014, 2015, 2016, 2017 The Regents of the +# University of California. All rights reserved. # # Redistribution and use in source and binary forms, with or without # modification, are permitted provided that the following conditions are met: @@ -47,7 +47,9 @@ SOFTFLOAT_H = \ $(SOFTFLOAT_INCLUDE_DIR)/softfloat.h SOFTFLOAT_LIB = $(SOFTFLOAT_DIR)/build/$(PLATFORM)/softfloat$(LIB) -TESTFLOAT_OPTS ?= -DFLOAT16 -DEXTFLOAT80 -DFLOAT128 -DLONG_DOUBLE_IS_EXTFLOAT80 +TESTFLOAT_OPTS ?= \ + -DFLOAT16 -DFLOAT64 -DEXTFLOAT80 -DFLOAT128 -DFLOAT_ROUND_ODD \ + -DLONG_DOUBLE_IS_EXTFLOAT80 DELETE = rm -f C_INCLUDES = \ @@ -99,7 +101,6 @@ OBJS_WRITECASE = \ writeCase_abc_f64$(OBJ) \ writeCase_a_extF80M$(OBJ) \ writeCase_ab_extF80M$(OBJ) \ - writeCase_abc_extF80M$(OBJ) \ writeCase_a_f128M$(OBJ) \ writeCase_ab_f128M$(OBJ) \ writeCase_abc_f128M$(OBJ) \ diff --git a/build/Win32-SSE2-MinGW/platform.h b/build/Win32-SSE2-MinGW/platform.h index 5389f9a..ffaf89f 100644 --- a/build/Win32-SSE2-MinGW/platform.h +++ b/build/Win32-SSE2-MinGW/platform.h @@ -1,7 +1,7 @@ /*============================================================================ -This C header file is part of TestFloat, Release 3b, a package of programs for +This C header file is part of TestFloat, Release 3c, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. diff --git a/build/Win64-MinGW-w64/Makefile b/build/Win64-MinGW-w64/Makefile index a44856a..e16749f 100644 --- a/build/Win64-MinGW-w64/Makefile +++ b/build/Win64-MinGW-w64/Makefile @@ -1,12 +1,12 @@ #============================================================================= # -# This Makefile is part of TestFloat, Release 3b, a package of programs for +# This Makefile is part of TestFloat, Release 3c, a package of programs for # testing the correctness of floating-point arithmetic complying with the IEEE # Standard for Floating-Point, by John R. Hauser. # -# Copyright 2011, 2012, 2013, 2014, 2015, 2016 The Regents of the University -# of California. All rights reserved. +# Copyright 2011, 2012, 2013, 2014, 2015, 2016, 2017 The Regents of the +# University of California. All rights reserved. # # Redistribution and use in source and binary forms, with or without # modification, are permitted provided that the following conditions are met: @@ -47,7 +47,9 @@ SOFTFLOAT_H = \ $(SOFTFLOAT_INCLUDE_DIR)/softfloat.h SOFTFLOAT_LIB = $(SOFTFLOAT_DIR)/build/$(PLATFORM)/softfloat$(LIB) -TESTFLOAT_OPTS ?= -DFLOAT16 -DEXTFLOAT80 -DFLOAT128 -DLONG_DOUBLE_IS_EXTFLOAT80 +TESTFLOAT_OPTS ?= \ + -DFLOAT16 -DFLOAT64 -DEXTFLOAT80 -DFLOAT128 -DFLOAT_ROUND_ODD \ + -DLONG_DOUBLE_IS_EXTFLOAT80 DELETE = rm -f C_INCLUDES = \ @@ -99,7 +101,6 @@ OBJS_WRITECASE = \ writeCase_abc_f64$(OBJ) \ writeCase_a_extF80M$(OBJ) \ writeCase_ab_extF80M$(OBJ) \ - writeCase_abc_extF80M$(OBJ) \ writeCase_a_f128M$(OBJ) \ writeCase_ab_f128M$(OBJ) \ writeCase_abc_f128M$(OBJ) \ diff --git a/build/Win64-MinGW-w64/platform.h b/build/Win64-MinGW-w64/platform.h index 5389f9a..ffaf89f 100644 --- a/build/Win64-MinGW-w64/platform.h +++ b/build/Win64-MinGW-w64/platform.h @@ -1,7 +1,7 @@ /*============================================================================ -This C header file is part of TestFloat, Release 3b, a package of programs for +This C header file is part of TestFloat, Release 3c, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. diff --git a/build/template/Makefile b/build/template/Makefile index 839ae46..56e9a56 100644 --- a/build/template/Makefile +++ b/build/template/Makefile @@ -1,12 +1,12 @@ #============================================================================= # -# This Makefile template is part of TestFloat, Release 3b, a package of +# This Makefile template is part of TestFloat, Release 3c, a package of # programs for testing the correctness of floating-point arithmetic complying # with the IEEE Standard for Floating-Point, by John R. Hauser. # -# Copyright 2011, 2012, 2013, 2014, 2015, 2016 The Regents of the University -# of California. All rights reserved. +# Copyright 2011, 2012, 2013, 2014, 2015, 2016, 2017 The Regents of the +# University of California. All rights reserved. # # Redistribution and use in source and binary forms, with or without # modification, are permitted provided that the following conditions are met: @@ -49,7 +49,9 @@ ==> $(SOFTFLOAT_INCLUDE_DIR)/softfloat.h ==> SOFTFLOAT_LIB = $(SOFTFLOAT_DIR)/build/$(PLATFORM)/softfloat$(LIB) -==> TESTFLOAT_OPTS ?= -DFLOAT16 -DEXTFLOAT80 -DFLOAT128 -DLONG_DOUBLE_IS_EXTFLOAT80 +==> TESTFLOAT_OPTS ?= \ +==> -DFLOAT16 -DFLOAT64 -DEXTFLOAT80 -DFLOAT128 -DFLOAT_ROUND_ODD \ +==> -DLONG_DOUBLE_IS_EXTFLOAT80 ==> DELETE = rm -f ==> C_INCLUDES = \ @@ -97,7 +99,6 @@ OBJS_WRITECASE = \ writeCase_abc_f64$(OBJ) \ writeCase_a_extF80M$(OBJ) \ writeCase_ab_extF80M$(OBJ) \ - writeCase_abc_extF80M$(OBJ) \ writeCase_a_f128M$(OBJ) \ writeCase_ab_f128M$(OBJ) \ writeCase_abc_f128M$(OBJ) \ diff --git a/build/template/platform.h b/build/template/platform.h index 70d2b3e..e65b264 100644 --- a/build/template/platform.h +++ b/build/template/platform.h @@ -1,7 +1,7 @@ /*============================================================================ -This C header template is part of TestFloat, Release 3b, a package of programs +This C header template is part of TestFloat, Release 3c, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. -- cgit v1.1