Skip to content

Implement an alias analysis pass #486

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

Closed
pcwalton opened this issue Jun 14, 2011 · 3 comments
Closed

Implement an alias analysis pass #486

pcwalton opened this issue Jun 14, 2011 · 3 comments
Labels
A-LLVM Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues. I-slow Issue: Problems and improvements with respect to performance of generated code.

Comments

@pcwalton
Copy link
Contributor

One of the nice things about our type system is that we have very strong alias information. We can feed this information to LLVM to help guide its optimizations.

@marijnh
Copy link
Contributor

marijnh commented Jun 14, 2011

Except for object, closures, and type parameters we don't. In the alias checker, this turned out to make type-based alias analysis quite a bit harder.

@pcwalton
Copy link
Contributor Author

That's fine. Alias analysis is hard for almost any language. We're still much better than C :)

@marijnh
Copy link
Contributor

marijnh commented Sep 23, 2011

Oh, this has been done for a while now.

@marijnh marijnh closed this as completed Sep 23, 2011
Aaron1011 pushed a commit to Aaron1011/rust that referenced this issue Oct 26, 2020
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
flip1995 pushed a commit to flip1995/rust that referenced this issue May 17, 2024
add new lint that disallow renaming parameters in trait functions

fixes: rust-lang#11443
fixes: rust-lang#486

changelog: add new lint [`renamed_function_params`]

Note that the lint name is not final, because I have a bad reputation in naming things, and I don't trust myself.
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
Partial support for Generator type
GuillaumeGomez pushed a commit to GuillaumeGomez/rust that referenced this issue Jul 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-LLVM Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues. I-slow Issue: Problems and improvements with respect to performance of generated code.
Projects
None yet
Development

No branches or pull requests

2 participants