diff options
| author | bors <bors@rust-lang.org> | 2025-09-19 12:15:03 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-09-19 12:15:03 +0000 |
| commit | e10aa8891182378de002bd71bf4d04181fb8231d (patch) | |
| tree | 5ffb3b69a8c42cacb434c2cd767a44027884d261 /src/tools/miri/genmc-sys/build.rs | |
| parent | 2f4dfc753fd86c672aa4145940db075a8a149f17 (diff) | |
| parent | df04be8cf744b500b5972fdc76898a96067d5517 (diff) | |
| download | rust-e10aa8891182378de002bd71bf4d04181fb8231d.tar.gz rust-e10aa8891182378de002bd71bf4d04181fb8231d.zip | |
Auto merge of #145737 - cjgillot:gvn-valueset, r=saethlin
GVN: stop hashing opaque values GVN generates values that are not meant to be unified with any other. For instance `Opaque` (aka we don't know anything), non-deterministic constants and borrows. The current algorithm generates a unique index, so the generated `Value` will be different from all the existing. This is wasteful, as we should not hash that `Value` at all. This PR proposes to do this. This involves partially reimplementing a `FxIndexSet`, but yields a small but consistent perf improvement (https://github.com/rust-lang/rust/pull/145737#issuecomment-3276951054).
Diffstat (limited to 'src/tools/miri/genmc-sys/build.rs')
0 files changed, 0 insertions, 0 deletions