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
|
// MIR for `demo_byte_add_fat` after PreCodegen
fn demo_byte_add_fat(_1: *const [u32], _2: usize) -> *const [u32] {
debug p => _1;
debug n => _2;
let mut _0: *const [u32];
scope 1 (inlined std::ptr::const_ptr::<impl *const [u32]>::byte_add) {
let mut _3: *const u8;
let mut _4: *const u8;
scope 2 (inlined std::ptr::const_ptr::<impl *const [u32]>::cast::<u8>) {
}
scope 3 (inlined std::ptr::const_ptr::<impl *const u8>::add) {
}
scope 4 (inlined std::ptr::const_ptr::<impl *const u8>::with_metadata_of::<[u32]>) {
let mut _5: usize;
scope 5 (inlined std::ptr::metadata::<[u32]>) {
}
scope 6 (inlined std::ptr::from_raw_parts::<[u32], ()>) {
}
}
}
bb0: {
StorageLive(_4);
StorageLive(_3);
_3 = copy _1 as *const u8 (PtrToPtr);
_4 = Offset(copy _3, copy _2);
StorageDead(_3);
StorageLive(_5);
_5 = PtrMetadata(copy _1);
_0 = *const [u32] from (copy _4, copy _5);
StorageDead(_5);
StorageDead(_4);
return;
}
}
|
