|
1 |
| -- // MIR for `<impl at $DIR/combine_clone_of_primitives.rs:5:10: 5:15>::clone` before InstCombine |
2 |
| -+ // MIR for `<impl at $DIR/combine_clone_of_primitives.rs:5:10: 5:15>::clone` after InstCombine |
| 1 | +- // MIR for `<impl at $DIR/combine_clone_of_primitives.rs:6:10: 6:15>::clone` before InstCombine |
| 2 | ++ // MIR for `<impl at $DIR/combine_clone_of_primitives.rs:6:10: 6:15>::clone` after InstCombine |
3 | 3 |
|
4 |
| - fn <impl at $DIR/combine_clone_of_primitives.rs:5:10: 5:15>::clone(_1: &MyThing<T>) -> MyThing<T> { |
5 |
| - debug self => _1; // in scope 0 at $DIR/combine_clone_of_primitives.rs:5:10: 5:15 |
6 |
| - let mut _0: MyThing<T>; // return place in scope 0 at $DIR/combine_clone_of_primitives.rs:5:10: 5:15 |
7 |
| - let _2: &T; // in scope 0 at $DIR/combine_clone_of_primitives.rs:7:5: 7:9 |
8 |
| - let _3: &u64; // in scope 0 at $DIR/combine_clone_of_primitives.rs:8:5: 8:11 |
9 |
| - let _4: &[f32; 3]; // in scope 0 at $DIR/combine_clone_of_primitives.rs:9:5: 9:16 |
10 |
| - let mut _5: T; // in scope 0 at $DIR/combine_clone_of_primitives.rs:7:5: 7:9 |
11 |
| - let mut _6: &T; // in scope 0 at $DIR/combine_clone_of_primitives.rs:7:5: 7:9 |
12 |
| - let _7: &T; // in scope 0 at $DIR/combine_clone_of_primitives.rs:7:5: 7:9 |
13 |
| - let mut _8: u64; // in scope 0 at $DIR/combine_clone_of_primitives.rs:8:5: 8:11 |
14 |
| - let mut _9: &u64; // in scope 0 at $DIR/combine_clone_of_primitives.rs:8:5: 8:11 |
15 |
| - let _10: &u64; // in scope 0 at $DIR/combine_clone_of_primitives.rs:8:5: 8:11 |
16 |
| - let mut _11: [f32; 3]; // in scope 0 at $DIR/combine_clone_of_primitives.rs:9:5: 9:16 |
17 |
| - let mut _12: &[f32; 3]; // in scope 0 at $DIR/combine_clone_of_primitives.rs:9:5: 9:16 |
18 |
| - let _13: &[f32; 3]; // in scope 0 at $DIR/combine_clone_of_primitives.rs:9:5: 9:16 |
| 4 | + fn <impl at $DIR/combine_clone_of_primitives.rs:6:10: 6:15>::clone(_1: &MyThing<T>) -> MyThing<T> { |
| 5 | + debug self => _1; // in scope 0 at $DIR/combine_clone_of_primitives.rs:6:10: 6:15 |
| 6 | + let mut _0: MyThing<T>; // return place in scope 0 at $DIR/combine_clone_of_primitives.rs:6:10: 6:15 |
| 7 | + let _2: &T; // in scope 0 at $DIR/combine_clone_of_primitives.rs:8:5: 8:9 |
| 8 | + let _3: &u64; // in scope 0 at $DIR/combine_clone_of_primitives.rs:9:5: 9:11 |
| 9 | + let _4: &[f32; 3]; // in scope 0 at $DIR/combine_clone_of_primitives.rs:10:5: 10:16 |
| 10 | + let mut _5: T; // in scope 0 at $DIR/combine_clone_of_primitives.rs:8:5: 8:9 |
| 11 | + let mut _6: &T; // in scope 0 at $DIR/combine_clone_of_primitives.rs:8:5: 8:9 |
| 12 | + let _7: &T; // in scope 0 at $DIR/combine_clone_of_primitives.rs:8:5: 8:9 |
| 13 | + let mut _8: u64; // in scope 0 at $DIR/combine_clone_of_primitives.rs:9:5: 9:11 |
| 14 | + let mut _9: &u64; // in scope 0 at $DIR/combine_clone_of_primitives.rs:9:5: 9:11 |
| 15 | + let _10: &u64; // in scope 0 at $DIR/combine_clone_of_primitives.rs:9:5: 9:11 |
| 16 | + let mut _11: [f32; 3]; // in scope 0 at $DIR/combine_clone_of_primitives.rs:10:5: 10:16 |
| 17 | + let mut _12: &[f32; 3]; // in scope 0 at $DIR/combine_clone_of_primitives.rs:10:5: 10:16 |
| 18 | + let _13: &[f32; 3]; // in scope 0 at $DIR/combine_clone_of_primitives.rs:10:5: 10:16 |
19 | 19 | scope 1 {
|
20 |
| - debug __self_0_0 => _2; // in scope 1 at $DIR/combine_clone_of_primitives.rs:7:5: 7:9 |
21 |
| - debug __self_0_1 => _3; // in scope 1 at $DIR/combine_clone_of_primitives.rs:8:5: 8:11 |
22 |
| - debug __self_0_2 => _4; // in scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:16 |
| 20 | + debug __self_0_0 => _2; // in scope 1 at $DIR/combine_clone_of_primitives.rs:8:5: 8:9 |
| 21 | + debug __self_0_1 => _3; // in scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:11 |
| 22 | + debug __self_0_2 => _4; // in scope 1 at $DIR/combine_clone_of_primitives.rs:10:5: 10:16 |
23 | 23 | }
|
24 | 24 |
|
25 | 25 | bb0: {
|
26 |
| - _2 = &((*_1).0: T); // scope 0 at $DIR/combine_clone_of_primitives.rs:7:5: 7:9 |
27 |
| - _3 = &((*_1).1: u64); // scope 0 at $DIR/combine_clone_of_primitives.rs:8:5: 8:11 |
28 |
| - _4 = &((*_1).2: [f32; 3]); // scope 0 at $DIR/combine_clone_of_primitives.rs:9:5: 9:16 |
29 |
| -- _7 = &(*_2); // scope 1 at $DIR/combine_clone_of_primitives.rs:7:5: 7:9 |
30 |
| -- _6 = &(*_7); // scope 1 at $DIR/combine_clone_of_primitives.rs:7:5: 7:9 |
31 |
| -+ _7 = _2; // scope 1 at $DIR/combine_clone_of_primitives.rs:7:5: 7:9 |
32 |
| -+ _6 = _7; // scope 1 at $DIR/combine_clone_of_primitives.rs:7:5: 7:9 |
33 |
| - _5 = <T as Clone>::clone(move _6) -> bb1; // scope 1 at $DIR/combine_clone_of_primitives.rs:7:5: 7:9 |
| 26 | + _2 = &((*_1).0: T); // scope 0 at $DIR/combine_clone_of_primitives.rs:8:5: 8:9 |
| 27 | + _3 = &((*_1).1: u64); // scope 0 at $DIR/combine_clone_of_primitives.rs:9:5: 9:11 |
| 28 | + _4 = &((*_1).2: [f32; 3]); // scope 0 at $DIR/combine_clone_of_primitives.rs:10:5: 10:16 |
| 29 | +- _7 = &(*_2); // scope 1 at $DIR/combine_clone_of_primitives.rs:8:5: 8:9 |
| 30 | +- _6 = &(*_7); // scope 1 at $DIR/combine_clone_of_primitives.rs:8:5: 8:9 |
| 31 | ++ _7 = _2; // scope 1 at $DIR/combine_clone_of_primitives.rs:8:5: 8:9 |
| 32 | ++ _6 = _7; // scope 1 at $DIR/combine_clone_of_primitives.rs:8:5: 8:9 |
| 33 | + _5 = <T as Clone>::clone(move _6) -> bb1; // scope 1 at $DIR/combine_clone_of_primitives.rs:8:5: 8:9 |
34 | 34 | // mir::Constant
|
35 |
| - // + span: $DIR/combine_clone_of_primitives.rs:7:5: 7:9 |
| 35 | + // + span: $DIR/combine_clone_of_primitives.rs:8:5: 8:9 |
36 | 36 | // + literal: Const { ty: for<'r> fn(&'r T) -> T {<T as Clone>::clone}, val: Value(Scalar(<ZST>)) }
|
37 | 37 | }
|
38 | 38 |
|
39 | 39 | bb1: {
|
40 |
| -- _10 = &(*_3); // scope 1 at $DIR/combine_clone_of_primitives.rs:8:5: 8:11 |
41 |
| -- _9 = &(*_10); // scope 1 at $DIR/combine_clone_of_primitives.rs:8:5: 8:11 |
42 |
| -- _8 = <u64 as Clone>::clone(move _9) -> [return: bb2, unwind: bb4]; // scope 1 at $DIR/combine_clone_of_primitives.rs:8:5: 8:11 |
| 40 | +- _10 = &(*_3); // scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:11 |
| 41 | +- _9 = &(*_10); // scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:11 |
| 42 | +- _8 = <u64 as Clone>::clone(move _9) -> [return: bb2, unwind: bb4]; // scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:11 |
43 | 43 | - // mir::Constant
|
44 |
| -- // + span: $DIR/combine_clone_of_primitives.rs:8:5: 8:11 |
| 44 | +- // + span: $DIR/combine_clone_of_primitives.rs:9:5: 9:11 |
45 | 45 | - // + literal: Const { ty: for<'r> fn(&'r u64) -> u64 {<u64 as Clone>::clone}, val: Value(Scalar(<ZST>)) }
|
46 |
| -+ _10 = _3; // scope 1 at $DIR/combine_clone_of_primitives.rs:8:5: 8:11 |
47 |
| -+ _9 = _10; // scope 1 at $DIR/combine_clone_of_primitives.rs:8:5: 8:11 |
48 |
| -+ _8 = (*_9); // scope 1 at $DIR/combine_clone_of_primitives.rs:8:5: 8:11 |
49 |
| -+ goto -> bb2; // scope 1 at $DIR/combine_clone_of_primitives.rs:8:5: 8:11 |
| 46 | ++ _10 = _3; // scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:11 |
| 47 | ++ _9 = _10; // scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:11 |
| 48 | ++ _8 = (*_9); // scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:11 |
| 49 | ++ goto -> bb2; // scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:11 |
50 | 50 | }
|
51 | 51 |
|
52 | 52 | bb2: {
|
53 |
| -- _13 = &(*_4); // scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:16 |
54 |
| -- _12 = &(*_13); // scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:16 |
55 |
| -- _11 = <[f32; 3] as Clone>::clone(move _12) -> [return: bb3, unwind: bb4]; // scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:16 |
| 53 | +- _13 = &(*_4); // scope 1 at $DIR/combine_clone_of_primitives.rs:10:5: 10:16 |
| 54 | +- _12 = &(*_13); // scope 1 at $DIR/combine_clone_of_primitives.rs:10:5: 10:16 |
| 55 | +- _11 = <[f32; 3] as Clone>::clone(move _12) -> [return: bb3, unwind: bb4]; // scope 1 at $DIR/combine_clone_of_primitives.rs:10:5: 10:16 |
56 | 56 | - // mir::Constant
|
57 |
| -- // + span: $DIR/combine_clone_of_primitives.rs:9:5: 9:16 |
| 57 | +- // + span: $DIR/combine_clone_of_primitives.rs:10:5: 10:16 |
58 | 58 | - // + literal: Const { ty: for<'r> fn(&'r [f32; 3]) -> [f32; 3] {<[f32; 3] as Clone>::clone}, val: Value(Scalar(<ZST>)) }
|
59 |
| -+ _13 = _4; // scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:16 |
60 |
| -+ _12 = _13; // scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:16 |
61 |
| -+ _11 = (*_12); // scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:16 |
62 |
| -+ goto -> bb3; // scope 1 at $DIR/combine_clone_of_primitives.rs:9:5: 9:16 |
| 59 | ++ _13 = _4; // scope 1 at $DIR/combine_clone_of_primitives.rs:10:5: 10:16 |
| 60 | ++ _12 = _13; // scope 1 at $DIR/combine_clone_of_primitives.rs:10:5: 10:16 |
| 61 | ++ _11 = (*_12); // scope 1 at $DIR/combine_clone_of_primitives.rs:10:5: 10:16 |
| 62 | ++ goto -> bb3; // scope 1 at $DIR/combine_clone_of_primitives.rs:10:5: 10:16 |
63 | 63 | }
|
64 | 64 |
|
65 | 65 | bb3: {
|
66 |
| - (_0.0: T) = move _5; // scope 1 at $DIR/combine_clone_of_primitives.rs:5:10: 5:15 |
67 |
| - (_0.1: u64) = move _8; // scope 1 at $DIR/combine_clone_of_primitives.rs:5:10: 5:15 |
68 |
| - (_0.2: [f32; 3]) = move _11; // scope 1 at $DIR/combine_clone_of_primitives.rs:5:10: 5:15 |
69 |
| - return; // scope 0 at $DIR/combine_clone_of_primitives.rs:5:15: 5:15 |
| 66 | + (_0.0: T) = move _5; // scope 1 at $DIR/combine_clone_of_primitives.rs:6:10: 6:15 |
| 67 | + (_0.1: u64) = move _8; // scope 1 at $DIR/combine_clone_of_primitives.rs:6:10: 6:15 |
| 68 | + (_0.2: [f32; 3]) = move _11; // scope 1 at $DIR/combine_clone_of_primitives.rs:6:10: 6:15 |
| 69 | + return; // scope 0 at $DIR/combine_clone_of_primitives.rs:6:15: 6:15 |
70 | 70 | }
|
71 | 71 |
|
72 | 72 | bb4 (cleanup): {
|
73 |
| - drop(_5) -> bb5; // scope 1 at $DIR/combine_clone_of_primitives.rs:5:14: 5:15 |
| 73 | + drop(_5) -> bb5; // scope 1 at $DIR/combine_clone_of_primitives.rs:6:14: 6:15 |
74 | 74 | }
|
75 | 75 |
|
76 | 76 | bb5 (cleanup): {
|
77 |
| - resume; // scope 0 at $DIR/combine_clone_of_primitives.rs:5:10: 5:15 |
| 77 | + resume; // scope 0 at $DIR/combine_clone_of_primitives.rs:6:10: 6:15 |
78 | 78 | }
|
79 | 79 | }
|
80 | 80 |
|
0 commit comments