-
Notifications
You must be signed in to change notification settings - Fork 3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add executable analaysis tool for floating point checks. #11314
Add executable analaysis tool for floating point checks. #11314
Conversation
@hugueskamba, thank you for your changes. |
What's the use for this script? I can see it only prints if anything found? Is this for testing purpose, CI related? |
The script is part of the requirement to not have floating point instructions when building example applications. It allows its user to check if floating point function symbols have been included in the executable generated. The functionality is to be eventually included in the build tool but was agreed to be made available as a standalone script for the time being. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
what about testing this script? any unit test at least?
29badb8
to
efa8050
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@ARMmbed/mbed-os-tools Please review
72361f9
to
9f976a7
Compare
@hugueskamba Is this targeting 5.14 (I believe it can come in the patch release). As we are close to 5.14 code freeze. If it is in 5.14, reviewers need a poke to get this approved and in CI soon. |
CI started |
Test run: SUCCESSSummary: 11 of 11 test jobs passed |
) | ||
# Command syntax: | ||
# `arm-none-eabi-readelf --symbols <elf_file>` | ||
cmd = ["arm-none-eabi-readelf", "--symbols", elf_file] |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
use objdump -t
instead for portability
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can you give a bit more information what you think objdump
is more portable than readelf
?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
CI doesn't have the latter
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
d317feb
to
4f1a7c2
Compare
This force-push squashed all commits. |
4f1a7c2
to
487bbe6
Compare
This force-push rebased from master. |
CI restarted |
Test run: SUCCESSSummary: 11 of 11 test jobs passed |
Description
Add a Python3 script for checking the presence of floating point symbols in an ELF format file.
Pull request type
Reviewers
@madchutney @evedon @donatieng
Release Notes