Skip to content

Commit ba223fa

Browse files
luismarqueststellar
authored andcommitted
[Clang][CodeGen][RISCV] Add hard float ABI tests with empty struct
This patch adds tests that showcase a behavior that is currently buggy. Fix in a follow-up patch. Differential Revision: https://reviews.llvm.org/D91269 (cherry picked from commit ca93f9a)
1 parent edc57e7 commit ba223fa

File tree

1 file changed

+37
-0
lines changed

1 file changed

+37
-0
lines changed
Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
// RUN: %clang_cc1 -triple riscv32 -target-feature +d -target-abi ilp32d \
2+
// RUN: -Wno-missing-declarations -emit-llvm %s -o - | FileCheck %s
3+
4+
struct empty_float2 { struct {}; float f; float g; };
5+
6+
// CHECK: define float @_Z14f_empty_float212empty_float2(float %0, float %1)
7+
// FIXME: Extraneous padding before the second float
8+
// CHECK: { [4 x i8], float, [4 x i8], float }
9+
float f_empty_float2(empty_float2 a) {
10+
return a.g;
11+
}
12+
13+
struct empty_double2 { struct {}; double f; double g; };
14+
15+
// CHECK: define double @_Z15f_empty_double213empty_double2(double %0, double %1)
16+
// FIXME: Extraneous padding before the second double
17+
// CHECK: { [8 x i8], double, [8 x i8], double }
18+
double f_empty_double2(empty_double2 a) {
19+
return a.g;
20+
}
21+
22+
struct empty_float_double { struct {}; float f; double g; };
23+
24+
// CHECK: define double @_Z20f_empty_float_double18empty_float_double(float %0, double %1)
25+
// CHECK: { [4 x i8], float, double }
26+
double f_empty_float_double(empty_float_double a) {
27+
return a.g;
28+
}
29+
30+
struct empty_double_float { struct {}; double f; float g; };
31+
32+
// CHECK: define double @_Z20f_empty_double_float18empty_double_float(double %0, float %1)
33+
// FIXME: Extraneous padding before the float
34+
// CHECK: { [8 x i8], double, [8 x i8], float }
35+
double f_empty_double_float(empty_double_float a) {
36+
return a.g;
37+
}

0 commit comments

Comments
 (0)