blob: 05191e651df76e6154aa8c025114e176f2cc0c11 [file] [log] [blame]
reed@android.com8a1c16f2008-12-17 15:59:43 +00001/*
epoger@google.comec3ed6a2011-07-28 14:26:00 +00002 * Copyright 2006 The Android Open Source Project
reed@android.com8a1c16f2008-12-17 15:59:43 +00003 *
epoger@google.comec3ed6a2011-07-28 14:26:00 +00004 * Use of this source code is governed by a BSD-style license that can be
5 * found in the LICENSE file.
reed@android.com8a1c16f2008-12-17 15:59:43 +00006 */
7
8#ifndef SkFloatingPoint_DEFINED
9#define SkFloatingPoint_DEFINED
10
Mike Reed35ee0e02017-08-06 22:29:57 -040011#include "../private/SkFloatBits.h"
reed@android.com8a1c16f2008-12-17 15:59:43 +000012#include "SkTypes.h"
Mike Kleine9f78b42016-11-22 08:57:45 -050013#include "SkSafe_math.h"
reed@android.com8a1c16f2008-12-17 15:59:43 +000014#include <float.h>
bungeman@google.comd3fbd342014-04-15 15:52:07 +000015
mtkleine18fa442016-06-09 13:40:56 -070016#if SK_CPU_SSE_LEVEL >= SK_CPU_SSE_LEVEL_SSE1
17 #include <xmmintrin.h>
18#elif defined(SK_ARM_HAS_NEON)
19 #include <arm_neon.h>
20#endif
21
bungeman@google.comd3fbd342014-04-15 15:52:07 +000022// For _POSIX_VERSION
23#if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
24#include <unistd.h>
25#endif
26
bungeman@google.com0567f222012-07-25 17:00:47 +000027// C++98 cmath std::pow seems to be the earliest portable way to get float pow.
28// However, on Linux including cmath undefines isfinite.
29// http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14608
reed@android.com9c970452009-04-03 14:26:10 +000030static inline float sk_float_pow(float base, float exp) {
bungeman@google.com0567f222012-07-25 17:00:47 +000031 return powf(base, exp);
reed@android.com9c970452009-04-03 14:26:10 +000032}
33
bungeman028205b2015-07-29 12:34:25 -070034#define sk_float_sqrt(x) sqrtf(x)
35#define sk_float_sin(x) sinf(x)
36#define sk_float_cos(x) cosf(x)
37#define sk_float_tan(x) tanf(x)
38#define sk_float_floor(x) floorf(x)
39#define sk_float_ceil(x) ceilf(x)
bungemandd67e3d2016-03-10 13:39:30 -080040#define sk_float_trunc(x) truncf(x)
reed@android.com8a1c16f2008-12-17 15:59:43 +000041#ifdef SK_BUILD_FOR_MAC
bungeman028205b2015-07-29 12:34:25 -070042# define sk_float_acos(x) static_cast<float>(acos(x))
43# define sk_float_asin(x) static_cast<float>(asin(x))
reed@android.com8a1c16f2008-12-17 15:59:43 +000044#else
bungeman028205b2015-07-29 12:34:25 -070045# define sk_float_acos(x) acosf(x)
46# define sk_float_asin(x) asinf(x)
reed@android.com8a1c16f2008-12-17 15:59:43 +000047#endif
bungeman028205b2015-07-29 12:34:25 -070048#define sk_float_atan2(y,x) atan2f(y,x)
49#define sk_float_abs(x) fabsf(x)
bungemand7dc76f2016-03-10 11:14:40 -080050#define sk_float_copysign(x, y) copysignf(x, y)
bungeman028205b2015-07-29 12:34:25 -070051#define sk_float_mod(x,y) fmodf(x,y)
52#define sk_float_exp(x) expf(x)
53#define sk_float_log(x) logf(x)
reed@android.com8a1c16f2008-12-17 15:59:43 +000054
mtklein1831f992015-06-09 11:47:01 -070055#define sk_float_round(x) sk_float_floor((x) + 0.5f)
56
reed7729e562015-01-16 08:35:09 -080057// can't find log2f on android, but maybe that just a tool bug?
58#ifdef SK_BUILD_FOR_ANDROID
59 static inline float sk_float_log2(float x) {
60 const double inv_ln_2 = 1.44269504088896;
61 return (float)(log(x) * inv_ln_2);
62 }
63#else
64 #define sk_float_log2(x) log2f(x)
65#endif
66
reed@google.com61873a52011-12-05 21:47:25 +000067#ifdef SK_BUILD_FOR_WIN
68 #define sk_float_isfinite(x) _finite(x)
reed@google.com5ae777d2011-12-06 20:18:05 +000069 #define sk_float_isnan(x) _isnan(x)
70 static inline int sk_float_isinf(float x) {
Mike Reed35ee0e02017-08-06 22:29:57 -040071 return x && (x + x == x);
reed@google.com5ae777d2011-12-06 20:18:05 +000072 }
reed@google.com61873a52011-12-05 21:47:25 +000073#else
74 #define sk_float_isfinite(x) isfinite(x)
reed@google.com5ae777d2011-12-06 20:18:05 +000075 #define sk_float_isnan(x) isnan(x)
76 #define sk_float_isinf(x) isinf(x)
reed@google.com61873a52011-12-05 21:47:25 +000077#endif
78
caryclark@google.com3b97af52013-04-23 11:56:44 +000079#define sk_double_isnan(a) sk_float_isnan(a)
80
Mike Reed828f1d52017-08-09 11:06:53 -040081#define SK_MaxS32FitsInFloat 2147483520
82#define SK_MinS32FitsInFloat -SK_MaxS32FitsInFloat
83
84/**
85 * Return the closest int for the given float. Returns SK_MaxS32FitsInFloat for NaN.
86 */
87static inline int sk_float_saturate2int(float x) {
88 x = SkTMin<float>(x, SK_MaxS32FitsInFloat);
89 x = SkTMax<float>(x, SK_MinS32FitsInFloat);
90 return (int)x;
91}
92
Mike Reede0762232017-10-10 14:49:35 -040093/**
94 * Return the closest int for the given double. Returns SK_MaxS32 for NaN.
95 */
96static inline int sk_double_saturate2int(double x) {
97 x = SkTMin<double>(x, SK_MaxS32);
98 x = SkTMax<double>(x, SK_MinS32);
99 return (int)x;
100}
101
Mike Reed828f1d52017-08-09 11:06:53 -0400102#define sk_float_floor2int(x) sk_float_saturate2int(sk_float_floor(x))
103#define sk_float_round2int(x) sk_float_saturate2int(sk_float_floor((x) + 0.5f))
104#define sk_float_ceil2int(x) sk_float_saturate2int(sk_float_ceil(x))
105
106#define sk_float_floor2int_no_saturate(x) (int)sk_float_floor(x)
107#define sk_float_round2int_no_saturate(x) (int)sk_float_floor((x) + 0.5f)
108#define sk_float_ceil2int_no_saturate(x) (int)sk_float_ceil(x)
reed@android.com8a1c16f2008-12-17 15:59:43 +0000109
reed39393e32014-10-21 12:33:21 -0700110#define sk_double_floor(x) floor(x)
111#define sk_double_round(x) floor((x) + 0.5)
112#define sk_double_ceil(x) ceil(x)
113#define sk_double_floor2int(x) (int)floor(x)
114#define sk_double_round2int(x) (int)floor((x) + 0.5f)
115#define sk_double_ceil2int(x) (int)ceil(x)
116
Mike Klein7791b942017-09-18 09:46:16 -0400117// Cast double to float, ignoring any warning about too-large finite values being cast to float.
118// Clang thinks this is undefined, but it's actually implementation defined to return either
119// the largest float or infinity (one of the two bracketing representable floats). Good enough!
Mike Klein5e996b82017-09-21 13:56:05 -0400120#if defined(__clang__) && (__clang_major__ * 1000 + __clang_minor__) >= 3007
Ben Wagner05c474b2017-09-15 17:48:08 -0400121__attribute__((no_sanitize("float-cast-overflow")))
122#endif
123static inline float sk_double_to_float(double x) {
124 return static_cast<float>(x);
125}
126
mtklein3ff2cc82016-08-10 08:31:42 -0700127static const uint32_t kIEEENotANumber = 0x7fffffff;
128#define SK_FloatNaN (*SkTCast<const float*>(&kIEEENotANumber))
129#define SK_FloatInfinity (+(float)INFINITY)
130#define SK_FloatNegativeInfinity (-(float)INFINITY)
commit-bot@chromium.org11e5b972013-11-08 20:14:16 +0000131
mtkleina766ca82016-01-26 07:40:30 -0800132static inline float sk_float_rsqrt_portable(float x) {
133 // Get initial estimate.
Mike Klein1e114f12016-09-29 11:15:15 -0400134 int i;
135 memcpy(&i, &x, 4);
mtkleina766ca82016-01-26 07:40:30 -0800136 i = 0x5F1FFFF9 - (i>>1);
Mike Klein1e114f12016-09-29 11:15:15 -0400137 float estimate;
138 memcpy(&estimate, &i, 4);
mtkleina766ca82016-01-26 07:40:30 -0800139
140 // One step of Newton's method to refine.
141 const float estimate_sq = estimate*estimate;
142 estimate *= 0.703952253f*(2.38924456f-x*estimate_sq);
143 return estimate;
144}
mtklein490b6152015-07-31 11:50:27 -0700145
commit-bot@chromium.org11e5b972013-11-08 20:14:16 +0000146// Fast, approximate inverse square root.
147// Compare to name-brand "1.0f / sk_float_sqrt(x)". Should be around 10x faster on SSE, 2x on NEON.
mtkleina766ca82016-01-26 07:40:30 -0800148static inline float sk_float_rsqrt(float x) {
commit-bot@chromium.org11e5b972013-11-08 20:14:16 +0000149// We want all this inlined, so we'll inline SIMD and just take the hit when we don't know we've got
150// it at compile time. This is going to be too fast to productively hide behind a function pointer.
151//
mtkleina766ca82016-01-26 07:40:30 -0800152// We do one step of Newton's method to refine the estimates in the NEON and portable paths. No
commit-bot@chromium.org11e5b972013-11-08 20:14:16 +0000153// refinement is faster, but very innacurate. Two steps is more accurate, but slower than 1/sqrt.
jvanverth29c69792015-07-23 11:14:29 -0700154//
mtkleina766ca82016-01-26 07:40:30 -0800155// Optimized constants in the portable path courtesy of http://rrrola.wz.cz/inv_sqrt.html
mtkleinb9c47f92015-07-23 08:37:02 -0700156#if SK_CPU_SSE_LEVEL >= SK_CPU_SSE_LEVEL_SSE1
157 return _mm_cvtss_f32(_mm_rsqrt_ss(_mm_set_ss(x)));
djsollen21769c52014-08-01 05:32:32 -0700158#elif defined(SK_ARM_HAS_NEON)
commit-bot@chromium.org11e5b972013-11-08 20:14:16 +0000159 // Get initial estimate.
160 const float32x2_t xx = vdup_n_f32(x); // Clever readers will note we're doing everything 2x.
161 float32x2_t estimate = vrsqrte_f32(xx);
162
163 // One step of Newton's method to refine.
164 const float32x2_t estimate_sq = vmul_f32(estimate, estimate);
165 estimate = vmul_f32(estimate, vrsqrts_f32(xx, estimate_sq));
166 return vget_lane_f32(estimate, 0); // 1 will work fine too; the answer's in both places.
167#else
mtkleina766ca82016-01-26 07:40:30 -0800168 return sk_float_rsqrt_portable(x);
commit-bot@chromium.org11e5b972013-11-08 20:14:16 +0000169#endif
170}
171
joshualitt922c8b12015-08-07 09:55:23 -0700172// This is the number of significant digits we can print in a string such that when we read that
173// string back we get the floating point number we expect. The minimum value C requires is 6, but
174// most compilers support 9
175#ifdef FLT_DECIMAL_DIG
176#define SK_FLT_DECIMAL_DIG FLT_DECIMAL_DIG
177#else
178#define SK_FLT_DECIMAL_DIG 9
179#endif
180
reed@android.com8a1c16f2008-12-17 15:59:43 +0000181#endif