language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 16:44:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Merge pull request #3233 from rtfeldman/fix-timings

Browse source 
Print timings across make specialization passes
This commit is contained in:
Folkert de Vries 2022-06-17 13:39:20 +02:00 • committed by GitHub
commit 3f5edaff4c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 20 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

18
compiler/load_internal/src/file.rs
View file

@ -879,7 +879,8 @@ pub struct ModuleTiming {
pub constrain: Duration,
pub solve: Duration,
pub find_specializations: Duration,
pub make_specializations: Duration,
// indexed by make specializations pass
pub make_specializations: Vec<Duration>,
// TODO pub monomorphize: Duration,
/// Total duration will always be more than the sum of the other fields, due
/// to things like state lookups in between phases, waiting on other threads, etc.
@ -897,7 +898,7 @@ impl ModuleTiming {
constrain: Duration::default(),
solve: Duration::default(),
find_specializations: Duration::default(),
make_specializations: Duration::default(),
make_specializations: Vec::with_capacity(2),
start_time,
end_time: start_time, // just for now; we'll overwrite this at the end
}
@ -923,8 +924,9 @@ impl ModuleTiming {
} = self;
let calculate = |t: Result<Duration, _>| -> Option<Duration> {
t.ok()?
.checked_sub(*make_specializations)?
make_specializations
.iter()
.fold(t.ok(), |t, pass_time| t?.checked_sub(*pass_time))?
.checked_sub(*find_specializations)?
.checked_sub(*solve)?
.checked_sub(*constrain)?
@ -4415,9 +4417,11 @@ fn make_specializations<'a>(
mono_env.home.register_debug_idents(mono_env.ident_ids);
let make_specializations_end = SystemTime::now();
module_timing.make_specializations = make_specializations_end
.duration_since(make_specializations_start)
.unwrap();
module_timing.make_specializations.push(
make_specializations_end
.duration_since(make_specializations_start)
.unwrap(),
);
Msg::MadeSpecializations {
module_id: home,