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

Front-end: Compute liveness to emit all region_live_at facts #61

Open
lqd opened this issue May 29, 2018 · 0 comments
Open

Front-end: Compute liveness to emit all region_live_at facts #61

lqd opened this issue May 29, 2018 · 0 comments

Comments

@lqd
Copy link
Member

lqd commented May 29, 2018

In #48 a front-end was added to help start having unit tests, outside of rustc, as described in issue #26.

The region_live_at support is incomplete at the moment, as described in #45 (comment).

To compute liveness and emit those facts automatically, we'd need:

  1. to extend the format and parser to accept def effects, here in the "IR" and here in the LALRPOP grammar.
  2. do the computation, potentially with datafrog as described in this follow-up comment, and emit those facts in the parse_from_program function here.

Note that this computation can potentially be shared with rustc as well: in rust-lang/rust#51003.

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

No branches or pull requests

1 participant