region_infer: BitMatrix representation of region values

This should be more efficient than allocating two BTreeSets for every region variable?—as it is written in rust-lang#45670.
nikomatsakis · Dec 1, 2017 · 9546993 · 9546993
1 parent 4e482df
commit 9546993
Show file tree

Hide file tree

Showing 2 changed files with 184 additions and 154 deletions.
diff --git a/src/librustc_mir/borrow_check/nll/mod.rs b/src/librustc_mir/borrow_check/nll/mod.rs
@@ -160,7 +160,7 @@ fn dump_mir_results<'a, 'gcx, 'tcx>(
         match pass_where {
             // Before the CFG, dump out the values for each region variable.
             PassWhere::BeforeCFG => for region in regioncx.regions() {
-                writeln!(out, "| {:?}: {:?}", region, regioncx.region_value(region))?;
+                writeln!(out, "| {:?}: {}", region, regioncx.region_value_str(region))?;
             },
 
             // Before each basic block, dump out the values