diff options
| author | bors <bors@rust-lang.org> | 2022-06-17 07:35:22 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-06-17 07:35:22 +0000 |
| commit | ecdd374e6123d79b89c3ecea618d827c931b81cd (patch) | |
| tree | d216370927b0464750c42b6e2f3cd89b0e21a835 /compiler/rustc_mir_dataflow/src | |
| parent | 0423e06ca96067ea6f166921a7905ecb339eb155 (diff) | |
| parent | bc7cd2f351ab35e0830563858e827a2d397d176d (diff) | |
| download | rust-ecdd374e6123d79b89c3ecea618d827c931b81cd.tar.gz rust-ecdd374e6123d79b89c3ecea618d827c931b81cd.zip | |
Auto merge of #97863 - JakobDegen:bitset-choice, r=nnethercote
`BitSet` related perf improvements This commit makes two changes: 1. Changes `MaybeLiveLocals` to use `ChunkedBitSet` 2. Overrides the `fold` method for the iterator for `ChunkedBitSet` I have local benchmarks verifying that each of these changes individually yield significant perf improvements to #96451 . I'm hoping this will be true outside of that context too. If that is not the case, I'll try to gate things on where they help as needed r? `@nnethercote` who I believe was working on closely related things, cc `@tmiasko` because of the destprop pr
Diffstat (limited to 'compiler/rustc_mir_dataflow/src')
| -rw-r--r-- | compiler/rustc_mir_dataflow/src/impls/liveness.rs | 4 | ||||
| -rw-r--r-- | compiler/rustc_mir_dataflow/src/rustc_peek.rs | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/compiler/rustc_mir_dataflow/src/impls/liveness.rs b/compiler/rustc_mir_dataflow/src/impls/liveness.rs index 9b62ee5473c..35febb5d330 100644 --- a/compiler/rustc_mir_dataflow/src/impls/liveness.rs +++ b/compiler/rustc_mir_dataflow/src/impls/liveness.rs @@ -30,14 +30,14 @@ impl MaybeLiveLocals { } impl<'tcx> AnalysisDomain<'tcx> for MaybeLiveLocals { - type Domain = BitSet<Local>; + type Domain = ChunkedBitSet<Local>; type Direction = Backward; const NAME: &'static str = "liveness"; fn bottom_value(&self, body: &mir::Body<'tcx>) -> Self::Domain { // bottom = not live - BitSet::new_empty(body.local_decls.len()) + ChunkedBitSet::new_empty(body.local_decls.len()) } fn initialize_start_block(&self, _: &mir::Body<'tcx>, _: &mut Self::Domain) { diff --git a/compiler/rustc_mir_dataflow/src/rustc_peek.rs b/compiler/rustc_mir_dataflow/src/rustc_peek.rs index 2f884887ad9..e1df482786f 100644 --- a/compiler/rustc_mir_dataflow/src/rustc_peek.rs +++ b/compiler/rustc_mir_dataflow/src/rustc_peek.rs @@ -1,7 +1,7 @@ use rustc_span::symbol::sym; use rustc_span::Span; -use rustc_index::bit_set::BitSet; +use rustc_index::bit_set::ChunkedBitSet; use rustc_middle::mir::MirPass; use rustc_middle::mir::{self, Body, Local, Location}; use rustc_middle::ty::{self, Ty, TyCtxt}; @@ -271,7 +271,7 @@ impl<'tcx> RustcPeekAt<'tcx> for MaybeLiveLocals { &self, tcx: TyCtxt<'tcx>, place: mir::Place<'tcx>, - flow_state: &BitSet<Local>, + flow_state: &ChunkedBitSet<Local>, call: PeekCall, ) { info!(?place, "peek_at"); |
