Simplify the canonical clone method and the copy-like forms to copy #128299

DianQK · 2024-07-28T09:03:52Z

The optimized clone method ends up as the following MIR:

_2 = copy ((*_1).0: i32);
_3 = copy ((*_1).1: u64);
_4 = copy ((*_1).2: [i8; 3]);
_0 = Foo { a: move _2, b: move _3, c: move _4 };

We can transform this to:

_0 = copy (*_1);

r? @cjgillot

DianQK · 2024-07-28T10:23:35Z

@bors try @rust-timer queue

Simplify the canonical clone method and the copy-like forms to copy Fixes rust-lang#128081. Currently being blocked by rust-lang#128265. `@rustbot` label +S-blocked r? `@saethlin`

bors · 2024-07-28T10:24:46Z

⌛ Trying commit 31a1608 with merge e4c8ee7...

bors · 2024-07-28T12:06:19Z

☀️ Try build successful - checks-actions
Build commit: e4c8ee7 (e4c8ee79cb77eea8faf9d06719ac0a1c26e5fb54)

rust-timer · 2024-07-28T14:12:44Z

Finished benchmarking commit (e4c8ee7): 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.9%	[0.3%, 2.7%]	26
Regressions ❌ (secondary)	1.4%	[0.1%, 4.0%]	7
Improvements ✅ (primary)	-0.7%	[-1.8%, -0.2%]	7
Improvements ✅ (secondary)	-0.6%	[-1.1%, -0.3%]	4
All ❌✅ (primary)	0.6%	[-1.8%, 2.7%]	33

Max RSS (memory usage)

Results (primary -0.9%, secondary -2.9%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	4.8%	[2.6%, 6.8%]	4
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-1.8%	[-4.9%, -0.4%]	24
Improvements ✅ (secondary)	-2.9%	[-3.7%, -2.2%]	2
All ❌✅ (primary)	-0.9%	[-4.9%, 6.8%]	28

Cycles

Results (primary 1.4%, secondary -0.9%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	1.4%	[1.0%, 2.3%]	6
Regressions ❌ (secondary)	2.7%	[2.2%, 3.0%]	5
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-2.6%	[-4.5%, -1.3%]	11
All ❌✅ (primary)	1.4%	[1.0%, 2.3%]	6

Binary size

Results (primary -0.1%, secondary -0.6%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	0.2%	[0.0%, 0.6%]	41
Regressions ❌ (secondary)	0.0%	[0.0%, 0.0%]	3
Improvements ✅ (primary)	-0.3%	[-1.1%, -0.0%]	45
Improvements ✅ (secondary)	-0.7%	[-1.7%, -0.0%]	19
All ❌✅ (primary)	-0.1%	[-1.1%, 0.6%]	86

Bootstrap: 772.73s -> 772.725s (-0.00%)
Artifact size: 331.60 MiB -> 331.61 MiB (0.00%)

DianQK · 2024-07-29T20:52:36Z

@bors try @rust-timer queue

Simplify the canonical clone method and the copy-like forms to copy Fixes rust-lang#128081. Currently being blocked by rust-lang#128265. `@rustbot` label +S-blocked r? `@saethlin`

bors · 2024-07-29T20:53:47Z

⌛ Trying commit a7d48fc with merge 39db211...

bors · 2024-07-29T22:45:53Z

☀️ Try build successful - checks-actions
Build commit: 39db211 (39db211ca6455f46c20f96c349f1e12734c085ba)

DianQK · 2024-07-29T23:52:49Z

@rustbot label -S-blocked

rust-timer · 2024-07-30T01:07:46Z

Finished benchmarking commit (39db211): 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.8%	[0.3%, 1.5%]	21
Regressions ❌ (secondary)	2.6%	[0.4%, 5.4%]	4
Improvements ✅ (primary)	-1.9%	[-1.9%, -1.9%]	1
Improvements ✅ (secondary)	-1.4%	[-1.4%, -1.4%]	1
All ❌✅ (primary)	0.7%	[-1.9%, 1.5%]	22

Max RSS (memory usage)

Results (primary 2.2%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	3.7%	[1.9%, 6.9%]	5
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-5.1%	[-5.1%, -5.1%]	1
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	2.2%	[-5.1%, 6.9%]	6

Cycles

Results (primary 1.2%, secondary 3.3%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	1.2%	[0.7%, 1.7%]	12
Regressions ❌ (secondary)	3.3%	[2.3%, 3.9%]	3
Improvements ✅ (primary)	-	-	0
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	1.2%	[0.7%, 1.7%]	12

Binary size

Results (primary -0.0%, secondary -0.3%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	0.1%	[0.0%, 0.2%]	7
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-0.4%	[-0.5%, -0.3%]	2
Improvements ✅ (secondary)	-0.3%	[-0.3%, -0.3%]	3
All ❌✅ (primary)	-0.0%	[-0.5%, 0.2%]	9

Bootstrap: 770.008s -> 770.86s (0.11%)
Artifact size: 331.82 MiB -> 331.70 MiB (-0.04%)

cjgillot · 2024-07-30T23:24:17Z

I wonder if implementing this in GVN pass would be simpler. It already tracks value assignments.

DianQK · 2024-07-30T23:43:29Z

I wonder if implementing this in GVN pass would be simpler. It already tracks value assignments.

It's possible. I'm considering GVN or backward traversal.

bors · 2024-09-14T01:56:45Z

📌 Commit 80dfb58 has been approved by cjgillot

It is now in the queue for this repository.

bors · 2024-09-14T03:50:40Z

⌛ Testing commit 80dfb58 with merge 9a007eb...

Simplify the canonical clone method and the copy-like forms to copy Fixes rust-lang#128081. The optimized clone method ends up as the following MIR: ``` _2 = copy ((*_1).0: i32); _3 = copy ((*_1).1: u64); _4 = copy ((*_1).2: [i8; 3]); _0 = Foo { a: move _2, b: move _3, c: move _4 }; ``` We can transform this to: ``` _0 = copy (*_1); ``` r? `@cjgillot`

bors · 2024-09-14T04:36:36Z

💔 Test failed - checks-actions

DianQK · 2024-09-14T05:30:28Z

Oops, during the final check, I should always use ./x test tests/mir-opt --bless instead of ./x test tests/mir-opt.

The optimized clone method ends up as the following MIR: ``` _2 = copy ((*_1).0: i32); _3 = copy ((*_1).1: u64); _4 = copy ((*_1).2: [i8; 3]); _0 = Foo { a: move _2, b: move _3, c: move _4 }; ``` We can transform this to: ``` _0 = copy (*_1); ```

DianQK · 2024-09-14T05:31:21Z

Rebased.

cjgillot · 2024-09-14T10:59:50Z

@bors r+

bors · 2024-09-14T10:59:52Z

📌 Commit 25d434b has been approved by cjgillot

It is now in the queue for this repository.

bors · 2024-09-14T13:30:33Z

⌛ Testing commit 25d434b with merge e7386b3...

bors · 2024-09-14T16:17:05Z

☀️ Test successful - checks-actions
Approved by: cjgillot
Pushing e7386b3 to master...

rust-timer · 2024-09-14T17:41:28Z

Finished benchmarking commit (e7386b3): comparison URL.

Overall result: ❌✅ regressions and improvements - ACTION NEEDED

Next Steps: If you can justify the regressions found in this perf run, please indicate this with @rustbot label: +perf-regression-triaged along with sufficient written justification. If you cannot justify the regressions please open an issue or create a new PR that fixes the regressions, add a comment linking to the newly created issue or PR, and then add the perf-regression-triaged label to this PR.

@rustbot label: +perf-regression
cc @rust-lang/wg-compiler-performance

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.4%	[0.2%, 0.8%]	6
Regressions ❌ (secondary)	0.4%	[0.2%, 2.1%]	16
Improvements ✅ (primary)	-0.8%	[-1.7%, -0.3%]	12
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-0.4%	[-1.7%, 0.8%]	18

Max RSS (memory usage)

Results (primary -1.1%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	5.6%	[3.5%, 7.6%]	2
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-4.4%	[-7.7%, -3.0%]	4
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-1.1%	[-7.7%, 7.6%]	6

Cycles

Results (primary -0.6%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	1.2%	[1.2%, 1.2%]	1
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-1.6%	[-1.8%, -1.3%]	2
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-0.6%	[-1.8%, 1.2%]	3

Binary size

Results (primary -0.1%, secondary -0.2%)

This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.

	mean	range	count
Regressions ❌ (primary)	0.2%	[0.0%, 0.4%]	11
Regressions ❌ (secondary)	0.0%	[0.0%, 0.0%]	16
Improvements ✅ (primary)	-0.2%	[-1.3%, -0.0%]	29
Improvements ✅ (secondary)	-0.5%	[-1.2%, -0.1%]	15
All ❌✅ (primary)	-0.1%	[-1.3%, 0.4%]	40

Bootstrap: 757.228s -> 759.427s (0.29%)
Artifact size: 341.16 MiB -> 341.17 MiB (0.00%)

Merge these copy statements that simplified the canonical enum clone method by GVN This is blocked by rust-lang#128299.

rustbot assigned saethlin Jul 28, 2024

This comment has been minimized.

Sign in to view

DianQK force-pushed the clone-copy branch from 95d4186 to 31a1608 Compare July 28, 2024 09:32

This comment has been minimized.

Sign in to view

rustbot added the S-waiting-on-perf Status: Waiting on a perf run to be completed. label Jul 28, 2024

This comment has been minimized.

Sign in to view

rustbot added perf-regression Performance regression. and removed S-waiting-on-perf Status: Waiting on a perf run to be completed. labels Jul 28, 2024

DianQK force-pushed the clone-copy branch from 31a1608 to a7d48fc Compare July 29, 2024 20:51

This comment has been minimized.

Sign in to view

rustbot added the S-waiting-on-perf Status: Waiting on a perf run to be completed. label Jul 29, 2024

This comment has been minimized.

Sign in to view

rustbot removed the S-blocked Status: Marked as blocked ❌ on something else such as an RFC or other implementation work. label Jul 29, 2024

rustbot removed the S-waiting-on-perf Status: Waiting on a perf run to be completed. label Jul 30, 2024

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-review Status: Awaiting review from the assignee but also interested parties. labels Sep 14, 2024

This comment has been minimized.

Sign in to view

bors added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Sep 14, 2024

DianQK force-pushed the clone-copy branch from 80dfb58 to 4608269 Compare September 14, 2024 05:30

DianQK added 2 commits September 14, 2024 13:30

Update try_question_mark_nop.rs test

25d434b

DianQK force-pushed the clone-copy branch from 4608269 to 25d434b Compare September 14, 2024 05:30

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-review Status: Awaiting review from the assignee but also interested parties. labels Sep 14, 2024

bors added the merged-by-bors This PR was explicitly merged by bors. label Sep 14, 2024

bors merged commit e7386b3 into rust-lang:master Sep 14, 2024
7 checks passed

rustbot added this to the 1.83.0 milestone Sep 14, 2024

bors mentioned this pull request Sep 14, 2024

liballoc: introduce String, Vec const-slicing #128399

Open

bors added a commit to rust-lang-ci/rust that referenced this pull request Sep 14, 2024

Auto merge of rust-lang#129931 - DianQK:match-br-copy, r=<try>

c324112

Merge these copy statements that simplified the canonical enum clone method by GVN This is blocked by rust-lang#128299.

DianQK deleted the clone-copy branch September 15, 2024 03:57

kkysen mentioned this pull request Sep 17, 2024

Add Copy to some structs memorysafety/rav1d#1332

Open

CrazyboyQCD mentioned this pull request Sep 20, 2024

Redundant instructions in cloning of bit-wise copyable type #130592

Open

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Simplify the canonical clone method and the copy-like forms to copy #128299

Simplify the canonical clone method and the copy-like forms to copy #128299

DianQK commented Jul 28, 2024 •

edited

Loading

This comment has been minimized.

DianQK commented Jul 28, 2024

This comment has been minimized.

bors commented Jul 28, 2024

bors commented Jul 28, 2024

This comment has been minimized.

rust-timer commented Jul 28, 2024

DianQK commented Jul 29, 2024

This comment has been minimized.

bors commented Jul 29, 2024

bors commented Jul 29, 2024

This comment has been minimized.

DianQK commented Jul 29, 2024

rust-timer commented Jul 30, 2024

cjgillot commented Jul 30, 2024

DianQK commented Jul 30, 2024

bors commented Sep 14, 2024

bors commented Sep 14, 2024

This comment has been minimized.

bors commented Sep 14, 2024

DianQK commented Sep 14, 2024

DianQK commented Sep 14, 2024

cjgillot commented Sep 14, 2024

bors commented Sep 14, 2024

bors commented Sep 14, 2024

bors commented Sep 14, 2024

rust-timer commented Sep 14, 2024

Simplify the canonical clone method and the copy-like forms to copy #128299

Simplify the canonical clone method and the copy-like forms to copy #128299

Conversation

DianQK commented Jul 28, 2024 • edited Loading

This comment has been minimized.

DianQK commented Jul 28, 2024

This comment has been minimized.

bors commented Jul 28, 2024

bors commented Jul 28, 2024

This comment has been minimized.

rust-timer commented Jul 28, 2024

Overall result: ❌✅ regressions and improvements - ACTION NEEDED

DianQK commented Jul 29, 2024

This comment has been minimized.

bors commented Jul 29, 2024

bors commented Jul 29, 2024

This comment has been minimized.

DianQK commented Jul 29, 2024

rust-timer commented Jul 30, 2024

Overall result: ❌✅ regressions and improvements - ACTION NEEDED

cjgillot commented Jul 30, 2024

DianQK commented Jul 30, 2024

bors commented Sep 14, 2024

bors commented Sep 14, 2024

This comment has been minimized.

bors commented Sep 14, 2024

DianQK commented Sep 14, 2024

DianQK commented Sep 14, 2024

cjgillot commented Sep 14, 2024

bors commented Sep 14, 2024

bors commented Sep 14, 2024

bors commented Sep 14, 2024

rust-timer commented Sep 14, 2024

Overall result: ❌✅ regressions and improvements - ACTION NEEDED

DianQK commented Jul 28, 2024 •

edited

Loading