-
Notifications
You must be signed in to change notification settings - Fork 984
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
Apple Silicon support #607
Conversation
Add files for arm64mac.def and arm64.ss files in support of an arm64mac machine-type for native Apple Silicon support. The actual machine-type name may change. This changeset includes complete draft implementations for sections 1 and 2 of the arm64 backend, i.e., define-registers and define-instructions. A future changeset will include an implementation for the assembler.
I've left changes in the |
Will this be merged? If so, about how long will it take for this to be merged? |
It can't be merged in its current state because it effectively has no assembler and doesn't pass the mats. There's no set timeline for merging it, but I see the mentioned issue that Idris can't be installed on Apple Silicon via Homebrew without it. Until this PR is complete, is it possible to install the Intel version of Idris via Homebrew and run through Rosetta 2? |
Idris can use the racket fork of chez scheme on M1 to run natively. |
Despite Apple's current preferred branding, I would strongly advocate for calling the machine type
|
Apple Silicon support is included in v9.9.9 merge 47daa9b. |
Can you cut off a new release per this issue close? relates to Homebrew/homebrew-core#152760 |
Yes, the next release will include this support. |
This changeset adds an
arm64mac
machine type, with draft implementations for thedefine-registers
and section 2define-instructions
inarm64.ss
. Thearm64.ss
file is based off ofarm32.ss
, and so the section 3 assembler is unchanged fromarm32.ss
. The code included compiles, but (unsurprisingly) fails to bootstrap.