|
2 | 2 |
|
3 | 3 | #![crate_type = "lib"]
|
4 | 4 |
|
| 5 | +// FIXME(eddyb) all of these tests show memory stores and loads, even after a |
| 6 | +// scalar `bitcast`, more special-casing is required to remove `alloca` usage. |
| 7 | + |
5 | 8 | // CHECK: define i32 @f32_to_bits(float %x)
|
6 | 9 | // CHECK: %2 = bitcast float %x to i32
|
7 | 10 | // CHECK-NEXT: store i32 %2, i32* %0
|
@@ -33,3 +36,50 @@ pub fn bool_to_byte(b: bool) -> u8 {
|
33 | 36 | pub unsafe fn byte_to_bool(byte: u8) -> bool {
|
34 | 37 | std::mem::transmute(byte)
|
35 | 38 | }
|
| 39 | + |
| 40 | +// CHECK: define i8* @ptr_to_ptr(i16* %p) |
| 41 | +// CHECK: %2 = bitcast i16* %p to i8* |
| 42 | +// CHECK-NEXT: store i8* %2, i8** %0 |
| 43 | +// CHECK-NEXT: %3 = load i8*, i8** %0 |
| 44 | +// CHECK: ret i8* %3 |
| 45 | +#[no_mangle] |
| 46 | +pub fn ptr_to_ptr(p: *mut u16) -> *mut u8 { |
| 47 | + unsafe { std::mem::transmute(p) } |
| 48 | +} |
| 49 | + |
| 50 | +// HACK(eddyb) scalar `transmute`s between pointers and non-pointers are |
| 51 | +// currently not special-cased like other scalar `transmute`s, because |
| 52 | +// LLVM requires specifically `ptrtoint`/`inttoptr` instead of `bitcast`. |
| 53 | +// |
| 54 | +// Tests below show the non-special-cased behavior (with the possible |
| 55 | +// future special-cased instructions in the "NOTE(eddyb)" comments). |
| 56 | + |
| 57 | +// CHECK: define [[USIZE:i[0-9]+]] @ptr_to_int(i16* %p) |
| 58 | + |
| 59 | +// NOTE(eddyb) see above, the following two CHECK lines should ideally be this: |
| 60 | +// %2 = ptrtoint i16* %p to [[USIZE]] |
| 61 | +// store [[USIZE]] %2, [[USIZE]]* %0 |
| 62 | +// CHECK: %2 = bitcast [[USIZE]]* %0 to i16** |
| 63 | +// CHECK-NEXT: store i16* %p, i16** %2 |
| 64 | + |
| 65 | +// CHECK-NEXT: %3 = load [[USIZE]], [[USIZE]]* %0 |
| 66 | +// CHECK: ret [[USIZE]] %3 |
| 67 | +#[no_mangle] |
| 68 | +pub fn ptr_to_int(p: *mut u16) -> usize { |
| 69 | + unsafe { std::mem::transmute(p) } |
| 70 | +} |
| 71 | + |
| 72 | +// CHECK: define i16* @int_to_ptr([[USIZE]] %i) |
| 73 | + |
| 74 | +// NOTE(eddyb) see above, the following two CHECK lines should ideally be this: |
| 75 | +// %2 = inttoptr [[USIZE]] %i to i16* |
| 76 | +// store i16* %2, i16** %0 |
| 77 | +// CHECK: %2 = bitcast i16** %0 to [[USIZE]]* |
| 78 | +// CHECK-NEXT: store [[USIZE]] %i, [[USIZE]]* %2 |
| 79 | + |
| 80 | +// CHECK-NEXT: %3 = load i16*, i16** %0 |
| 81 | +// CHECK: ret i16* %3 |
| 82 | +#[no_mangle] |
| 83 | +pub fn int_to_ptr(i: usize) -> *mut u16 { |
| 84 | + unsafe { std::mem::transmute(i) } |
| 85 | +} |
0 commit comments