Jolt Physics
A multi core friendly Game Physics Engine
Loading...
Searching...
No Matches
Math.h
Go to the documentation of this file.
1// Jolt Physics Library (https://github.com/jrouwe/JoltPhysics)
2// SPDX-FileCopyrightText: 2021 Jorrit Rouwe
3// SPDX-License-Identifier: MIT
4
5#pragma once
6
8
10static constexpr float JPH_PI = 3.14159265358979323846f;
11
13static constexpr float cLargeFloat = 1.0e15f;
14
16JPH_INLINE constexpr float DegreesToRadians(float inV)
17{
18 return inV * (JPH_PI / 180.0f);
19}
20
22JPH_INLINE constexpr float RadiansToDegrees(float inV)
23{
24 return inV * (180.0f / JPH_PI);
25}
26
28inline float CenterAngleAroundZero(float inV)
29{
30 if (inV < -JPH_PI)
31 {
32 do
33 inV += 2.0f * JPH_PI;
34 while (inV < -JPH_PI);
35 }
36 else if (inV > JPH_PI)
37 {
38 do
39 inV -= 2.0f * JPH_PI;
40 while (inV > JPH_PI);
41 }
42 JPH_ASSERT(inV >= -JPH_PI && inV <= JPH_PI);
43 return inV;
44}
45
49JPH_INLINE float DifferenceOfProducts(float inA, float inB, float inC, float inD)
50{
51#ifdef JPH_USE_FMADD
52 float cd = inC * inD;
53 float err = std::fma(-inC, inD, cd);
54 float dop = std::fma(inA, inB, -cd);
55 return dop + err;
56#else
57 return inA * inB - inC * inD;
58#endif
59}
60
62template <typename T>
63JPH_INLINE constexpr T Clamp(T inV, T inMin, T inMax)
64{
65 return min(max(inV, inMin), inMax);
66}
67
69template <typename T>
70JPH_INLINE constexpr T Square(T inV)
71{
72 return inV * inV;
73}
74
76JPH_INLINE float Sqrt(float inV)
77{
78#ifdef JPH_USE_SSE
79 return _mm_cvtss_f32(_mm_sqrt_ss(_mm_set_ss(inV)));
80#elif defined(JPH_USE_NEON)
81 return vget_lane_f32(vsqrt_f32(vdup_n_f32(inV)), 0);
82#elif defined(JPH_CPU_RISCV)
83 float res;
84 asm("fsqrt.s %0, %1" : "=f"(res) : "f"(inV));
85 return res;
86#else
87 return std::sqrt(inV);
88#endif
89}
90
92JPH_INLINE double Sqrt(double inV)
93{
94#ifdef JPH_USE_SSE
95 return _mm_cvtsd_f64(_mm_sqrt_sd(_mm_undefined_pd(), _mm_set_sd(inV)));
96#elif defined(JPH_USE_NEON)
97 return vget_lane_f64(vsqrt_f64(vdup_n_f64(inV)), 0);
98#elif defined(JPH_CPU_RISCV)
99 double res;
100 asm("fsqrt.d %0, %1" : "=f"(res) : "f"(inV));
101 return res;
102#else
103 return std::sqrt(inV);
104#endif
105}
106
108template <typename T>
109JPH_INLINE constexpr T Cubed(T inV)
110{
111 return inV * inV * inV;
112}
113
115template <typename T>
116JPH_INLINE constexpr T Sign(T inV)
117{
118 return inV < 0? T(-1) : T(1);
119}
120
122template <typename T>
123constexpr bool IsPowerOf2(T inV)
124{
125 return inV > 0 && (inV & (inV - 1)) == 0;
126}
127
129template <typename T>
130inline T AlignUp(T inV, uint64 inAlignment)
131{
132 JPH_ASSERT(IsPowerOf2(inAlignment));
133 return T((uint64(inV) + inAlignment - 1) & ~(inAlignment - 1));
134}
135
137template <typename T>
138inline bool IsAligned(T inV, uint64 inAlignment)
139{
140 JPH_ASSERT(IsPowerOf2(inAlignment));
141 return (uint64(inV) & (inAlignment - 1)) == 0;
142}
143
146{
147#if defined(JPH_CPU_X86) || defined(JPH_CPU_WASM)
148 #if defined(JPH_USE_TZCNT)
149 return _tzcnt_u32(inValue);
150 #elif defined(JPH_COMPILER_MSVC)
151 if (inValue == 0)
152 return 32;
153 unsigned long result;
154 _BitScanForward(&result, inValue);
155 return result;
156 #else
157 if (inValue == 0)
158 return 32;
159 return __builtin_ctz(inValue);
160 #endif
161#elif defined(JPH_CPU_ARM)
162 #if defined(JPH_COMPILER_MSVC)
163 if (inValue == 0)
164 return 32;
165 unsigned long result;
166 _BitScanForward(&result, inValue);
167 return result;
168 #else
169 if (inValue == 0)
170 return 32;
171 return __builtin_ctz(inValue);
172 #endif
173#elif defined(JPH_CPU_E2K) || defined(JPH_CPU_RISCV) || defined(JPH_CPU_PPC) || defined(JPH_CPU_LOONGARCH)
174 return inValue ? __builtin_ctz(inValue) : 32;
175#else
176 #error Undefined
177#endif
178}
179
182{
183#if defined(JPH_CPU_X86) || defined(JPH_CPU_WASM)
184 #if defined(JPH_USE_LZCNT)
185 return _lzcnt_u32(inValue);
186 #elif defined(JPH_COMPILER_MSVC)
187 if (inValue == 0)
188 return 32;
189 unsigned long result;
190 _BitScanReverse(&result, inValue);
191 return 31 - result;
192 #else
193 if (inValue == 0)
194 return 32;
195 return __builtin_clz(inValue);
196 #endif
197#elif defined(JPH_CPU_ARM)
198 #if defined(JPH_COMPILER_MSVC)
199 return _CountLeadingZeros(inValue);
200 #else
201 return __builtin_clz(inValue);
202 #endif
203#elif defined(JPH_CPU_E2K) || defined(JPH_CPU_RISCV) || defined(JPH_CPU_PPC) || defined(JPH_CPU_LOONGARCH)
204 return inValue ? __builtin_clz(inValue) : 32;
205#else
206 #error Undefined
207#endif
208}
209
211inline uint CountBits(uint32 inValue)
212{
213#if defined(JPH_COMPILER_CLANG) || defined(JPH_COMPILER_GCC)
214 return __builtin_popcount(inValue);
215#elif defined(JPH_COMPILER_MSVC)
216 #if defined(JPH_USE_SSE4_2)
217 return _mm_popcnt_u32(inValue);
218 #elif defined(JPH_USE_NEON) && (_MSC_VER >= 1930) // _CountOneBits not available on MSVC2019
219 return _CountOneBits(inValue);
220 #else
221 inValue = inValue - ((inValue >> 1) & 0x55555555);
222 inValue = (inValue & 0x33333333) + ((inValue >> 2) & 0x33333333);
223 inValue = (inValue + (inValue >> 4)) & 0x0F0F0F0F;
224 return (inValue * 0x01010101) >> 24;
225 #endif
226#else
227 #error Undefined
228#endif
229}
230
233{
234 return inValue <= 1? uint32(1) : uint32(1) << (32 - CountLeadingZeros(inValue - 1));
235}
236
237// Simple implementation of C++20 std::bit_cast (unfortunately not constexpr)
238template <class To, class From>
239JPH_INLINE To BitCast(const From &inValue)
240{
241 static_assert(std::is_trivially_constructible_v<To>);
242 static_assert(sizeof(From) == sizeof(To));
243
244 union FromTo
245 {
246 To mTo;
247 From mFrom;
248 };
249
250 FromTo convert;
251 convert.mFrom = inValue;
252 return convert.mTo;
253}
254
std::uint64_t uint64
Definition Core.h:514
unsigned int uint
Definition Core.h:509
#define JPH_NAMESPACE_END
Definition Core.h:433
std::uint32_t uint32
Definition Core.h:512
#define JPH_NAMESPACE_BEGIN
Definition Core.h:427
#define JPH_ASSERT(...)
Definition IssueReporting.h:33
JPH_INLINE constexpr T Clamp(T inV, T inMin, T inMax)
Clamp a value between two values.
Definition Math.h:63
JPH_INLINE constexpr T Sign(T inV)
Get the sign of a value.
Definition Math.h:116
float CenterAngleAroundZero(float inV)
Convert angle in radians to the range .
Definition Math.h:28
constexpr bool IsPowerOf2(T inV)
Check if inV is a power of 2.
Definition Math.h:123
uint CountBits(uint32 inValue)
Count the number of 1 bits in a value.
Definition Math.h:211
JPH_INLINE constexpr T Square(T inV)
Square a value.
Definition Math.h:70
JPH_INLINE constexpr float DegreesToRadians(float inV)
Convert a value from degrees to radians.
Definition Math.h:16
JPH_INLINE constexpr T Cubed(T inV)
Returns .
Definition Math.h:109
JPH_INLINE constexpr float RadiansToDegrees(float inV)
Convert a value from radians to degrees.
Definition Math.h:22
JPH_INLINE float Sqrt(float inV)
Take the square root of a float value.
Definition Math.h:76
bool IsAligned(T inV, uint64 inAlignment)
Check if inV is inAlignment aligned.
Definition Math.h:138
uint CountTrailingZeros(uint32 inValue)
Compute number of trailing zero bits (how many low bits are zero)
Definition Math.h:145
JPH_INLINE To BitCast(const From &inValue)
Definition Math.h:239
uint CountLeadingZeros(uint32 inValue)
Compute the number of leading zero bits (how many high bits are zero)
Definition Math.h:181
JPH_INLINE float DifferenceOfProducts(float inA, float inB, float inC, float inD)
Definition Math.h:49
uint32 GetNextPowerOf2(uint32 inValue)
Get the next higher power of 2 of a value, or the value itself if the value is already a power of 2.
Definition Math.h:232
T AlignUp(T inV, uint64 inAlignment)
Align inV up to the next inAlignment bytes.
Definition Math.h:130