Add FileCheck annotations to a few MIR opt tests

[cjgillot]

const_debuginfo did not specify which passes were running.
const_prop_miscompile is renamed and moved to const_prop directory.
while_storage was broken.

[rustbot]

r? @Mark-Simulacrum

(rustbot has picked a reviewer for you, use r? to override)

[Mark-Simulacrum]

@bors r+

[bors]

📌 Commit ac4d096 has been approved by Mark-Simulacrum

It is now in the queue for this repository.

[bors]

⌛ Testing commit ac4d096 with merge 8acf40b...

[bors]

☀️ Test successful - checks-actions
Approved by: Mark-Simulacrum
Pushing 8acf40b to master...

[rust-timer]

Finished benchmarking commit (8acf40b): comparison URL.

Overall result: ✅ 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
Improvements ✅ (primary)	-0.4%	[-0.4%, -0.4%]	1
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-0.4%	[-0.4%, -0.4%]	1

Max RSS (memory usage)

Results

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.6%	[0.4%, 1.0%]	3
Regressions ❌ (secondary)	-	-	0
Improvements ✅ (primary)	-2.3%	[-4.1%, -0.6%]	2
Improvements ✅ (secondary)	-2.7%	[-4.2%, -0.7%]	4
All ❌✅ (primary)	-0.6%	[-4.1%, 1.0%]	5

Cycles

Results

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
Regressions ❌ (secondary)	1.3%	[1.3%, 1.3%]	1
Improvements ✅ (primary)	-0.6%	[-0.7%, -0.5%]	2
Improvements ✅ (secondary)	-	-	0
All ❌✅ (primary)	-0.6%	[-0.7%, -0.5%]	2

Binary size

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

Bootstrap: 638.563s -> 639.017s (0.07%)
Artifact size: 304.34 MiB -> 304.51 MiB (0.06%)