Skip to content

reject aarch64 target feature toggling that would change the float ABI#133417

Merged
bors merged 4 commits intorust-lang:masterfrom
RalfJung:aarch64-float-abi
Dec 15, 2024
Merged

reject aarch64 target feature toggling that would change the float ABI#133417
bors merged 4 commits intorust-lang:masterfrom
RalfJung:aarch64-float-abi

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Nov 24, 2024

Stacked on top of #133099. Only the last two commits are new.

The first new commit lays the groundwork for separately controlling whether a feature may be enabled or disabled. The second commit uses that to make it illegal to disable the neon feature (which is only possible via -Ctarget-feature, and so the new check just adds a warning). Enabling the neon feature remains allowed on targets that don't disable neon or fp-armv8, which is all our built-in targets. This way, the entire PR is not a breaking change.

Fixes #131058 for hardfloat targets (together with #133102 which fixed it for softfloat targets).

Part of #116344.

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

The (stable) neon aarch64 target feature is unsound: it changes the float ABI

6 participants