xref: /aosp_15_r20/external/ComputeLibrary/support/SaturateCast.h (revision c217d954acce2dbc11938adb493fc0abd69584f3)
1*c217d954SCole Faust /*
2*c217d954SCole Faust  * Copyright (c) 2018-2020 Arm Limited.
3*c217d954SCole Faust  *
4*c217d954SCole Faust  * SPDX-License-Identifier: MIT
5*c217d954SCole Faust  *
6*c217d954SCole Faust  * Permission is hereby granted, free of charge, to any person obtaining a copy
7*c217d954SCole Faust  * of this software and associated documentation files (the "Software"), to
8*c217d954SCole Faust  * deal in the Software without restriction, including without limitation the
9*c217d954SCole Faust  * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
10*c217d954SCole Faust  * sell copies of the Software, and to permit persons to whom the Software is
11*c217d954SCole Faust  * furnished to do so, subject to the following conditions:
12*c217d954SCole Faust  *
13*c217d954SCole Faust  * The above copyright notice and this permission notice shall be included in all
14*c217d954SCole Faust  * copies or substantial portions of the Software.
15*c217d954SCole Faust  *
16*c217d954SCole Faust  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17*c217d954SCole Faust  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18*c217d954SCole Faust  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
19*c217d954SCole Faust  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20*c217d954SCole Faust  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21*c217d954SCole Faust  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
22*c217d954SCole Faust  * SOFTWARE.
23*c217d954SCole Faust  */
24*c217d954SCole Faust #ifndef ARM_COMPUTE_UTILS_CAST_SATURATE_CAST_H
25*c217d954SCole Faust #define ARM_COMPUTE_UTILS_CAST_SATURATE_CAST_H
26*c217d954SCole Faust 
27*c217d954SCole Faust #include "arm_compute/core/utils/misc/Traits.h"
28*c217d954SCole Faust #include "arm_compute/core/utils/misc/Utility.h"
29*c217d954SCole Faust #include "support/Rounding.h"
30*c217d954SCole Faust 
31*c217d954SCole Faust namespace arm_compute
32*c217d954SCole Faust {
33*c217d954SCole Faust namespace utils
34*c217d954SCole Faust {
35*c217d954SCole Faust namespace cast
36*c217d954SCole Faust {
37*c217d954SCole Faust // *INDENT-OFF*
38*c217d954SCole Faust // clang-format off
39*c217d954SCole Faust // same type
40*c217d954SCole Faust template<typename T,
41*c217d954SCole Faust          typename U,
42*c217d954SCole Faust          typename std::enable_if<std::is_same<T, U>::value, int >::type = 0 >
saturate_cast(U v)43*c217d954SCole Faust T saturate_cast(U v)
44*c217d954SCole Faust {
45*c217d954SCole Faust     return v;
46*c217d954SCole Faust }
47*c217d954SCole Faust 
48*c217d954SCole Faust // signed -> signed widening/same_width
49*c217d954SCole Faust template<typename T,
50*c217d954SCole Faust          typename U,
51*c217d954SCole Faust          typename std::enable_if<std::is_integral<T>::value &&
52*c217d954SCole Faust                                  std::is_integral<U>::value &&
53*c217d954SCole Faust                                  std::is_signed<U>() &&
54*c217d954SCole Faust                                  std::is_signed<T>() &&
55*c217d954SCole Faust                                  !std::is_same<T, U>::value &&
56*c217d954SCole Faust                                  sizeof(T) >= sizeof(U),
57*c217d954SCole Faust                   int >::type = 0 >
saturate_cast(U v)58*c217d954SCole Faust inline T saturate_cast(U v)
59*c217d954SCole Faust {
60*c217d954SCole Faust     return static_cast<T>(v);
61*c217d954SCole Faust }
62*c217d954SCole Faust // signed -> signed narrowing
63*c217d954SCole Faust template<typename T,
64*c217d954SCole Faust          typename U,
65*c217d954SCole Faust          typename std::enable_if<std::is_integral<T>::value &&
66*c217d954SCole Faust                                  std::is_integral<U>::value &&
67*c217d954SCole Faust                                  std::is_signed<U>() &&
68*c217d954SCole Faust                                  std::is_signed<T>() &&
69*c217d954SCole Faust                                  !std::is_same<T, U>::value &&
70*c217d954SCole Faust                                  sizeof(T) < sizeof(U),
71*c217d954SCole Faust                   int >::type = 0 >
72*c217d954SCole Faust inline T saturate_cast(U v)
73*c217d954SCole Faust {
74*c217d954SCole Faust     return static_cast<T>(utility::clamp<U>(v, std::numeric_limits<T>::lowest(), std::numeric_limits<T>::max()));
75*c217d954SCole Faust }
76*c217d954SCole Faust 
77*c217d954SCole Faust // unsigned -> signed widening
78*c217d954SCole Faust template<typename T,
79*c217d954SCole Faust          typename U,
80*c217d954SCole Faust          typename std::enable_if<std::is_integral<T>::value &&
81*c217d954SCole Faust                                  std::is_integral<U>::value &&
82*c217d954SCole Faust                                  std::is_unsigned<U>() &&
83*c217d954SCole Faust                                  std::is_signed<T>() &&
84*c217d954SCole Faust                                  !std::is_same<T, U>::value &&
85*c217d954SCole Faust                                  (sizeof(T) > sizeof(U)),
86*c217d954SCole Faust                   int >::type = 0 >
saturate_cast(U v)87*c217d954SCole Faust inline T saturate_cast(U v)
88*c217d954SCole Faust {
89*c217d954SCole Faust     return static_cast<T>(v);
90*c217d954SCole Faust }
91*c217d954SCole Faust // unsigned -> signed narrowing
92*c217d954SCole Faust template<typename T,
93*c217d954SCole Faust          typename U,
94*c217d954SCole Faust          typename std::enable_if<std::is_integral<T>::value &&
95*c217d954SCole Faust                                  std::is_integral<U>::value &&
96*c217d954SCole Faust                                  std::is_unsigned<U>() &&
97*c217d954SCole Faust                                  std::is_signed<T>() &&
98*c217d954SCole Faust                                  !std::is_same<T, U>::value &&
99*c217d954SCole Faust                                  sizeof(T) < sizeof(U),
100*c217d954SCole Faust                   int >::type = 0 >
101*c217d954SCole Faust inline T saturate_cast(U v)
102*c217d954SCole Faust {
103*c217d954SCole Faust     return static_cast<T>(std::min<U>(v, std::numeric_limits<T>::max()));
104*c217d954SCole Faust }
105*c217d954SCole Faust // unsigned -> signed same_width
106*c217d954SCole Faust template<typename T,
107*c217d954SCole Faust          typename U,
108*c217d954SCole Faust          typename std::enable_if<std::is_integral<T>::value &&
109*c217d954SCole Faust                                  std::is_integral<U>::value &&
110*c217d954SCole Faust                                  std::is_unsigned<U>() &&
111*c217d954SCole Faust                                  std::is_signed<T>() &&
112*c217d954SCole Faust                                  !std::is_same<T, U>::value &&
113*c217d954SCole Faust                                  sizeof(T) == sizeof(U),
114*c217d954SCole Faust                   int >::type = 0 >
saturate_cast(U v)115*c217d954SCole Faust inline T saturate_cast(U v)
116*c217d954SCole Faust {
117*c217d954SCole Faust     return static_cast<T>(std::min<U>(v, std::numeric_limits<T>::max()));
118*c217d954SCole Faust }
119*c217d954SCole Faust 
120*c217d954SCole Faust // signed -> unsigned widening/same width
121*c217d954SCole Faust template<typename T,
122*c217d954SCole Faust          typename U,
123*c217d954SCole Faust          typename std::enable_if<std::is_integral<T>::value &&
124*c217d954SCole Faust                                  std::is_integral<U>::value &&
125*c217d954SCole Faust                                  std::is_signed<U>() &&
126*c217d954SCole Faust                                  std::is_unsigned<T>() &&
127*c217d954SCole Faust                                  !std::is_same<T, U>::value &&
128*c217d954SCole Faust                                  sizeof(T) >= sizeof(U),
129*c217d954SCole Faust                   int >::type = 0 >
saturate_cast(U v)130*c217d954SCole Faust inline T saturate_cast(U v)
131*c217d954SCole Faust {
132*c217d954SCole Faust     return static_cast<T>(std::max<U>(0, v));
133*c217d954SCole Faust }
134*c217d954SCole Faust 
135*c217d954SCole Faust // signed -> unsigned narrowing
136*c217d954SCole Faust template<typename T,
137*c217d954SCole Faust          typename U,
138*c217d954SCole Faust          typename std::enable_if<std::is_integral<T>::value &&
139*c217d954SCole Faust                                  std::is_integral<U>::value &&
140*c217d954SCole Faust                                  std::is_signed<U>() &&
141*c217d954SCole Faust                                  std::is_unsigned<T>() &&
142*c217d954SCole Faust                                  !std::is_same<T, U>::value &&
143*c217d954SCole Faust                                  sizeof(T) < sizeof(U),
144*c217d954SCole Faust                   int >::type = 0 >
145*c217d954SCole Faust inline T saturate_cast(U v)
146*c217d954SCole Faust {
147*c217d954SCole Faust     return static_cast<T>(utility::clamp<U>(v, 0, std::numeric_limits<T>::max()));
148*c217d954SCole Faust }
149*c217d954SCole Faust 
150*c217d954SCole Faust // unsigned -> unsigned widening/same width
151*c217d954SCole Faust template<typename T,
152*c217d954SCole Faust          typename U,
153*c217d954SCole Faust          typename std::enable_if<std::is_integral<T>::value &&
154*c217d954SCole Faust                                  std::is_integral<U>::value &&
155*c217d954SCole Faust                                  std::is_unsigned<T>() &&
156*c217d954SCole Faust                                  std::is_unsigned<U>() &&
157*c217d954SCole Faust                                  !std::is_same<T, U>::value &&
158*c217d954SCole Faust                                  sizeof(T) >= sizeof(U),
159*c217d954SCole Faust                   int >::type = 0 >
saturate_cast(U v)160*c217d954SCole Faust inline T saturate_cast(U v)
161*c217d954SCole Faust {
162*c217d954SCole Faust     return static_cast<T>(v);
163*c217d954SCole Faust }
164*c217d954SCole Faust 
165*c217d954SCole Faust // unsigned -> unsigned narrowing
166*c217d954SCole Faust template<typename T,
167*c217d954SCole Faust          typename U,
168*c217d954SCole Faust          typename std::enable_if<std::is_integral<T>::value &&
169*c217d954SCole Faust                                  std::is_integral<U>::value &&
170*c217d954SCole Faust                                  std::is_unsigned<T>() &&
171*c217d954SCole Faust                                  std::is_unsigned<U>() &&
172*c217d954SCole Faust                                  !std::is_same<T, U>::value &&
173*c217d954SCole Faust                                  sizeof(T) < sizeof(U),
174*c217d954SCole Faust                   int >::type = 0 >
175*c217d954SCole Faust inline T saturate_cast(U v)
176*c217d954SCole Faust {
177*c217d954SCole Faust     return static_cast<T>(utility::clamp<U>(v, std::numeric_limits<T>::lowest(), std::numeric_limits<T>::max()));
178*c217d954SCole Faust }
179*c217d954SCole Faust 
180*c217d954SCole Faust // float -> int
181*c217d954SCole Faust template<typename T,
182*c217d954SCole Faust          typename U,
183*c217d954SCole Faust          typename std::enable_if<std::is_integral<T>::value &&
184*c217d954SCole Faust                                  traits::is_floating_point<U>::value,
185*c217d954SCole Faust                   int >::type = 0 >
saturate_cast(U v)186*c217d954SCole Faust inline T saturate_cast(U v)
187*c217d954SCole Faust {
188*c217d954SCole Faust     int32_t vi = utils::rounding::round_half_away_from_zero(v);
189*c217d954SCole Faust     return saturate_cast<T>(vi);
190*c217d954SCole Faust }
191*c217d954SCole Faust 
192*c217d954SCole Faust // int -> float
193*c217d954SCole Faust template<typename T,
194*c217d954SCole Faust          typename U,
195*c217d954SCole Faust          typename std::enable_if<traits::is_floating_point<T>::value &&
196*c217d954SCole Faust                                  std::is_integral<U>::value,
197*c217d954SCole Faust                   int >::type = 0 >
saturate_cast(U v)198*c217d954SCole Faust inline T saturate_cast(U v)
199*c217d954SCole Faust {
200*c217d954SCole Faust     return static_cast<T>(v);
201*c217d954SCole Faust }
202*c217d954SCole Faust 
203*c217d954SCole Faust // float -> float
204*c217d954SCole Faust template<typename T,
205*c217d954SCole Faust         typename U,
206*c217d954SCole Faust         typename std::enable_if<traits::is_floating_point<T>::value &&
207*c217d954SCole Faust                                 traits::is_floating_point<U>::value,
208*c217d954SCole Faust                 int >::type = 0 >
saturate_cast(U v)209*c217d954SCole Faust inline T saturate_cast(U v)
210*c217d954SCole Faust {
211*c217d954SCole Faust     return static_cast<T>(v);
212*c217d954SCole Faust }
213*c217d954SCole Faust // clang-format on
214*c217d954SCole Faust // *INDENT-ON*
215*c217d954SCole Faust } // namespace cast
216*c217d954SCole Faust } // namespace utils
217*c217d954SCole Faust } // namespace arm_compute
218*c217d954SCole Faust #endif /* ARM_COMPUTE_UTILS_CAST_SATURATE_CAST_H */
219