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

Avoid x18 entirely on Arm-based Apple machines #103

Merged
merged 5 commits into from
Aug 21, 2024
Merged

Avoid x18 entirely on Arm-based Apple machines #103

merged 5 commits into from
Aug 21, 2024

Conversation

shigoel
Copy link
Collaborator

@shigoel shigoel commented Aug 21, 2024

Description:

x18 is not used either as a source or destination register. Moreover, it is not expected to be preserved after a cosim test.

This is expected to clear up the bogus mismatches we see on Arm-based Apple machines.

Another relevant PR: #98

Testing:

make all succeeds on my M3.

License:

By submitting this pull request, I confirm that my contribution is
made under the terms of the Apache 2.0 license.

`x18` is not used either as a source or destination
register. Moreover, it is not expected to be preserved after a cosim
test.
@shigoel shigoel requested a review from pennyannn August 21, 2024 00:06
Copy link
Collaborator

@pennyannn pennyannn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Arm/Cosim.lean Show resolved Hide resolved
Arm/Cosim.lean Outdated Show resolved Hide resolved
Arm/Cosim.lean Show resolved Hide resolved
Arm/Cosim.lean Outdated Show resolved Hide resolved
Arm/Insts/Common.lean Outdated Show resolved Hide resolved
@shigoel shigoel merged commit 5f90bf9 into main Aug 21, 2024
4 checks passed
shigoel added a commit that referenced this pull request Aug 21, 2024
### Description:

Use `GPRIndex.rand` for a few instructions that I overlooked in #103

### Testing:

`make all` succeeds on my M3.

### License:

By submitting this pull request, I confirm that my contribution is
made under the terms of the Apache 2.0 license.
@shigoel shigoel deleted the x18_on_apple branch August 21, 2024 20:57
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.

3 participants