diff options
| author | Eduard-Mihai Burtescu <edy.burt@gmail.com> | 2016-10-19 08:00:05 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-19 08:00:05 +0300 |
| commit | f354d72536fee00eb7e0522c8185879c7d1b0641 (patch) | |
| tree | 607bd7e44e220b55cfad4f5789fa45eb53265d47 /src/test/ui/thinlto | |
| parent | 988831319e96a0cf9abcb3feb9a8da899bdb5624 (diff) | |
| parent | 016f69f459d1b3819aa7c9d632a0dc78c7764406 (diff) | |
| download | rust-f354d72536fee00eb7e0522c8185879c7d1b0641.tar.gz rust-f354d72536fee00eb7e0522c8185879c7d1b0641.zip | |
Rollup merge of #37267 - nnethercote:opt-write_metadata, r=eddyb
Optimize `write_metadata`. `write_metadata` currently generates metadata unnecessarily in some cases, and also compresses it unnecessarily in some cases. This commit fixes that. It speeds up three of the rustc-benchmarks by 1--4%. r? @eddyb, who deserves much of the credit because he (a) identified the problem from the profile data I provided in #37086, and (b) explained to me how to fix it. Thank you, @eddyb!
Diffstat (limited to 'src/test/ui/thinlto')
0 files changed, 0 insertions, 0 deletions