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

Add constants to smir #114342

Closed
wants to merge 1 commit into from
Closed

Add constants to smir #114342

wants to merge 1 commit into from

Conversation

ouz-a
Copy link
Contributor

@ouz-a ouz-a commented Aug 1, 2023

Not sure about making ConstAllocation, Pointer, and Scalar, Opaque, feedback is welcome.

cc rust-lang/project-stable-mir#15

r? @oli-obk

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Aug 1, 2023
@rustbot
Copy link
Collaborator

rustbot commented Aug 1, 2023

This PR changes Stable MIR

cc @oli-obk, @celinval, @spastorino

@oli-obk
Copy link
Contributor

oli-obk commented Aug 1, 2023

We could simplify the API by only exposing a version of Allocation in SMIR and converting all constants to that. Avoiding the issue that rustc has where some things have multiple possible representations. Doing so would have a bit of overhead, but the simpler API may be worth it to avoid all SMIR users having to handle 3 ways to represent an integer.

@ouz-a ouz-a mentioned this pull request Aug 4, 2023
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Aug 6, 2023
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Aug 6, 2023
@bors
Copy link
Contributor

bors commented Aug 6, 2023

☔ The latest upstream changes (presumably #114553) made this pull request unmergeable. Please resolve the merge conflicts.

@ouz-a
Copy link
Contributor Author

ouz-a commented Aug 9, 2023

Closed in favor of #114587

@ouz-a ouz-a closed this Aug 9, 2023
@ouz-a ouz-a deleted the smir_constant branch August 10, 2023 10:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. 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.

4 participants