aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorhexcoder <hexcoder-@users.noreply.github.com>2021-12-13 10:57:41 +0100
committerGitHub <noreply@github.com>2021-12-13 10:57:41 +0100
commit9f6394242bdf20c2083eca2d74d3eb60307fbba2 (patch)
treefb8ae241a532674a0eb4d8720b219e09050fd5ad
parent4bcd96ce6839033228faa277c8d58b28723128d6 (diff)
downloadafl++-9f6394242bdf20c2083eca2d74d3eb60307fbba2.tar.gz
Remove limitations from FP comp splitting
-rw-r--r--instrumentation/README.laf-intel.md8
1 files changed, 3 insertions, 5 deletions
diff --git a/instrumentation/README.laf-intel.md b/instrumentation/README.laf-intel.md
index 06e653ea..414be060 100644
--- a/instrumentation/README.laf-intel.md
+++ b/instrumentation/README.laf-intel.md
@@ -39,13 +39,11 @@ AFL_LLVM_LAF_SPLIT_COMPARES_BITW=<bit_width>`, where bit_width may be 64, 32, or
16. For example, a bit_width of 16 would split larger comparisons down to 16 bit
comparisons.
-A new experimental feature is splitting floating point comparisons into a series
+A new unique feature is splitting floating point comparisons into a series
of sign, exponent and mantissa comparisons followed by splitting each of them
into 8 bit comparisons when necessary. It is activated with the
-`AFL_LLVM_LAF_SPLIT_FLOATS` setting. Note that full IEEE 754 functionality is
-not preserved, that is values of nan and infinity will probably behave
-differently.
+`AFL_LLVM_LAF_SPLIT_FLOATS` setting.
Note that setting this automatically activates `AFL_LLVM_LAF_SPLIT_COMPARES`.
-You can also set `AFL_LLVM_LAF_ALL` and have all of the above enabled. :-) \ No newline at end of file
+You can also set `AFL_LLVM_LAF_ALL` and have all of the above enabled. :-)