language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-26 13:29:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Add tracing for external specializations

Browse source
This commit is contained in:
Ayaz Hafiz 2022-08-23 14:32:24 -05:00
parent 2b9013c5f5
commit e5034e7331
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 11 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

22
crates/compiler/mono/src/ir.rs
View file

@ -576,7 +576,8 @@ impl<'a> ExternalSpecializations<'a> {
env_subs: &mut Subs,
variable: Variable,
) {
let variable = self.storage_subs.extend_with_variable(env_subs, variable);
let stored_variable = self.storage_subs.extend_with_variable(env_subs, variable);
roc_tracing::debug!(original = ?variable, stored = ?stored_variable, "stored needed external");
match self
.symbol_or_lambda
@ -585,11 +586,11 @@ impl<'a> ExternalSpecializations<'a> {
{
None => {
self.symbol_or_lambda.push(symbol_or_lambda);
self.types_to_specialize.push(vec![variable]);
self.types_to_specialize.push(vec![stored_variable]);
}
Some(index) => {
let types_to_specialize = &mut self.types_to_specialize[index];
types_to_specialize.push(variable);
types_to_specialize.push(stored_variable);
}
}
}
@ -2890,19 +2891,16 @@ fn specialize_external_specializations<'a>(
for (symbol, solved_types) in it {
for store_variable in solved_types {
let imported_variable = offset_variable(store_variable);
roc_tracing::debug!(proc_name = ?symbol, ?store_variable, ?imported_variable, "specializing needed external");
// historical note: we used to deduplicate with a hash here,
// but the cost of that hash is very high. So for now we make
// duplicate specializations, and the insertion into a hash map
// below will deduplicate them.
specialize_external_help(
env,
procs,
layout_cache,
symbol,
offset_variable(store_variable),
&[],
)
specialize_external_help(env, procs, layout_cache, symbol, imported_variable, &[])
}
}
}
@ -7632,6 +7630,8 @@ fn add_needed_external<'a>(
Occupied(entry) => entry.into_mut(),
};
roc_tracing::debug!(proc_name = ?name, ?fn_var, fn_content = ?roc_types::subs::SubsFmtContent(env.subs.get_content_without_compacting(fn_var), env.subs), "needed external");
existing.insert_external(name, env.subs, fn_var);
}