5 Commits

Author SHA1 Message Date
vanhauser-thc
1fcb52957e fix frida 2021-06-24 09:59:00 +02:00
Michael Rodler
0978c08f4b
split-comparison llvm pass refactor for smaller compilation times (and a small bug fix) (#964)
* Refactored split compare pass to be more efficient in LTO usage and allow splitting to other minimum bitwidths.

Efficiency: avoid looping over the whole llvm module N times, when once is also enough.

Bitwidth: Previously, due to fallthrough in switch-case, all comparisons were split to 8-bit, which might not be desirable e.g., 16 or 32 bit might be enough. So now all comparison are split until they are smaller or equal to the target bitwidth, which is controlled through the `AFL_LLVM_LAF_SPLIT_COMPARES_BITW` environment variable.

* fixed miscompilation due to incorrectly trying to split a signed comparison operator

* minor formatting updates and use IRBuilder when inserting multiple instructions

* added @hexcoder-'s test-int_cases.c to make test

* Avoid recursion; switch to smallvector in splitAndSimplify; use switch case for icmp type;

* Fixed issue when splitting < where the inverse comparison was not further split

* some cleanup
2021-06-11 11:02:29 +02:00
hexcoder-
706c2ac8e0 add test cases for splitting integer comparisons 2021-06-09 21:35:16 +02:00
hexcoder-
a4cb2414d5 Revert "add test cases for splitting integer comparisons"
This reverts commit e0aa411647e1a525a3a0488d929ec71611388d54.
2021-06-09 21:29:41 +02:00
hexcoder-
e0aa411647 add test cases for splitting integer comparisons 2021-06-09 20:26:37 +02:00