File tree 3 files changed +6
-1
lines changed
3 files changed +6
-1
lines changed Original file line number Diff line number Diff line change @@ -30,7 +30,7 @@ fn bar(mut x: u8) {
30
30
fn baz ( mut x : i32 ) -> i32 {
31
31
// CHECK-LABEL: fn baz(
32
32
// CHECK: debug x => [[x:_.*]];
33
- // CHECK-NOT: [[x]] = {{_.*}}
33
+ // CHECK-NOT: [[x]] =
34
34
// self-assignment to a function argument should be eliminated
35
35
x = x;
36
36
x
Original file line number Diff line number Diff line change 5
5
fn nrvo ( init : fn ( & mut [ u8 ; 1024 ] ) ) -> [ u8 ; 1024 ] {
6
6
// CHECK-LABEL: fn nrvo(
7
7
// CHECK: debug init => [[init:_.*]];
8
+ // CHECK: debug buf => [[buf:_.*]];
9
+ // CHECK: [[buf]] = [const 0_u8; 1024];
8
10
// CHECK-NOT: {{_.*}} = [[init]];
9
11
// CHECK: move [[init]](move {{_.*}})
12
+ // CHECK: {{_.*}} = [[buf]]
10
13
let mut buf = [ 0 ; 1024 ] ;
11
14
init ( & mut buf) ;
12
15
buf
Original file line number Diff line number Diff line change @@ -8,6 +8,8 @@ fn val() -> u32 {
8
8
9
9
// EMIT_MIR union.main.DestinationPropagation.diff
10
10
fn main ( ) {
11
+ // CHECK-LABEL: fn args(
12
+ // CHECK: {{_.*}} = Un { us: const 1_u32 };
11
13
union Un {
12
14
us : u32 ,
13
15
}
You can’t perform that action at this time.
0 commit comments