[EXPERIMENT] Reimplement DestinationPropagation according to live ranges.

[cjgillot]

r? @Amanieu

[cjgillot]

@bors try @rust-timer queue

[rust-bors]

⌛ Trying commit d0d5f20 with merge 9d4b3bf…

To cancel the try build, run the command @bors try cancel.

[rust-bors]

☀️ Try build successful (CI)
Build commit: 9d4b3bf (9d4b3bf23319cc25ade991de3dea06e46b155552, parent: 425a9c0a0e365c0b8c6cfd00c2ded83a73bed9a0)

[rust-timer]

Finished benchmarking commit (9d4b3bf): comparison URL.

Overall result: ❌✅ regressions and improvements - please read the text below

Benchmarking this pull request means it may be perf-sensitive – we'll automatically label it not fit for rolling up. You can override this, but we strongly advise not to, due to possible changes in compiler perf.

Next Steps: If you can justify the regressions found in this try perf run, please do so in sufficient writing along with @rustbot label: +perf-regression-triaged. If not, please fix the regressions and do another perf run. If its results are neutral or positive, the label will be automatically removed.

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

Instruction count

Our most reliable metric. Used to determine the overall result above. However, even this metric can be noisy.

	mean	range	count
Regressions ❌ (primary)	0.6%	[0.2%, 1.2%]	11
Regressions ❌ (secondary)	0.6%	[0.2%, 1.6%]	41
Improvements ✅ (primary)	-0.6%	[-2.3%, -0.2%]	16
Improvements ✅ (secondary)	-0.8%	[-2.4%, -0.0%]	63
All ❌✅ (primary)	-0.1%	[-2.3%, 1.2%]	27

Max RSS (memory usage)

Results (primary -2.8%, secondary -2.3%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

	mean	range	count
Regressions ❌ (primary)	4.1%	[4.1%, 4.1%]	1
Regressions ❌ (secondary)	2.2%	[1.9%, 2.5%]	2
Improvements ✅ (primary)	-5.1%	[-7.6%, -1.2%]	3
Improvements ✅ (secondary)	-3.6%	[-4.9%, -1.0%]	7
All ❌✅ (primary)	-2.8%	[-7.6%, 4.1%]	4

Cycles

Results (primary -2.6%, secondary -7.5%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

	mean	range	count
Regressions ❌ (primary)	-	-	0
Regressions ❌ (secondary)	2.3%	[1.3%, 3.9%]	4
Improvements ✅ (primary)	-2.6%	[-2.6%, -2.6%]	1
Improvements ✅ (secondary)	-13.1%	[-23.5%, -3.4%]	7
All ❌✅ (primary)	-2.6%	[-2.6%, -2.6%]	1

Binary size

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

A less reliable metric. May be of interest, but not used to determine the overall result above.

	mean	range	count
Regressions ❌ (primary)	0.1%	[0.0%, 0.3%]	14
Regressions ❌ (secondary)	0.2%	[0.0%, 0.6%]	44
Improvements ✅ (primary)	-0.1%	[-0.9%, -0.0%]	40
Improvements ✅ (secondary)	-0.6%	[-2.0%, -0.0%]	22
All ❌✅ (primary)	-0.1%	[-0.9%, 0.3%]	54

Bootstrap: 470.373s -> 469.514s (-0.18%)
Artifact size: 377.75 MiB -> 374.67 MiB (-0.82%)