1 // RUN: %clang_cc1 -triple loongarch64 -target-feature +f -target-feature +d -target-abi lp64d \
2 // RUN: -emit-llvm %s -o - | FileCheck %s
3
4 #include <stdint.h>
5
6 /// Ensure that fields inherited from a parent struct are treated in the same
7 /// way as fields directly in the child for the purposes of LoongArch ABI rules.
8
9 struct parent1_int32_s {
10 int32_t i1;
11 };
12
13 struct child1_int32_s : parent1_int32_s {
14 int32_t i2;
15 };
16
17 // CHECK-LABEL: define{{.*}} i64 @_Z30int32_int32_struct_inheritance14child1_int32_s(i64 %a.coerce)
int32_int32_struct_inheritance(struct child1_int32_s a)18 struct child1_int32_s int32_int32_struct_inheritance(struct child1_int32_s a) {
19 return a;
20 }
21
22 struct parent2_int32_s {
23 int32_t i1;
24 };
25
26 struct child2_float_s : parent2_int32_s {
27 float f1;
28 };
29
30 // CHECK-LABEL: define{{.*}} { i32, float } @_Z30int32_float_struct_inheritance14child2_float_s(i32 %0, float %1)
int32_float_struct_inheritance(struct child2_float_s a)31 struct child2_float_s int32_float_struct_inheritance(struct child2_float_s a) {
32 return a;
33 }
34
35 struct parent3_float_s {
36 float f1;
37 };
38
39 struct child3_int64_s : parent3_float_s {
40 int64_t i1;
41 };
42
43 // CHECK-LABEL: define{{.*}} { float, i64 } @_Z30float_int64_struct_inheritance14child3_int64_s(float %0, i64 %1)
float_int64_struct_inheritance(struct child3_int64_s a)44 struct child3_int64_s float_int64_struct_inheritance(struct child3_int64_s a) {
45 return a;
46 }
47
48 struct parent4_double_s {
49 double d1;
50 };
51
52 struct child4_double_s : parent4_double_s {
53 double d1;
54 };
55
56 // CHECK-LABEL: define{{.*}} { double, double } @_Z32double_double_struct_inheritance15child4_double_s(double %0, double %1)
double_double_struct_inheritance(struct child4_double_s a)57 struct child4_double_s double_double_struct_inheritance(struct child4_double_s a) {
58 return a;
59 }
60
61 /// When virtual inheritance is used, the resulting struct isn't eligible for
62 /// passing in registers.
63
64 struct parent5_virtual_s {
65 int32_t i1;
66 };
67
68 struct child5_virtual_s : virtual parent5_virtual_s {
69 float f1;
70 };
71
72 // CHECK-LABEL: define{{.*}} void @_ZN16child5_virtual_sC1EOS_(ptr noundef nonnull align 8 dereferenceable(12) %this, ptr noundef nonnull align 8 dereferenceable(12) %0)
int32_float_virtual_struct_inheritance(struct child5_virtual_s a)73 struct child5_virtual_s int32_float_virtual_struct_inheritance(struct child5_virtual_s a) {
74 return a;
75 }
76
77 /// Check for correct lowering in the presence of diamond inheritance.
78
79 struct parent6_float_s {
80 float f1;
81 };
82
83 struct child6a_s : parent6_float_s {
84 };
85
86 struct child6b_s : parent6_float_s {
87 };
88
89 struct grandchild_6_s : child6a_s, child6b_s {
90 };
91
92 // CHECK-LABEL: define{{.*}} { float, float } @_Z38float_float_diamond_struct_inheritance14grandchild_6_s(float %0, float %1)
float_float_diamond_struct_inheritance(struct grandchild_6_s a)93 struct grandchild_6_s float_float_diamond_struct_inheritance(struct grandchild_6_s a) {
94 return a;
95 }
96