Skip to content

Type Based Alias Analysis #431

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.

Sign up for GitHub

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

Jump to bottom
Open
andrewrk opened this issue Aug 26, 2017 · 2 comments
Open

Type Based Alias Analysis #431

andrewrk opened this issue Aug 26, 2017 · 2 comments
Labels
backend-llvm The LLVM backend outputs an LLVM IR Module. breaking Implementing this issue could cause existing code to no longer compile or have different behavior. enhancement Solving this issue will likely involve adding new logic or components to the codebase. frontend Tokenization, parsing, AstGen, Sema, and Liveness. optimization research This proposal requires a considerable amount of investigation before it can be considered.
Milestone
1.0.0

Comments

@andrewrk
Copy link
Member

We need to emit more metadata for TBAA to work. http://llvm.org/docs/LangRef.html#tbaa-metadata
@andrewrk andrewrk added enhancement Solving this issue will likely involve adding new logic or components to the codebase. optimization labels Aug 26, 2017
@andrewrk andrewrk added this to the 0.2.0 milestone Aug 26, 2017
@andrewrk andrewrk modified the milestones: 0.2.0, 0.3.0 Sep 17, 2017
@andrewrk andrewrk modified the milestones: 0.3.0, 0.4.0 Feb 28, 2018
@andrewrk andrewrk modified the milestones: 0.4.0, 0.5.0 Sep 28, 2018
@andrewrk andrewrk added proposal This issue suggests modifications. If it also has the "accepted" label then it is planned. and removed enhancement Solving this issue will likely involve adding new logic or components to the codebase. labels Apr 12, 2019
@andrewrk
Copy link
Member Author

See https://ziglang.org/download/0.4.0/release-notes.html#Type-Based-Alias-Analysis-Status

The current plan is to research #1108 and see where that takes us. If that research has good results, this proposal will be rejected.

@andrewrk andrewrk changed the title enable TBAA optimization Type Based Alias Analysis Apr 12, 2019
@andrewrk andrewrk modified the milestones: 0.5.0, 0.6.0 Apr 12, 2019
@andrewrk andrewrk added the breaking Implementing this issue could cause existing code to no longer compile or have different behavior. label Apr 12, 2019
@andrewrk andrewrk modified the milestones: 0.6.0, 0.7.0 Oct 17, 2019
@andrewrk andrewrk modified the milestones: 0.7.0, 0.8.0 Oct 9, 2020
@andrewrk andrewrk added enhancement Solving this issue will likely involve adding new logic or components to the codebase. research This proposal requires a considerable amount of investigation before it can be considered. frontend Tokenization, parsing, AstGen, Sema, and Liveness. and removed proposal This issue suggests modifications. If it also has the "accepted" label then it is planned. labels Apr 21, 2021
@andrewrk
Copy link
Member Author

There are no language changes being considered here. This is an issue to research if Zig's memory model will allow us to emit TBAA metadata in the LLVM backend.

@andrewrk andrewrk added the backend-llvm The LLVM backend outputs an LLVM IR Module. label Apr 21, 2021
@andrewrk andrewrk modified the milestones: 0.8.0, 1.0.0 Apr 21, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
backend-llvm The LLVM backend outputs an LLVM IR Module. breaking Implementing this issue could cause existing code to no longer compile or have different behavior. enhancement Solving this issue will likely involve adding new logic or components to the codebase. frontend Tokenization, parsing, AstGen, Sema, and Liveness. optimization research This proposal requires a considerable amount of investigation before it can be considered.
Projects
None yet
Milestone
1.0.0
Development

No branches or pull requests
1 participant
@andrewrk