Skip to content

Commit 8b8a618

Browse files
committed
Remove universes from expected MIR output in tests
1 parent 3adf6a2 commit 8b8a618

4 files changed

+23
-23
lines changed

tests/mir-opt/nll/named_lifetimes_basic.use_x.nll.0.mir

+9-9
Original file line numberDiff line numberDiff line change
@@ -8,15 +8,15 @@
88
| '?4 | Local | ['?4]
99
|
1010
| Inferred Region Values
11-
| '?0 | U0 | {bb0[0..=1], '?0, '?1, '?2, '?3, '?4}
12-
| '?1 | U0 | {bb0[0..=1], '?1}
13-
| '?2 | U0 | {bb0[0..=1], '?2}
14-
| '?3 | U0 | {bb0[0..=1], '?3}
15-
| '?4 | U0 | {bb0[0..=1], '?4}
16-
| '?5 | U0 | {bb0[0..=1], '?1}
17-
| '?6 | U0 | {bb0[0..=1], '?2}
18-
| '?7 | U0 | {bb0[0..=1], '?1}
19-
| '?8 | U0 | {bb0[0..=1], '?3}
11+
| '?0 | {bb0[0..=1], '?0, '?1, '?2, '?3, '?4}
12+
| '?1 | {bb0[0..=1], '?1}
13+
| '?2 | {bb0[0..=1], '?2}
14+
| '?3 | {bb0[0..=1], '?3}
15+
| '?4 | {bb0[0..=1], '?4}
16+
| '?5 | {bb0[0..=1], '?1}
17+
| '?6 | {bb0[0..=1], '?2}
18+
| '?7 | {bb0[0..=1], '?1}
19+
| '?8 | {bb0[0..=1], '?3}
2020
|
2121
| Inference Constraints
2222
| '?0 live at {bb0[0..=1]}

tests/mir-opt/nll/region_subtyping_basic.main.nll.0.32bit.mir

+5-5
Original file line numberDiff line numberDiff line change
@@ -5,11 +5,11 @@
55
| '?1 | Local | ['?1]
66
|
77
| Inferred Region Values
8-
| '?0 | U0 | {bb0[0..=8], bb1[0..=7], bb2[0..=3], bb3[0..=3], bb4[0..=1], bb5[0..=2], bb6[0..=5], bb7[0], '?0, '?1}
9-
| '?1 | U0 | {bb0[0..=8], bb1[0..=7], bb2[0..=3], bb3[0..=3], bb4[0..=1], bb5[0..=2], bb6[0..=5], bb7[0], '?1}
10-
| '?2 | U0 | {bb1[0..=7], bb2[0..=2]}
11-
| '?3 | U0 | {bb1[1..=7], bb2[0..=2]}
12-
| '?4 | U0 | {bb1[4..=7], bb2[0..=2]}
8+
| '?0 | {bb0[0..=8], bb1[0..=7], bb2[0..=3], bb3[0..=3], bb4[0..=1], bb5[0..=2], bb6[0..=5], bb7[0], '?0, '?1}
9+
| '?1 | {bb0[0..=8], bb1[0..=7], bb2[0..=3], bb3[0..=3], bb4[0..=1], bb5[0..=2], bb6[0..=5], bb7[0], '?1}
10+
| '?2 | {bb1[0..=7], bb2[0..=2]}
11+
| '?3 | {bb1[1..=7], bb2[0..=2]}
12+
| '?4 | {bb1[4..=7], bb2[0..=2]}
1313
|
1414
| Inference Constraints
1515
| '?0 live at {bb0[0..=8], bb1[0..=7], bb2[0..=3], bb3[0..=3], bb4[0..=1], bb5[0..=2], bb6[0..=5], bb7[0]}

tests/mir-opt/nll/region_subtyping_basic.main.nll.0.64bit.mir

+5-5
Original file line numberDiff line numberDiff line change
@@ -5,11 +5,11 @@
55
| '?1 | Local | ['?1]
66
|
77
| Inferred Region Values
8-
| '?0 | U0 | {bb0[0..=8], bb1[0..=7], bb2[0..=3], bb3[0..=3], bb4[0..=1], bb5[0..=2], bb6[0..=5], bb7[0], '?0, '?1}
9-
| '?1 | U0 | {bb0[0..=8], bb1[0..=7], bb2[0..=3], bb3[0..=3], bb4[0..=1], bb5[0..=2], bb6[0..=5], bb7[0], '?1}
10-
| '?2 | U0 | {bb1[0..=7], bb2[0..=2]}
11-
| '?3 | U0 | {bb1[1..=7], bb2[0..=2]}
12-
| '?4 | U0 | {bb1[4..=7], bb2[0..=2]}
8+
| '?0 | {bb0[0..=8], bb1[0..=7], bb2[0..=3], bb3[0..=3], bb4[0..=1], bb5[0..=2], bb6[0..=5], bb7[0], '?0, '?1}
9+
| '?1 | {bb0[0..=8], bb1[0..=7], bb2[0..=3], bb3[0..=3], bb4[0..=1], bb5[0..=2], bb6[0..=5], bb7[0], '?1}
10+
| '?2 | {bb1[0..=7], bb2[0..=2]}
11+
| '?3 | {bb1[1..=7], bb2[0..=2]}
12+
| '?4 | {bb1[4..=7], bb2[0..=2]}
1313
|
1414
| Inference Constraints
1515
| '?0 live at {bb0[0..=8], bb1[0..=7], bb2[0..=3], bb3[0..=3], bb4[0..=1], bb5[0..=2], bb6[0..=5], bb7[0]}

tests/mir-opt/storage_ranges.main.nll.0.mir

+4-4
Original file line numberDiff line numberDiff line change
@@ -5,10 +5,10 @@
55
| '?1 | Local | ['?1]
66
|
77
| Inferred Region Values
8-
| '?0 | U0 | {bb0[0..=22], '?0, '?1}
9-
| '?1 | U0 | {bb0[0..=22], '?1}
10-
| '?2 | U0 | {bb0[10..=11]}
11-
| '?3 | U0 | {bb0[11]}
8+
| '?0 | {bb0[0..=22], '?0, '?1}
9+
| '?1 | {bb0[0..=22], '?1}
10+
| '?2 | {bb0[10..=11]}
11+
| '?3 | {bb0[11]}
1212
|
1313
| Inference Constraints
1414
| '?0 live at {bb0[0..=22]}

0 commit comments

Comments
 (0)