forked from gongbell/CUDAsmith
-
Notifications
You must be signed in to change notification settings - Fork 0
/
cl_safe_math_macros.h
147 lines (101 loc) · 5.95 KB
/
cl_safe_math_macros.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
#define safe_mul_hi_func_int8_t_s_s(_t1,_si1,_si2) \
({ _t1 si1 = (_si1) ; _t1 si2 = (_si2) ; \
((((si1) > ((int8_t)0)) && ((si2) > ((int8_t)0)) && ((si1) > ((INT8_MAX) / (si2)))) || \
(((si1) > ((int8_t)0)) && ((si2) <= ((int8_t)0)) && ((si2) < ((INT8_MIN) / (si1)))) || \
(((si1) <= ((int8_t)0)) && ((si2) > ((int8_t)0)) && ((si1) < ((INT8_MIN) / (si2)))) || \
(((si1) <= ((int8_t)0)) && ((si2) <= ((int8_t)0)) && (si1) != ((int8_t)0)) && ((si2) < ((INT8_MAX) / (si1))))) \
? (si1) \
: mul_hi((si1), (si2));})
#define safe_mad_hi_func_int8_t_s_s_s(_t1,_si1,_si2,_si3) \
({ _t1 si1 = (_si1) ; _t1 si2 = (_si2) ; _t1 si3 = (_si3) ; \
({ _t1 tmp = mul_hi((si1), (si2)) ; \
((((tmp) > ((int8_t)0)) && ((si3) > ((int8_t)0)) && ((tmp) > (((int8_t)(INT8_MAX))-(si3)))) || \
(((tmp) < ((int8_t)0)) && ((si3) < ((int8_t)0)) && ((tmp) < (((int8_t)(INT8_MIN))-(si3))))) \
? (si1) \
: mad_hi((si1), (si2), (si3));}) \
;})
#define safe_mul_hi_func_int16_t_s_s(_t1,_si1,_si2) \
({ _t1 si1 = (_si1) ; _t1 si2 = (_si2) ; \
((((si1) > ((int16_t)0)) && ((si2) > ((int16_t)0)) && ((si1) > ((INT16_MAX) / (si2)))) || \
(((si1) > ((int16_t)0)) && ((si2) <= ((int16_t)0)) && ((si2) < ((INT16_MIN) / (si1)))) || \
(((si1) <= ((int16_t)0)) && ((si2) > ((int16_t)0)) && ((si1) < ((INT16_MIN) / (si2)))) || \
(((si1) <= ((int16_t)0)) && ((si2) <= ((int16_t)0)) && (si1) != ((int16_t)0)) && ((si2) < ((INT16_MAX) / (si1))))) \
? (si1) \
: mul_hi((si1), (si2));})
#define safe_mad_hi_func_int16_t_s_s_s(_t1,_si1,_si2,_si3) \
({ _t1 si1 = (_si1) ; _t1 si2 = (_si2) ; _t1 si3 = (_si3) ; \
({ _t1 tmp = mul_hi((si1), (si2)) ; \
((((tmp) > ((int16_t)0)) && ((si3) > ((int16_t)0)) && ((tmp) > (((int16_t)(INT16_MAX))-(si3)))) || \
(((tmp) < ((int16_t)0)) && ((si3) < ((int16_t)0)) && ((tmp) < (((int16_t)(INT16_MIN))-(si3))))) \
? (si1) \
: mad_hi((si1), (si2), (si3));}) \
;})
#define safe_mul_hi_func_int32_t_s_s(_t1,_si1,_si2) \
({ _t1 si1 = (_si1) ; _t1 si2 = (_si2) ; \
((((si1) > ((int32_t)0)) && ((si2) > ((int32_t)0)) && ((si1) > ((INT32_MAX) / (si2)))) || \
(((si1) > ((int32_t)0)) && ((si2) <= ((int32_t)0)) && ((si2) < ((INT32_MIN) / (si1)))) || \
(((si1) <= ((int32_t)0)) && ((si2) > ((int32_t)0)) && ((si1) < ((INT32_MIN) / (si2)))) || \
(((si1) <= ((int32_t)0)) && ((si2) <= ((int32_t)0)) && (si1) != ((int32_t)0)) && ((si2) < ((INT32_MAX) / (si1))))) \
? (si1) \
: mul_hi((si1), (si2));})
#define safe_mad_hi_func_int32_t_s_s_s(_t1,_si1,_si2,_si3) \
({ _t1 si1 = (_si1) ; _t1 si2 = (_si2) ; _t1 si3 = (_si3) ; \
({ _t1 tmp = mul_hi((si1), (si2)) ; \
((((tmp) > ((int32_t)0)) && ((si3) > ((int32_t)0)) && ((tmp) > (((int32_t)(INT32_MAX))-(si3)))) || \
(((tmp) < ((int32_t)0)) && ((si3) < ((int32_t)0)) && ((tmp) < (((int32_t)(INT32_MIN))-(si3))))) \
? (si1) \
: mad_hi((si1), (si2), (si3));}) \
;})
#define safe_mul_hi_func_int64_t_s_s(_t1,_si1,_si2) \
({ _t1 si1 = (_si1) ; _t1 si2 = (_si2) ; \
((((si1) > ((int64_t)0)) && ((si2) > ((int64_t)0)) && ((si1) > ((INT64_MAX) / (si2)))) || \
(((si1) > ((int64_t)0)) && ((si2) <= ((int64_t)0)) && ((si2) < ((INT64_MIN) / (si1)))) || \
(((si1) <= ((int64_t)0)) && ((si2) > ((int64_t)0)) && ((si1) < ((INT64_MIN) / (si2)))) || \
(((si1) <= ((int64_t)0)) && ((si2) <= ((int64_t)0)) && (si1) != ((int64_t)0)) && ((si2) < ((INT64_MAX) / (si1))))) \
? (si1) \
: mul_hi((si1), (si2));})
#define safe_mad_hi_func_int64_t_s_s_s(_t1,_si1,_si2,_si3) \
({ _t1 si1 = (_si1) ; _t1 si2 = (_si2) ; _t1 si3 = (_si3) ; \
({ _t1 tmp = mul_hi((si1), (si2)) ; \
((((tmp) > ((int64_t)0)) && ((si3) > ((int64_t)0)) && ((tmp) > (((int64_t)(INT64_MAX))-(si3)))) || \
(((tmp) < ((int64_t)0)) && ((si3) < ((int64_t)0)) && ((tmp) < (((int64_t)(INT64_MIN))-(si3))))) \
? (si1) \
: mad_hi((si1), (si2), (si3));}) \
;})
#define safe_mul24_func_int32_t_s_s(_t1,_si1,_si2) \
({ _t1 si1 = (_si1) ; _t1 si2 = (_si2) ; \
((((si1) < (-(1<<23))) || ((si1) > ((1<<23)-1)) || ((si2) < (-(1<<23))) || ((si2) > ((1<<23)-1))) || \
(((si1) > ((int32_t)0)) && ((si2) > ((int32_t)0)) && ((si1) > ((INT32_MAX) / (si2)))) || \
(((si1) > ((int32_t)0)) && ((si2) <= ((int32_t)0)) && ((si2) < ((INT32_MIN) / (si1)))) || \
(((si1) <= ((int32_t)0)) && ((si2) > ((int32_t)0)) && ((si1) < ((INT32_MIN) / (si2)))) || \
(((si1) <= ((int32_t)0)) && ((si2) <= ((int32_t)0)) && ((si1) != ((int32_t)0)) && ((si2) < ((INT32_MAX) / (si1))))) \
? (si1) \
: mul24((si1), (si2));})
#define safe_mad24_func_int32_t_s_s_s(_t1,_si1,_si2,_si3) \
({ _t1 si1 = (_si1) ; _t1 si2 = (_si2) ; _t1 si3 = (_si3) ; \
((((si1) < (-(1<<23))) || ((si1) > ((1<<23)-1)) || ((si2) < (-(1<<23))) || ((si2) > ((1<<23)-1))) || \
(((si1) > ((int32_t)0)) && ((si2) > ((int32_t)0)) && ((si1) > ((INT32_MAX) / (si2)))) || \
(((si1) > ((int32_t)0)) && ((si2) <= ((int32_t)0)) && ((si2) < ((INT32_MIN) / (si1)))) || \
(((si1) <= ((int32_t)0)) && ((si2) > ((int32_t)0)) && ((si1) < ((INT32_MIN) / (si2)))) || \
(((si1) <= ((int32_t)0)) && ((si2) <= ((int32_t)0)) && ((si1) != ((int32_t)0)) && ((si2) < ((INT32_MAX) / (si1))))) \
? (si1) \
: ({ _t1 tmp = mul24((si1), (si2)) ; \
((((tmp) > ((int32_t)0)) && ((si3) > ((int32_t)0)) && ((tmp) > ((INT32_MAX)-(si3)))) || \
(((tmp) < ((int32_t)0)) && ((si3) < ((int32_t)0)) && ((tmp) < ((INT32_MIN)-(si3))))) \
? (si1) \
: mad24((si1), (si2), (si3));});})
#define safe_mul24_func_uint32_t_u_u(_t1,_ui1,_ui2) \
({ _t1 ui1 = (_ui1) ; _t1 ui2 = (_ui2) ; \
(((ui1) < (0)) || ((ui1) > (1<<24)) || ((ui2) < (0)) || ((ui2) > (1<<24))) \
? (ui1) \
: mul24((ui1), (ui2));})
#define safe_mad24_func_uint32_t_u_u_u(_t1,_ui1,_ui2,_ui3) \
({ _t1 ui1 = (_ui1) ; _t1 ui2 = (_ui2) ; _t1 ui3 = (_ui3) ; \
(((ui1) < (0)) || ((ui1) > (1<<24)) || ((ui2) < (0)) || ((ui2) > (1<<24))) \
? (ui1) \
: mad24((ui1), (ui2), (ui3));})
#define safe_clamp_func(_t1,_t2,_x,_y,_z) \
({ _t1 x = (_x) ; _t2 y = (_y) ; _t2 z = (_z) ; \
((y) > (z)) \
? (x) \
: clamp((x), (y), (z));})