blob: 3882c32803ae97cb0065cebd10488dbacf3c1593 [file] [log] [blame]
henrike@webrtc.orgf0488722014-05-13 18:00:26 +00001/*
2 * Copyright 2005 The WebRTC Project Authors. All rights reserved.
3 *
4 * Use of this source code is governed by a BSD-style license
5 * that can be found in the LICENSE file in the root of the source
6 * tree. An additional intellectual property rights grant can be found
7 * in the file PATENTS. All contributing project authors may
8 * be found in the AUTHORS file in the root of the source tree.
9 */
10
Henrik Kjellanderc0362762017-06-29 08:03:04 +020011#ifndef WEBRTC_RTC_BASE_MATHUTILS_H_
12#define WEBRTC_RTC_BASE_MATHUTILS_H_
henrike@webrtc.orgf0488722014-05-13 18:00:26 +000013
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +020014#include <math.h>
15#include <type_traits>
tereliusd802b5b2016-03-01 11:07:34 -080016
Henrik Kjellander00725112017-06-30 15:14:45 +020017#include "webrtc/base/checks.h"
Henrik Kjellanderec78f1c2017-06-29 07:52:50 +020018
19#ifndef M_PI
20#define M_PI 3.14159265359f
21#endif
22
23// Given two numbers |x| and |y| such that x >= y, computes the difference
24// x - y without causing undefined behavior due to signed overflow.
25template <typename T>
26typename std::make_unsigned<T>::type unsigned_difference(T x, T y) {
27 static_assert(
28 std::is_signed<T>::value,
29 "Function unsigned_difference is only meaningful for signed types.");
30 RTC_DCHECK_GE(x, y);
31 typedef typename std::make_unsigned<T>::type unsigned_type;
32 // int -> unsigned conversion repeatedly adds UINT_MAX + 1 until the number
33 // can be represented as an unsigned. Since we know that the actual
34 // difference x - y can be represented as an unsigned, it is sufficient to
35 // compute the difference modulo UINT_MAX + 1, i.e using unsigned arithmetic.
36 return static_cast<unsigned_type>(x) - static_cast<unsigned_type>(y);
37}
tereliusd802b5b2016-03-01 11:07:34 -080038
Henrik Kjellanderc0362762017-06-29 08:03:04 +020039#endif // WEBRTC_RTC_BASE_MATHUTILS_H_