1 // compile-flags: -O -Z merge-functions=disabled
2 // no-system-llvm
3 // ignore-debug (the extra assertions get in the way)
4
5 #![crate_type = "lib"]
6
7 // Ensure that various forms of reading pointers correctly annotate the `load`s
8 // with `!noundef` and `!range` metadata to enable extra optimization.
9
10 use std::mem::MaybeUninit;
11
12 // CHECK-LABEL: define {{(dso_local )?}}noundef i8 @copy_byte(
13 #[no_mangle]
copy_byte(p: *const u8) -> u814 pub unsafe fn copy_byte(p: *const u8) -> u8 {
15 // CHECK-NOT: load
16 // CHECK: load i8, ptr %p, align 1
17 // CHECK-SAME: !noundef !
18 // CHECK-NOT: load
19 *p
20 }
21
22 // CHECK-LABEL: define {{(dso_local )?}}noundef i8 @read_byte(
23 #[no_mangle]
read_byte(p: *const u8) -> u824 pub unsafe fn read_byte(p: *const u8) -> u8 {
25 // CHECK-NOT: load
26 // CHECK: load i8, ptr %p, align 1
27 // CHECK-SAME: !noundef !
28 // CHECK-NOT: load
29 p.read()
30 }
31
32 // CHECK-LABEL: define {{(dso_local )?}}i8 @read_byte_maybe_uninit(
33 #[no_mangle]
read_byte_maybe_uninit(p: *const MaybeUninit<u8>) -> MaybeUninit<u8>34 pub unsafe fn read_byte_maybe_uninit(p: *const MaybeUninit<u8>) -> MaybeUninit<u8> {
35 // CHECK-NOT: load
36 // CHECK: load i8, ptr %p, align 1
37 // CHECK-NOT: noundef
38 // CHECK-NOT: load
39 p.read()
40 }
41
42 // CHECK-LABEL: define {{(dso_local )?}}noundef i8 @read_byte_assume_init(
43 #[no_mangle]
read_byte_assume_init(p: &MaybeUninit<u8>) -> u844 pub unsafe fn read_byte_assume_init(p: &MaybeUninit<u8>) -> u8 {
45 // CHECK-NOT: load
46 // CHECK: load i8, ptr %p, align 1
47 // CHECK-SAME: !noundef !
48 // CHECK-NOT: load
49 p.assume_init_read()
50 }
51
52 // CHECK-LABEL: define {{(dso_local )?}}noundef i32 @copy_char(
53 #[no_mangle]
copy_char(p: *const char) -> char54 pub unsafe fn copy_char(p: *const char) -> char {
55 // CHECK-NOT: load
56 // CHECK: load i32, ptr %p
57 // CHECK-SAME: !range ![[RANGE:[0-9]+]]
58 // CHECK-SAME: !noundef !
59 // CHECK-NOT: load
60 *p
61 }
62
63 // CHECK-LABEL: define {{(dso_local )?}}noundef i32 @read_char(
64 #[no_mangle]
read_char(p: *const char) -> char65 pub unsafe fn read_char(p: *const char) -> char {
66 // CHECK-NOT: load
67 // CHECK: load i32, ptr %p
68 // CHECK-SAME: !range ![[RANGE]]
69 // CHECK-SAME: !noundef !
70 // CHECK-NOT: load
71 p.read()
72 }
73
74 // CHECK-LABEL: define {{(dso_local )?}}i32 @read_char_maybe_uninit(
75 #[no_mangle]
read_char_maybe_uninit(p: *const MaybeUninit<char>) -> MaybeUninit<char>76 pub unsafe fn read_char_maybe_uninit(p: *const MaybeUninit<char>) -> MaybeUninit<char> {
77 // CHECK-NOT: load
78 // CHECK: load i32, ptr %p
79 // CHECK-NOT: range
80 // CHECK-NOT: noundef
81 // CHECK-NOT: load
82 p.read()
83 }
84
85 // CHECK-LABEL: define {{(dso_local )?}}noundef i32 @read_char_assume_init(
86 #[no_mangle]
read_char_assume_init(p: &MaybeUninit<char>) -> char87 pub unsafe fn read_char_assume_init(p: &MaybeUninit<char>) -> char {
88 // CHECK-NOT: load
89 // CHECK: load i32, ptr %p
90 // CHECK-SAME: !range ![[RANGE]]
91 // CHECK-SAME: !noundef !
92 // CHECK-NOT: load
93 p.assume_init_read()
94 }
95
96 // CHECK: ![[RANGE]] = !{i32 0, i32 1114112}
97