396 lines · c
1// RUN: %clang_cc1 -triple csky -target-feature +fpuv2_sf -target-feature +fpuv2_df -target-feature +hard-float -emit-llvm %s -o - | FileCheck %s2 3#include <stdint.h>4 5// Verify that the tracking of used GPRs and FPRs works correctly by checking6// that small integers are sign/zero extended when passed in registers.7 8// Doubles are passed in FPRs, so argument 'i' will be passed zero-extended9// because it will be passed in a GPR.10 11// CHECK: define{{.*}} void @f_fpr_tracking(double noundef %a, double noundef %b, double noundef %c, double noundef %d, i8 noundef zeroext %i)12void f_fpr_tracking(double a, double b, double c, double d, uint8_t i) {}13 14// A struct containing just one floating-point real is passed as though it15// were a standalone floating-point real.16struct double_s {17 double f;18};19 20// CHECK: define{{.*}} void @f_double_s_arg(double %a.coerce)21void f_double_s_arg(struct double_s a) {}22 23// CHECK: define{{.*}} double @f_ret_double_s()24struct double_s f_ret_double_s(void) {25 return (struct double_s){1.0};26}27 28// A struct containing a double and any number of zero-width bitfields is29// passed as though it were a standalone floating-point real.30 31struct zbf_double_s {32 int : 0;33 double f;34};35struct zbf_double_zbf_s {36 int : 0;37 double f;38 int : 0;39};40 41// CHECK: define{{.*}} void @f_zbf_double_s_arg(double %a.coerce)42void f_zbf_double_s_arg(struct zbf_double_s a) {}43 44// CHECK: define{{.*}} double @f_ret_zbf_double_s()45struct zbf_double_s f_ret_zbf_double_s(void) {46 return (struct zbf_double_s){1.0};47}48 49// CHECK: define{{.*}} void @f_zbf_double_zbf_s_arg(double %a.coerce)50void f_zbf_double_zbf_s_arg(struct zbf_double_zbf_s a) {}51 52// CHECK: define{{.*}} double @f_ret_zbf_double_zbf_s()53struct zbf_double_zbf_s f_ret_zbf_double_zbf_s(void) {54 return (struct zbf_double_zbf_s){1.0};55}56 57// For argument type, the first 4*XLen parts of aggregate will be passed58// in registers, and the rest will be passed in stack.59// So we can coerce to integers directly and let backend handle it correctly.60// For return type, aggregate which <= 2*XLen will be returned in registers.61// Otherwise, aggregate will be returned indirectly.62 63struct double_double_s {64 double f;65 double g;66};67struct double_float_s {68 double f;69 float g;70};71 72// CHECK: define{{.*}} void @f_double_double_s_arg([4 x i32] %a.coerce)73void f_double_double_s_arg(struct double_double_s a) {}74 75// CHECK: define{{.*}} void @f_ret_double_double_s(ptr dead_on_unwind noalias writable sret(%struct.double_double_s) align 4 %agg.result)76struct double_double_s f_ret_double_double_s(void) {77 return (struct double_double_s){1.0, 2.0};78}79 80// CHECK: define{{.*}} void @f_double_float_s_arg([3 x i32] %a.coerce)81void f_double_float_s_arg(struct double_float_s a) {}82 83// CHECK: define{{.*}} void @f_ret_double_float_s(ptr dead_on_unwind noalias writable sret(%struct.double_float_s) align 4 %agg.result)84struct double_float_s f_ret_double_float_s(void) {85 return (struct double_float_s){1.0, 2.0};86}87 88// CHECK: define{{.*}} void @f_double_double_s_arg_insufficient_fprs(float noundef %a, double noundef %b, double noundef %c, double noundef %d, double noundef %e, double noundef %f, double noundef %g, double noundef %i, [4 x i32] %h.coerce)89void f_double_double_s_arg_insufficient_fprs(float a, double b, double c, double d,90 double e, double f, double g, double i, struct double_double_s h) {}91 92struct double_int8_s {93 double f;94 int8_t i;95};96struct double_uint8_s {97 double f;98 uint8_t i;99};100struct double_int32_s {101 double f;102 int32_t i;103};104struct double_int64_s {105 double f;106 int64_t i;107};108struct double_int64bf_s {109 double f;110 int64_t i : 32;111};112struct double_int8_zbf_s {113 double f;114 int8_t i;115 int : 0;116};117 118// CHECK: define{{.*}} @f_double_int8_s_arg([3 x i32] %a.coerce)119void f_double_int8_s_arg(struct double_int8_s a) {}120 121// CHECK: define{{.*}} void @f_ret_double_int8_s(ptr dead_on_unwind noalias writable sret(%struct.double_int8_s) align 4 %agg.result)122struct double_int8_s f_ret_double_int8_s(void) {123 return (struct double_int8_s){1.0, 2};124}125 126// CHECK: define{{.*}} void @f_double_uint8_s_arg([3 x i32] %a.coerce)127void f_double_uint8_s_arg(struct double_uint8_s a) {}128 129// CHECK: define{{.*}} void @f_ret_double_uint8_s(ptr dead_on_unwind noalias writable sret(%struct.double_uint8_s) align 4 %agg.result)130struct double_uint8_s f_ret_double_uint8_s(void) {131 return (struct double_uint8_s){1.0, 2};132}133 134// CHECK: define{{.*}} void @f_double_int32_s_arg([3 x i32] %a.coerce)135void f_double_int32_s_arg(struct double_int32_s a) {}136 137// CHECK: define{{.*}} void @f_ret_double_int32_s(ptr dead_on_unwind noalias writable sret(%struct.double_int32_s) align 4 %agg.result)138struct double_int32_s f_ret_double_int32_s(void) {139 return (struct double_int32_s){1.0, 2};140}141 142// CHECK: define{{.*}} void @f_double_int64_s_arg([4 x i32] %a.coerce)143void f_double_int64_s_arg(struct double_int64_s a) {}144 145// CHECK: define{{.*}} void @f_ret_double_int64_s(ptr dead_on_unwind noalias writable sret(%struct.double_int64_s) align 4 %agg.result)146struct double_int64_s f_ret_double_int64_s(void) {147 return (struct double_int64_s){1.0, 2};148}149 150// CHECK: define{{.*}} void @f_double_int64bf_s_arg([3 x i32] %a.coerce)151void f_double_int64bf_s_arg(struct double_int64bf_s a) {}152 153// CHECK: define{{.*}} void @f_ret_double_int64bf_s(ptr dead_on_unwind noalias writable sret(%struct.double_int64bf_s) align 4 %agg.result)154struct double_int64bf_s f_ret_double_int64bf_s(void) {155 return (struct double_int64bf_s){1.0, 2};156}157 158// CHECK: define{{.*}} void @f_double_int8_zbf_s([3 x i32] %a.coerce)159void f_double_int8_zbf_s(struct double_int8_zbf_s a) {}160 161// CHECK: define{{.*}} void @f_ret_double_int8_zbf_s(ptr dead_on_unwind noalias writable sret(%struct.double_int8_zbf_s) align 4 %agg.result)162struct double_int8_zbf_s f_ret_double_int8_zbf_s(void) {163 return (struct double_int8_zbf_s){1.0, 2};164}165 166// CHECK: define{{.*}} void @f_double_int8_s_arg_insufficient_gprs(i32 noundef %a, i32 noundef %b, i32 noundef %c, i32 noundef %d, i32 noundef %e, i32 noundef %f, i32 noundef %g, i32 noundef %h, [3 x i32] %i.coerce)167void f_double_int8_s_arg_insufficient_gprs(int a, int b, int c, int d, int e,168 int f, int g, int h, struct double_int8_s i) {}169 170// CHECK: define{{.*}} void @f_struct_double_int8_insufficient_fprs(float noundef %a, double noundef %b, double noundef %c, double noundef %d, double noundef %e, double noundef %f, double noundef %g, double noundef %h, [3 x i32] %i.coerce)171void f_struct_double_int8_insufficient_fprs(float a, double b, double c, double d,172 double e, double f, double g, double h, struct double_int8_s i) {}173 174// Complex floating-point values are special in passing argument,175// and it's not same as structs containing a single complex.176// Complex floating-point value should be passed in two consecutive fprs.177// But the return process is same as struct.178 179// But now we test in soft-float, it's coerced and passing in gprs.180// CHECK: define{{.*}} void @f_doublecomplex([4 x i32] noundef %a.coerce)181void f_doublecomplex(double __complex__ a) {}182 183// CHECK: define{{.*}} void @f_ret_doublecomplex(ptr dead_on_unwind noalias writable sret({ double, double }) align 4 %agg.result)184double __complex__ f_ret_doublecomplex(void) {185 return 1.0;186}187 188struct doublecomplex_s {189 double __complex__ c;190};191 192// CHECK: define{{.*}} void @f_doublecomplex_s_arg([4 x i32] %a.coerce)193void f_doublecomplex_s_arg(struct doublecomplex_s a) {}194 195// CHECK: define{{.*}} void @f_ret_doublecomplex_s(ptr dead_on_unwind noalias writable sret(%struct.doublecomplex_s) align 4 %agg.result)196struct doublecomplex_s f_ret_doublecomplex_s(void) {197 return (struct doublecomplex_s){1.0};198}199 200// Test single or two-element structs that need flattening. e.g. those201// containing nested structs, doubles in small arrays, zero-length structs etc.202 203struct doublearr1_s {204 double a[1];205};206 207// CHECK: define{{.*}} void @f_doublearr1_s_arg(double %a.coerce)208void f_doublearr1_s_arg(struct doublearr1_s a) {}209 210// CHECK: define{{.*}} double @f_ret_doublearr1_s()211struct doublearr1_s f_ret_doublearr1_s(void) {212 return (struct doublearr1_s){{1.0}};213}214 215struct doublearr2_s {216 double a[2];217};218 219// CHECK: define{{.*}} void @f_doublearr2_s_arg([4 x i32] %a.coerce)220void f_doublearr2_s_arg(struct doublearr2_s a) {}221 222// CHECK: define{{.*}} void @f_ret_doublearr2_s(ptr dead_on_unwind noalias writable sret(%struct.doublearr2_s) align 4 %agg.result)223struct doublearr2_s f_ret_doublearr2_s(void) {224 return (struct doublearr2_s){{1.0, 2.0}};225}226 227struct doublearr2_tricky1_s {228 struct {229 double f[1];230 } g[2];231};232 233// CHECK: define{{.*}} void @f_doublearr2_tricky1_s_arg([4 x i32] %a.coerce)234void f_doublearr2_tricky1_s_arg(struct doublearr2_tricky1_s a) {}235 236// CHECK: define{{.*}} void @f_ret_doublearr2_tricky1_s(ptr dead_on_unwind noalias writable sret(%struct.doublearr2_tricky1_s) align 4 %agg.result)237struct doublearr2_tricky1_s f_ret_doublearr2_tricky1_s(void) {238 return (struct doublearr2_tricky1_s){{{{1.0}}, {{2.0}}}};239}240 241struct doublearr2_tricky2_s {242 struct {};243 struct {244 double f[1];245 } g[2];246};247 248// CHECK: define{{.*}} void @f_doublearr2_tricky2_s_arg([4 x i32] %a.coerce)249void f_doublearr2_tricky2_s_arg(struct doublearr2_tricky2_s a) {}250 251// CHECK: define{{.*}} void @f_ret_doublearr2_tricky2_s(ptr dead_on_unwind noalias writable sret(%struct.doublearr2_tricky2_s) align 4 %agg.result)252struct doublearr2_tricky2_s f_ret_doublearr2_tricky2_s(void) {253 return (struct doublearr2_tricky2_s){{}, {{{1.0}}, {{2.0}}}};254}255 256struct doublearr2_tricky3_s {257 union {};258 struct {259 double f[1];260 } g[2];261};262 263// CHECK: define{{.*}} void @f_doublearr2_tricky3_s_arg([4 x i32] %a.coerce)264void f_doublearr2_tricky3_s_arg(struct doublearr2_tricky3_s a) {}265 266// CHECK: define{{.*}} void @f_ret_doublearr2_tricky3_s(ptr dead_on_unwind noalias writable sret(%struct.doublearr2_tricky3_s) align 4 %agg.result)267struct doublearr2_tricky3_s f_ret_doublearr2_tricky3_s(void) {268 return (struct doublearr2_tricky3_s){{}, {{{1.0}}, {{2.0}}}};269}270 271struct doublearr2_tricky4_s {272 union {};273 struct {274 struct {};275 double f[1];276 } g[2];277};278 279// CHECK: define{{.*}} void @f_doublearr2_tricky4_s_arg([4 x i32] %a.coerce)280void f_doublearr2_tricky4_s_arg(struct doublearr2_tricky4_s a) {}281 282// CHECK: define{{.*}} void @f_ret_doublearr2_tricky4_s(ptr dead_on_unwind noalias writable sret(%struct.doublearr2_tricky4_s) align 4 %agg.result)283struct doublearr2_tricky4_s f_ret_doublearr2_tricky4_s(void) {284 return (struct doublearr2_tricky4_s){{}, {{{}, {1.0}}, {{}, {2.0}}}};285}286 287struct int_double_int_s {288 int a;289 double b;290 int c;291};292 293// CHECK: define{{.*}} void @f_int_double_int_s_arg([4 x i32] %a.coerce)294void f_int_double_int_s_arg(struct int_double_int_s a) {}295 296// CHECK: define{{.*}} void @f_ret_int_double_int_s(ptr dead_on_unwind noalias writable sret(%struct.int_double_int_s) align 4 %agg.result)297struct int_double_int_s f_ret_int_double_int_s(void) {298 return (struct int_double_int_s){1, 2.0, 3};299}300 301struct int64_double_s {302 int64_t a;303 double b;304};305 306// CHECK: define{{.*}} void @f_int64_double_s_arg([4 x i32] %a.coerce)307void f_int64_double_s_arg(struct int64_double_s a) {}308 309// CHECK: define{{.*}} void @f_ret_int64_double_s(ptr dead_on_unwind noalias writable sret(%struct.int64_double_s) align 4 %agg.result)310struct int64_double_s f_ret_int64_double_s(void) {311 return (struct int64_double_s){1, 2.0};312}313 314struct char_char_double_s {315 char a;316 char b;317 double c;318};319 320// CHECK-LABEL: define{{.*}} void @f_char_char_double_s_arg([3 x i32] %a.coerce)321void f_char_char_double_s_arg(struct char_char_double_s a) {}322 323// CHECK: define{{.*}} void @f_ret_char_char_double_s(ptr dead_on_unwind noalias writable sret(%struct.char_char_double_s) align 4 %agg.result)324struct char_char_double_s f_ret_char_char_double_s(void) {325 return (struct char_char_double_s){1, 2, 3.0};326}327 328// A union containing just one floating-point real can not be passed as though it329// were a standalone floating-point real.330union double_u {331 double a;332};333 334// CHECK: define{{.*}} void @f_double_u_arg([2 x i32] %a.coerce)335void f_double_u_arg(union double_u a) {}336 337// CHECK: define{{.*}} [2 x i32] @f_ret_double_u()338union double_u f_ret_double_u(void) {339 return (union double_u){1.0};340}341 342// CHECK: define{{.*}} void @f_ret_double_int32_s_double_int32_s_just_sufficient_gprs(ptr dead_on_unwind noalias writable sret(%struct.double_int32_s) align 4 %agg.result, i32 noundef %a, i32 noundef %b, i32 noundef %c, i32 noundef %d, i32 noundef %e, i32 noundef %f, i32 noundef %g, [3 x i32] %h.coerce)343struct double_int32_s f_ret_double_int32_s_double_int32_s_just_sufficient_gprs(344 int a, int b, int c, int d, int e, int f, int g, struct double_int32_s h) {345 return (struct double_int32_s){1.0, 2};346}347 348// CHECK: define{{.*}} void @f_ret_double_double_s_double_int32_s_just_sufficient_gprs(ptr dead_on_unwind noalias writable sret(%struct.double_double_s) align 4 %agg.result, i32 noundef %a, i32 noundef %b, i32 noundef %c, i32 noundef %d, i32 noundef %e, i32 noundef %f, i32 noundef %g, [3 x i32] %h.coerce)349struct double_double_s f_ret_double_double_s_double_int32_s_just_sufficient_gprs(350 int a, int b, int c, int d, int e, int f, int g, struct double_int32_s h) {351 return (struct double_double_s){1.0, 2.0};352}353 354// CHECK: define{{.*}} void @f_ret_doublecomplex_double_int32_s_just_sufficient_gprs(ptr dead_on_unwind noalias writable sret({ double, double }) align 4 %agg.result, i32 noundef %a, i32 noundef %b, i32 noundef %c, i32 noundef %d, i32 noundef %e, i32 noundef %f, i32 noundef %g, [3 x i32] %h.coerce)355double __complex__ f_ret_doublecomplex_double_int32_s_just_sufficient_gprs(356 int a, int b, int c, int d, int e, int f, int g, struct double_int32_s h) {357 return 1.0;358}359 360struct tiny {361 uint8_t a, b, c, d;362};363 364struct small {365 int32_t a, *b;366};367 368struct small_aligned {369 int64_t a;370};371 372struct large {373 int32_t a, b, c, d;374};375 376// Ensure that scalars passed on the stack are still determined correctly in377// the presence of large return values that consume a register due to the need378// to pass a pointer.379 380// CHECK-LABEL: define{{.*}} void @f_scalar_stack_2(ptr dead_on_unwind noalias writable sret(%struct.large) align 4 %agg.result, float noundef %a, i64 noundef %b, double noundef %c, double noundef %d, i8 noundef zeroext %e, i8 noundef signext %f, i8 noundef zeroext %g)381struct large f_scalar_stack_2(float a, int64_t b, double c, long double d,382 uint8_t e, int8_t f, uint8_t g) {383 return (struct large){a, e, f, g};384}385 386// Aggregates and >=XLen scalars passed on the stack should be lowered just as387// they would be if passed via registers.388 389// CHECK-LABEL: define{{.*}} void @f_scalar_stack_3(double noundef %a, i64 noundef %b, double noundef %c, i64 noundef %d, i32 noundef %e, i64 noundef %f, float noundef %g, double noundef %h, double noundef %i)390void f_scalar_stack_3(double a, int64_t b, double c, int64_t d, int e,391 int64_t f, float g, double h, long double i) {}392 393// CHECK-LABEL: define{{.*}} void @f_agg_stack(double noundef %a, i64 noundef %b, double noundef %c, i64 noundef %d, i32 %e.coerce, [2 x i32] %f.coerce, i64 %g.coerce, [4 x i32] %h.coerce)394void f_agg_stack(double a, int64_t b, double c, int64_t d, struct tiny e,395 struct small f, struct small_aligned g, struct large h) {}396