| line |
!l |
l&&!r |
l&&r |
condition |
|
1310
|
912 |
457 |
456 |
$reg1 =~ /^b.$/io and $reg2 =~ /^b.$/io |
|
|
457 |
456 |
456 |
$reg1 =~ /^.i$/io and $reg2 =~ /^.i$/io |
|
1334
|
4799 |
9560 |
44 |
defined $segreg and not &is_segreg_intel($segreg) |
|
1335
|
0 |
3721 |
10638 |
defined $reg1 and &is_reg_intel($reg1) |
|
|
3721 |
7541 |
3097 |
defined $reg1 and &is_reg_intel($reg1) and not &_is_valid_16bit_addr_reg_intel($reg1) |
|
1337
|
79 |
2655 |
8528 |
defined $reg2 and &is_reg_intel($reg2) |
|
|
2734 |
5251 |
3277 |
defined $reg2 and &is_reg_intel($reg2) and not &_is_valid_16bit_addr_reg_intel($reg2) |
|
1339
|
977 |
1572 |
5436 |
defined $disp and &is_reg_intel($disp) |
|
|
2549 |
2916 |
2520 |
defined $disp and &is_reg_intel($disp) and not &_is_valid_16bit_addr_reg_intel($disp) |
|
1342
|
0 |
0 |
5465 |
defined $reg1 and defined $reg1_sign |
|
|
0 |
1813 |
3652 |
defined $reg1 and defined $reg1_sign and &is_reg_intel($reg1) |
|
|
1813 |
2925 |
727 |
defined $reg1 and defined $reg1_sign and &is_reg_intel($reg1) and $reg1_sign =~ /-/o |
|
1344
|
66 |
0 |
4672 |
defined $reg2 and defined $reg2_sign |
|
|
66 |
1461 |
3211 |
defined $reg2 and defined $reg2_sign and &is_reg_intel($reg2) |
|
|
1461 |
1891 |
1320 |
defined $reg2 and defined $reg2_sign and &is_reg_intel($reg2) and $reg2_sign =~ /-/o |
|
1346
|
580 |
0 |
2838 |
defined $disp and defined $disp_sign |
|
|
580 |
690 |
2148 |
defined $disp and defined $disp_sign and &is_reg_intel($disp) |
|
|
690 |
1080 |
1068 |
defined $disp and defined $disp_sign and &is_reg_intel($disp) and $disp_sign =~ /-/o |
|
1348
|
0 |
66 |
2284 |
defined $reg1 and defined $reg2 |
|
|
66 |
514 |
1770 |
defined $reg1 and defined $reg2 and defined $disp |
|
|
580 |
594 |
1176 |
defined $reg1 and defined $reg2 and defined $disp and &is_reg_intel($reg1) |
|
|
1108 |
600 |
576 |
defined $reg1 and defined $reg2 and defined $disp and &is_reg_intel($reg1) and &is_reg_intel($reg2) |
|
|
1194 |
576 |
0 |
defined $reg1 and defined $reg2 and defined $disp and &is_reg_intel($reg1) and &is_reg_intel($reg2) and &is_reg_intel($disp) |
|
1351
|
0 |
769 |
1581 |
defined $reg1 and &is_reg16_intel($reg1) |
|
1353
|
0 |
1581 |
0 |
defined $reg1_sign and $reg1_sign =~ /-/o |
|
1357
|
50 |
762 |
769 |
defined $reg2 and &is_reg16_intel($reg2) |
|
|
212 |
24 |
576 |
defined $disp and &is_reg16_intel($disp) |
|
1360
|
0 |
385 |
0 |
defined $reg2_sign and $reg2_sign =~ /-/o |
|
1361
|
97 |
288 |
0 |
defined $disp and &is_reg_intel($disp) |
|
1372
|
0 |
288 |
0 |
defined $disp_sign and $disp_sign =~ /-/o |
|
1387
|
16 |
111 |
642 |
defined $reg2 and &is_reg16_intel($reg2) |
|
1389
|
0 |
642 |
0 |
defined $reg2_sign and $reg2_sign =~ /-/o |
|
1393
|
138 |
24 |
480 |
defined $disp and &is_reg16_intel($disp) |
|
1396
|
0 |
240 |
0 |
defined $disp_sign and $disp_sign =~ /-/o |
|
1410
|
37 |
0 |
90 |
defined $disp and defined $disp_sign |
|
|
37 |
66 |
24 |
defined $disp and defined $disp_sign and &is_reg16_intel($disp) |
|
|
66 |
24 |
0 |
defined $disp and defined $disp_sign and &is_reg16_intel($disp) and $disp_sign =~ /-/o |
|
1491
|
64 |
33 |
32 |
$reg1 =~ /^%b.$/io and $reg2 =~ /^%b.$/io |
|
|
33 |
32 |
32 |
$reg1 =~ /^%.i$/io and $reg2 =~ /^%.i$/io |
|
1516
|
543 |
524 |
21 |
defined $segreg and not &is_segreg_att($segreg) |
|
1518
|
30 |
755 |
161 |
$basereg =~ /%/o and not &is_reg16_att($basereg) |
|
1519
|
30 |
633 |
122 |
&is_reg_att($basereg) and not &_is_valid_16bit_addr_reg_att($basereg) |
|
1520
|
121 |
524 |
18 |
defined $disp and not &is_reg_att($basereg) |
|
1523
|
35 |
435 |
186 |
$indexreg =~ /%/o and not &is_reg16_att($indexreg) |
|
1524
|
35 |
383 |
52 |
&is_reg_att($indexreg) and not &_is_valid_16bit_addr_reg_att($indexreg) |
|
1530
|
69 |
190 |
218 |
defined $disp and &is_reg_att($disp) |
|
1531
|
259 |
0 |
0 |
defined $scale and $scale ne 1 |
|
1532
|
10 |
108 |
141 |
defined $basereg and defined $indexreg |
|
1534
|
10 |
2 |
129 |
&_is_valid_16bit_addr_reg_att($basereg) and &_is_valid_16bit_addr_reg_att($indexreg) |
|
1538
|
10 |
173 |
0 |
defined $basereg and defined $basereg_sign |
|
|
183 |
0 |
0 |
defined $basereg and defined $basereg_sign and &is_reg_att($basereg) |
|
|
173 |
0 |
0 |
defined $basereg and defined $basereg_sign and &is_reg_att($basereg) and $basereg_sign =~ /-/o |
|
1540
|
108 |
75 |
0 |
defined $indexreg and defined $indexreg_sign |
|
|
183 |
0 |
0 |
defined $indexreg and defined $indexreg_sign and &is_reg_att($indexreg) |
|
|
75 |
0 |
0 |
defined $indexreg and defined $indexreg_sign and &is_reg_att($indexreg) and $indexreg_sign =~ /-/o |
|
1674
|
50670 |
101290 |
2452 |
defined $segreg and not &is_segreg_intel($segreg) |
|
1675
|
6459 |
43539 |
101962 |
defined $base_reg and &is_reg_intel($base_reg) |
|
|
49998 |
67636 |
34326 |
defined $base_reg and &is_reg_intel($base_reg) and not &is_addressable32_intel($base_reg) |
|
1676
|
4097 |
25377 |
88160 |
defined $index_reg and &is_reg_intel($index_reg) |
|
|
29474 |
36953 |
51207 |
defined $index_reg and &is_reg_intel($index_reg) and not &is_addressable32_intel($index_reg) |
|
1677
|
8651 |
11164 |
46612 |
defined $scale and &is_reg_intel($scale) |
|
|
19815 |
19663 |
26949 |
defined $scale and &is_reg_intel($scale) and not &is_addressable32_intel($scale) |
|
1678
|
1363 |
4761 |
33354 |
defined $disp and &is_reg_intel($disp) |
|
|
6124 |
6156 |
27198 |
defined $disp and &is_reg_intel($disp) and not &is_addressable32_intel($disp) |
|
1680
|
229 |
729 |
11322 |
defined $index_reg and defined $scale |
|
|
958 |
5934 |
5388 |
defined $index_reg and defined $scale and &is_reg_intel($index_reg) |
|
|
6663 |
4512 |
876 |
defined $index_reg and defined $scale and &is_reg_intel($index_reg) and &is_reg_intel($scale) |
|
1682
|
1200 |
0 |
10204 |
defined $base_reg and defined $base_reg_sign |
|
|
1200 |
4321 |
5883 |
defined $base_reg and defined $base_reg_sign and &is_reg_intel($base_reg) |
|
|
4321 |
4298 |
1585 |
defined $base_reg and defined $base_reg_sign and &is_reg_intel($base_reg) and $base_reg_sign =~ /-/o |
|
1684
|
204 |
0 |
9615 |
defined $index_reg and defined $index_reg_sign |
|
|
204 |
5184 |
4431 |
defined $index_reg and defined $index_reg_sign and &is_reg_intel($index_reg) |
|
|
5184 |
3300 |
1131 |
defined $index_reg and defined $index_reg_sign and &is_reg_intel($index_reg) and $index_reg_sign =~ /-/o |
|
1686
|
630 |
0 |
8058 |
defined $scale and defined $index_reg_sign |
|
|
630 |
4068 |
3990 |
defined $scale and defined $index_reg_sign and &is_reg_intel($scale) |
|
|
4068 |
3000 |
990 |
defined $scale and defined $index_reg_sign and &is_reg_intel($scale) and $index_reg_sign =~ /-/o |
|
1688
|
897 |
0 |
6801 |
defined $disp and defined $disp_sign |
|
|
897 |
3006 |
3795 |
defined $disp and defined $disp_sign and &is_reg_intel($disp) |
|
|
3006 |
2808 |
987 |
defined $disp and defined $disp_sign and &is_reg_intel($disp) and $disp_sign =~ /-/o |
|
1691
|
174 |
345 |
6192 |
defined $index_reg and defined $scale |
|
1693
|
5733 |
153 |
306 |
$index_reg =~ /\besp\b/io and $scale =~ /\b\d+\b/o |
|
|
5886 |
153 |
153 |
$index_reg =~ /\besp\b/io and $scale =~ /\b\d+\b/o and $scale != 1 |
|
1694
|
5580 |
153 |
306 |
$scale =~ /\besp\b/io and $index_reg =~ /\b\d+\b/o |
|
|
5733 |
153 |
153 |
$scale =~ /\besp\b/io and $index_reg =~ /\b\d+\b/o and $index_reg != 1 |
|
1695
|
3369 |
153 |
2364 |
&is_reg_intel($index_reg) and $scale =~ /\b\d+\b/o |
|
|
3522 |
1260 |
1104 |
&is_reg_intel($index_reg) and $scale =~ /\b\d+\b/o and $scale != 1 |
|
|
1413 |
303 |
801 |
&is_reg_intel($index_reg) and $scale =~ /\b\d+\b/o and $scale != 1 and $scale != 2 |
|
|
1563 |
267 |
534 |
&is_reg_intel($index_reg) and $scale =~ /\b\d+\b/o and $scale != 1 and $scale != 2 and $scale != 4 |
|
|
570 |
381 |
153 |
&is_reg_intel($index_reg) and $scale =~ /\b\d+\b/o and $scale != 1 and $scale != 2 and $scale != 4 and $scale != 8 |
|
1697
|
3216 |
153 |
2364 |
&is_reg_intel($scale) and $index_reg =~ /\b\d+\b/o |
|
|
3369 |
1260 |
1104 |
&is_reg_intel($scale) and $index_reg =~ /\b\d+\b/o and $index_reg != 1 |
|
|
1413 |
303 |
801 |
&is_reg_intel($scale) and $index_reg =~ /\b\d+\b/o and $index_reg != 1 and $index_reg != 2 |
|
|
1563 |
267 |
534 |
&is_reg_intel($scale) and $index_reg =~ /\b\d+\b/o and $index_reg != 1 and $index_reg != 2 and $index_reg != 4 |
|
|
570 |
381 |
153 |
&is_reg_intel($scale) and $index_reg =~ /\b\d+\b/o and $index_reg != 1 and $index_reg != 2 and $index_reg != 4 and $index_reg != 8 |
|
1700
|
792 |
174 |
5133 |
defined $base_reg and defined $index_reg |
|
|
966 |
612 |
4521 |
defined $base_reg and defined $index_reg and defined $disp |
|
|
786 |
2007 |
2514 |
defined $base_reg and defined $index_reg and defined $disp and &is_reg_intel($base_reg) |
|
|
2619 |
1470 |
1044 |
defined $base_reg and defined $index_reg and defined $disp and &is_reg_intel($base_reg) and &is_reg_intel($index_reg) |
|
|
3477 |
972 |
72 |
defined $base_reg and defined $index_reg and defined $disp and &is_reg_intel($base_reg) and &is_reg_intel($index_reg) and &is_reg_intel($disp) |
|
1702
|
792 |
483 |
4752 |
defined $base_reg and defined $scale |
|
|
1275 |
612 |
4140 |
defined $base_reg and defined $scale and defined $disp |
|
|
1095 |
1914 |
2226 |
defined $base_reg and defined $scale and defined $disp and &is_reg_intel($base_reg) |
|
|
2526 |
1326 |
900 |
defined $base_reg and defined $scale and defined $disp and &is_reg_intel($base_reg) and &is_reg_intel($scale) |
|
|
3240 |
864 |
36 |
defined $base_reg and defined $scale and defined $disp and &is_reg_intel($base_reg) and &is_reg_intel($scale) and &is_reg_intel($disp) |
|
1825
|
1527 |
1506 |
43 |
defined $segreg and not &is_segreg_att($segreg) |
|
1826
|
970 |
1394 |
669 |
defined $index_reg and not defined $base_reg |
|
|
2364 |
454 |
215 |
defined $index_reg and not defined $base_reg and not defined $scale |
|
1828
|
207 |
3 |
5 |
$index_reg eq 1 and not &is_reg_att($disp) |
|
1830
|
970 |
2002 |
56 |
defined $index_reg and !(&is_reg_att($index_reg) && &is_addressable32_att($index_reg)) || $index_reg =~ /^%esp$/io |
|
1832
|
1243 |
0 |
557 |
defined $scale and not &is_reg_att($scale) |
|
|
1243 |
104 |
453 |
defined $scale and not &is_reg_att($scale) and $scale != 1 |
|
|
104 |
379 |
74 |
defined $scale and not &is_reg_att($scale) and $scale != 1 and $scale != 2 |
|
|
483 |
24 |
50 |
defined $scale and not &is_reg_att($scale) and $scale != 1 and $scale != 2 and $scale != 4 |
|
|
403 |
34 |
16 |
defined $scale and not &is_reg_att($scale) and $scale != 1 and $scale != 2 and $scale != 4 and $scale != 8 |
|
1834
|
173 |
1260 |
351 |
defined $disp and &is_reg_att($disp) |
|
1835
|
72 |
634 |
727 |
defined $base_reg and not defined $index_reg |
|
|
706 |
0 |
727 |
defined $base_reg and not defined $index_reg and not defined $scale |
|
1837
|
2 |
26 |
699 |
defined $disp || $base_reg =~ /%/o and not &is_addressable32_att($base_reg) |
|
|
28 |
8 |
691 |
defined $disp || $base_reg =~ /%/o and not &is_addressable32_att($base_reg) and not $base_reg =~ /^%bx$/io |
|
|
34 |
8 |
683 |
defined $disp || $base_reg =~ /%/o and not &is_addressable32_att($base_reg) and not $base_reg =~ /^%bx$/io and not $base_reg =~ /^%bp$/io |
|
|
16 |
8 |
675 |
defined $disp || $base_reg =~ /%/o and not &is_addressable32_att($base_reg) and not $base_reg =~ /^%bx$/io and not $base_reg =~ /^%bp$/io and not $base_reg =~ /^%si$/io |
|
|
16 |
8 |
667 |
defined $disp || $base_reg =~ /%/o and not &is_addressable32_att($base_reg) and not $base_reg =~ /^%bx$/io and not $base_reg =~ /^%bp$/io and not $base_reg =~ /^%si$/io and not $base_reg =~ /^%di$/io |
|
|
60 |
0 |
0 |
defined $base_reg_sign and $base_reg_sign =~ /-/o |
|
1844
|
72 |
139 |
495 |
defined $base_reg and not &is_addressable32_att($base_reg) |
|
1999
|
45153 |
90256 |
2408 |
defined $segreg and not &is_segreg_intel($segreg) |
|
2000
|
6099 |
38938 |
90372 |
defined $base_reg and &is_reg_intel($base_reg) |
|
2006
|
3658 |
24883 |
77825 |
defined $index_reg and &is_reg_intel($index_reg) |
|
2012
|
8542 |
12584 |
41911 |
defined $scale and &is_reg_intel($scale) |
|
2018
|
1753 |
6330 |
32151 |
defined $disp and &is_reg_intel($disp) |
|
2024
|
732 |
12988 |
3507 |
$was64 != 0 and $was64 != $nregs |
|
2026
|
264 |
627 |
12829 |
defined $index_reg and defined $scale |
|
|
891 |
7018 |
5811 |
defined $index_reg and defined $scale and &is_reg_intel($index_reg) |
|
|
7645 |
4935 |
876 |
defined $index_reg and defined $scale and &is_reg_intel($index_reg) and &is_reg_intel($scale) |
|
2028
|
1464 |
0 |
11380 |
defined $base_reg and defined $base_reg_sign |
|
|
1464 |
4654 |
6726 |
defined $base_reg and defined $base_reg_sign and &is_reg_intel($base_reg) |
|
|
4654 |
4784 |
1942 |
defined $base_reg and defined $base_reg_sign and &is_reg_intel($base_reg) and $base_reg_sign =~ /-/o |
|
2030
|
236 |
0 |
10666 |
defined $index_reg and defined $index_reg_sign |
|
|
236 |
5878 |
4788 |
defined $index_reg and defined $index_reg_sign and &is_reg_intel($index_reg) |
|
|
5878 |
3657 |
1131 |
defined $index_reg and defined $index_reg_sign and &is_reg_intel($index_reg) and $index_reg_sign =~ /-/o |
|
2032
|
560 |
0 |
9211 |
defined $scale and defined $index_reg_sign |
|
|
560 |
4798 |
4413 |
defined $scale and defined $index_reg_sign and &is_reg_intel($scale) |
|
|
4798 |
3423 |
990 |
defined $scale and defined $index_reg_sign and &is_reg_intel($scale) and $index_reg_sign =~ /-/o |
|
2034
|
1113 |
0 |
7668 |
defined $disp and defined $disp_sign |
|
|
1113 |
3384 |
4284 |
defined $disp and defined $disp_sign and &is_reg_intel($disp) |
|
|
3384 |
3076 |
1208 |
defined $disp and defined $disp_sign and &is_reg_intel($disp) and $disp_sign =~ /-/o |
|
2036
|
201 |
243 |
7129 |
defined $index_reg and defined $scale |
|
2037
|
6211 |
306 |
612 |
$index_reg =~ /\brsp\b/io || $index_reg =~ /\brip\b/io and $scale =~ /\b\d+\b/o |
|
|
6517 |
306 |
306 |
$index_reg =~ /\brsp\b/io || $index_reg =~ /\brip\b/io and $scale =~ /\b\d+\b/o and $scale != 1 |
|
2039
|
5905 |
306 |
612 |
$scale =~ /\brsp\b/io || $scale =~ /\brip\b/io and $index_reg =~ /\b\d+\b/o |
|
|
6211 |
306 |
306 |
$scale =~ /\brsp\b/io || $scale =~ /\brip\b/io and $index_reg =~ /\b\d+\b/o and $index_reg != 1 |
|
2041
|
3730 |
306 |
2481 |
&is_reg_intel($index_reg) and $scale =~ /\b\d+\b/o |
|
|
4036 |
1527 |
954 |
&is_reg_intel($index_reg) and $scale =~ /\b\d+\b/o and $scale != 1 |
|
|
1833 |
381 |
573 |
&is_reg_intel($index_reg) and $scale =~ /\b\d+\b/o and $scale != 1 and $scale != 2 |
|
|
1908 |
153 |
420 |
&is_reg_intel($index_reg) and $scale =~ /\b\d+\b/o and $scale != 1 and $scale != 2 and $scale != 4 |
|
|
534 |
267 |
153 |
&is_reg_intel($index_reg) and $scale =~ /\b\d+\b/o and $scale != 1 and $scale != 2 and $scale != 4 and $scale != 8 |
|
2043
|
3577 |
306 |
2481 |
&is_reg_intel($scale) and $index_reg =~ /\b\d+\b/o |
|
|
3883 |
1527 |
954 |
&is_reg_intel($scale) and $index_reg =~ /\b\d+\b/o and $index_reg != 1 |
|
|
1833 |
381 |
573 |
&is_reg_intel($scale) and $index_reg =~ /\b\d+\b/o and $index_reg != 1 and $index_reg != 2 |
|
|
1908 |
153 |
420 |
&is_reg_intel($scale) and $index_reg =~ /\b\d+\b/o and $index_reg != 1 and $index_reg != 2 and $index_reg != 4 |
|
|
534 |
267 |
153 |
&is_reg_intel($scale) and $index_reg =~ /\b\d+\b/o and $index_reg != 1 and $index_reg != 2 and $index_reg != 4 and $index_reg != 8 |
|
2046
|
978 |
201 |
5476 |
defined $base_reg and defined $index_reg |
|
|
1179 |
720 |
4756 |
defined $base_reg and defined $index_reg and defined $disp |
|
|
921 |
2073 |
2683 |
defined $base_reg and defined $index_reg and defined $disp and &is_reg_intel($base_reg) |
|
|
2793 |
1621 |
1062 |
defined $base_reg and defined $index_reg and defined $disp and &is_reg_intel($base_reg) and &is_reg_intel($index_reg) |
|
|
3694 |
990 |
72 |
defined $base_reg and defined $index_reg and defined $disp and &is_reg_intel($base_reg) and &is_reg_intel($index_reg) and &is_reg_intel($disp) |
|
2048
|
978 |
408 |
5197 |
defined $base_reg and defined $scale |
|
|
1386 |
720 |
4477 |
defined $base_reg and defined $scale and defined $disp |
|
|
1128 |
2010 |
2467 |
defined $base_reg and defined $scale and defined $disp and &is_reg_intel($base_reg) |
|
|
2730 |
1513 |
954 |
defined $base_reg and defined $scale and defined $disp and &is_reg_intel($base_reg) and &is_reg_intel($scale) |
|
|
3523 |
918 |
36 |
defined $base_reg and defined $scale and defined $disp and &is_reg_intel($base_reg) and &is_reg_intel($scale) and &is_reg_intel($disp) |
|
2189
|
1485 |
1464 |
57 |
defined $segreg and not &is_segreg_att($segreg) |
|
2195
|
2 |
849 |
0 |
defined $disp || $base_reg =~ /%/o and !&_is_valid_64bit_addr_reg_att($base_reg) || $base_reg =~ /^%rip$/io |
|
|
44 |
0 |
0 |
defined $base_reg_sign and $base_reg_sign =~ /-/o |
|
2199
|
62 |
1400 |
32 |
&is_reg_att($base_reg) and !&_is_valid_64bit_addr_reg_att($base_reg) || $base_reg =~ /^%rip$/io |
|
2208
|
206 |
3 |
5 |
$index_reg eq 1 and not &is_reg_att($disp) |
|
2215
|
129 |
366 |
39 |
defined $disp and &is_reg_att($disp) |
|
2216
|
86 |
242 |
167 |
$was64 != 0 and $was64 != $nregs |
|
2218
|
35 |
69 |
224 |
defined $index_reg and defined $scale |
|
|
104 |
0 |
224 |
defined $index_reg and defined $scale and &is_reg_att($index_reg) |
|
|
69 |
224 |
0 |
defined $index_reg and defined $scale and &is_reg_att($index_reg) and &is_reg_att($scale) |
|
2220
|
114 |
214 |
0 |
defined $base_reg and defined $base_reg_sign |
|
|
328 |
0 |
0 |
defined $base_reg and defined $base_reg_sign and &is_reg_att($base_reg) |
|
|
214 |
0 |
0 |
defined $base_reg and defined $base_reg_sign and &is_reg_att($base_reg) and $base_reg_sign =~ /-/o |
|
2222
|
35 |
293 |
0 |
defined $index_reg and defined $index_reg_sign |
|
|
328 |
0 |
0 |
defined $index_reg and defined $index_reg_sign and &is_reg_att($index_reg) |
|
|
293 |
0 |
0 |
defined $index_reg and defined $index_reg_sign and &is_reg_att($index_reg) and $index_reg_sign =~ /-/o |
|
2224
|
104 |
224 |
0 |
defined $scale and defined $index_reg_sign |
|
|
328 |
0 |
0 |
defined $scale and defined $index_reg_sign and &is_reg_att($scale) |
|
|
224 |
0 |
0 |
defined $scale and defined $index_reg_sign and &is_reg_att($scale) and $index_reg_sign =~ /-/o |
|
2226
|
85 |
0 |
243 |
defined $disp and defined $disp_sign |
|
|
85 |
243 |
0 |
defined $disp and defined $disp_sign and &is_reg_att($disp) |
|
|
243 |
0 |
0 |
defined $disp and defined $disp_sign and &is_reg_att($disp) and $disp_sign =~ /-/o |
|
2228
|
104 |
96 |
128 |
defined $scale and &is_reg_att($scale) || $scale != 1 && $scale != 2 && $scale != 4 && $scale != 8 |
|
2230
|
106 |
35 |
171 |
defined $base_reg and defined $index_reg |
|
|
141 |
42 |
129 |
defined $base_reg and defined $index_reg and defined $disp |
|
|
77 |
0 |
129 |
defined $base_reg and defined $index_reg and defined $disp and &is_reg_att($base_reg) |
|
|
42 |
0 |
129 |
defined $base_reg and defined $index_reg and defined $disp and &is_reg_att($base_reg) and &is_reg_att($index_reg) |
|
|
0 |
129 |
0 |
defined $base_reg and defined $index_reg and defined $disp and &is_reg_att($base_reg) and &is_reg_att($index_reg) and &is_reg_att($disp) |
|
2232
|
106 |
78 |
128 |
defined $base_reg and defined $scale |
|
|
184 |
32 |
96 |
defined $base_reg and defined $scale and defined $disp |
|
|
110 |
0 |
96 |
defined $base_reg and defined $scale and defined $disp and &is_reg_att($base_reg) |
|
|
32 |
96 |
0 |
defined $base_reg and defined $scale and defined $disp and &is_reg_att($base_reg) and &is_reg_att($scale) |
|
|
96 |
0 |
0 |
defined $base_reg and defined $scale and defined $disp and &is_reg_att($base_reg) and &is_reg_att($scale) and &is_reg_att($disp) |
|
2470
|
8 |
5 |
2 |
&is_reg8($arg2) and &is_reg32($arg1) |
|
|
8 |
3 |
2 |
&is_reg8($arg2) and &is_reg16($arg1) |
|
|
8 |
1 |
2 |
&is_reg8($arg2) and &is_reg64($arg1) |
|
|
4 |
3 |
2 |
&is_reg16($arg2) and &is_reg32($arg1) |
|
|
4 |
1 |
2 |
&is_reg16($arg2) and &is_reg64($arg1) |
|
2603
|
9 |
7 |
1 |
&is_reg($3) and &is_reg($5) |
|
|
9 |
6 |
1 |
&is_reg($3) and &is_reg($6) |
|
|
12 |
2 |
1 |
&is_reg($5) and &is_reg($8) |
|
|
11 |
2 |
1 |
&is_reg($6) and &is_reg($8) |
|
|
7 |
2 |
4 |
&is_reg($3) and &is_reg($8) |
|
2630
|
9 |
4 |
4 |
&is_reg($3) and &is_reg($5) |
|
|
9 |
3 |
1 |
&is_reg($5) and &is_reg($7) |
|
|
9 |
2 |
1 |
&is_reg($5) and &is_reg($8) |
|
|
7 |
3 |
1 |
&is_reg($3) and &is_reg($7) |
|
|
7 |
2 |
1 |
&is_reg($3) and &is_reg($8) |
|
2657
|
13 |
3 |
1 |
&is_reg($3) and &is_reg($6) |
|
|
12 |
3 |
1 |
&is_reg($4) and &is_reg($6) |
|
|
9 |
2 |
4 |
&is_reg($6) and &is_reg($8) |
|
|
8 |
2 |
1 |
&is_reg($3) and &is_reg($8) |
|
|
7 |
2 |
1 |
&is_reg($4) and &is_reg($8) |
|
2684
|
4 |
2 |
1 |
&is_reg($3) and &is_reg($5) |
|
|
4 |
1 |
1 |
&is_reg($3) and &is_reg($7) |
|
|
3 |
1 |
1 |
&is_reg($5) and &is_reg($7) |
|
2704
|
3 |
3 |
1 |
&is_reg($3) and &is_reg($5) |
|
|
3 |
2 |
1 |
&is_reg($3) and &is_reg($6) |
|
2722
|
2 |
2 |
1 |
&is_reg($3) and &is_reg($5) |
|
2744
|
5 |
1 |
1 |
&is_reg($3) and &is_reg($6) |
|
|
4 |
1 |
1 |
&is_reg($4) and &is_reg($6) |
|
2764
|
17 |
14 |
19 |
&is_reg($2) and &is_reg($4) |
|
|
17 |
12 |
2 |
&is_reg($2) and &is_reg($5) |
|
|
17 |
4 |
8 |
&is_reg($2) and &is_reg($7) |
|
|
15 |
4 |
2 |
&is_reg($4) and &is_reg($7) |
|
|
13 |
4 |
2 |
&is_reg($5) and &is_reg($7) |
|
2791
|
25 |
6 |
2 |
&is_reg($2) and &is_reg($5) |
|
|
23 |
6 |
2 |
&is_reg($3) and &is_reg($5) |
|
|
23 |
4 |
2 |
&is_reg($2) and &is_reg($7) |
|
|
21 |
4 |
2 |
&is_reg($3) and &is_reg($7) |
|
|
13 |
4 |
8 |
&is_reg($5) and &is_reg($7) |
|
2818
|
17 |
8 |
8 |
&is_reg($2) and &is_reg($4) |
|
|
17 |
6 |
2 |
&is_reg($2) and &is_reg($6) |
|
|
17 |
4 |
2 |
&is_reg($2) and &is_reg($7) |
|
|
13 |
6 |
2 |
&is_reg($4) and &is_reg($6) |
|
|
13 |
4 |
2 |
&is_reg($4) and &is_reg($7) |
|
2845
|
7 |
4 |
2 |
&is_reg($2) and &is_reg($4) |
|
|
7 |
2 |
2 |
&is_reg($2) and &is_reg($6) |
|
|
5 |
2 |
2 |
&is_reg($4) and &is_reg($6) |
|
2865
|
5 |
6 |
2 |
&is_reg($2) and &is_reg($4) |
|
|
5 |
4 |
2 |
&is_reg($2) and &is_reg($5) |
|
2883
|
3 |
4 |
2 |
&is_reg($2) and &is_reg($4) |
|
2905
|
9 |
2 |
2 |
&is_reg($2) and &is_reg($5) |
|
|
7 |
2 |
2 |
&is_reg($3) and &is_reg($5) |
|
2943
|
54 |
7 |
6 |
not $par =~ /\$/o || $par =~ /\%/o || $par =~ /_L\d+/o and $par =~ /[a-zA-Z_\.]/o |
|
3329
|
13 |
6 |
2 |
$par =~ /\bbyte\b/io || &is_reg8($arg2) and &is_reg32($arg1) |
|
|
13 |
4 |
2 |
$par =~ /\bbyte\b/io || &is_reg8($arg2) and &is_reg16($arg1) |
|
|
11 |
4 |
2 |
$par =~ /\bword\b/io || &is_reg16($arg2) and &is_reg32($arg1) |
|
|
11 |
2 |
2 |
$par =~ /\bbyte\b/io || &is_reg8($arg2) and &is_reg64($arg1) |
|
|
9 |
2 |
2 |
$par =~ /\bword\b/io || &is_reg16($arg2) and &is_reg64($arg1) |
| line |
l |
!l&&r |
!l&&!r |
condition |
|
1292
|
5150 |
4019 |
18569 |
$reg =~ /^bx$/io or $reg =~ /^bp$/io |
|
|
9169 |
5691 |
12878 |
$reg =~ /^bx$/io or $reg =~ /^bp$/io or $reg =~ /^si$/io |
|
|
9710 |
3984 |
8894 |
$reg =~ /^bx$/io or $reg =~ /^bp$/io or $reg =~ /^si$/io or $reg =~ /^di$/io |
|
1310
|
456 |
458 |
911 |
$reg1 =~ /^b.$/io and $reg2 =~ /^b.$/io or $reg1 =~ /^.i$/io and $reg2 =~ /^.i$/io |
|
1431
|
101 |
101 |
23710 |
$elem =~ /^(\w+):\s*\[\s*([\+\-]*)\s*(\w+)\s*\]$/o or $elem =~ /^\[\s*(\w+)\s*:\s*([\+\-]*)\s*(\w+)\s*\]$/o |
|
|
784 |
785 |
22141 |
$elem =~ /^(\w+):\s*\[\s*([\+\-]*)\s*(\w+)\s*([\+\-]+)\s*(\w+)\s*\]$/o or $elem =~ /^\[\s*(\w+)\s*:\s*([\+\-]*)\s*(\w+)\s*([\+\-]+)\s*(\w+)\s*\]$/o |
|
|
3916 |
3917 |
14308 |
$elem =~ /^(\w+):\s*\[\s*([\+\-]*)\s*(\w+)\s*([\+\-]+)\s*(\w+)\s*([\+\-]+)\s*(\w+)\s*\]$/o or $elem =~ /^\[\s*(\w+)\s*:\s*([\+\-]*)\s*(\w+)\s*([\+\-]+)\s*(\w+)\s*([\+\-]+)\s*(\w+)\s*\]$/o |
|
1473
|
434 |
290 |
738 |
$reg =~ /^%bx$/io or $reg =~ /^%bp$/io |
|
|
724 |
344 |
394 |
$reg =~ /^%bx$/io or $reg =~ /^%bp$/io or $reg =~ /^%si$/io |
|
|
634 |
208 |
186 |
$reg =~ /^%bx$/io or $reg =~ /^%bp$/io or $reg =~ /^%si$/io or $reg =~ /^%di$/io |
|
1491
|
32 |
48 |
49 |
$reg1 =~ /^%b.$/io and $reg2 =~ /^%b.$/io or $reg1 =~ /^%.i$/io and $reg2 =~ /^%.i$/io |
|
1525
|
357 |
0 |
61 |
defined $basereg or defined $scale |
|
1527
|
30 |
21 |
10 |
$indexreg ne 1 or &is_reg_att($disp) |
|
1722
|
13654 |
13654 |
127139 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*\*\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*\*\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o |
|
|
13654 |
13654 |
99831 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*\*\s*(\w+)\s*(\)*)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*\*\s*(\w+)\s*(\)*)\s*\]$/o |
|
|
13044 |
13044 |
73743 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*\*\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*\*\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o |
|
|
2084 |
2084 |
69575 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*\*\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*\*\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o |
|
|
4375 |
4374 |
60826 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o |
|
|
2220 |
2220 |
56386 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*\*\s*(\w+)\s*(\)*)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*\*\s*(\w+)\s*(\)*)\s*\]$/o |
|
|
87 |
87 |
56212 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*\]$/o |
|
|
128 |
128 |
55956 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*\*\s*(\w+)\s*(\)*)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*\*\s*(\w+)\s*(\)*)\s*\]$/o |
|
|
2626 |
2625 |
50705 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]*)\s*(\w+)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]*)\s*(\w+)\s*\]$/o |
|
1830
|
1180 |
48 |
830 |
!(&is_reg_att($index_reg) && &is_addressable32_att($index_reg)) || $index_reg =~ /^%esp$/io |
|
1837
|
674 |
51 |
2 |
defined $disp || $base_reg =~ /%/o |
|
|
667 |
0 |
60 |
defined $disp || $base_reg =~ /%/o and not &is_addressable32_att($base_reg) and not $base_reg =~ /^%bx$/io and not $base_reg =~ /^%bp$/io and not $base_reg =~ /^%si$/io and not $base_reg =~ /^%di$/io or defined $base_reg_sign and $base_reg_sign =~ /-/o |
|
1974
|
119633 |
1828 |
120798 |
&is_reg64_intel($reg) or &is_r32_in64_intel($reg) |
|
|
121461 |
2616 |
118182 |
&is_reg64_intel($reg) or &is_r32_in64_intel($reg) or &is_addressable32_intel($reg) |
|
2037
|
459 |
459 |
6211 |
$index_reg =~ /\brsp\b/io || $index_reg =~ /\brip\b/io |
|
2039
|
459 |
459 |
5905 |
$scale =~ /\brsp\b/io || $scale =~ /\brip\b/io |
|
2068
|
12082 |
12082 |
113688 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*\*\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*\*\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o |
|
|
12082 |
12082 |
89524 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*\*\s*(\w+)\s*(\)*)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*\*\s*(\w+)\s*(\)*)\s*\]$/o |
|
|
11580 |
11580 |
66364 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*\*\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*\*\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o |
|
|
1948 |
1948 |
62468 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*\*\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*\*\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o |
|
|
4097 |
4096 |
54275 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*(\)*)\s*\]$/o |
|
|
2048 |
2048 |
50179 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*\*\s*(\w+)\s*(\)*)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]+)\s*(\w+)\s*\*\s*(\w+)\s*(\)*)\s*\]$/o |
|
|
76 |
76 |
50027 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*\]$/o |
|
|
144 |
144 |
49739 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*\*\s*(\w+)\s*(\)*)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*\*\s*(\w+)\s*(\)*)\s*\]$/o |
|
|
2276 |
2275 |
45188 |
$elem =~ /^\[\s*(\w+)\s*:\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]*)\s*(\w+)\s*\]$/o or $elem =~ /^(\w+)\s*:\s*\[\s*([\+\-\(\)]*)\s*(\w+)\s*([\+\-\(\)]*)\s*(\w+)\s*\]$/o |
|
2164
|
1285 |
129 |
2429 |
&is_reg64_att($reg) or &is_r32_in64_att($reg) |
|
|
1414 |
148 |
2281 |
&is_reg64_att($reg) or &is_r32_in64_att($reg) or &is_addressable32_att($reg) |
|
2192
|
1450 |
0 |
851 |
defined $index_reg or defined $scale |
|
2195
|
799 |
50 |
2 |
defined $disp || $base_reg =~ /%/o |
|
|
807 |
0 |
42 |
!&_is_valid_64bit_addr_reg_att($base_reg) || $base_reg =~ /^%rip$/io |
|
|
807 |
0 |
44 |
defined $disp || $base_reg =~ /%/o and !&_is_valid_64bit_addr_reg_att($base_reg) || $base_reg =~ /^%rip$/io or defined $base_reg_sign and $base_reg_sign =~ /-/o |
|
2199
|
499 |
32 |
901 |
!&_is_valid_64bit_addr_reg_att($base_reg) || $base_reg =~ /^%rip$/io |
|
2206
|
919 |
434 |
214 |
defined $base_reg or defined $scale |
|
2211
|
49 |
48 |
490 |
$index_reg =~ /^%rsp$/io or $index_reg =~ /^%rip$/io |
|
2228
|
0 |
128 |
96 |
&is_reg_att($scale) || $scale != 1 && $scale != 2 && $scale != 4 && $scale != 8 |
|
2943
|
42 |
6 |
13 |
$par =~ /\$/o || $par =~ /\%/o || $par =~ /_L\d+/o |
|
3011
|
1 |
1 |
6 |
$a1 =~ /call/io or $a1 =~ /^\s*j[a-z]{1,3}/io |
|
3106
|
176 |
189 |
118 |
$par =~ /\[/o or &is_reg($par) |
|
3329
|
4 |
4 |
13 |
$par =~ /\bbyte\b/io || &is_reg8($arg2) |
|
|
3 |
3 |
13 |
$par =~ /\bbyte\b/io || &is_reg8($arg2) |
|
|
3 |
3 |
11 |
$par =~ /\bword\b/io || &is_reg16($arg2) |
|
|
2 |
2 |
11 |
$par =~ /\bbyte\b/io || &is_reg8($arg2) |
|
|
2 |
2 |
9 |
$par =~ /\bword\b/io || &is_reg16($arg2) |