Picolibc 1.8.5 #62882
Merged
Picolibc 1.8.5 #62882
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
keith-packard
requested review from
rlubos,
nashif,
dcpleung and
andyross
as code owners
zephyrbot
added
area: C Library
zephyrbot
requested review from
cfriedt,
nordic-krch,
SeppoTakalo and
stephanosio
|
The following west manifest projects have been modified in this Pull Request:
Note: This message is automatically posted and updated by the Manifest GitHub Action. |
|
This should address issue #62444 |
keith-packard
force-pushed
the
picolibc-1.8.4
branch
2 times, most recently
from
5aae514
to
bbf1279
Compare
keith-packard
force-pushed
the
picolibc-1.8.4
branch
from
f108761
to
0653d41
Compare
keith-packard
requested review from
jhedberg,
Vudentz,
wopu-ot and
Thalley
as code owners
I had a short chat with Anas about this. It's inevitably post 3.5 stuff. |
That's what I expected. No good reason to make this large a change with only a few days to go. |
keith-packard
force-pushed
the
picolibc-1.8.4
branch
from
e1d5547
to
8944edb
Compare
|
I'm seeing the same failure on main. This test is built with the external C library by default, so I'm not sure what updating picolibc would do anyways... |
keith-packard
force-pushed
the
picolibc-1.8.4
branch
from
8944edb
to
3bbcfb0
Compare
This was referenced Oct 24, 2023
keith-packard
force-pushed
the
picolibc-1.8.4
branch
from
3bbcfb0
to
445e884
Compare
The compiler cannot tell that path_list_size is never used without being set, so help it out by providing a reasonable initialization value. Signed-off-by: Keith Packard <keithp@keithp.com>
CBPRINTF_FULL_INTEGRAL doesn't happen to explicitly conflict with CBPRINTF_NANO, but when CBPRINTF_NANO is enabled, there's no long long I/O support provided. Allow picolibc long-long I/O support to also be elided when CBPRINTF_NANO is enabled to save similar amounts of space. Signed-off-by: Keith Packard <keithp@keithp.com>
Picolibc version 1.8.5 offers additional memory savings and new long-long and minimal printf variants which can be selected from either the SDK or module version of the library. This needed a patch to the Zephyr cmake support bits to enable one of the new picolibc 1.8.5 features. Signed-off-by: Keith Packard <keithp@keithp.com>
This option in picolibc switches the assert macro between a chatty version and one which provides no information at all. This latter mode avoids placing the associated strings in memory. The Zephyr option is PICOLIBC_ASSERT_VERBOSE and it is disable by default. Signed-off-by: Keith Packard <keithp@keithp.com>
|
With SDK 0.16.4 released, this should be ready to merge. I've rebased to re-test against current bits. |
keith-packard
force-pushed
the
picolibc-1.8.4
branch
from
445e884
to
3f81bd8
Compare
Picolibc's 'minimal' printf mode reduces functionality and size even more than the 'integer' mode. Use this where memory is at a premium and where the application knows that it does not require exact printf semantics. 1.8.5 adds two more printf variants, 'long long' and 'minimal'. The 'long long' variant is the same as the 'integer' variant but with long long support enabled. The 'minimal' variant reduces functionality and size even more than the 'integer' mode. Applications can use this where memory is at a premium and where the application does not require exact printf semantics. With these two added variants, the SDK has enough options so that all of the cbprintf modes can be supported with the pre-compiled bits: 1. CBPRINTF_NANO - picolibc's 'minimal' variant 2. CBPRINTF_REDUCED_INTEGRAL - picolibc's 'integer' variant 3. CBPRINTF_FULL_INTEGRAL - picolibc's 'long long' variant 4. CBPRINTF_FB_SUPPORT - picolibc's 'double' variant This patch makes the cbprintf Kconfig values drive the default picolibc variant, disables picolibc variants not capable of supporting the required cbprintf level, but allows applications to select more functionality in picolibc than cbprintf requires. Note that this depends on the SDK including picolibc 1.8.5. Without that, selecting the 'minimal' or 'long long' variant in Zephyr will end up with the default variant from picolibc, which is the full version with floating point support. When using the module things will work as specified. Signed-off-by: Keith Packard <keithp@keithp.com>
In minimal mode, format modifiers are not supported, leading to a lack of width and precision support. long long values are presented correctly in either long long or floating mode. Signed-off-by: Keith Packard <keithp@keithp.com>
When linking with the 0.16.3 SDK version of picolibc, using long long cbprintf support pulls in the full floating point printf which is much larger than the integer-only version. This ends up overflowing the memory region available for it. Increase the size of that by bumping the start of the fake region by 8kB. Signed-off-by: Keith Packard <keithp@keithp.com>
Picolibc 1.8.5 includes more control over printf capabilities, document those in the migration guide. Signed-off-by: Keith Packard <keithp@keithp.com>
cfriedt
approved these changes
Nov 16, 2023
jhedberg
approved these changes
Nov 20, 2023
stephanosio
approved these changes
Nov 20, 2023
|
This seems to have broken |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Merge in picolibc version 1.8.5.
There is a matching SDK PR pending, zephyrproject-rtos/sdk-ng#707
This offers two new printf variants, 'long long', which provides an integer-only mode with long long support included and a 'minimal' variant which cuts out a bunch of format modifier support to make things very small.
hello-world on cortex-m3 FLASH sizes:
For comparison, here are the minimal C lib sizes:
With this change, all of the cbprintf configuration modes are reflected in the available printf variants, which means the SDK will be able to offer memory savings comparable to the picolibc module.
Closes: #62444
Closes: #64333