-
Notifications
You must be signed in to change notification settings - Fork 13.6k
[WIP] Take 2: change how MIR represents Place #54426
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
Closed
Changes from 1 commit
Commits
Show all changes
34 commits
Select commit
Hold shift + click to select a range
96b641a
introduce new place definition
csmoe 93c5ebb
convert old Place to NeoPlace
csmoe 879f7c1
rewrite methods with NeoPlace in mir/tcx
csmoe e5abf2a
move from fixme to todo
csmoe 0d71575
impl mir visitor for NeoPlace
csmoe 5766076
introduce NeoPlace in borrow_check/borrow_set
csmoe 7b65fe8
remove inefficient split_projection
csmoe f8a9a1f
add helper method ty_with_projections for base
csmoe eab6d54
add helper method to get base of place without projections
csmoe 5779b68
implement construct method for NeoPlace
csmoe bdcacb3
add prefix method for neoplace
csmoe dc3ad66
rename bare_place to as_place_base
csmoe 2286719
optimize prefix method
csmoe 64c85e5
introduce neoplace in dataflow/impls
csmoe 003b78c
introduce neoplace in dataflow/impls
csmoe 971d093
clean up old place in place_ext
csmoe 4420fff
impl hash_stable for neo_place
csmoe 8ca7fc6
generate tys of sub-places
csmoe 63167ba
generate prefixes for place
csmoe 7f084ec
rewrite places conflict
csmoe 2d1dce8
rewrite place in move_errs
csmoe 7af3ddd
introduce neo_place in borrowck/path_utils
csmoe 53e604c
rewrite place in used_muts into neo_place
csmoe 6eb57e9
introduce NeoPlaceTree
nikomatsakis 915d277
convert `describe_place` to use `NeoPlace`
nikomatsakis 62a52ed
Implement PlaceExt trait for NeoPlace
spastorino 7d10e8e
Remove PlaceExt impl for Place and use the NeoPlace one
spastorino ed1411c
Implement IsPrefixOf trait for NeoPlace
spastorino 98a95b8
Remove IsPrefixOf impl for Place and use the NeoPlace one
spastorino 42479d3
Remove Place::ty and use NeoPlace::ty instead
spastorino 66a1800
Remove Place::local & Place::base_local and use NeoPlace::base_local …
spastorino c278ff9
Make into_tree generate Place instead of PlaceTree
spastorino cf4da24
implement `RustcDecodable` for `NeoPlace`
nikomatsakis 222abfc
Make StatementKind::Assign carry a NeoPlace instead of a Place
spastorino File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
add helper method to get base of place without projections
- Loading branch information
commit eab6d545ceb19d33663ee4dfcdf6c06e3c430f05
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.