| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2022-02-26 | Rollup merge of #94087 - tmiasko:rm-ignore-borrow-on-drop, r=jackh726 | Matthias Krüger | -34/+11 | |
| Remove unused `unsound_ignore_borrow_on_drop` | ||||
| 2022-02-26 | Rollup merge of #93870 - tmiasko:const-precise-live-drops-with-coverage, ↵ | Matthias Krüger | -15/+18 | |
| r=ecstatic-morse Fix switch on discriminant detection in a presence of coverage counters Fixes #93848. r? ``@ecstatic-morse`` | ||||
| 2022-02-23 | Introduce `ChunkedBitSet` and use it for some dataflow analyses. | Nicholas Nethercote | -7/+7 | |
| This reduces peak memory usage significantly for some programs with very large functions, such as: - `keccak`, `unicode_normalization`, and `match-stress-enum`, from the `rustc-perf` benchmark suite; - `http-0.2.6` from crates.io. The new type is used in the analyses where the bitsets can get huge (e.g. 10s of thousands of bits): `MaybeInitializedPlaces`, `MaybeUninitializedPlaces`, and `EverInitializedPlaces`. Some refactoring was required in `rustc_mir_dataflow`. All existing analysis domains are either `BitSet` or a trivial wrapper around `BitSet`, and access in a few places is done via `Borrow<BitSet>` or `BorrowMut<BitSet>`. Now that some of these domains are `ClusterBitSet`, that no longer works. So this commit replaces the `Borrow`/`BorrowMut` usage with a new trait `BitSetExt` containing the needed bitset operations. The impls just forward these to the underlying bitset type. This required fiddling with trait bounds in a few places. The commit also: - Moves `static_assert_size` from `rustc_data_structures` to `rustc_index` so it can be used in the latter; the former now re-exports it so existing users are unaffected. - Factors out some common "clear excess bits in the final word" functionality in `bit_set.rs`. - Uses `fill` in a few places instead of loops. | ||||
| 2022-02-19 | Adopt let else in more places | est31 | -12/+8 | |
| 2022-02-17 | Remove unused `unsound_ignore_borrow_on_drop` | Tomasz Miąsko | -34/+11 | |
| 2022-02-10 | Fix switch on discriminant detection in a presence of coverage counters | Tomasz Miąsko | -15/+18 | |
| 2022-01-12 | Remove deprecated LLVM-style inline assembly | Tomasz Miąsko | -6/+0 | |
| 2021-12-16 | Remove `in_band_lifetimes` from `rustc_mir_dataflow` | LegionMammal978 | -12/+12 | |
| See #91867 for more information. | ||||
| 2021-12-03 | Add initial AST and MIR support for unwinding from inline assembly | Amanieu d'Antras | -75/+77 | |
| 2021-11-13 | Mark mutably borrowed places as maybe initialized | Dylan MacKenzie | -6/+67 | |
| 2021-11-03 | Remove `MaybeMutBorrowedLocals` | Tomasz Miąsko | -118/+16 | |
| 2021-10-04 | Discuss field-sensitivity and enums in context of `MaybeLiveLocals` | Dylan MacKenzie | -0/+31 | |
| 2021-09-28 | More tracing instrumentation | Oli Scherer | -12/+6 | |
| 2021-09-25 | Introduce `Rvalue::ShallowInitBox` | Gary Guo | -0/+1 | |
| 2021-09-07 | Move the dataflow framework to its own crate. | Camille GILLOT | -0/+1570 | |
