language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-03 19:58:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

slightly optimize modified tracking

Browse source
This commit is contained in:
Folkert 2024-06-29 13:51:07 +02:00
parent f4bd41352b
commit 90b70c3df0
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
2 changed files with 22 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

29
crates/compiler/mono/src/borrow.rs
View file

@ -162,15 +162,20 @@ pub(crate) fn infer_borrow_signatures<'a>(
state.inspect_stmt(interner, &mut borrow_signatures, &proc.body);
let Some(old) = borrow_signatures.procs.insert(key, state.borrow_signature) else {
unreachable!("key should be present");
};
// TODO I think this should use state.modified, but that loops infinitely currently
// also maybe a change in join point signature is always immediately reflected in a
// change in proc signature, in which case using the join point changes may not
// have any effect.
modified |= old != state.borrow_signature;
// did any proc signature get modified?
//
// NOTE: this does not directly include updates to join point signatures. The
// assumption is that a relevant change in join point signature is immediately
// (i.e. no fixpoint is required) reflected in the proc signature.
debug_assert_eq!(
state.modified,
borrow_signatures
.procs
.insert(key, state.borrow_signature)
.unwrap()
!= state.borrow_signature
);
modified |= state.modified;
proc_join_points = state.join_points;
@ -257,10 +262,12 @@ impl<'state, 'a> State<'state, 'a> {
self.modified |= self.borrow_signature.set(index, Ownership::Owned);
}
// theory: relevant modification to a join point borrow signature is always immediately
// reflected in the borrow signature of its surrounding function. Therefore we don't need
// to include changes to join point signatures in the `modified` flag.
for (id, params) in &self.join_point_stack {
if let Some(index) = params.iter().position(|p| p.symbol == symbol) {
self.modified |= self
.join_points
self.join_points
.get_mut(id)
.unwrap()
.set(index, Ownership::Owned);

10
crates/compiler/mono/src/inc_dec.rs
View file

@ -734,13 +734,11 @@ fn insert_refcount_operations_stmt<'v, 'a>(
body,
remainder,
} => {
// Assuming that the values in the closure of the body of this jointpoint are already bound.
// Assuming that all symbols are still owned. (So that we can determine what symbols got consumed in the join point.)
// NOTE: Assuming that the values in the closure of the body of this jointpoint are already bound.
// debug_assert!(environment
// .symbols_ownership
// .iter()
// .all(|(_, ownership)| ownership.is_owned()));
// NOTE: this code previously assumed that all symbols bound by the join point are owned.
// With borrow inference, that is no longer true but the analysis here _should_ mirror
// borrow inference and yield the same result.
let mut body_env = environment.clone();