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