Skip to content

Commit

Permalink
Sleef 2.80
Browse files Browse the repository at this point in the history
  • Loading branch information
@shibatch
shibatch committed Apr 24, 2016
0 parents commit 87a08c9
Show file tree
Hide file tree
Showing 34 changed files with 24,471 additions and 0 deletions.
11 changes: 11 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
test :
cd java; make test
cd purec; make test
cd simd; make testsse2 testavx

clean :
rm -f *~
cd java; make clean
cd purec; make clean
cd simd; make clean
cd tester; make clean
58 changes: 58 additions & 0 deletions README
Original file line number Diff line number Diff line change
@@ -0,0 +1,58 @@
In this library, functions for evaluating some elementary functions
are implemented. The algorithm is intentended for efficient evaluation
utilizing SIMD instruction sets like SSE or AVX, but it is also fast
using usual scalar operations.

The package contains a few directories in which implementation in the
corresponding languages are contained. You can run "make test" in
order to test the functions in each directory.

The software is in public domain. You can use the software without any
obligation.


Author : Naoki Shibata

Main download page : http://shibatch.sourceforge.net/



History

2.80 Added support for ARM NEON. Added higher accuracy single
precision functions : sinf_u1, cosf_u1, sincosf_u1, tanf_u1, asinf_u1,
acosf_u1, atanf_u1, atan2f_u1, logf_u1, and cbrtf_u1.

2.70 Added higher accuracy functions : sin_u1, cos_u1, sincos_u1,
tan_u1, asin_u1, acos_u1, atan_u1, atan2_u1, log_u1, and
cbrt_u1. These functions evaluate the corresponding function with at
most 1 ulp of error.

2.60 Added the remaining single precision functions : powf, sinhf,
coshf, tanhf, exp2f, exp10f, log10f, log1pf. Added support for FMA4
(for AMD Bulldozer). Added more test cases. Fixed minor bugs (which
degraded accuracy in some rare cases).

2.50 Added support for AVX2. SLEEF now compiles with ICC.

2.40 Fixed incorrect denormal/nonnumber handling in ldexp, ldexpf,
sinf and cosf. Removed support for Go language.

2.31 Added sincosf.

2.30 Added single precision functions : sinf, cosf, tanf, asinf,
acosf, atanf, logf, expf, atan2f and cbrtf.

2.20 Added exp2, exp10, expm1, log10, log1p, and cbrt.

2.10 asin() and acos() are back. Added ilogb() and ldexp(). Added
hyperbolic functions. Eliminated dependency on frexp, ldexp, fabs,
isnan and isinf.

2.00 All of the algorithm has been updated. Both accuracy and speed
are improved since version 1.10. Denormal number handling is also
improved.

1.10 AVX support is added. Accuracy tester is added.

1.00 Initial release
296 changes: 296 additions & 0 deletions java/IUT.java
Original file line number Diff line number Diff line change
@@ -0,0 +1,296 @@
import java.io.*;

import org.naokishibata.sleef.*;

public class IUT {
static long hexToLong(String s) {
long ret = 0;
for(int i=0;i<s.length();i++) {
char c = s.charAt(i);
ret <<= 4;
if ('0' <= c && c <= '9') ret += c - '0'; else ret += c - 'a' + 10;
}
return ret;
}

static String longToHex(long l) {
if (l == 0) return "0";
String str = "";
while(l != 0) {
int d = (int)l & 0xf;
l = (l >>> 4) & 0x7fffffffffffffffL;
str = Character.forDigit(d, 16) + str;
}
return str;
}

public static void main(String[] args) throws Exception {
LineNumberReader lnr = new LineNumberReader(new InputStreamReader(System.in));

for(;;) {
String s = lnr.readLine();
if (s == null) break;

if (s.startsWith("atan2 ")) {
String[] a = s.split(" ");
long y = hexToLong(a[1]);
long x = hexToLong(a[2]);
double d = FastMath.atan2(Double.longBitsToDouble(y), Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("pow ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
long y = hexToLong(a[2]);
double d = FastMath.pow(Double.longBitsToDouble(x), Double.longBitsToDouble(y));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("sincos ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
FastMath.double2 d2 = FastMath.sincos(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d2.x)) + " " + longToHex(Double.doubleToRawLongBits(d2.y)));
} else if (s.startsWith("sin ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.sin(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("cos ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.cos(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("tan ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.tan(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("asin ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.asin(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("acos ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.acos(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("atan ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.atan(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("log ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.log(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("exp ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.exp(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("sinh ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.sinh(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("cosh ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.cosh(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("tanh ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.tanh(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("asinh ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.asinh(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("acosh ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.acosh(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("atanh ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.atanh(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("sqrt ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.sqrt(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("cbrt ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.cbrt(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("exp2 ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.exp2(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("exp10 ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.exp10(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("expm1 ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.expm1(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("log10 ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.log10(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("log1p ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
double d = FastMath.log1p(Double.longBitsToDouble(x));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("ldexp ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]), y = hexToLong(a[2]);
double d = FastMath.ldexp(Double.longBitsToDouble(x), (int)Double.longBitsToDouble(y));
System.out.println(longToHex(Double.doubleToRawLongBits(d)));
} else if (s.startsWith("sinf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.sinf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("cosf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.cosf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("sincosf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
FastMath.float2 d2 = FastMath.sincosf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d2.x)) + " " + longToHex(Float.floatToRawIntBits(d2.y)));
} else if (s.startsWith("tanf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.tanf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("asinf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.asinf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("acosf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.acosf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("atanf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.atanf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("logf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.logf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("expf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.expf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("cbrtf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.cbrtf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("atan2f ")) {
String[] a = s.split(" ");
long y = hexToLong(a[1]);
long x = hexToLong(a[2]);
float d = FastMath.atan2f(Float.intBitsToFloat((int)y), Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("ldexpf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
long y = hexToLong(a[2]);
float d = FastMath.ldexpf(Float.intBitsToFloat((int)x), (int)Float.intBitsToFloat((int)y));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("powf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
long y = hexToLong(a[2]);
float d = FastMath.powf(Float.intBitsToFloat((int)x), Float.intBitsToFloat((int)y));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("sinhf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.sinhf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("coshf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.coshf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("tanhf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.tanhf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("asinhf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.asinhf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("acoshf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.acoshf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("atanhf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.atanhf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("exp2f ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.exp2f(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("exp10f ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.exp10f(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("expm1f ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.expm1f(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("log10f ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.log10f(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("log1pf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = FastMath.log1pf(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else if (s.startsWith("sqrtf ")) {
String[] a = s.split(" ");
long x = hexToLong(a[1]);
float d = (float)Math.sqrt(Float.intBitsToFloat((int)x));
System.out.println(longToHex(Float.floatToRawIntBits(d)));
} else {
break;
}

System.out.flush();
}
}
}
21 changes: 21 additions & 0 deletions java/Makefile
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
IUT.class : IUT.java org/naokishibata/sleef/FastMath.java
javac IUT.java

doc : org/naokishibata/sleef/FastMath.java
javadoc -d ./javadoc -subpackages org.naokishibata

../tester/tester :
cd ../tester; make tester

../tester/testersp :
cd ../tester; make testersp

test : IUT.class ../tester/tester ../tester/testersp
../tester/tester java -ea IUT
../tester/testersp java -ea IUT

clean :
rm -f *~ IUT.class
rm -rf javadoc
find org -name "*.class" -exec rm {} ";"
find org -name "*~" -exec rm {} ";"
Loading

0 comments on commit 87a08c9

Please sign in to comment.