llvm-project.git/libc/fuzzing/stdio/printf_float_conv_fuzz.cpp, branch users/nico/python-2 Unnamed repository; edit this file 'description' to name the repository. [libc][NFC] Rename `MANTISSA_WIDTH` in `FRACTION_LEN` (#75489) 2023-12-15T12:57:35+00:00 Guillaume Chatelet gchatelet@google.com 2023-12-15T12:57:35+00:00 3546f4da1975ec65c1ccc5a2372f050c2a9b92aa This one might be a bit controversial since the terminology has been introduced from the start but I think `FRACTION_LEN` is a better name here. AFAICT it really is "the number of bits after the decimal dot when the number is in normal form." `MANTISSA_WIDTH` is less precise as it's unclear whether we take the leading bit into account. This patch also renames most of the properties to use the `_LEN` suffix and fixes useless casts or variables. 
This one might be a bit controversial since the terminology has been
introduced from the start but I think `FRACTION_LEN` is a better name
here. AFAICT it really is "the number of bits after the decimal dot when
the number is in normal form."

`MANTISSA_WIDTH` is less precise as it's unclear whether we take the
leading bit into account.
This patch also renames most of the properties to use the `_LEN` suffix
and fixes useless casts or variables.
 [libc] Add simple long double to printf float fuzz (#68449) 2023-10-16T20:32:34+00:00 michaelrj-google 71531609+michaelrj-google@users.noreply.github.com 2023-10-16T20:32:34+00:00 8a47ad4b67edfe0f1e5a84742cbbd6fee975a1dc Recent testing has uncovered some hard-to-find bugs in printf's long double support. This patch adds an extra long double path to the fuzzer with minimal extra effort. While a more thorough long double fuzzer would be useful, it would need to handle the non-standard cases of 80 bit long doubles such as unnormal and pseudo-denormal numbers. For that reason, a standalone long double fuzzer is left for future development. 
Recent testing has uncovered some hard-to-find bugs in printf's long
double support. This patch adds an extra long double path to the fuzzer
with minimal extra effort. While a more thorough long double fuzzer
would be useful, it would need to handle the non-standard cases of 80
bit long doubles such as unnormal and pseudo-denormal numbers. For that
reason, a standalone long double fuzzer is left for future development.
 [libc] Mass replace enclosing namespace (#67032) 2023-09-26T09:45:04+00:00 Guillaume Chatelet gchatelet@google.com 2023-09-26T09:45:04+00:00 b6bc9d72f65a5086f310f321e969d96e9a559e75 This is step 4 of https://discourse.llvm.org/t/rfc-customizable-namespace-to-allow-testing-the-libc-when-the-system-libc-is-also-llvms-libc/73079 
This is step 4 of
https://discourse.llvm.org/t/rfc-customizable-namespace-to-allow-testing-the-libc-when-the-system-libc-is-also-llvms-libc/73079
 [libc] Add fuzzing for printf floats 2023-08-15T23:23:24+00:00 Michael Jones michaelrj@google.com 2023-08-09T18:10:46+00:00 e7866ea2125efe4baed98f6f9545966acf1ebad0 To guarantee accuracy for all potential float values, this patch adds a fuzzer to compare the results for float conversions from our printf against MPFR's. Reviewed By: lntue Differential Revision: https://reviews.llvm.org/D156495 
To guarantee accuracy for all potential float values, this patch adds a
fuzzer to compare the results for float conversions from our printf
against MPFR's.

Reviewed By: lntue

Differential Revision: https://reviews.llvm.org/D156495