summaryrefslogtreecommitdiffstats
path: root/tests/codegen/issues/issue-86106.rs
blob: 9ccbcb24f5621f76fb0cc6782be8998f8374208f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
// min-llvm-version: 15.0
// compile-flags: -C opt-level=3 -Z merge-functions=disabled

// The below two functions ensure that both `String::new()` and `"".to_string()`
// produce the identical code.

#![crate_type = "lib"]

// CHECK-LABEL: define void @string_new
#[no_mangle]
pub fn string_new() -> String {
    // CHECK-NOT: load i8
    // CHECK: store i{{32|64}}
    // CHECK-NEXT: getelementptr
    // CHECK-NEXT: store ptr
    // CHECK-NEXT: getelementptr
    // CHECK-NEXT: store i{{32|64}}
    // CHECK-NEXT: ret void
    String::new()
}

// CHECK-LABEL: define void @empty_to_string
#[no_mangle]
pub fn empty_to_string() -> String {
    // CHECK-NOT: load i8
    // CHECK: store i{{32|64}}
    // CHECK-NEXT: getelementptr
    // CHECK-NEXT: store ptr
    // CHECK-NEXT: getelementptr
    // CHECK-NEXT: store i{{32|64}}
    // CHECK-NEXT: ret void
    "".to_string()
}

// The below two functions ensure that both `vec![]` and `vec![].clone()`
// produce the identical code.

// CHECK-LABEL: @empty_vec
#[no_mangle]
pub fn empty_vec() -> Vec<u8> {
    // CHECK: store i{{32|64}}
    // CHECK-NOT: load i8
    // CHECK-NEXT: getelementptr
    // CHECK-NEXT: store ptr
    // CHECK-NEXT: getelementptr
    // CHECK-NEXT: store i{{32|64}}
    // CHECK-NEXT: ret void
    vec![]
}

// CHECK-LABEL: @empty_vec_clone
#[no_mangle]
pub fn empty_vec_clone() -> Vec<u8> {
    // CHECK: store i{{32|64}}
    // CHECK-NOT: load i8
    // CHECK-NEXT: getelementptr
    // CHECK-NEXT: store ptr
    // CHECK-NEXT: getelementptr
    // CHECK-NEXT: store i{{32|64}}
    // CHECK-NEXT: ret void
    vec![].clone()
}