From b27911ad6e08740ae5b1626b51d2aa159b6b51cf Mon Sep 17 00:00:00 2001 From: Markus Westerlind Date: Tue, 27 Oct 2020 22:20:22 +0100 Subject: [PATCH] Hack out unify log for perf --- .../src/logged_unification_table.rs | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) diff --git a/compiler/rustc_data_structures/src/logged_unification_table.rs b/compiler/rustc_data_structures/src/logged_unification_table.rs index 717763a69c149..902389736cd4c 100644 --- a/compiler/rustc_data_structures/src/logged_unification_table.rs +++ b/compiler/rustc_data_structures/src/logged_unification_table.rs @@ -106,9 +106,6 @@ where where K::Value: ut::UnifyValue, { - if self.storage.unify_log.needs_log(vid) { - self.storage.modified_set.set(&mut self.undo_log, vid); - } let vid = vid.into(); let mut relations = self.relations(); debug_assert!(relations.find(vid) == vid); @@ -131,10 +128,7 @@ where vid: I, value: K::Value, ) -> Result<(), ::Error> { - let vid = self.find(vid).into(); - if self.storage.unify_log.needs_log(vid) { - self.storage.modified_set.set(&mut self.undo_log, vid); - } + let vid = self.find(vid); self.relations().unify_var_value(vid, value) } @@ -148,11 +142,6 @@ where relations.unify_var_var(a, b)?; - if a == relations.find(a) { - self.storage.unify_log.unify(&mut self.undo_log, a.into(), b.into()); - } else { - self.storage.unify_log.unify(&mut self.undo_log, b.into(), a.into()); - } Ok(()) }