about summary refs log tree commit diff
path: root/tests/codegen-llvm/loongarch-abi/cast-local-large-enough.rs
blob: e5a0e4cd3a2c4d9a152baf7f8a58a20b7d16f2b7 (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
//@ add-core-stubs
//@ compile-flags: -Copt-level=0 -Cdebuginfo=0 --target loongarch64-unknown-linux-gnu
//@ needs-llvm-components: loongarch

#![feature(no_core, lang_items)]
#![no_std]
#![no_core]
#![crate_type = "lib"]

extern crate minicore;
use minicore::*;

#[repr(C, align(64))]
struct Aligned(f64);

#[repr(C, align(64))]
struct AlignedPair(f32, f64);

impl Copy for Aligned {}
impl Copy for AlignedPair {}

// CHECK-LABEL: define double @read_aligned
#[unsafe(no_mangle)]
pub extern "C" fn read_aligned(x: &Aligned) -> Aligned {
    // CHECK: %[[TEMP:.*]] = alloca [64 x i8], align 64
    // CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 64 %[[TEMP]], ptr align 64 %[[PTR:.*]], i64 64, i1 false)
    // CHECK-NEXT: %[[RES:.*]] = load double, ptr %[[TEMP]], align 64
    // CHECK-NEXT: ret double %[[RES]]
    *x
}

// CHECK-LABEL: define { float, double } @read_aligned_pair
#[unsafe(no_mangle)]
pub extern "C" fn read_aligned_pair(x: &AlignedPair) -> AlignedPair {
    // CHECK: %[[TEMP:.*]] = alloca [64 x i8], align 64
    // CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr align 64 %[[TEMP]], ptr align 64 %[[PTR:.*]], i64 64, i1 false)
    // CHECK-NEXT: %[[FIRST:.*]] = load float, ptr %[[TEMP]], align 64
    // CHECK-NEXT: %[[SECOND_PTR:.*]] = getelementptr inbounds i8, ptr %[[TEMP]], i64 8
    // CHECK-NEXT: %[[SECOND:.*]] = load double, ptr %[[SECOND_PTR]], align 8
    // CHECK-NEXT: %[[RES1:.*]] = insertvalue { float, double } poison, float %[[FIRST]], 0
    // CHECK-NEXT: %[[RES2:.*]] = insertvalue { float, double } %[[RES1]], double %[[SECOND]], 1
    // CHECK-NEXT: ret { float, double } %[[RES2]]
    *x
}