Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(10)

Side by Side Diff: base/numerics/safe_conversions.h

Issue 141583008: Add support for safe math operations in base/numerics (Closed) Base URL: svn://svn.chromium.org/chrome/trunk/src/
Patch Set: Fix x64 _mm_empty Created 6 years, 10 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
OLDNEW
1 // Copyright 2014 The Chromium Authors. All rights reserved. 1 // Copyright 2014 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 #ifndef BASE_SAFE_CONVERSIONS_H_ 5 #ifndef BASE_SAFE_CONVERSIONS_H_
6 #define BASE_SAFE_CONVERSIONS_H_ 6 #define BASE_SAFE_CONVERSIONS_H_
7 7
8 #include <limits> 8 #include <limits>
9 9
10 #include "base/logging.h" 10 #include "base/logging.h"
11 #include "base/numerics/safe_conversions_impl.h" 11 #include "base/numerics/safe_conversions_impl.h"
12 12
13 namespace base { 13 namespace base {
14 14
15 // Convenience function that returns true if the supplied value is in range 15 // Convenience function that returns true if the supplied value is in range
16 // for the destination type. 16 // for the destination type.
17 template <typename Dst, typename Src> 17 template <typename Dst, typename Src>
18 inline bool IsValueInRangeForNumericType(Src value) { 18 inline bool IsValueInRangeForNumericType(Src value) {
19 return internal::RangeCheck<Dst>(value) == internal::TYPE_VALID; 19 return internal::DstRangeRelationToSrcRange<Dst>(value) ==
20 internal::RANGE_VALID;
20 } 21 }
21 22
22 // checked_cast<> is analogous to static_cast<> for numeric types, 23 // checked_cast<> is analogous to static_cast<> for numeric types,
23 // except that it CHECKs that the specified numeric conversion will not 24 // except that it CHECKs that the specified numeric conversion will not
24 // overflow or underflow. NaN source will always trigger a CHECK. 25 // overflow or underflow. NaN source will always trigger a CHECK.
25 template <typename Dst, typename Src> 26 template <typename Dst, typename Src>
26 inline Dst checked_cast(Src value) { 27 inline Dst checked_cast(Src value) {
27 CHECK(IsValueInRangeForNumericType<Dst>(value)); 28 CHECK(IsValueInRangeForNumericType<Dst>(value));
28 return static_cast<Dst>(value); 29 return static_cast<Dst>(value);
29 } 30 }
30 31
31 // saturated_cast<> is analogous to static_cast<> for numeric types, except 32 // saturated_cast<> is analogous to static_cast<> for numeric types, except
32 // that the specified numeric conversion will saturate rather than overflow or 33 // that the specified numeric conversion will saturate rather than overflow or
33 // underflow. NaN assignment to an integral will trigger a CHECK condition. 34 // underflow. NaN assignment to an integral will trigger a CHECK condition.
34 template <typename Dst, typename Src> 35 template <typename Dst, typename Src>
35 inline Dst saturated_cast(Src value) { 36 inline Dst saturated_cast(Src value) {
36 // Optimization for floating point values, which already saturate. 37 // Optimization for floating point values, which already saturate.
37 if (std::numeric_limits<Dst>::is_iec559) 38 if (std::numeric_limits<Dst>::is_iec559)
38 return static_cast<Dst>(value); 39 return static_cast<Dst>(value);
39 40
40 switch (internal::RangeCheck<Dst>(value)) { 41 switch (internal::DstRangeRelationToSrcRange<Dst>(value)) {
41 case internal::TYPE_VALID: 42 case internal::RANGE_VALID:
42 return static_cast<Dst>(value); 43 return static_cast<Dst>(value);
43 44
44 case internal::TYPE_UNDERFLOW: 45 case internal::RANGE_UNDERFLOW:
45 return std::numeric_limits<Dst>::min(); 46 return std::numeric_limits<Dst>::min();
46 47
47 case internal::TYPE_OVERFLOW: 48 case internal::RANGE_OVERFLOW:
48 return std::numeric_limits<Dst>::max(); 49 return std::numeric_limits<Dst>::max();
49 50
50 // Should fail only on attempting to assign NaN to a saturated integer. 51 // Should fail only on attempting to assign NaN to a saturated integer.
51 case internal::TYPE_INVALID: 52 case internal::RANGE_INVALID:
52 CHECK(false); 53 CHECK(false);
53 return std::numeric_limits<Dst>::max(); 54 return std::numeric_limits<Dst>::max();
54 } 55 }
55 56
56 NOTREACHED(); 57 NOTREACHED();
57 return static_cast<Dst>(value); 58 return static_cast<Dst>(value);
58 } 59 }
59 60
60 } // namespace base 61 } // namespace base
61 62
62 #endif // BASE_SAFE_CONVERSIONS_H_ 63 #endif // BASE_SAFE_CONVERSIONS_H_
63 64
OLDNEW
« no previous file with comments | « base/base.gypi ('k') | base/numerics/safe_conversions_impl.h » ('j') | base/numerics/safe_math.h » ('J')

Powered by Google App Engine
This is Rietveld 408576698