Skip to content
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

For many linux build, use aarch64 instead of arm64 #7147

Merged
merged 1 commit into from
Mar 5, 2024

Conversation

smoy
Copy link
Contributor

@smoy smoy commented Mar 5, 2024

I did some research and it seems in modern linux, instead of arm64, it should be aarch64.

Some lookup, I found the following

"AArch64" and "ARM64" refer to the same thing.

AArch64 is the 64-bit state introduced in the Armv8-A architecture. The 32-bit state which is backwards compatible with Armv7-A and previous 32-bit Arm architectures is referred to as AArch32. Therefore the GNU triplet for the 64-bit ISA is aarch64. The Linux kernel community chose to call their port of the kernel to this architecture arm64 rather than aarch64, so that's where some of the arm64 usage comes from.

The Apple-developed backend for AArch64 was called "ARM64" whereas the LLVM community-developed backend was called "AArch64" (as it is the canonical name for the 64-bit ISA). The two were merged in 2014 and the backend now is called "AArch64".

from https://stackoverflow.com/a/47274698

@NikolajBjorner NikolajBjorner merged commit 7694bca into Z3Prover:master Mar 5, 2024
1 of 12 checks passed
NikolajBjorner added a commit that referenced this pull request Mar 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants