4 * Copyright (C) 2012 Oracle.
6 * Licensed under the Open Software License version 1.1
9 * Basically the point of sval is that it can hold both ULLONG_MAX and
10 * LLONG_MIN. If it is an unsigned type then we use sval.uvalue or if it is
11 * signed we use sval.value.
13 * I considered just using one bit to store whether the value was signed vs
14 * unsigned but I think it might help to have the type information so we know
15 * how to do type promotion.
20 #include "smatch_slist.h"
21 #include "smatch_extra.h"
23 __ALLOCATOR(sval_t
, "svals", sval
);
25 sval_t
*sval_alloc(sval_t sval
)
29 ret
= __alloc_sval(0);
34 sval_t
*sval_alloc_permanent(sval_t sval
)
38 ret
= malloc(sizeof(*ret
));
43 sval_t
sval_blank(struct expression
*expr
)
47 ret
.type
= get_type(expr
);
49 ret
.type
= &llong_ctype
;
50 ret
.value
= 123456789;
55 sval_t
sval_type_val(struct symbol
*type
, long long val
)
64 sval_t
sval_from_val(struct expression
*expr
, long long val
)
68 ret
= sval_blank(expr
);
70 ret
= sval_cast(get_type(expr
), ret
);
75 int sval_unsigned(sval_t sval
)
77 return type_unsigned(sval
.type
);
80 int sval_signed(sval_t sval
)
82 return !type_unsigned(sval
.type
);
85 int sval_bits(sval_t sval
)
87 return type_bits(sval
.type
);
90 int sval_positive_bits(sval_t sval
)
92 return type_positive_bits(sval
.type
);
95 int sval_bits_used(sval_t sval
)
99 for (i
= 64; i
>= 1; i
--) {
100 if (sval
.uvalue
& (1ULL << (i
- 1)))
106 int sval_is_negative(sval_t sval
)
108 if (sval_cmp_val(sval
, 0) < 0)
113 int sval_is_positive(sval_t sval
)
115 return !sval_is_negative(sval
);
118 int sval_is_min(sval_t sval
)
120 sval_t min
= sval_type_min(sval
.type
);
122 if (sval_unsigned(sval
)) {
123 if (sval
.uvalue
== 0)
127 /* return true for less than min as well */
128 return (sval
.value
<= min
.value
);
131 int sval_is_max(sval_t sval
)
133 sval_t max
= sval_type_max(sval
.type
);
135 if (sval_unsigned(sval
))
136 return (sval
.uvalue
>= max
.value
);
137 return (sval
.value
>= max
.value
);
140 int sval_is_a_min(sval_t sval
)
142 if (sval_signed(sval
) && sval
.value
== SHRT_MIN
)
144 if (sval_signed(sval
) && sval
.value
== INT_MIN
)
146 if (sval_signed(sval
) && sval
.value
== LLONG_MIN
)
151 int sval_is_a_max(sval_t sval
)
153 if (sval
.uvalue
== SHRT_MAX
)
155 if (sval
.uvalue
== INT_MAX
)
157 if (sval
.uvalue
== LLONG_MAX
)
159 if (sval
.uvalue
== USHRT_MAX
)
161 if (sval
.uvalue
== UINT_MAX
)
163 if (sval_unsigned(sval
) && sval
.uvalue
== ULLONG_MAX
)
168 int sval_is_negative_min(sval_t sval
)
170 if (!sval_is_negative(sval
))
172 return sval_is_min(sval
);
176 * Returns -1 if one is smaller, 0 if they are the same and 1 if two is larger.
178 int sval_cmp(sval_t one
, sval_t two
)
183 if (sval_positive_bits(two
) > sval_positive_bits(one
))
185 if (type_bits(type
) < 31)
188 one
= sval_cast(type
, one
);
189 two
= sval_cast(type
, two
);
191 if (type_unsigned(type
)) {
192 if (one
.uvalue
< two
.uvalue
)
194 if (one
.uvalue
== two
.uvalue
)
198 /* fix me handle type promotion and unsigned values */
199 if (one
.value
< two
.value
)
201 if (one
.value
== two
.value
)
206 int sval_cmp_t(struct symbol
*type
, sval_t one
, sval_t two
)
208 sval_t one_cast
, two_cast
;
210 one_cast
= sval_cast(type
, one
);
211 two_cast
= sval_cast(type
, two
);
212 return sval_cmp(one_cast
, two_cast
);
215 int sval_cmp_val(sval_t one
, long long val
)
219 sval
= sval_type_val(&llong_ctype
, val
);
220 return sval_cmp(one
, sval
);
223 sval_t
sval_min(sval_t one
, sval_t two
)
225 if (sval_cmp(one
, two
) > 0)
230 sval_t
sval_max(sval_t one
, sval_t two
)
232 if (sval_cmp(one
, two
) < 0)
237 int sval_too_low(struct symbol
*type
, sval_t sval
)
239 if (sval_is_negative(sval
) && type_unsigned(type
))
241 if (type_signed(type
) && sval_unsigned(sval
))
243 if (sval_cmp(sval
, sval_type_min(type
)) < 0)
248 int sval_too_high(struct symbol
*type
, sval_t sval
)
250 if (sval_is_negative(sval
))
252 if (sval_cmp(sval
, sval_type_max(type
)) > 0)
257 int sval_fits(struct symbol
*type
, sval_t sval
)
259 if (sval_too_low(type
, sval
))
261 if (sval_too_high(type
, sval
))
266 sval_t
sval_cast(struct symbol
*type
, sval_t sval
)
274 switch (sval_bits(ret
)) {
276 if (sval_unsigned(ret
))
277 ret
.value
= (long long)(unsigned char)sval
.value
;
279 ret
.value
= (long long)(char)sval
.value
;
282 if (sval_unsigned(ret
))
283 ret
.value
= (long long)(unsigned short)sval
.value
;
285 ret
.value
= (long long)(short)sval
.value
;
288 if (sval_unsigned(ret
))
289 ret
.value
= (long long)(unsigned int)sval
.value
;
291 ret
.value
= (long long)(int)sval
.value
;
294 ret
.value
= sval
.value
;
300 sval_t
sval_preop(sval_t sval
, int op
)
304 sval
.value
= !sval
.value
;
307 sval
.value
= ~sval
.value
;
308 /* fixme: should probably cast this here */
311 sval
.value
= -sval
.value
;
317 static sval_t
sval_binop_unsigned(struct symbol
*type
, sval_t left
, int op
, sval_t right
)
324 ret
.uvalue
= left
.uvalue
* right
.uvalue
;
327 if (right
.uvalue
== 0) {
328 sm_msg("debug: %s: divide by zero", __func__
);
329 ret
.uvalue
= 123456789;
331 ret
.uvalue
= left
.uvalue
/ right
.uvalue
;
335 ret
.uvalue
= left
.uvalue
+ right
.uvalue
;
338 ret
.uvalue
= left
.uvalue
- right
.uvalue
;
341 if (right
.uvalue
== 0) {
342 sm_msg("internal error: %s: MOD by zero", __func__
);
343 ret
.uvalue
= 123456789;
345 ret
.uvalue
= left
.uvalue
% right
.uvalue
;
349 ret
.uvalue
= left
.uvalue
| right
.uvalue
;
352 ret
.uvalue
= left
.uvalue
& right
.uvalue
;
354 case SPECIAL_RIGHTSHIFT
:
355 ret
.uvalue
= left
.uvalue
>> right
.uvalue
;
357 case SPECIAL_LEFTSHIFT
:
358 ret
.uvalue
= left
.uvalue
<< right
.uvalue
;
361 ret
.uvalue
= left
.uvalue
^ right
.uvalue
;
364 sm_msg("internal error: %s: unhandled binop %s", __func__
,
366 ret
.uvalue
= 1234567;
372 static sval_t
sval_binop_signed(struct symbol
*type
, sval_t left
, int op
, sval_t right
)
379 ret
.value
= left
.value
* right
.value
;
382 if (right
.value
== 0) {
383 sm_msg("debug: %s: divide by zero", __func__
);
384 ret
.value
= 123456789;
385 } else if (left
.value
== LLONG_MIN
&& right
.value
== -1) {
386 sm_msg("debug: %s: invalid divide LLONG_MIN/-1", __func__
);
387 ret
.value
= 12345678;
389 ret
.value
= left
.value
/ right
.value
;
393 ret
.value
= left
.value
+ right
.value
;
396 ret
.value
= left
.value
- right
.value
;
399 if (right
.value
== 0) {
400 sm_msg("internal error: %s: MOD by zero", __func__
);
401 ret
.value
= 123456789;
403 ret
.value
= left
.value
% right
.value
;
407 ret
.value
= left
.value
| right
.value
;
410 ret
.value
= left
.value
& right
.value
;
412 case SPECIAL_RIGHTSHIFT
:
413 ret
.value
= left
.value
>> right
.value
;
415 case SPECIAL_LEFTSHIFT
:
416 ret
.value
= left
.value
<< right
.value
;
419 ret
.value
= left
.value
^ right
.value
;
422 sm_msg("internal error: %s: unhandled binop %s", __func__
,
429 sval_t
sval_binop(sval_t left
, int op
, sval_t right
)
435 if (sval_positive_bits(right
) > sval_positive_bits(left
))
437 if (type_positive_bits(type
) < 31)
440 if (type_unsigned(type
))
441 ret
= sval_binop_unsigned(type
, left
, op
, right
);
443 ret
= sval_binop_signed(type
, left
, op
, right
);
447 int sval_binop_overflows(sval_t left
, int op
, sval_t right
)
453 if (type_positive_bits(right
.type
) > type_positive_bits(left
.type
))
455 if (type_positive_bits(type
) < 31)
457 max
= sval_type_max(type
);
461 if (left
.uvalue
> max
.uvalue
- right
.uvalue
)
465 return right
.uvalue
!= 0 && left
.uvalue
> max
.uvalue
/ right
.uvalue
;
470 const char *sval_to_str(sval_t sval
)
474 if (sval_unsigned(sval
) && sval
.value
== ULLONG_MAX
)
476 if (sval_unsigned(sval
) && sval
.value
== UINT_MAX
)
478 if (sval_unsigned(sval
) && sval
.value
== USHRT_MAX
)
481 if (sval_signed(sval
) && sval
.value
== LLONG_MAX
)
483 if (sval_signed(sval
) && sval
.value
== INT_MAX
)
485 if (sval_signed(sval
) && sval
.value
== SHRT_MAX
)
488 if (sval_signed(sval
) && sval
.value
== SHRT_MIN
)
490 if (sval_signed(sval
) && sval
.value
== INT_MIN
)
492 if (sval_signed(sval
) && sval
.value
== LLONG_MIN
)
495 if (sval_unsigned(sval
))
496 snprintf(buf
, sizeof(buf
), "%llu", sval
.value
);
497 else if (sval
.value
< 0)
498 snprintf(buf
, sizeof(buf
), "(%lld)", sval
.value
);
500 snprintf(buf
, sizeof(buf
), "%lld", sval
.value
);
502 return alloc_sname(buf
);
505 const char *sval_to_numstr(sval_t sval
)
509 if (sval_unsigned(sval
))
510 snprintf(buf
, sizeof(buf
), "%llu", sval
.value
);
511 else if (sval
.value
< 0)
512 snprintf(buf
, sizeof(buf
), "(%lld)", sval
.value
);
514 snprintf(buf
, sizeof(buf
), "%lld", sval
.value
);
516 return alloc_sname(buf
);
519 sval_t
ll_to_sval(long long val
)
523 ret
.type
= &llong_ctype
;
528 static void free_svals(struct symbol
*sym
)
535 void register_sval(int my_id
)
537 add_hook(&free_svals
, END_FUNC_HOOK
);