8

Reveal opaque types before drop elaboration by oli-obk · Pull Request #115759 ·...

 11 months ago
source link: https://github.com/rust-lang/rust/pull/115759
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
neoserver,ios ssh client

Conversation

Contributor

fixes #113594

r? @cjgillot

cc @JakobDegen

This pass was introduced in #110714

I moved it before drop elaboration (which only cares about the hidden types of things, not the opaque TAIT or RPIT type) and set it to run unconditionally (instead of depending on the optimization level and whether the inliner is active)

rustbot

added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

labels

Sep 11, 2023

Collaborator

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

Contributor

Author

This comment has been minimized.

rustbot

added the S-waiting-on-perf Status: Waiting on a perf run to be completed. label

Sep 11, 2023

Contributor

⌛ Trying commit a1e7d38 with merge e3f388f...

This comment has been minimized.

Contributor

☀️ Try build successful - checks-actions
Build commit: e3f388f (e3f388f7b7d8d5d87d7e1743b76148b1fae63325)

This comment has been minimized.

This doesn't fix when there's an async on the fn that ICEs.

fn is_enabled(&self, sess: &rustc_session::Session) -> bool {

sess.mir_opt_level() >= 3 || super::inline::Inline.is_enabled(sess)

}

fn run_pass(&self, tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) {

// Do not apply this transformation to generators.

if body.generator.is_some() {

We could remove this?

Contributor

Author

yea, that fixes the issue and has no fallout.

#115763 does this on its own

This comment has been minimized.

Collaborator

Finished benchmarking commit (e3f388f): comparison URL.

Overall result: ❌✅ regressions and improvements - ACTION NEEDED

Benchmarking this pull request likely means that it is perf-sensitive, so we're automatically marking it as not fit for rolling up. While you can manually mark this PR as fit for rollup, we strongly recommend not doing so since this PR may lead to changes in compiler perf.

Next Steps: If you can justify the regressions found in this try perf run, please indicate this with @rustbot label: +perf-regression-triaged along with sufficient written justification. If you cannot justify the regressions please fix the regressions and do another perf run. If the next run shows neutral or positive results, the label will be automatically removed.

@bors rollup=never
@rustbot label: -S-waiting-on-perf +perf-regression

Instruction count

This is a highly reliable metric that was used to determine the overall result at the top of this comment.

mean range count
Regressions ❌
(primary)
0.2% [0.2%, 0.2%] 1
Regressions ❌
(secondary)
0.3% [0.2%, 0.3%] 5
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
-1.1% [-1.1%, -1.1%] 1
All ❌✅ (primary) 0.2% [0.2%, 0.2%] 1

Max RSS (memory usage)

Results

Cycles

This benchmark run did not return any relevant results for this metric.

Binary size

Results

Bootstrap: 629.05s -> 630.934s (0.30%)
Artifact size: 317.65 MiB -> 317.66 MiB (0.00%)

rustbot

added perf-regression Performance regressions

and removed S-waiting-on-perf Status: Waiting on a perf run to be completed.

labels

Sep 12, 2023

Contributor

r=me with ci passing.

cjgillot

added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author.

and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

labels

Sep 16, 2023

Collaborator

Some changes occurred to the CTFE / Miri engine

cc @rust-lang/miri

Some changes occurred in compiler/rustc_codegen_cranelift

cc @bjorn3

Contributor

Author

r? @lcnr since you reviewed the related PRs by @ouz-a

Contributor

that's nice 👍

@bors r+

Contributor

📌 Commit 0031cf7 has been approved by lcnr

It is now in the queue for this repository.

bors

added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author.

labels

Sep 29, 2023

Contributor

⌛ Testing commit 0031cf7 with merge c545019...

Contributor

☀️ Test successful - checks-actions
Approved by: lcnr
Pushing c545019 to master...

Collaborator

Finished benchmarking commit (c545019): comparison URL.

Overall result: ❌✅ regressions and improvements - no action needed

@rustbot label: -perf-regression

Instruction count

This is a highly reliable metric that was used to determine the overall result at the top of this comment.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
0.2% [0.2%, 0.2%] 1
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
-0.9% [-0.9%, -0.9%] 1
All ❌✅ (primary) - - 0

Max RSS (memory usage)

Results

Cycles

This benchmark run did not return any relevant results for this metric.

Binary size

Results

Bootstrap: 631.779s -> 634.388s (0.41%)
Artifact size: 317.27 MiB -> 317.38 MiB (0.03%)

rustbot

removed the perf-regression Performance regressions label

Sep 29, 2023

oli-obk

deleted the open_drop_from_non-ADT branch

September 29, 2023 15:16

bors-ferrocene bot

added a commit to ferrocene/ferrocene that referenced this pull request

Oct 5, 2023

bors-ferrocene bot

added a commit to ferrocene/ferrocene that referenced this pull request

Oct 6, 2023

bors-ferrocene bot

added a commit to ferrocene/ferrocene that referenced this pull request

Oct 9, 2023

bors-ferrocene bot

added a commit to ferrocene/ferrocene that referenced this pull request

Oct 9, 2023

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

compiler-errors

compiler-errors left review comments
Assignees

lcnr

Labels
merged-by-bors This PR was explicitly merged by bors S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects

None yet

Milestone

1.74.0

Development

Successfully merging this pull request may close these issues.

TAIT: "open drop from non-ADT"

8 participants

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK