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
|
#
# Expression comparison regression tests #
#
from pdb import pm
from miasm.expression.expression import ExprInt, expr_is_unsigned_greater,\
expr_is_unsigned_greater_or_equal, expr_is_unsigned_lower,\
expr_is_unsigned_lower_or_equal, expr_is_signed_greater,\
expr_is_signed_greater_or_equal, expr_is_signed_lower, \
expr_is_signed_lower_or_equal, expr_is_equal, expr_is_not_equal
from miasm.expression.simplifications import expr_simp
int_0 = ExprInt(0, 32)
int_1 = ExprInt(1, 32)
int_m1 = ExprInt(-1, 32)
int_m2 = ExprInt(-2, 32)
b0 = ExprInt(0, 1)
b1 = ExprInt(1, 1)
tests = [
# unsigned
(b1, expr_is_unsigned_greater, int_1, int_0),
(b1, expr_is_unsigned_lower, int_0, int_1),
(b0, expr_is_unsigned_greater, int_0, int_1),
(b0, expr_is_unsigned_lower, int_1, int_0),
(b1, expr_is_unsigned_greater_or_equal, int_1, int_0),
(b1, expr_is_unsigned_lower_or_equal, int_0, int_1),
(b0, expr_is_unsigned_greater_or_equal, int_0, int_1),
(b0, expr_is_unsigned_lower_or_equal, int_1, int_0),
(b1, expr_is_unsigned_greater_or_equal, int_1, int_1),
(b1, expr_is_unsigned_lower_or_equal, int_1, int_1),
(b1, expr_is_unsigned_greater, int_m1, int_0),
(b1, expr_is_unsigned_lower, int_0, int_m1),
(b0, expr_is_unsigned_greater, int_0, int_m1),
(b0, expr_is_unsigned_lower, int_m1, int_0),
# signed
(b1, expr_is_signed_greater, int_1, int_0),
(b1, expr_is_signed_lower, int_0, int_1),
(b0, expr_is_signed_greater, int_0, int_1),
(b0, expr_is_signed_lower, int_1, int_0),
(b1, expr_is_signed_greater_or_equal, int_1, int_0),
(b1, expr_is_signed_lower_or_equal, int_0, int_1),
(b0, expr_is_signed_greater_or_equal, int_0, int_1),
(b0, expr_is_signed_lower_or_equal, int_1, int_0),
(b1, expr_is_signed_greater_or_equal, int_1, int_1),
(b1, expr_is_signed_lower_or_equal, int_1, int_1),
(b0, expr_is_signed_greater, int_m1, int_0),
(b0, expr_is_signed_lower, int_0, int_m1),
(b1, expr_is_signed_greater, int_0, int_m1),
(b1, expr_is_signed_lower, int_m1, int_0),
# greater lesser, neg
(b1, expr_is_signed_greater, int_1, int_m1),
(b1, expr_is_signed_lower, int_m1, int_1),
(b0, expr_is_signed_greater, int_m1, int_1),
(b0, expr_is_signed_lower, int_1, int_m1),
(b1, expr_is_signed_greater_or_equal, int_1, int_m1),
(b1, expr_is_signed_lower_or_equal, int_m1, int_1),
(b0, expr_is_signed_greater_or_equal, int_m1, int_1),
(b0, expr_is_signed_lower_or_equal, int_1, int_m1),
(b1, expr_is_signed_greater_or_equal, int_m1, int_m1),
(b1, expr_is_signed_lower_or_equal, int_m1, int_m1),
(b1, expr_is_signed_greater, int_m1, int_m2),
(b1, expr_is_signed_lower, int_m2, int_m1),
(b0, expr_is_signed_greater, int_m2, int_m1),
(b0, expr_is_signed_lower, int_m1, int_m2),
(b1, expr_is_signed_greater_or_equal, int_m1, int_m2),
(b1, expr_is_signed_lower_or_equal, int_m2, int_m1),
(b0, expr_is_signed_greater_or_equal, int_m2, int_m1),
(b0, expr_is_signed_lower_or_equal, int_m1, int_m2),
# eq/neq
(b1, expr_is_equal, int_1, int_1),
(b1, expr_is_not_equal, int_0, int_1),
(b0, expr_is_equal, int_1, int_0),
(b0, expr_is_not_equal, int_0, int_0),
]
for result, func, arg1, arg2 in tests:
assert result == expr_simp(func(arg1, arg2))
|