rust/compiler/rustc_data_structures/src/macros.rs, branch tryhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=try2024-05-08T23:01:59+00:00Remove `enum_from_u32`.2024-05-08T23:01:59+00:00Nicholas Nethercoten.nethercote@gmail.com2024-05-06T03:51:15+00:00urn:sha1:58a06b6a9986149937d7efa97eba83df207a1c7c
It's a macro that just creates an enum with a `from_u32` method. It has
two arms. One is unused and the other has a single use.
This commit inlines that single use and removes the whole macro. This
increases readability because we don't have two different macros
interacting (`enum_from_u32` and `language_item_table`).
Introduce `ChunkedBitSet` and use it for some dataflow analyses.2022-02-22T23:18:49+00:00Nicholas Nethercoten.nethercote@gmail.com2022-02-09T13:47:48+00:00urn:sha1:36b495f3cf23a1f235482ce7f81f0f4be614bb85
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.
Allow variant attributes in `enum_from_u32!`2021-02-28T19:53:55+00:00Camelidcamelidcamel@gmail.com2021-02-28T19:53:55+00:00urn:sha1:58758f0275172da24ee311e354cd9a7fe79c6e39Remove unused static_assert macro2020-09-20T09:40:51+00:00est31MTest31@outlook.com2020-09-20T09:40:51+00:00urn:sha1:c2dad1c6b9f9636198d7c561b47a2974f5103f6dmv compiler to compiler/2020-08-30T15:45:07+00:00markmarkm@cs.wisc.edu2020-08-28T03:58:48+00:00urn:sha1:9e5f7d5631b8f4009ac1c693e585d4b7108d4275