[clang][RISCV][NFC] Combine RV32/RV64 ABI tests into single files

[asb]

Summary

After D134050, it makes sense to combine the RV64 ABI tests into a single file in order to make it more maintainable (i.e. not having to split tests based on the combinations of ABIs they're expected to impact). This patch deletes duplicated tests but doesn't do much further reorganisation beyond that.

I imagine the logical ordering of tests in the file and comments could be further improved in the future. My personal feeling is that it's probably not worth investing the time to try to get this "perfect", and to instead settle for this incremental step forward. But if there's reviewer interest in attempting to further iterate, I'm happy to do so.

[craig.topper]

This looks good to me, but maybe wait a few days to see if anyone else has opinions

[kito-cheng]

LGTM, I like this, this making adding ABI test easier in future.

[asb]

In D140400#4009408, @craig.topper wrote:

This looks good to me, but maybe wait a few days to see if anyone else has opinions

Yeah, I'm blocked on the related update_cc_test_checks.py patch review at the moment so this is unlikely to land particularly quickly.

[asb]

Rebase

[MaskRay]

clang/test/CodeGen/RISCV/riscv32-abi.c

891

These ^//$ lines immediately before the code should be removed.

[asb]

clang/test/CodeGen/RISCV/riscv32-abi.c

891

It would be nice to do so, but that's what the tool currently outputs. Given the back and forth and iterations needed to have --function-signature include the return type, I've already invested quite a bit of time into update_cc_test_checks.py and it's hard to justify much more for a cosmetic issue.

Given I think this change is still overall positive for maintainability despite the fact the output could be cleaner, would you be happy for me to proceed with this and to file an issue for further improvements?

[asb]

clang/test/CodeGen/RISCV/riscv32-abi.c

891

Hi @MaskRay - there are a few patches lined up depending on this one so I just wanted to check again if you're happy with the path forwards proposed above (i.e. to land as-is and to leave any further iteration on producing nicer update_cc_test_checks.py output for future work)?

clang/test/CodeGen/RISCV/riscv32-abi.c

+// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --filter "^define |^entry:" --version 2
+// RUN: %clang_cc1 -triple riscv32 -emit-llvm %s -o - \
+// RUN:   | FileCheck -check-prefixes=ILP32-ILP32F-ILP32D,ILP32-ILP32F,ILP32 %s
+// RUN: %clang_cc1 -triple riscv32 -target-feature +f -target-abi ilp32f -emit-llvm %s -o - \
+// RUN:   | FileCheck -check-prefixes=ILP32-ILP32F-ILP32D,ILP32F-ILP32D,ILP32-ILP32F,ILP32F %s
+// RUN: %clang_cc1 -triple riscv32 -target-feature +f -target-feature +d -target-abi ilp32d -emit-llvm %s -o - \
+// RUN:   | FileCheck -check-prefixes=ILP32-ILP32F-ILP32D,ILP32F-ILP32D,ILP32D %s
+
+#include <stddef.h>
+#include <stdint.h>
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_void
+// ILP32-ILP32F-ILP32D-SAME: () #[[ATTR0:[0-9]+]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_void(void) {}
+
+// Scalar arguments and return values smaller than the word size are extended
+// according to the sign of their type, up to 32 bits
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local zeroext i1 @f_scalar_0
+// ILP32-ILP32F-ILP32D-SAME: (i1 noundef zeroext [[X:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+_Bool f_scalar_0(_Bool x) { return x; }
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local signext i8 @f_scalar_1
+// ILP32-ILP32F-ILP32D-SAME: (i8 noundef signext [[X:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+int8_t f_scalar_1(int8_t x) { return x; }
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local zeroext i8 @f_scalar_2
+// ILP32-ILP32F-ILP32D-SAME: (i8 noundef zeroext [[X:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+uint8_t f_scalar_2(uint8_t x) { return x; }
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local i32 @f_scalar_3
+// ILP32-ILP32F-ILP32D-SAME: (i32 noundef [[X:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+int32_t f_scalar_3(int32_t x) { return x; }
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local i64 @f_scalar_4
+// ILP32-ILP32F-ILP32D-SAME: (i64 noundef [[X:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+int64_t f_scalar_4(int64_t x) { return x; }
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local float @f_fp_scalar_1
+// ILP32-ILP32F-ILP32D-SAME: (float noundef [[X:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+float f_fp_scalar_1(float x) { return x; }
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local double @f_fp_scalar_2
+// ILP32-ILP32F-ILP32D-SAME: (double noundef [[X:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+double f_fp_scalar_2(double x) { return x; }
+
+// Scalars larger than 2*xlen are passed/returned indirect. However, the
+// RISC-V LLVM backend can handle this fine, so the function doesn't need to
+// be modified.
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local fp128 @f_fp_scalar_3
+// ILP32-ILP32F-ILP32D-SAME: (fp128 noundef [[X:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+long double f_fp_scalar_3(long double x) { return x; }
+
+// Empty structs or unions are ignored.
+
+struct empty_s {};
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_agg_empty_struct
+// ILP32-ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct empty_s f_agg_empty_struct(struct empty_s x) {
+  return x;
+}
+
+union empty_u {};
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_agg_empty_union
+// ILP32-ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+union empty_u f_agg_empty_union(union empty_u x) {
+  return x;
+}
+
+// Aggregates <= 2*xlen may be passed in registers, so will be coerced to
+// integer arguments. The rules for return are the same.
+
+struct tiny {
+  uint8_t a, b, c, d;
+};
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_agg_tiny
+// ILP32-ILP32F-ILP32D-SAME: (i32 [[X_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_agg_tiny(struct tiny x) {
+  x.a += x.b;
+  x.c += x.d;
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local i32 @f_agg_tiny_ret
+// ILP32-ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct tiny f_agg_tiny_ret(void) {
+  return (struct tiny){1, 2, 3, 4};
+}
+
+typedef uint8_t v4i8 __attribute__((vector_size(4)));
+typedef int32_t v1i32 __attribute__((vector_size(4)));
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_vec_tiny_v4i8
+// ILP32-ILP32F-ILP32D-SAME: (i32 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_vec_tiny_v4i8(v4i8 x) {
+  x[0] = x[1];
+  x[2] = x[3];
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local i32 @f_vec_tiny_v4i8_ret
+// ILP32-ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+v4i8 f_vec_tiny_v4i8_ret(void) {
+  return (v4i8){1, 2, 3, 4};
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_vec_tiny_v1i32
+// ILP32-ILP32F-ILP32D-SAME: (i32 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_vec_tiny_v1i32(v1i32 x) {
+  x[0] = 114;
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local i32 @f_vec_tiny_v1i32_ret
+// ILP32-ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+v1i32 f_vec_tiny_v1i32_ret(void) {
+  return (v1i32){1};
+}
+
+struct small {
+  int32_t a, *b;
+};
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_agg_small
+// ILP32-ILP32F-ILP32D-SAME: ([2 x i32] [[X_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_agg_small(struct small x) {
+  x.a += *x.b;
+  x.b = &x.a;
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local [2 x i32] @f_agg_small_ret
+// ILP32-ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct small f_agg_small_ret(void) {
+  return (struct small){1, 0};
+}
+
+typedef uint8_t v8i8 __attribute__((vector_size(8)));
+typedef int64_t v1i64 __attribute__((vector_size(8)));
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_vec_small_v8i8
+// ILP32-ILP32F-ILP32D-SAME: (i64 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_vec_small_v8i8(v8i8 x) {
+  x[0] = x[7];
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local i64 @f_vec_small_v8i8_ret
+// ILP32-ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+v8i8 f_vec_small_v8i8_ret(void) {
+  return (v8i8){1, 2, 3, 4, 5, 6, 7, 8};
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_vec_small_v1i64
+// ILP32-ILP32F-ILP32D-SAME: (i64 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_vec_small_v1i64(v1i64 x) {
+  x[0] = 114;
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local i64 @f_vec_small_v1i64_ret
+// ILP32-ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+v1i64 f_vec_small_v1i64_ret(void) {
+  return (v1i64){1};
+}
+
+// Aggregates of 2*xlen size and 2*xlen alignment should be coerced to a
+// single 2*xlen-sized argument, to ensure that alignment can be maintained if
+// passed on the stack.
+
+struct small_aligned {
+  int64_t a;
+};
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_agg_small_aligned
+// ILP32-ILP32F-ILP32D-SAME: (i64 [[X_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_agg_small_aligned(struct small_aligned x) {
+  x.a += x.a;
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local i64 @f_agg_small_aligned_ret
+// ILP32-ILP32F-ILP32D-SAME: (i64 [[X_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct small_aligned f_agg_small_aligned_ret(struct small_aligned x) {
+  return (struct small_aligned){10};
+}
+
+// Aggregates greater > 2*xlen will be passed and returned indirectly
+struct large {
+  int32_t a, b, c, d;
+};
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_agg_large
+// ILP32-ILP32F-ILP32D-SAME: (ptr noundef [[X:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_agg_large(struct large x) {
+  x.a = x.b + x.c + x.d;
+}
+
+// The address where the struct should be written to will be the first
+// argument
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_agg_large_ret
+// ILP32-ILP32F-ILP32D-SAME: (ptr noalias sret([[STRUCT_LARGE:%.*]]) align 4 [[AGG_RESULT:%.*]], i32 noundef [[I:%.*]], i8 noundef signext [[J:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct large f_agg_large_ret(int32_t i, int8_t j) {
+  return (struct large){1, 2, 3, 4};
+}
+
+typedef unsigned char v16i8 __attribute__((vector_size(16)));
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_vec_large_v16i8
+// ILP32-ILP32F-ILP32D-SAME: (ptr noundef [[TMP0:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_vec_large_v16i8(v16i8 x) {
+  x[0] = x[7];
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_vec_large_v16i8_ret
+// ILP32-ILP32F-ILP32D-SAME: (ptr noalias sret(<16 x i8>) align 16 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+v16i8 f_vec_large_v16i8_ret(void) {
+  return (v16i8){1, 2, 3, 4, 5, 6, 7, 8};
+}
+
+// Scalars passed on the stack should have signext/zeroext attributes, just as
+// if they were passed in registers.
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local i32 @f_scalar_stack_1
+// ILP32-ILP32F-ILP32D-SAME: (i32 [[A_COERCE:%.*]], [2 x i32] [[B_COERCE:%.*]], i64 [[C_COERCE:%.*]], ptr noundef [[D:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]], i8 noundef signext [[H:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+int f_scalar_stack_1(struct tiny a, struct small b, struct small_aligned c,
+                     struct large d, uint8_t e, int8_t f, uint8_t g, int8_t h) {
+  return g + h;
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_scalar_stack_2
+// ILP32-ILP32F-ILP32D-SAME: (ptr noalias sret([[STRUCT_LARGE:%.*]]) align 4 [[AGG_RESULT:%.*]], i32 noundef [[A:%.*]], i64 noundef [[B:%.*]], i64 noundef [[C:%.*]], fp128 noundef [[D:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct large f_scalar_stack_2(int32_t a, int64_t b, int64_t c, long double d,
+                              uint8_t e, int8_t f, uint8_t g) {
+  return (struct large){a, e, f, g};
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local fp128 @f_scalar_stack_3
+// ILP32-ILP32F-ILP32D-SAME: (i32 noundef [[A:%.*]], i64 noundef [[B:%.*]], i64 noundef [[C:%.*]], fp128 noundef [[D:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+long double f_scalar_stack_3(int32_t a, int64_t b, int64_t c, long double d,
+                             uint8_t e, int8_t f, uint8_t g) {
+  return d;
+}
+
+// Aggregates and >=XLen scalars passed on the stack should be lowered just as
+// they would be if passed via registers.
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_scalar_stack_4
+// ILP32-ILP32F-ILP32D-SAME: (double noundef [[A:%.*]], i64 noundef [[B:%.*]], double noundef [[C:%.*]], i64 noundef [[D:%.*]], i32 noundef [[E:%.*]], i64 noundef [[F:%.*]], float noundef [[G:%.*]], double noundef [[H:%.*]], fp128 noundef [[I:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_scalar_stack_4(double a, int64_t b, double c, int64_t d, int e,
+                      int64_t f, float g, double h, long double i) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local i32 @f_scalar_stack_5
+// ILP32-ILP32F-ILP32D-SAME: (i32 noundef [[A:%.*]], i64 noundef [[B:%.*]], float noundef [[C:%.*]], double noundef [[D:%.*]], fp128 noundef [[E:%.*]], i8 noundef zeroext [[F:%.*]], i8 noundef signext [[G:%.*]], i8 noundef zeroext [[H:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+int f_scalar_stack_5(int32_t a, int64_t b, float c, double d, long double e,
+                     uint8_t f, int8_t g, uint8_t h) {
+  return g + h;
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_scalar_stack_6
+// ILP32-ILP32F-ILP32D-SAME: (ptr noalias sret([[STRUCT_LARGE:%.*]]) align 4 [[AGG_RESULT:%.*]], float noundef [[A:%.*]], i64 noundef [[B:%.*]], double noundef [[C:%.*]], fp128 noundef [[D:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct large f_scalar_stack_6(float a, int64_t b, double c, long double d,
+                              uint8_t e, int8_t f, uint8_t g) {
+  return (struct large){a, e, f, g};
+}
+
+// Aggregates and >=XLen scalars passed on the stack should be lowered just as
+// they would be if passed via registers.
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_agg_stack
+// ILP32-ILP32F-ILP32D-SAME: (double noundef [[A:%.*]], i64 noundef [[B:%.*]], double noundef [[C:%.*]], i64 noundef [[D:%.*]], i32 [[E_COERCE:%.*]], [2 x i32] [[F_COERCE:%.*]], i64 [[G_COERCE:%.*]], ptr noundef [[H:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_agg_stack(double a, int64_t b, double c, int64_t d, struct tiny e,
+                 struct small f, struct small_aligned g, struct large h) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_fpr_tracking
+// ILP32-ILP32F-ILP32D-SAME: (double noundef [[A:%.*]], double noundef [[B:%.*]], double noundef [[C:%.*]], double noundef [[D:%.*]], i8 noundef signext [[E:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_fpr_tracking(double a, double b, double c, double d, int8_t e) {}
+
+// Lowering for doubles is unnmodified, as 64 > FLEN.
+
+struct double_s { double d; };
+
+struct double_double_s { double d; double e; };
+
+struct double_int8_s { double d; int64_t i; };
+
+struct int_double_s { int a; double b; };
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_int_double_s_arg
+// ILP32-ILP32F-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_int_double_s_arg
+// ILP32D-SAME: (i32 [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_int_double_s_arg(struct int_double_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_int_double_s
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_INT_DOUBLE_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { i32, double } @f_ret_int_double_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct int_double_s f_ret_int_double_s(void) {
+  return (struct int_double_s){1, 2.0};
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_fpr_tracking2
+// ILP32-ILP32F-ILP32D-SAME: (double noundef [[A:%.*]], double noundef [[B:%.*]], double noundef [[C:%.*]], double noundef [[D:%.*]], double noundef [[E:%.*]], double noundef [[F:%.*]], double noundef [[G:%.*]], double noundef [[H:%.*]], i8 noundef zeroext [[I:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_fpr_tracking2(double a, double b, double c, double d, double e, double f,
+                     double g, double h, uint8_t i) {}
+
+// Check that fp, fp+fp, and int+fp structs are lowered correctly. These will
+// be passed in FPR, FPR+FPR, or GPR+FPR regs if sufficient registers are
+// available the widths are <= XLEN and FLEN, and should be expanded to
+// separate arguments in IR. They are passed by the same rules for returns,
+// but will be lowered to simple two-element structs if necessary (as LLVM IR
+// functions cannot return multiple values).
+
+// A struct containing just one floating-point real is passed as though it
+// were a standalone floating-point real.
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_double_s_arg
+// ILP32-ILP32F-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_double_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_double_s_arg(struct double_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local i64 @f_ret_double_s
+// ILP32-ILP32F-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local double @f_ret_double_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct double_s f_ret_double_s(void) {
+  return (struct double_s){1.0};
+}
+
+// A struct containing a double and any number of zero-width bitfields is
+// passed as though it were a standalone floating-point real.
+
+struct zbf_double_s { int : 0; double f; };
+struct zbf_double_zbf_s { int : 0; double f; int : 0; };
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_zbf_double_s_arg
+// ILP32-ILP32F-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_zbf_double_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_zbf_double_s_arg(struct zbf_double_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local i64 @f_ret_zbf_double_s
+// ILP32-ILP32F-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local double @f_ret_zbf_double_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct zbf_double_s f_ret_zbf_double_s(void) {
+  return (struct zbf_double_s){1.0};
+}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_zbf_double_zbf_s_arg
+// ILP32-ILP32F-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_zbf_double_zbf_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_zbf_double_zbf_s_arg(struct zbf_double_zbf_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local i64 @f_ret_zbf_double_zbf_s
+// ILP32-ILP32F-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local double @f_ret_zbf_double_zbf_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct zbf_double_zbf_s f_ret_zbf_double_zbf_s(void) {
+  return (struct zbf_double_zbf_s){1.0};
+}
+
+// Check that structs containing two floating point values (FLEN <= width) are
+// expanded provided sufficient FPRs are available.
+
+struct double_float_s { double f; float g; };
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_double_double_s_arg
+// ILP32-ILP32F-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_double_double_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_double_double_s_arg(struct double_double_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_double_double_s
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_DOUBLE_DOUBLE_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, double } @f_ret_double_double_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct double_double_s f_ret_double_double_s(void) {
+  return (struct double_double_s){1.0, 2.0};
+}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_double_float_s_arg
+// ILP32-ILP32F-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_double_float_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_double_float_s_arg(struct double_float_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_double_float_s
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_DOUBLE_FLOAT_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, float } @f_ret_double_float_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct double_float_s f_ret_double_float_s(void) {
+  return (struct double_float_s){1.0, 2.0};
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_double_double_s_arg_insufficient_fprs
+// ILP32-ILP32F-ILP32D-SAME: (float noundef [[A:%.*]], double noundef [[B:%.*]], double noundef [[C:%.*]], double noundef [[D:%.*]], double noundef [[E:%.*]], double noundef [[F:%.*]], double noundef [[G:%.*]], ptr noundef [[H:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_double_double_s_arg_insufficient_fprs(float a, double b, double c, double d,
+    double e, double f, double g, struct double_double_s h) {}
+
+// Check that structs containing int+double values are expanded, provided
+// sufficient FPRs and GPRs are available. The integer components are neither
+// sign or zero-extended.
+
+struct double_uint8_s { double d; uint8_t i; };
+struct double_int32_s { double d; int32_t i; };
+struct double_int64_s { double d; int64_t i; };
+struct double_int64bf_s { double d; int64_t i : 32; };
+struct double_int8_zbf_s { double d; int8_t i; int : 0; };
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_double_int8_s_arg
+// ILP32-ILP32F-ILP32D-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_double_int8_s_arg(struct double_int8_s a) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_ret_double_int8_s
+// ILP32-ILP32F-ILP32D-SAME: (ptr noalias sret([[STRUCT_DOUBLE_INT8_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct double_int8_s f_ret_double_int8_s(void) {
+  return (struct double_int8_s){1.0, 2};
+}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_double_uint8_s_arg
+// ILP32-ILP32F-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_double_uint8_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_double_uint8_s_arg(struct double_uint8_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_double_uint8_s
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_DOUBLE_UINT8_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, i8 } @f_ret_double_uint8_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct double_uint8_s f_ret_double_uint8_s(void) {
+  return (struct double_uint8_s){1.0, 2};
+}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_double_int32_s_arg
+// ILP32-ILP32F-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_double_int32_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_double_int32_s_arg(struct double_int32_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_double_int32_s
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_DOUBLE_INT32_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, i32 } @f_ret_double_int32_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct double_int32_s f_ret_double_int32_s(void) {
+  return (struct double_int32_s){1.0, 2};
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_double_int64_s_arg
+// ILP32-ILP32F-ILP32D-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_double_int64_s_arg(struct double_int64_s a) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_ret_double_int64_s
+// ILP32-ILP32F-ILP32D-SAME: (ptr noalias sret([[STRUCT_DOUBLE_INT64_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct double_int64_s f_ret_double_int64_s(void) {
+  return (struct double_int64_s){1.0, 2};
+}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_double_int64bf_s_arg
+// ILP32-ILP32F-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_double_int64bf_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_double_int64bf_s_arg(struct double_int64bf_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_double_int64bf_s
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_DOUBLE_INT64BF_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, i32 } @f_ret_double_int64bf_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct double_int64bf_s f_ret_double_int64bf_s(void) {
+  return (struct double_int64bf_s){1.0, 2};
+}
+
+// The zero-width bitfield means the struct can't be passed according to the
+// floating point calling convention.
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_double_int8_zbf_s
+// ILP32-ILP32F-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_double_int8_zbf_s
+// ILP32D-SAME: (double [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_double_int8_zbf_s(struct double_int8_zbf_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_double_int8_zbf_s
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_DOUBLE_INT8_ZBF_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, i8 } @f_ret_double_int8_zbf_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct double_int8_zbf_s f_ret_double_int8_zbf_s(void) {
+  return (struct double_int8_zbf_s){1.0, 2};
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_double_int8_s_arg_insufficient_gprs
+// ILP32-ILP32F-ILP32D-SAME: (i32 noundef [[A:%.*]], i32 noundef [[B:%.*]], i32 noundef [[C:%.*]], i32 noundef [[D:%.*]], i32 noundef [[E:%.*]], i32 noundef [[F:%.*]], i32 noundef [[G:%.*]], i32 noundef [[H:%.*]], ptr noundef [[I:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_double_int8_s_arg_insufficient_gprs(int a, int b, int c, int d, int e,
+                                          int f, int g, int h, struct double_int8_s i) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_struct_double_int8_insufficient_fprs
+// ILP32-ILP32F-ILP32D-SAME: (float noundef [[A:%.*]], double noundef [[B:%.*]], double noundef [[C:%.*]], double noundef [[D:%.*]], double noundef [[E:%.*]], double noundef [[F:%.*]], double noundef [[G:%.*]], double noundef [[H:%.*]], ptr noundef [[I:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_struct_double_int8_insufficient_fprs(float a, double b, double c, double d,
+                                           double e, double f, double g, double h, struct double_int8_s i) {}
+
+// Complex floating-point values or structs containing a single complex
+// floating-point value should be passed as if it were an fp+fp struct.
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_doublecomplex
+// ILP32-ILP32F-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_doublecomplex
+// ILP32D-SAME: (double noundef [[A_COERCE0:%.*]], double noundef [[A_COERCE1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_doublecomplex(double __complex__ a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_doublecomplex
+// ILP32-ILP32F-SAME: (ptr noalias sret({ double, double }) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, double } @f_ret_doublecomplex
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+double __complex__ f_ret_doublecomplex(void) {
+  return 1.0;
+}
+
+struct doublecomplex_s { double __complex__ c; };
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_doublecomplex_s_arg
+// ILP32-ILP32F-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_doublecomplex_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_doublecomplex_s_arg(struct doublecomplex_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_doublecomplex_s
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_DOUBLECOMPLEX_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, double } @f_ret_doublecomplex_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct doublecomplex_s f_ret_doublecomplex_s(void) {
+  return (struct doublecomplex_s){1.0};
+}
+
+// Test single or two-element structs that need flattening. e.g. those
+// containing nested structs, doubles in small arrays, zero-length structs etc.
+
+struct doublearr1_s { double a[1]; };
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_doublearr1_s_arg
+// ILP32-ILP32F-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_doublearr1_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_doublearr1_s_arg(struct doublearr1_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local i64 @f_ret_doublearr1_s
+// ILP32-ILP32F-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local double @f_ret_doublearr1_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct doublearr1_s f_ret_doublearr1_s(void) {
+  return (struct doublearr1_s){{1.0}};
+}
+
+struct doublearr2_s { double a[2]; };
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_doublearr2_s_arg
+// ILP32-ILP32F-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_doublearr2_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_doublearr2_s_arg(struct doublearr2_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_doublearr2_s
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_DOUBLEARR2_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, double } @f_ret_doublearr2_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct doublearr2_s f_ret_doublearr2_s(void) {
+  return (struct doublearr2_s){{1.0, 2.0}};
+}
+
+struct doublearr2_tricky1_s { struct { double f[1]; } g[2]; };
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_doublearr2_tricky1_s_arg
+// ILP32-ILP32F-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_doublearr2_tricky1_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_doublearr2_tricky1_s_arg(struct doublearr2_tricky1_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_doublearr2_tricky1_s
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_DOUBLEARR2_TRICKY1_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky1_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct doublearr2_tricky1_s f_ret_doublearr2_tricky1_s(void) {
+  return (struct doublearr2_tricky1_s){{{{1.0}}, {{2.0}}}};
+}
+
+struct doublearr2_tricky2_s { struct {}; struct { double f[1]; } g[2]; };
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_doublearr2_tricky2_s_arg
+// ILP32-ILP32F-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_doublearr2_tricky2_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_doublearr2_tricky2_s_arg(struct doublearr2_tricky2_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_doublearr2_tricky2_s
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_DOUBLEARR2_TRICKY2_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky2_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct doublearr2_tricky2_s f_ret_doublearr2_tricky2_s(void) {
+  return (struct doublearr2_tricky2_s){{}, {{{1.0}}, {{2.0}}}};
+}
+
+struct doublearr2_tricky3_s { union {}; struct { double f[1]; } g[2]; };
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_doublearr2_tricky3_s_arg
+// ILP32-ILP32F-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_doublearr2_tricky3_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_doublearr2_tricky3_s_arg(struct doublearr2_tricky3_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_doublearr2_tricky3_s
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_DOUBLEARR2_TRICKY3_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky3_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct doublearr2_tricky3_s f_ret_doublearr2_tricky3_s(void) {
+  return (struct doublearr2_tricky3_s){{}, {{{1.0}}, {{2.0}}}};
+}
+
+struct doublearr2_tricky4_s { union {}; struct { struct {}; double f[1]; } g[2]; };
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_doublearr2_tricky4_s_arg
+// ILP32-ILP32F-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local void @f_doublearr2_tricky4_s_arg
+// ILP32D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+void f_doublearr2_tricky4_s_arg(struct doublearr2_tricky4_s a) {}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_doublearr2_tricky4_s
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_DOUBLEARR2_TRICKY4_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky4_s
+// ILP32D-SAME: () #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct doublearr2_tricky4_s f_ret_doublearr2_tricky4_s(void) {
+  return (struct doublearr2_tricky4_s){{}, {{{}, {1.0}}, {{}, {2.0}}}};
+}
+
+// Test structs that should be passed according to the normal integer calling
+// convention.
+
+struct int_double_int_s { int a; double b; int c; };
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_int_double_int_s_arg
+// ILP32-ILP32F-ILP32D-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_int_double_int_s_arg(struct int_double_int_s a) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_ret_int_double_int_s
+// ILP32-ILP32F-ILP32D-SAME: (ptr noalias sret([[STRUCT_INT_DOUBLE_INT_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct int_double_int_s f_ret_int_double_int_s(void) {
+  return (struct int_double_int_s){1, 2.0, 3};
+}
+
+struct int64_double_s { int64_t a; double b; };
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_int64_double_s_arg
+// ILP32-ILP32F-ILP32D-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_int64_double_s_arg(struct int64_double_s a) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_ret_int64_double_s
+// ILP32-ILP32F-ILP32D-SAME: (ptr noalias sret([[STRUCT_INT64_DOUBLE_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct int64_double_s f_ret_int64_double_s(void) {
+  return (struct int64_double_s){1, 2.0};
+}
+
+struct char_char_double_s { char a; char b; double c; };
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_char_char_double_s_arg
+// ILP32-ILP32F-ILP32D-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_char_char_double_s_arg(struct char_char_double_s a) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_ret_char_char_double_s
+// ILP32-ILP32F-ILP32D-SAME: (ptr noalias sret([[STRUCT_CHAR_CHAR_DOUBLE_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct char_char_double_s f_ret_char_char_double_s(void) {
+  return (struct char_char_double_s){1, 2, 3.0};
+}
+
+// Unions are always passed according to the integer calling convention, even
+// if they can only contain a double.
+
+union double_u { double a; };
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_double_u_arg
+// ILP32-ILP32F-ILP32D-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_double_u_arg(union double_u a) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local i64 @f_ret_double_u
+// ILP32-ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+union double_u f_ret_double_u(void) {
+  return (union double_u){1.0};
+}
+
+// Test that we don't incorrectly think double+int/double+double structs will
+// be returned indirectly and thus have an off-by-one error for the number of
+// GPRs available (this is an edge case when structs > 2*XLEN are still
+// returned in registers). This includes complex doubles, which are treated as
+// double+double structs by the ABI.
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_double_int32_s_double_int32_s_just_sufficient_gprs
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_DOUBLE_INT32_S:%.*]]) align 8 [[AGG_RESULT:%.*]], i32 noundef [[A:%.*]], i32 noundef [[B:%.*]], i32 noundef [[C:%.*]], i32 noundef [[D:%.*]], i32 noundef [[E:%.*]], i32 noundef [[F:%.*]], i32 noundef [[G:%.*]], ptr noundef [[H:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, i32 } @f_ret_double_int32_s_double_int32_s_just_sufficient_gprs
+// ILP32D-SAME: (i32 noundef [[A:%.*]], i32 noundef [[B:%.*]], i32 noundef [[C:%.*]], i32 noundef [[D:%.*]], i32 noundef [[E:%.*]], i32 noundef [[F:%.*]], i32 noundef [[G:%.*]], double [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct double_int32_s f_ret_double_int32_s_double_int32_s_just_sufficient_gprs(
+    int a, int b, int c, int d, int e, int f, int g, struct double_int32_s h) {
+  return (struct double_int32_s){1.0, 2};
+}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_double_double_s_double_int32_s_just_sufficient_gprs
+// ILP32-ILP32F-SAME: (ptr noalias sret([[STRUCT_DOUBLE_DOUBLE_S:%.*]]) align 8 [[AGG_RESULT:%.*]], i32 noundef [[A:%.*]], i32 noundef [[B:%.*]], i32 noundef [[C:%.*]], i32 noundef [[D:%.*]], i32 noundef [[E:%.*]], i32 noundef [[F:%.*]], i32 noundef [[G:%.*]], ptr noundef [[H:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, double } @f_ret_double_double_s_double_int32_s_just_sufficient_gprs
+// ILP32D-SAME: (i32 noundef [[A:%.*]], i32 noundef [[B:%.*]], i32 noundef [[C:%.*]], i32 noundef [[D:%.*]], i32 noundef [[E:%.*]], i32 noundef [[F:%.*]], i32 noundef [[G:%.*]], double [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+struct double_double_s f_ret_double_double_s_double_int32_s_just_sufficient_gprs(
+    int a, int b, int c, int d, int e, int f, int g, struct double_int32_s h) {
+  return (struct double_double_s){1.0, 2.0};
+}
+
+// ILP32-ILP32F-LABEL: define dso_local void @f_ret_doublecomplex_double_int32_s_just_sufficient_gprs
+// ILP32-ILP32F-SAME: (ptr noalias sret({ double, double }) align 8 [[AGG_RESULT:%.*]], i32 noundef [[A:%.*]], i32 noundef [[B:%.*]], i32 noundef [[C:%.*]], i32 noundef [[D:%.*]], i32 noundef [[E:%.*]], i32 noundef [[F:%.*]], i32 noundef [[G:%.*]], ptr noundef [[H:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F:  entry:
+//
+// ILP32D-LABEL: define dso_local { double, double } @f_ret_doublecomplex_double_int32_s_just_sufficient_gprs
+// ILP32D-SAME: (i32 noundef [[A:%.*]], i32 noundef [[B:%.*]], i32 noundef [[C:%.*]], i32 noundef [[D:%.*]], i32 noundef [[E:%.*]], i32 noundef [[F:%.*]], i32 noundef [[G:%.*]], double [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32D:  entry:
+//
+double __complex__ f_ret_doublecomplex_double_int32_s_just_sufficient_gprs(
+    int a, int b, int c, int d, int e, int f, int g, struct double_int32_s h) {
+  return 1.0;
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_fpr_tracking_3
+// ILP32-ILP32F-ILP32D-SAME: (float noundef [[A:%.*]], float noundef [[B:%.*]], float noundef [[C:%.*]], float noundef [[D:%.*]], float noundef [[E:%.*]], float noundef [[F:%.*]], float noundef [[G:%.*]], float noundef [[H:%.*]], i8 noundef zeroext [[I:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_fpr_tracking_3(float a, float b, float c, float d, float e, float f,
+                      float g, float h, uint8_t i) {}
+
+// Check that fp, fp+fp, and int+fp structs are lowered correctly. These will
+// be passed in FPR, FPR+FPR, or GPR+FPR regs if sufficient registers are
+// available the widths are <= XLEN and FLEN, and should be expanded to
+// separate arguments in IR. They are passed by the same rules for returns,
+// but will be lowered to simple two-element structs if necessary (as LLVM IR
+// functions cannot return multiple values).
+
+// A struct containing just one floating-point real is passed as though it
+// were a standalone floating-point real.
+
+struct float_s { float f; };
+
+// ILP32-LABEL: define dso_local void @f_float_s_arg
+// ILP32-SAME: (i32 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_float_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_float_s_arg(struct float_s a) {}
+
+// ILP32-LABEL: define dso_local i32 @f_ret_float_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local float @f_ret_float_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct float_s f_ret_float_s(void) {
+  return (struct float_s){1.0};
+}
+
+// A struct containing a float and any number of zero-width bitfields is
+// passed as though it were a standalone floating-point real.
+
+struct zbf_float_s { int : 0; float f; };
+struct zbf_float_zbf_s { int : 0; float f; int : 0; };
+
+// ILP32-LABEL: define dso_local void @f_zbf_float_s_arg
+// ILP32-SAME: (i32 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_zbf_float_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_zbf_float_s_arg(struct zbf_float_s a) {}
+
+// ILP32-LABEL: define dso_local i32 @f_ret_zbf_float_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local float @f_ret_zbf_float_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct zbf_float_s f_ret_zbf_float_s(void) {
+  return (struct zbf_float_s){1.0};
+}
+
+// ILP32-LABEL: define dso_local void @f_zbf_float_zbf_s_arg
+// ILP32-SAME: (i32 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_zbf_float_zbf_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_zbf_float_zbf_s_arg(struct zbf_float_zbf_s a) {}
+
+// ILP32-LABEL: define dso_local i32 @f_ret_zbf_float_zbf_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local float @f_ret_zbf_float_zbf_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct zbf_float_zbf_s f_ret_zbf_float_zbf_s(void) {
+  return (struct zbf_float_zbf_s){1.0};
+}
+
+// Check that structs containing two float values (FLEN <= width) are expanded
+// provided sufficient FPRs are available.
+
+struct float_float_s { float f; float g; };
+
+// ILP32-LABEL: define dso_local void @f_float_float_s_arg
+// ILP32-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_float_float_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_float_float_s_arg(struct float_float_s a) {}
+
+// ILP32-LABEL: define dso_local [2 x i32] @f_ret_float_float_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local { float, float } @f_ret_float_float_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct float_float_s f_ret_float_float_s(void) {
+  return (struct float_float_s){1.0, 2.0};
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_float_float_s_arg_insufficient_fprs
+// ILP32-ILP32F-ILP32D-SAME: (float noundef [[A:%.*]], float noundef [[B:%.*]], float noundef [[C:%.*]], float noundef [[D:%.*]], float noundef [[E:%.*]], float noundef [[F:%.*]], float noundef [[G:%.*]], [2 x i32] [[H_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_float_float_s_arg_insufficient_fprs(float a, float b, float c, float d,
+    float e, float f, float g, struct float_float_s h) {}
+
+// Check that structs containing int+float values are expanded, provided
+// sufficient FPRs and GPRs are available. The integer components are neither
+// sign or zero-extended.
+
+struct float_int8_s { float f; int8_t i; };
+struct float_uint8_s { float f; uint8_t i; };
+struct float_int32_s { float f; int32_t i; };
+struct float_int64_s { float f; int64_t i; };
+struct float_int64bf_s { float f; int64_t i : 32; };
+struct float_int8_zbf_s { float f; int8_t i; int : 0; };
+
+// ILP32-LABEL: define dso_local void @f_float_int8_s_arg
+// ILP32-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_float_int8_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_float_int8_s_arg(struct float_int8_s a) {}
+
+// ILP32-LABEL: define dso_local [2 x i32] @f_ret_float_int8_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local { float, i8 } @f_ret_float_int8_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct float_int8_s f_ret_float_int8_s(void) {
+  return (struct float_int8_s){1.0, 2};
+}
+
+// ILP32-LABEL: define dso_local void @f_float_uint8_s_arg
+// ILP32-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_float_uint8_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_float_uint8_s_arg(struct float_uint8_s a) {}
+
+// ILP32-LABEL: define dso_local [2 x i32] @f_ret_float_uint8_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local { float, i8 } @f_ret_float_uint8_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct float_uint8_s f_ret_float_uint8_s(void) {
+  return (struct float_uint8_s){1.0, 2};
+}
+
+// ILP32-LABEL: define dso_local void @f_float_int32_s_arg
+// ILP32-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_float_int32_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_float_int32_s_arg(struct float_int32_s a) {}
+
+// ILP32-LABEL: define dso_local [2 x i32] @f_ret_float_int32_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local { float, i32 } @f_ret_float_int32_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct float_int32_s f_ret_float_int32_s(void) {
+  return (struct float_int32_s){1.0, 2};
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_float_int64_s_arg
+// ILP32-ILP32F-ILP32D-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_float_int64_s_arg(struct float_int64_s a) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_ret_float_int64_s
+// ILP32-ILP32F-ILP32D-SAME: (ptr noalias sret([[STRUCT_FLOAT_INT64_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct float_int64_s f_ret_float_int64_s(void) {
+  return (struct float_int64_s){1.0, 2};
+}
+
+// ILP32-LABEL: define dso_local void @f_float_int64bf_s_arg
+// ILP32-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_float_int64bf_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_float_int64bf_s_arg(struct float_int64bf_s a) {}
+
+// ILP32-LABEL: define dso_local i64 @f_ret_float_int64bf_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local { float, i32 } @f_ret_float_int64bf_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct float_int64bf_s f_ret_float_int64bf_s(void) {
+  return (struct float_int64bf_s){1.0, 2};
+}
+
+// The zero-width bitfield means the struct can't be passed according to the
+// floating point calling convention.
+
+// ILP32-LABEL: define dso_local void @f_float_int8_zbf_s
+// ILP32-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_float_int8_zbf_s
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_float_int8_zbf_s(struct float_int8_zbf_s a) {}
+
+// ILP32-LABEL: define dso_local [2 x i32] @f_ret_float_int8_zbf_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local { float, i8 } @f_ret_float_int8_zbf_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct float_int8_zbf_s f_ret_float_int8_zbf_s(void) {
+  return (struct float_int8_zbf_s){1.0, 2};
+}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_float_int8_s_arg_insufficient_gprs
+// ILP32-ILP32F-ILP32D-SAME: (i32 noundef [[A:%.*]], i32 noundef [[B:%.*]], i32 noundef [[C:%.*]], i32 noundef [[D:%.*]], i32 noundef [[E:%.*]], i32 noundef [[F:%.*]], i32 noundef [[G:%.*]], i32 noundef [[H:%.*]], [2 x i32] [[I_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_float_int8_s_arg_insufficient_gprs(int a, int b, int c, int d, int e,
+                                          int f, int g, int h, struct float_int8_s i) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_struct_float_int8_insufficient_fprs
+// ILP32-ILP32F-ILP32D-SAME: (float noundef [[A:%.*]], float noundef [[B:%.*]], float noundef [[C:%.*]], float noundef [[D:%.*]], float noundef [[E:%.*]], float noundef [[F:%.*]], float noundef [[G:%.*]], float noundef [[H:%.*]], [2 x i32] [[I_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_struct_float_int8_insufficient_fprs(float a, float b, float c, float d,
+                                           float e, float f, float g, float h, struct float_int8_s i) {}
+
+// Complex floating-point values or structs containing a single complex
+// floating-point value should be passed as if it were an fp+fp struct.
+
+// ILP32-LABEL: define dso_local void @f_floatcomplex
+// ILP32-SAME: ([2 x i32] noundef [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_floatcomplex
+// ILP32F-ILP32D-SAME: (float noundef [[A_COERCE0:%.*]], float noundef [[A_COERCE1:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_floatcomplex(float __complex__ a) {}
+
+// ILP32-LABEL: define dso_local [2 x i32] @f_ret_floatcomplex
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local { float, float } @f_ret_floatcomplex
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+float __complex__ f_ret_floatcomplex(void) {
+  return 1.0;
+}
+
+struct floatcomplex_s { float __complex__ c; };
+
+// ILP32-LABEL: define dso_local void @f_floatcomplex_s_arg
+// ILP32-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_floatcomplex_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_floatcomplex_s_arg(struct floatcomplex_s a) {}
+
+// ILP32-LABEL: define dso_local [2 x i32] @f_ret_floatcomplex_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local { float, float } @f_ret_floatcomplex_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct floatcomplex_s f_ret_floatcomplex_s(void) {
+  return (struct floatcomplex_s){1.0};
+}
+
+// Test single or two-element structs that need flattening. e.g. those
+// containing nested structs, floats in small arrays, zero-length structs etc.
+
+struct floatarr1_s { float a[1]; };
+
+// ILP32-LABEL: define dso_local void @f_floatarr1_s_arg
+// ILP32-SAME: (i32 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_floatarr1_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_floatarr1_s_arg(struct floatarr1_s a) {}
+
+// ILP32-LABEL: define dso_local i32 @f_ret_floatarr1_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local float @f_ret_floatarr1_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct floatarr1_s f_ret_floatarr1_s(void) {
+  return (struct floatarr1_s){{1.0}};
+}
+
+struct floatarr2_s { float a[2]; };
+
+// ILP32-LABEL: define dso_local void @f_floatarr2_s_arg
+// ILP32-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_floatarr2_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_floatarr2_s_arg(struct floatarr2_s a) {}
+
+// ILP32-LABEL: define dso_local [2 x i32] @f_ret_floatarr2_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local { float, float } @f_ret_floatarr2_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct floatarr2_s f_ret_floatarr2_s(void) {
+  return (struct floatarr2_s){{1.0, 2.0}};
+}
+
+struct floatarr2_tricky1_s { struct { float f[1]; } g[2]; };
+
+// ILP32-LABEL: define dso_local void @f_floatarr2_tricky1_s_arg
+// ILP32-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_floatarr2_tricky1_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_floatarr2_tricky1_s_arg(struct floatarr2_tricky1_s a) {}
+
+// ILP32-LABEL: define dso_local [2 x i32] @f_ret_floatarr2_tricky1_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky1_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct floatarr2_tricky1_s f_ret_floatarr2_tricky1_s(void) {
+  return (struct floatarr2_tricky1_s){{{{1.0}}, {{2.0}}}};
+}
+
+struct floatarr2_tricky2_s { struct {}; struct { float f[1]; } g[2]; };
+
+// ILP32-LABEL: define dso_local void @f_floatarr2_tricky2_s_arg
+// ILP32-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_floatarr2_tricky2_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_floatarr2_tricky2_s_arg(struct floatarr2_tricky2_s a) {}
+
+// ILP32-LABEL: define dso_local [2 x i32] @f_ret_floatarr2_tricky2_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky2_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct floatarr2_tricky2_s f_ret_floatarr2_tricky2_s(void) {
+  return (struct floatarr2_tricky2_s){{}, {{{1.0}}, {{2.0}}}};
+}
+
+struct floatarr2_tricky3_s { union {}; struct { float f[1]; } g[2]; };
+
+// ILP32-LABEL: define dso_local void @f_floatarr2_tricky3_s_arg
+// ILP32-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_floatarr2_tricky3_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_floatarr2_tricky3_s_arg(struct floatarr2_tricky3_s a) {}
+
+// ILP32-LABEL: define dso_local [2 x i32] @f_ret_floatarr2_tricky3_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky3_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct floatarr2_tricky3_s f_ret_floatarr2_tricky3_s(void) {
+  return (struct floatarr2_tricky3_s){{}, {{{1.0}}, {{2.0}}}};
+}
+
+struct floatarr2_tricky4_s { union {}; struct { struct {}; float f[1]; } g[2]; };
+
+// ILP32-LABEL: define dso_local void @f_floatarr2_tricky4_s_arg
+// ILP32-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local void @f_floatarr2_tricky4_s_arg
+// ILP32F-ILP32D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+void f_floatarr2_tricky4_s_arg(struct floatarr2_tricky4_s a) {}
+
+// ILP32-LABEL: define dso_local [2 x i32] @f_ret_floatarr2_tricky4_s
+// ILP32-SAME: () #[[ATTR0]] {
+// ILP32:  entry:
+//
+// ILP32F-ILP32D-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky4_s
+// ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32F-ILP32D:  entry:
+//
+struct floatarr2_tricky4_s f_ret_floatarr2_tricky4_s(void) {
+  return (struct floatarr2_tricky4_s){{}, {{{}, {1.0}}, {{}, {2.0}}}};
+}
+
+// Test structs that should be passed according to the normal integer calling
+// convention.
+
+struct int_float_int_s { int a; float b; int c; };
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_int_float_int_s_arg
+// ILP32-ILP32F-ILP32D-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_int_float_int_s_arg(struct int_float_int_s a) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_ret_int_float_int_s
+// ILP32-ILP32F-ILP32D-SAME: (ptr noalias sret([[STRUCT_INT_FLOAT_INT_S:%.*]]) align 4 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct int_float_int_s f_ret_int_float_int_s(void) {
+  return (struct int_float_int_s){1, 2.0, 3};
+}
+
+struct int64_float_s { int64_t a; float b; };
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_int64_float_s_arg
+// ILP32-ILP32F-ILP32D-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_int64_float_s_arg(struct int64_float_s a) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_ret_int64_float_s
+// ILP32-ILP32F-ILP32D-SAME: (ptr noalias sret([[STRUCT_INT64_FLOAT_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct int64_float_s f_ret_int64_float_s(void) {
+  return (struct int64_float_s){1, 2.0};
+}
+
+struct char_char_float_s { char a; char b; float c; };
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_char_char_float_s_arg
+// ILP32-ILP32F-ILP32D-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_char_char_float_s_arg(struct char_char_float_s a) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local [2 x i32] @f_ret_char_char_float_s
+// ILP32-ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+struct char_char_float_s f_ret_char_char_float_s(void) {
+  return (struct char_char_float_s){1, 2, 3.0};
+}
+
+// Unions are always passed according to the integer calling convention, even
+// if they can only contain a float.
+
+union float_u { float a; };
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local void @f_float_u_arg
+// ILP32-ILP32F-ILP32D-SAME: (i32 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+void f_float_u_arg(union float_u a) {}
+
+// ILP32-ILP32F-ILP32D-LABEL: define dso_local i32 @f_ret_float_u
+// ILP32-ILP32F-ILP32D-SAME: () #[[ATTR0]] {
+// ILP32-ILP32F-ILP32D:  entry:
+//
+union float_u f_ret_float_u(void) {
+  return (union float_u){1.0};
+}
+//// NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
+// ILP32F: {{.*}}

clang/test/CodeGen/RISCV/riscv32-ilp32-abi.c

-// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --filter "^define |^entry:" --version 2
-// RUN: %clang_cc1 -triple riscv32 -emit-llvm %s -o - | FileCheck %s
-
-// This file contains test cases that will have different output for ilp32 vs
-// the other 32-bit ABIs.
-
-#include <stddef.h>
-#include <stdint.h>
-
-struct tiny {
-  uint8_t a, b, c, d;
-};
-
-struct small {
-  int32_t a, *b;
-};
-
-struct small_aligned {
-  int64_t a;
-};
-
-struct large {
-  int32_t a, b, c, d;
-};
-
-// Scalars passed on the stack should have signext/zeroext attributes, just as
-// if they were passed in registers.
-
-// CHECK-LABEL: define dso_local i32 @f_scalar_stack_1
-// CHECK-SAME: (i32 noundef [[A:%.*]], i64 noundef [[B:%.*]], float noundef [[C:%.*]], double noundef [[D:%.*]], fp128 noundef [[E:%.*]], i8 noundef zeroext [[F:%.*]], i8 noundef signext [[G:%.*]], i8 noundef zeroext [[H:%.*]]) #[[ATTR0:[0-9]+]] {
-// CHECK:  entry:
-//
-int f_scalar_stack_1(int32_t a, int64_t b, float c, double d, long double e,
-                     uint8_t f, int8_t g, uint8_t h) {
-  return g + h;
-}
-
-// CHECK-LABEL: define dso_local void @f_scalar_stack_2
-// CHECK-SAME: (ptr noalias sret([[STRUCT_LARGE:%.*]]) align 4 [[AGG_RESULT:%.*]], float noundef [[A:%.*]], i64 noundef [[B:%.*]], double noundef [[C:%.*]], fp128 noundef [[D:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct large f_scalar_stack_2(float a, int64_t b, double c, long double d,
-                              uint8_t e, int8_t f, uint8_t g) {
-  return (struct large){a, e, f, g};
-}
-
-// Aggregates and >=XLen scalars passed on the stack should be lowered just as
-// they would be if passed via registers.
-
-// CHECK-LABEL: define dso_local void @f_scalar_stack_3
-// CHECK-SAME: (double noundef [[A:%.*]], i64 noundef [[B:%.*]], double noundef [[C:%.*]], i64 noundef [[D:%.*]], i32 noundef [[E:%.*]], i64 noundef [[F:%.*]], float noundef [[G:%.*]], double noundef [[H:%.*]], fp128 noundef [[I:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_scalar_stack_3(double a, int64_t b, double c, int64_t d, int e,
-                      int64_t f, float g, double h, long double i) {}
-
-// CHECK-LABEL: define dso_local void @f_agg_stack
-// CHECK-SAME: (double noundef [[A:%.*]], i64 noundef [[B:%.*]], double noundef [[C:%.*]], i64 noundef [[D:%.*]], i32 [[E_COERCE:%.*]], [2 x i32] [[F_COERCE:%.*]], i64 [[G_COERCE:%.*]], ptr noundef [[H:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_agg_stack(double a, int64_t b, double c, int64_t d, struct tiny e,
-                 struct small f, struct small_aligned g, struct large h) {}

clang/test/CodeGen/RISCV/riscv32-ilp32-ilp32f-abi.c

-// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --filter "^define |^entry:" --version 2
-// RUN: %clang_cc1 -triple riscv32 -emit-llvm %s -o - | FileCheck %s
-// RUN: %clang_cc1 -triple riscv32 -target-feature +f -target-abi ilp32f -emit-llvm %s -o - \
-// RUN:     | FileCheck %s
-
-// This file contains test cases that will have the same output for the ilp32
-// and ilp32f ABIs.
-
-#include <stddef.h>
-#include <stdint.h>
-
-struct tiny {
-  uint8_t a, b, c, d;
-};
-
-struct small {
-  int32_t a, *b;
-};
-
-struct small_aligned {
-  int64_t a;
-};
-
-struct large {
-  int32_t a, b, c, d;
-};
-
-// Scalars passed on the stack should have signext/zeroext attributes, just as
-// if they were passed in registers.
-
-// CHECK-LABEL: define dso_local i32 @f_scalar_stack_1
-// CHECK-SAME: (i32 noundef [[A:%.*]], i64 noundef [[B:%.*]], i32 noundef [[C:%.*]], double noundef [[D:%.*]], fp128 noundef [[E:%.*]], i8 noundef zeroext [[F:%.*]], i8 noundef signext [[G:%.*]], i8 noundef zeroext [[H:%.*]]) #[[ATTR0:[0-9]+]] {
-// CHECK:  entry:
-//
-int f_scalar_stack_1(int32_t a, int64_t b, int32_t c, double d, long double e,
-                     uint8_t f, int8_t g, uint8_t h) {
-  return g + h;
-}
-
-// CHECK-LABEL: define dso_local void @f_scalar_stack_2
-// CHECK-SAME: (ptr noalias sret([[STRUCT_LARGE:%.*]]) align 4 [[AGG_RESULT:%.*]], i32 noundef [[A:%.*]], i64 noundef [[B:%.*]], double noundef [[C:%.*]], fp128 noundef [[D:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct large f_scalar_stack_2(int32_t a, int64_t b, double c, long double d,
-                              uint8_t e, int8_t f, uint8_t g) {
-  return (struct large){a, e, f, g};
-}
-
-// Aggregates and >=XLen scalars passed on the stack should be lowered just as
-// they would be if passed via registers.
-
-// CHECK-LABEL: define dso_local void @f_scalar_stack_3
-// CHECK-SAME: (double noundef [[A:%.*]], i64 noundef [[B:%.*]], double noundef [[C:%.*]], i64 noundef [[D:%.*]], i32 noundef [[E:%.*]], i64 noundef [[F:%.*]], i32 noundef [[G:%.*]], double noundef [[H:%.*]], fp128 noundef [[I:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_scalar_stack_3(double a, int64_t b, double c, int64_t d, int e,
-                      int64_t f, int32_t g, double h, long double i) {}
-
-// CHECK-LABEL: define dso_local void @f_agg_stack
-// CHECK-SAME: (double noundef [[A:%.*]], i64 noundef [[B:%.*]], double noundef [[C:%.*]], i64 noundef [[D:%.*]], i32 [[E_COERCE:%.*]], [2 x i32] [[F_COERCE:%.*]], i64 [[G_COERCE:%.*]], ptr noundef [[H:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_agg_stack(double a, int64_t b, double c, int64_t d, struct tiny e,
-                 struct small f, struct small_aligned g, struct large h) {}

clang/test/CodeGen/RISCV/riscv32-ilp32-ilp32f-ilp32d-abi.c

-// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --filter "^define |^entry:" --version 2
-// RUN: %clang_cc1 -triple riscv32 -emit-llvm %s -o - | FileCheck %s
-// RUN: %clang_cc1 -triple riscv32 -emit-llvm -fforce-enable-int128 %s -o - \
-// RUN:   | FileCheck %s -check-prefixes=CHECK,CHECK-FORCEINT128
-// RUN: %clang_cc1 -triple riscv32 -target-feature +f -target-abi ilp32f -emit-llvm %s -o - \
-// RUN:     | FileCheck %s
-// RUN: %clang_cc1 -triple riscv32 -target-feature +d -target-feature +f -target-abi ilp32d -emit-llvm %s -o - \
-// RUN:     | FileCheck %s
-
-// This file contains test cases that will have the same output for the ilp32,
-// ilp32f, and ilp32d ABIs.
-
-#include <stddef.h>
-#include <stdint.h>
-
-// CHECK-LABEL: define dso_local void @f_void
-// CHECK-SAME: () #[[ATTR0:[0-9]+]] {
-// CHECK:  entry:
-//
-void f_void(void) {}
-
-// Scalar arguments and return values smaller than the word size are extended
-// according to the sign of their type, up to 32 bits
-
-// CHECK-LABEL: define dso_local zeroext i1 @f_scalar_0
-// CHECK-SAME: (i1 noundef zeroext [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-_Bool f_scalar_0(_Bool x) { return x; }
-
-// CHECK-LABEL: define dso_local signext i8 @f_scalar_1
-// CHECK-SAME: (i8 noundef signext [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-int8_t f_scalar_1(int8_t x) { return x; }
-
-// CHECK-LABEL: define dso_local zeroext i8 @f_scalar_2
-// CHECK-SAME: (i8 noundef zeroext [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-uint8_t f_scalar_2(uint8_t x) { return x; }
-
-// CHECK-LABEL: define dso_local i32 @f_scalar_3
-// CHECK-SAME: (i32 noundef [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-int32_t f_scalar_3(int32_t x) { return x; }
-
-// CHECK-LABEL: define dso_local i64 @f_scalar_4
-// CHECK-SAME: (i64 noundef [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-int64_t f_scalar_4(int64_t x) { return x; }
-
-#ifdef __SIZEOF_INT128__
-// CHECK-FORCEINT128-LABEL: define dso_local i128 @f_scalar_5
-// CHECK-FORCEINT128-SAME: (i128 noundef [[X:%.*]]) #[[ATTR0]] {
-// CHECK-FORCEINT128:  entry:
-//
-__int128_t f_scalar_5(__int128_t x) { return x; }
-#endif
-
-// CHECK-LABEL: define dso_local float @f_fp_scalar_1
-// CHECK-SAME: (float noundef [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-float f_fp_scalar_1(float x) { return x; }
-
-// CHECK-LABEL: define dso_local double @f_fp_scalar_2
-// CHECK-SAME: (double noundef [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-double f_fp_scalar_2(double x) { return x; }
-
-// Scalars larger than 2*xlen are passed/returned indirect. However, the
-// RISC-V LLVM backend can handle this fine, so the function doesn't need to
-// be modified.
-
-// CHECK-LABEL: define dso_local fp128 @f_fp_scalar_3
-// CHECK-SAME: (fp128 noundef [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-long double f_fp_scalar_3(long double x) { return x; }
-
-// Empty structs or unions are ignored.
-
-struct empty_s {};
-
-// CHECK-LABEL: define dso_local void @f_agg_empty_struct
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct empty_s f_agg_empty_struct(struct empty_s x) {
-  return x;
-}
-
-union empty_u {};
-
-// CHECK-LABEL: define dso_local void @f_agg_empty_union
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-union empty_u f_agg_empty_union(union empty_u x) {
-  return x;
-}
-
-// Aggregates <= 2*xlen may be passed in registers, so will be coerced to
-// integer arguments. The rules for return are the same.
-
-struct tiny {
-  uint8_t a, b, c, d;
-};
-
-// CHECK-LABEL: define dso_local void @f_agg_tiny
-// CHECK-SAME: (i32 [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_agg_tiny(struct tiny x) {
-  x.a += x.b;
-  x.c += x.d;
-}
-
-// CHECK-LABEL: define dso_local i32 @f_agg_tiny_ret
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct tiny f_agg_tiny_ret(void) {
-  return (struct tiny){1, 2, 3, 4};
-}
-
-typedef uint8_t v4i8 __attribute__((vector_size(4)));
-typedef int32_t v1i32 __attribute__((vector_size(4)));
-
-// CHECK-LABEL: define dso_local void @f_vec_tiny_v4i8
-// CHECK-SAME: (i32 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_vec_tiny_v4i8(v4i8 x) {
-  x[0] = x[1];
-  x[2] = x[3];
-}
-
-// CHECK-LABEL: define dso_local i32 @f_vec_tiny_v4i8_ret
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-v4i8 f_vec_tiny_v4i8_ret(void) {
-  return (v4i8){1, 2, 3, 4};
-}
-
-// CHECK-LABEL: define dso_local void @f_vec_tiny_v1i32
-// CHECK-SAME: (i32 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_vec_tiny_v1i32(v1i32 x) {
-  x[0] = 114;
-}
-
-// CHECK-LABEL: define dso_local i32 @f_vec_tiny_v1i32_ret
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-v1i32 f_vec_tiny_v1i32_ret(void) {
-  return (v1i32){1};
-}
-
-struct small {
-  int32_t a, *b;
-};
-
-// CHECK-LABEL: define dso_local void @f_agg_small
-// CHECK-SAME: ([2 x i32] [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_agg_small(struct small x) {
-  x.a += *x.b;
-  x.b = &x.a;
-}
-
-// CHECK-LABEL: define dso_local [2 x i32] @f_agg_small_ret
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct small f_agg_small_ret(void) {
-  return (struct small){1, 0};
-}
-
-typedef uint8_t v8i8 __attribute__((vector_size(8)));
-typedef int64_t v1i64 __attribute__((vector_size(8)));
-
-// CHECK-LABEL: define dso_local void @f_vec_small_v8i8
-// CHECK-SAME: (i64 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_vec_small_v8i8(v8i8 x) {
-  x[0] = x[7];
-}
-
-// CHECK-LABEL: define dso_local i64 @f_vec_small_v8i8_ret
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-v8i8 f_vec_small_v8i8_ret(void) {
-  return (v8i8){1, 2, 3, 4, 5, 6, 7, 8};
-}
-
-// CHECK-LABEL: define dso_local void @f_vec_small_v1i64
-// CHECK-SAME: (i64 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_vec_small_v1i64(v1i64 x) {
-  x[0] = 114;
-}
-
-// CHECK-LABEL: define dso_local i64 @f_vec_small_v1i64_ret
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-v1i64 f_vec_small_v1i64_ret(void) {
-  return (v1i64){1};
-}
-
-// Aggregates of 2*xlen size and 2*xlen alignment should be coerced to a
-// single 2*xlen-sized argument, to ensure that alignment can be maintained if
-// passed on the stack.
-
-struct small_aligned {
-  int64_t a;
-};
-
-// CHECK-LABEL: define dso_local void @f_agg_small_aligned
-// CHECK-SAME: (i64 [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_agg_small_aligned(struct small_aligned x) {
-  x.a += x.a;
-}
-
-// CHECK-LABEL: define dso_local i64 @f_agg_small_aligned_ret
-// CHECK-SAME: (i64 [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct small_aligned f_agg_small_aligned_ret(struct small_aligned x) {
-  return (struct small_aligned){10};
-}
-
-// Aggregates greater > 2*xlen will be passed and returned indirectly
-struct large {
-  int32_t a, b, c, d;
-};
-
-// CHECK-LABEL: define dso_local void @f_agg_large
-// CHECK-SAME: (ptr noundef [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_agg_large(struct large x) {
-  x.a = x.b + x.c + x.d;
-}
-
-// The address where the struct should be written to will be the first
-// argument
-// CHECK-LABEL: define dso_local void @f_agg_large_ret
-// CHECK-SAME: (ptr noalias sret([[STRUCT_LARGE:%.*]]) align 4 [[AGG_RESULT:%.*]], i32 noundef [[I:%.*]], i8 noundef signext [[J:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct large f_agg_large_ret(int32_t i, int8_t j) {
-  return (struct large){1, 2, 3, 4};
-}
-
-typedef unsigned char v16i8 __attribute__((vector_size(16)));
-
-// CHECK-LABEL: define dso_local void @f_vec_large_v16i8
-// CHECK-SAME: (ptr noundef [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_vec_large_v16i8(v16i8 x) {
-  x[0] = x[7];
-}
-
-// CHECK-LABEL: define dso_local void @f_vec_large_v16i8_ret
-// CHECK-SAME: (ptr noalias sret(<16 x i8>) align 16 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-v16i8 f_vec_large_v16i8_ret(void) {
-  return (v16i8){1, 2, 3, 4, 5, 6, 7, 8};
-}
-
-// Scalars passed on the stack should have signext/zeroext attributes, just as
-// if they were passed in registers
-
-// CHECK-LABEL: define dso_local i32 @f_scalar_stack_1
-// CHECK-SAME: (i32 [[A_COERCE:%.*]], [2 x i32] [[B_COERCE:%.*]], i64 [[C_COERCE:%.*]], ptr noundef [[D:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]], i8 noundef signext [[H:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-int f_scalar_stack_1(struct tiny a, struct small b, struct small_aligned c,
-                     struct large d, uint8_t e, int8_t f, uint8_t g, int8_t h) {
-  return g + h;
-}
-
-// Ensure that scalars passed on the stack are still determined correctly in
-// the presence of large return values that consume a register due to the need
-// to pass a pointer.
-
-// CHECK-LABEL: define dso_local void @f_scalar_stack_2
-// CHECK-SAME: (ptr noalias sret([[STRUCT_LARGE:%.*]]) align 4 [[AGG_RESULT:%.*]], i32 noundef [[A:%.*]], i64 noundef [[B:%.*]], i64 noundef [[C:%.*]], fp128 noundef [[D:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct large f_scalar_stack_2(int32_t a, int64_t b, int64_t c, long double d,
-                              uint8_t e, int8_t f, uint8_t g) {
-  return (struct large){a, e, f, g};
-}
-
-// CHECK-LABEL: define dso_local fp128 @f_scalar_stack_4
-// CHECK-SAME: (i32 noundef [[A:%.*]], i64 noundef [[B:%.*]], i64 noundef [[C:%.*]], fp128 noundef [[D:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-long double f_scalar_stack_4(int32_t a, int64_t b, int64_t c, long double d,
-                             uint8_t e, int8_t f, uint8_t g) {
-  return d;
-}
-
-// Aggregates and >=XLen scalars passed on the stack should be lowered just as
-// they would be if passed via registers.
-
-// CHECK-LABEL: define dso_local void @f_scalar_stack_5
-// CHECK-SAME: (double noundef [[A:%.*]], i64 noundef [[B:%.*]], double noundef [[C:%.*]], i64 noundef [[D:%.*]], i32 noundef [[E:%.*]], i64 noundef [[F:%.*]], float noundef [[G:%.*]], double noundef [[H:%.*]], fp128 noundef [[I:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_scalar_stack_5(double a, int64_t b, double c, int64_t d, int e,
-                      int64_t f, float g, double h, long double i) {}
-
-// CHECK-LABEL: define dso_local void @f_agg_stack
-// CHECK-SAME: (double noundef [[A:%.*]], i64 noundef [[B:%.*]], double noundef [[C:%.*]], i64 noundef [[D:%.*]], i32 [[E_COERCE:%.*]], [2 x i32] [[F_COERCE:%.*]], i64 [[G_COERCE:%.*]], ptr noundef [[H:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_agg_stack(double a, int64_t b, double c, int64_t d, struct tiny e,
-                 struct small f, struct small_aligned g, struct large h) {}

clang/test/CodeGen/RISCV/riscv32-ilp32d-abi.c

-// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --filter "^define |^entry:" --version 2
-// RUN: %clang_cc1 -triple riscv32 -target-feature +d -target-feature +f -target-abi ilp32d -emit-llvm %s -o - \
-// RUN:     | FileCheck %s
-
-#include <stdint.h>
-
-// Verify that the tracking of used GPRs and FPRs works correctly by checking
-// that small integers are sign/zero extended when passed in registers.
-
-// Doubles are passed in FPRs, so argument 'i' will be passed zero-extended
-// because it will be passed in a GPR.
-
-// CHECK-LABEL: define dso_local void @f_fpr_tracking
-// CHECK-SAME: (double noundef [[A:%.*]], double noundef [[B:%.*]], double noundef [[C:%.*]], double noundef [[D:%.*]], double noundef [[E:%.*]], double noundef [[F:%.*]], double noundef [[G:%.*]], double noundef [[H:%.*]], i8 noundef zeroext [[I:%.*]]) #[[ATTR0:[0-9]+]] {
-// CHECK:  entry:
-//
-void f_fpr_tracking(double a, double b, double c, double d, double e, double f,
-                    double g, double h, uint8_t i) {}
-
-// Check that fp, fp+fp, and int+fp structs are lowered correctly. These will
-// be passed in FPR, FPR+FPR, or GPR+FPR regs if sufficient registers are
-// available the widths are <= XLEN and FLEN, and should be expanded to
-// separate arguments in IR. They are passed by the same rules for returns,
-// but will be lowered to simple two-element structs if necessary (as LLVM IR
-// functions cannot return multiple values).
-
-// A struct containing just one floating-point real is passed as though it
-// were a standalone floating-point real.
-
-struct double_s { double f; };
-
-// CHECK-LABEL: define dso_local void @f_double_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_s_arg(struct double_s a) {}
-
-// CHECK-LABEL: define dso_local double @f_ret_double_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_s f_ret_double_s(void) {
-  return (struct double_s){1.0};
-}
-
-// A struct containing a double and any number of zero-width bitfields is
-// passed as though it were a standalone floating-point real.
-
-struct zbf_double_s { int : 0; double f; };
-struct zbf_double_zbf_s { int : 0; double f; int : 0; };
-
-// CHECK-LABEL: define dso_local void @f_zbf_double_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_zbf_double_s_arg(struct zbf_double_s a) {}
-
-// CHECK-LABEL: define dso_local double @f_ret_zbf_double_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct zbf_double_s f_ret_zbf_double_s(void) {
-  return (struct zbf_double_s){1.0};
-}
-
-// CHECK-LABEL: define dso_local void @f_zbf_double_zbf_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_zbf_double_zbf_s_arg(struct zbf_double_zbf_s a) {}
-
-// CHECK-LABEL: define dso_local double @f_ret_zbf_double_zbf_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct zbf_double_zbf_s f_ret_zbf_double_zbf_s(void) {
-  return (struct zbf_double_zbf_s){1.0};
-}
-
-// Check that structs containing two floating point values (FLEN <= width) are
-// expanded provided sufficient FPRs are available.
-
-struct double_double_s { double f; double g; };
-struct double_float_s { double f; float g; };
-
-// CHECK-LABEL: define dso_local void @f_double_double_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_double_s_arg(struct double_double_s a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_double_double_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_double_s f_ret_double_double_s(void) {
-  return (struct double_double_s){1.0, 2.0};
-}
-
-// CHECK-LABEL: define dso_local void @f_double_float_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_float_s_arg(struct double_float_s a) {}
-
-// CHECK-LABEL: define dso_local { double, float } @f_ret_double_float_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_float_s f_ret_double_float_s(void) {
-  return (struct double_float_s){1.0, 2.0};
-}
-
-// CHECK-LABEL: define dso_local void @f_double_double_s_arg_insufficient_fprs
-// CHECK-SAME: (float noundef [[A:%.*]], double noundef [[B:%.*]], double noundef [[C:%.*]], double noundef [[D:%.*]], double noundef [[E:%.*]], double noundef [[F:%.*]], double noundef [[G:%.*]], ptr noundef [[H:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_double_s_arg_insufficient_fprs(float a, double b, double c, double d,
-    double e, double f, double g, struct double_double_s h) {}
-
-// Check that structs containing int+double values are expanded, provided
-// sufficient FPRs and GPRs are available. The integer components are neither
-// sign or zero-extended.
-
-struct double_int8_s { double f; int8_t i; };
-struct double_uint8_s { double f; uint8_t i; };
-struct double_int32_s { double f; int32_t i; };
-struct double_int64_s { double f; int64_t i; };
-struct double_int64bf_s { double f; int64_t i : 32; };
-struct double_int8_zbf_s { double f; int8_t i; int : 0; };
-
-// CHECK-LABEL: define dso_local void @f_double_int8_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_int8_s_arg(struct double_int8_s a) {}
-
-// CHECK-LABEL: define dso_local { double, i8 } @f_ret_double_int8_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_int8_s f_ret_double_int8_s(void) {
-  return (struct double_int8_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_double_uint8_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_uint8_s_arg(struct double_uint8_s a) {}
-
-// CHECK-LABEL: define dso_local { double, i8 } @f_ret_double_uint8_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_uint8_s f_ret_double_uint8_s(void) {
-  return (struct double_uint8_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_double_int32_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_int32_s_arg(struct double_int32_s a) {}
-
-// CHECK-LABEL: define dso_local { double, i32 } @f_ret_double_int32_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_int32_s f_ret_double_int32_s(void) {
-  return (struct double_int32_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_double_int64_s_arg
-// CHECK-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_int64_s_arg(struct double_int64_s a) {}
-
-// CHECK-LABEL: define dso_local void @f_ret_double_int64_s
-// CHECK-SAME: (ptr noalias sret([[STRUCT_DOUBLE_INT64_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_int64_s f_ret_double_int64_s(void) {
-  return (struct double_int64_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_double_int64bf_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_int64bf_s_arg(struct double_int64bf_s a) {}
-
-// CHECK-LABEL: define dso_local { double, i32 } @f_ret_double_int64bf_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_int64bf_s f_ret_double_int64bf_s(void) {
-  return (struct double_int64bf_s){1.0, 2};
-}
-
-// The zero-width bitfield means the struct can't be passed according to the
-// floating point calling convention.
-
-// CHECK-LABEL: define dso_local void @f_double_int8_zbf_s
-// CHECK-SAME: (double [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_int8_zbf_s(struct double_int8_zbf_s a) {}
-
-// CHECK-LABEL: define dso_local { double, i8 } @f_ret_double_int8_zbf_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_int8_zbf_s f_ret_double_int8_zbf_s(void) {
-  return (struct double_int8_zbf_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_double_int8_s_arg_insufficient_gprs
-// CHECK-SAME: (i32 noundef [[A:%.*]], i32 noundef [[B:%.*]], i32 noundef [[C:%.*]], i32 noundef [[D:%.*]], i32 noundef [[E:%.*]], i32 noundef [[F:%.*]], i32 noundef [[G:%.*]], i32 noundef [[H:%.*]], ptr noundef [[I:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_int8_s_arg_insufficient_gprs(int a, int b, int c, int d, int e,
-                                          int f, int g, int h, struct double_int8_s i) {}
-
-// CHECK-LABEL: define dso_local void @f_struct_double_int8_insufficient_fprs
-// CHECK-SAME: (float noundef [[A:%.*]], double noundef [[B:%.*]], double noundef [[C:%.*]], double noundef [[D:%.*]], double noundef [[E:%.*]], double noundef [[F:%.*]], double noundef [[G:%.*]], double noundef [[H:%.*]], ptr noundef [[I:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_struct_double_int8_insufficient_fprs(float a, double b, double c, double d,
-                                           double e, double f, double g, double h, struct double_int8_s i) {}
-
-// Complex floating-point values or structs containing a single complex
-// floating-point value should be passed as if it were an fp+fp struct.
-
-// CHECK-LABEL: define dso_local void @f_doublecomplex
-// CHECK-SAME: (double noundef [[A_COERCE0:%.*]], double noundef [[A_COERCE1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublecomplex(double __complex__ a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublecomplex
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-double __complex__ f_ret_doublecomplex(void) {
-  return 1.0;
-}
-
-struct doublecomplex_s { double __complex__ c; };
-
-// CHECK-LABEL: define dso_local void @f_doublecomplex_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublecomplex_s_arg(struct doublecomplex_s a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublecomplex_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct doublecomplex_s f_ret_doublecomplex_s(void) {
-  return (struct doublecomplex_s){1.0};
-}
-
-// Test single or two-element structs that need flattening. e.g. those
-// containing nested structs, doubles in small arrays, zero-length structs etc.
-
-struct doublearr1_s { double a[1]; };
-
-// CHECK-LABEL: define dso_local void @f_doublearr1_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublearr1_s_arg(struct doublearr1_s a) {}
-
-// CHECK-LABEL: define dso_local double @f_ret_doublearr1_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct doublearr1_s f_ret_doublearr1_s(void) {
-  return (struct doublearr1_s){{1.0}};
-}
-
-struct doublearr2_s { double a[2]; };
-
-// CHECK-LABEL: define dso_local void @f_doublearr2_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublearr2_s_arg(struct doublearr2_s a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublearr2_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct doublearr2_s f_ret_doublearr2_s(void) {
-  return (struct doublearr2_s){{1.0, 2.0}};
-}
-
-struct doublearr2_tricky1_s { struct { double f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_doublearr2_tricky1_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublearr2_tricky1_s_arg(struct doublearr2_tricky1_s a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky1_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct doublearr2_tricky1_s f_ret_doublearr2_tricky1_s(void) {
-  return (struct doublearr2_tricky1_s){{{{1.0}}, {{2.0}}}};
-}
-
-struct doublearr2_tricky2_s { struct {}; struct { double f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_doublearr2_tricky2_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublearr2_tricky2_s_arg(struct doublearr2_tricky2_s a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky2_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct doublearr2_tricky2_s f_ret_doublearr2_tricky2_s(void) {
-  return (struct doublearr2_tricky2_s){{}, {{{1.0}}, {{2.0}}}};
-}
-
-struct doublearr2_tricky3_s { union {}; struct { double f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_doublearr2_tricky3_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublearr2_tricky3_s_arg(struct doublearr2_tricky3_s a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky3_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct doublearr2_tricky3_s f_ret_doublearr2_tricky3_s(void) {
-  return (struct doublearr2_tricky3_s){{}, {{{1.0}}, {{2.0}}}};
-}
-
-struct doublearr2_tricky4_s { union {}; struct { struct {}; double f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_doublearr2_tricky4_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublearr2_tricky4_s_arg(struct doublearr2_tricky4_s a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky4_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct doublearr2_tricky4_s f_ret_doublearr2_tricky4_s(void) {
-  return (struct doublearr2_tricky4_s){{}, {{{}, {1.0}}, {{}, {2.0}}}};
-}
-
-// Test structs that should be passed according to the normal integer calling
-// convention.
-
-struct int_double_int_s { int a; double b; int c; };
-
-// CHECK-LABEL: define dso_local void @f_int_double_int_s_arg
-// CHECK-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_int_double_int_s_arg(struct int_double_int_s a) {}
-
-// CHECK-LABEL: define dso_local void @f_ret_int_double_int_s
-// CHECK-SAME: (ptr noalias sret([[STRUCT_INT_DOUBLE_INT_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct int_double_int_s f_ret_int_double_int_s(void) {
-  return (struct int_double_int_s){1, 2.0, 3};
-}
-
-struct int64_double_s { int64_t a; double b; };
-
-// CHECK-LABEL: define dso_local void @f_int64_double_s_arg
-// CHECK-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_int64_double_s_arg(struct int64_double_s a) {}
-
-// CHECK-LABEL: define dso_local void @f_ret_int64_double_s
-// CHECK-SAME: (ptr noalias sret([[STRUCT_INT64_DOUBLE_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct int64_double_s f_ret_int64_double_s(void) {
-  return (struct int64_double_s){1, 2.0};
-}
-
-struct char_char_double_s { char a; char b; double c; };
-
-// CHECK-LABEL: define dso_local void @f_char_char_double_s_arg
-// CHECK-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_char_char_double_s_arg(struct char_char_double_s a) {}
-
-// CHECK-LABEL: define dso_local void @f_ret_char_char_double_s
-// CHECK-SAME: (ptr noalias sret([[STRUCT_CHAR_CHAR_DOUBLE_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct char_char_double_s f_ret_char_char_double_s(void) {
-  return (struct char_char_double_s){1, 2, 3.0};
-}
-
-// Unions are always passed according to the integer calling convention, even
-// if they can only contain a double.
-
-union double_u { double a; };
-
-// CHECK-LABEL: define dso_local void @f_double_u_arg
-// CHECK-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_u_arg(union double_u a) {}
-
-// CHECK-LABEL: define dso_local i64 @f_ret_double_u
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-union double_u f_ret_double_u(void) {
-  return (union double_u){1.0};
-}
-
-// Test that we don't incorrectly think double+int/double+double structs will
-// be returned indirectly and thus have an off-by-one error for the number of
-// GPRs available (this is an edge case when structs > 2*XLEN are still
-// returned in registers). This includes complex doubles, which are treated as
-// double+double structs by the ABI.
-
-// CHECK-LABEL: define dso_local { double, i32 } @f_ret_double_int32_s_double_int32_s_just_sufficient_gprs
-// CHECK-SAME: (i32 noundef [[A:%.*]], i32 noundef [[B:%.*]], i32 noundef [[C:%.*]], i32 noundef [[D:%.*]], i32 noundef [[E:%.*]], i32 noundef [[F:%.*]], i32 noundef [[G:%.*]], double [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_int32_s f_ret_double_int32_s_double_int32_s_just_sufficient_gprs(
-    int a, int b, int c, int d, int e, int f, int g, struct double_int32_s h) {
-  return (struct double_int32_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_double_double_s_double_int32_s_just_sufficient_gprs
-// CHECK-SAME: (i32 noundef [[A:%.*]], i32 noundef [[B:%.*]], i32 noundef [[C:%.*]], i32 noundef [[D:%.*]], i32 noundef [[E:%.*]], i32 noundef [[F:%.*]], i32 noundef [[G:%.*]], double [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_double_s f_ret_double_double_s_double_int32_s_just_sufficient_gprs(
-    int a, int b, int c, int d, int e, int f, int g, struct double_int32_s h) {
-  return (struct double_double_s){1.0, 2.0};
-}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublecomplex_double_int32_s_just_sufficient_gprs
-// CHECK-SAME: (i32 noundef [[A:%.*]], i32 noundef [[B:%.*]], i32 noundef [[C:%.*]], i32 noundef [[D:%.*]], i32 noundef [[E:%.*]], i32 noundef [[F:%.*]], i32 noundef [[G:%.*]], double [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-double __complex__ f_ret_doublecomplex_double_int32_s_just_sufficient_gprs(
-    int a, int b, int c, int d, int e, int f, int g, struct double_int32_s h) {
-  return 1.0;
-}

clang/test/CodeGen/RISCV/riscv32-ilp32f-abi.c

-// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --filter "^define |^entry:" --version 2
-// RUN: %clang_cc1 -triple riscv32 -target-feature +f -target-abi ilp32f -emit-llvm %s -o - \
-// RUN:     | FileCheck %s
-
-#include <stdint.h>
-
-// CHECK-LABEL: define dso_local void @f_fpr_tracking
-// CHECK-SAME: (double noundef [[A:%.*]], double noundef [[B:%.*]], double noundef [[C:%.*]], double noundef [[D:%.*]], i8 noundef signext [[E:%.*]]) #[[ATTR0:[0-9]+]] {
-// CHECK:  entry:
-//
-void f_fpr_tracking(double a, double b, double c, double d, int8_t e) {}
-
-// Lowering for doubles is unnmodified, as 64 > FLEN.
-
-struct double_s { double d; };
-
-// CHECK-LABEL: define dso_local void @f_double_s_arg
-// CHECK-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_s_arg(struct double_s a) {}
-
-// CHECK-LABEL: define dso_local i64 @f_ret_double_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_s f_ret_double_s(void) {
-  return (struct double_s){1.0};
-}
-
-struct double_double_s { double d; double e; };
-
-// CHECK-LABEL: define dso_local void @f_double_double_s_arg
-// CHECK-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_double_s_arg(struct double_double_s a) {}
-
-// CHECK-LABEL: define dso_local void @f_ret_double_double_s
-// CHECK-SAME: (ptr noalias sret([[STRUCT_DOUBLE_DOUBLE_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_double_s f_ret_double_double_s(void) {
-  return (struct double_double_s){1.0, 2.0};
-}
-
-struct double_int8_s { double d; int64_t i; };
-
-struct int_double_s { int a; double b; };
-
-// CHECK-LABEL: define dso_local void @f_int_double_s_arg
-// CHECK-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_int_double_s_arg(struct int_double_s a) {}
-
-// CHECK-LABEL: define dso_local void @f_ret_int_double_s
-// CHECK-SAME: (ptr noalias sret([[STRUCT_INT_DOUBLE_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct int_double_s f_ret_int_double_s(void) {
-  return (struct int_double_s){1, 2.0};
-}
-

clang/test/CodeGen/RISCV/riscv32-ilp32f-ilp32d-abi.c

-// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --filter "^define |^entry:" --version 2
-// RUN: %clang_cc1 -triple riscv32 -target-feature +f -target-abi ilp32f -emit-llvm %s -o - \
-// RUN:     | FileCheck %s
-// RUN: %clang_cc1 -triple riscv32 -target-feature +d -target-feature +f -target-abi ilp32d -emit-llvm %s -o - \
-// RUN:     | FileCheck %s
-
-#include <stdint.h>
-
-// Verify that the tracking of used GPRs and FPRs works correctly by checking
-// that small integers are sign/zero extended when passed in registers.
-
-// Floats are passed in FPRs, so argument 'i' will be passed zero-extended
-// because it will be passed in a GPR.
-
-// CHECK-LABEL: define dso_local void @f_fpr_tracking
-// CHECK-SAME: (float noundef [[A:%.*]], float noundef [[B:%.*]], float noundef [[C:%.*]], float noundef [[D:%.*]], float noundef [[E:%.*]], float noundef [[F:%.*]], float noundef [[G:%.*]], float noundef [[H:%.*]], i8 noundef zeroext [[I:%.*]]) #[[ATTR0:[0-9]+]] {
-// CHECK:  entry:
-//
-void f_fpr_tracking(float a, float b, float c, float d, float e, float f,
-                    float g, float h, uint8_t i) {}
-
-// Check that fp, fp+fp, and int+fp structs are lowered correctly. These will
-// be passed in FPR, FPR+FPR, or GPR+FPR regs if sufficient registers are
-// available the widths are <= XLEN and FLEN, and should be expanded to
-// separate arguments in IR. They are passed by the same rules for returns,
-// but will be lowered to simple two-element structs if necessary (as LLVM IR
-// functions cannot return multiple values).
-
-// A struct containing just one floating-point real is passed as though it
-// were a standalone floating-point real.
-
-struct float_s { float f; };
-
-// CHECK-LABEL: define dso_local void @f_float_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_s_arg(struct float_s a) {}
-
-// CHECK-LABEL: define dso_local float @f_ret_float_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_s f_ret_float_s(void) {
-  return (struct float_s){1.0};
-}
-
-// A struct containing a float and any number of zero-width bitfields is
-// passed as though it were a standalone floating-point real.
-
-struct zbf_float_s { int : 0; float f; };
-struct zbf_float_zbf_s { int : 0; float f; int : 0; };
-
-// CHECK-LABEL: define dso_local void @f_zbf_float_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_zbf_float_s_arg(struct zbf_float_s a) {}
-
-// CHECK-LABEL: define dso_local float @f_ret_zbf_float_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct zbf_float_s f_ret_zbf_float_s(void) {
-  return (struct zbf_float_s){1.0};
-}
-
-// CHECK-LABEL: define dso_local void @f_zbf_float_zbf_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_zbf_float_zbf_s_arg(struct zbf_float_zbf_s a) {}
-
-// CHECK-LABEL: define dso_local float @f_ret_zbf_float_zbf_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct zbf_float_zbf_s f_ret_zbf_float_zbf_s(void) {
-  return (struct zbf_float_zbf_s){1.0};
-}
-
-// Check that structs containing two float values (FLEN <= width) are expanded
-// provided sufficient FPRs are available.
-
-struct float_float_s { float f; float g; };
-
-// CHECK-LABEL: define dso_local void @f_float_float_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_float_s_arg(struct float_float_s a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_float_float_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_float_s f_ret_float_float_s(void) {
-  return (struct float_float_s){1.0, 2.0};
-}
-
-// CHECK-LABEL: define dso_local void @f_float_float_s_arg_insufficient_fprs
-// CHECK-SAME: (float noundef [[A:%.*]], float noundef [[B:%.*]], float noundef [[C:%.*]], float noundef [[D:%.*]], float noundef [[E:%.*]], float noundef [[F:%.*]], float noundef [[G:%.*]], [2 x i32] [[H_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_float_s_arg_insufficient_fprs(float a, float b, float c, float d,
-    float e, float f, float g, struct float_float_s h) {}
-
-// Check that structs containing int+float values are expanded, provided
-// sufficient FPRs and GPRs are available. The integer components are neither
-// sign or zero-extended.
-
-struct float_int8_s { float f; int8_t i; };
-struct float_uint8_s { float f; uint8_t i; };
-struct float_int32_s { float f; int32_t i; };
-struct float_int64_s { float f; int64_t i; };
-struct float_int64bf_s { float f; int64_t i : 32; };
-struct float_int8_zbf_s { float f; int8_t i; int : 0; };
-
-// CHECK-LABEL: define dso_local void @f_float_int8_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_int8_s_arg(struct float_int8_s a) {}
-
-// CHECK-LABEL: define dso_local { float, i8 } @f_ret_float_int8_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_int8_s f_ret_float_int8_s(void) {
-  return (struct float_int8_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_float_uint8_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_uint8_s_arg(struct float_uint8_s a) {}
-
-// CHECK-LABEL: define dso_local { float, i8 } @f_ret_float_uint8_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_uint8_s f_ret_float_uint8_s(void) {
-  return (struct float_uint8_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_float_int32_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_int32_s_arg(struct float_int32_s a) {}
-
-// CHECK-LABEL: define dso_local { float, i32 } @f_ret_float_int32_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_int32_s f_ret_float_int32_s(void) {
-  return (struct float_int32_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_float_int64_s_arg
-// CHECK-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_int64_s_arg(struct float_int64_s a) {}
-
-// CHECK-LABEL: define dso_local void @f_ret_float_int64_s
-// CHECK-SAME: (ptr noalias sret([[STRUCT_FLOAT_INT64_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_int64_s f_ret_float_int64_s(void) {
-  return (struct float_int64_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_float_int64bf_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_int64bf_s_arg(struct float_int64bf_s a) {}
-
-// CHECK-LABEL: define dso_local { float, i32 } @f_ret_float_int64bf_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_int64bf_s f_ret_float_int64bf_s(void) {
-  return (struct float_int64bf_s){1.0, 2};
-}
-
-// The zero-width bitfield means the struct can't be passed according to the
-// floating point calling convention.
-
-// CHECK-LABEL: define dso_local void @f_float_int8_zbf_s
-// CHECK-SAME: (float [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_int8_zbf_s(struct float_int8_zbf_s a) {}
-
-// CHECK-LABEL: define dso_local { float, i8 } @f_ret_float_int8_zbf_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_int8_zbf_s f_ret_float_int8_zbf_s(void) {
-  return (struct float_int8_zbf_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_float_int8_s_arg_insufficient_gprs
-// CHECK-SAME: (i32 noundef [[A:%.*]], i32 noundef [[B:%.*]], i32 noundef [[C:%.*]], i32 noundef [[D:%.*]], i32 noundef [[E:%.*]], i32 noundef [[F:%.*]], i32 noundef [[G:%.*]], i32 noundef [[H:%.*]], [2 x i32] [[I_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_int8_s_arg_insufficient_gprs(int a, int b, int c, int d, int e,
-                                          int f, int g, int h, struct float_int8_s i) {}
-
-// CHECK-LABEL: define dso_local void @f_struct_float_int8_insufficient_fprs
-// CHECK-SAME: (float noundef [[A:%.*]], float noundef [[B:%.*]], float noundef [[C:%.*]], float noundef [[D:%.*]], float noundef [[E:%.*]], float noundef [[F:%.*]], float noundef [[G:%.*]], float noundef [[H:%.*]], [2 x i32] [[I_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_struct_float_int8_insufficient_fprs(float a, float b, float c, float d,
-                                           float e, float f, float g, float h, struct float_int8_s i) {}
-
-// Complex floating-point values or structs containing a single complex
-// floating-point value should be passed as if it were an fp+fp struct.
-
-// CHECK-LABEL: define dso_local void @f_floatcomplex
-// CHECK-SAME: (float noundef [[A_COERCE0:%.*]], float noundef [[A_COERCE1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatcomplex(float __complex__ a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_floatcomplex
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-float __complex__ f_ret_floatcomplex(void) {
-  return 1.0;
-}
-
-struct floatcomplex_s { float __complex__ c; };
-
-// CHECK-LABEL: define dso_local void @f_floatcomplex_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatcomplex_s_arg(struct floatcomplex_s a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_floatcomplex_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatcomplex_s f_ret_floatcomplex_s(void) {
-  return (struct floatcomplex_s){1.0};
-}
-
-// Test single or two-element structs that need flattening. e.g. those
-// containing nested structs, floats in small arrays, zero-length structs etc.
-
-struct floatarr1_s { float a[1]; };
-
-// CHECK-LABEL: define dso_local void @f_floatarr1_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatarr1_s_arg(struct floatarr1_s a) {}
-
-// CHECK-LABEL: define dso_local float @f_ret_floatarr1_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatarr1_s f_ret_floatarr1_s(void) {
-  return (struct floatarr1_s){{1.0}};
-}
-
-struct floatarr2_s { float a[2]; };
-
-// CHECK-LABEL: define dso_local void @f_floatarr2_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatarr2_s_arg(struct floatarr2_s a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_floatarr2_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatarr2_s f_ret_floatarr2_s(void) {
-  return (struct floatarr2_s){{1.0, 2.0}};
-}
-
-struct floatarr2_tricky1_s { struct { float f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_floatarr2_tricky1_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatarr2_tricky1_s_arg(struct floatarr2_tricky1_s a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky1_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatarr2_tricky1_s f_ret_floatarr2_tricky1_s(void) {
-  return (struct floatarr2_tricky1_s){{{{1.0}}, {{2.0}}}};
-}
-
-struct floatarr2_tricky2_s { struct {}; struct { float f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_floatarr2_tricky2_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatarr2_tricky2_s_arg(struct floatarr2_tricky2_s a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky2_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatarr2_tricky2_s f_ret_floatarr2_tricky2_s(void) {
-  return (struct floatarr2_tricky2_s){{}, {{{1.0}}, {{2.0}}}};
-}
-
-struct floatarr2_tricky3_s { union {}; struct { float f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_floatarr2_tricky3_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatarr2_tricky3_s_arg(struct floatarr2_tricky3_s a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky3_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatarr2_tricky3_s f_ret_floatarr2_tricky3_s(void) {
-  return (struct floatarr2_tricky3_s){{}, {{{1.0}}, {{2.0}}}};
-}
-
-struct floatarr2_tricky4_s { union {}; struct { struct {}; float f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_floatarr2_tricky4_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatarr2_tricky4_s_arg(struct floatarr2_tricky4_s a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky4_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatarr2_tricky4_s f_ret_floatarr2_tricky4_s(void) {
-  return (struct floatarr2_tricky4_s){{}, {{{}, {1.0}}, {{}, {2.0}}}};
-}
-
-// Test structs that should be passed according to the normal integer calling
-// convention.
-
-struct int_float_int_s { int a; float b; int c; };
-
-// CHECK-LABEL: define dso_local void @f_int_float_int_s_arg
-// CHECK-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_int_float_int_s_arg(struct int_float_int_s a) {}
-
-// CHECK-LABEL: define dso_local void @f_ret_int_float_int_s
-// CHECK-SAME: (ptr noalias sret([[STRUCT_INT_FLOAT_INT_S:%.*]]) align 4 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct int_float_int_s f_ret_int_float_int_s(void) {
-  return (struct int_float_int_s){1, 2.0, 3};
-}
-
-struct int64_float_s { int64_t a; float b; };
-
-// CHECK-LABEL: define dso_local void @f_int64_float_s_arg
-// CHECK-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_int64_float_s_arg(struct int64_float_s a) {}
-
-// CHECK-LABEL: define dso_local void @f_ret_int64_float_s
-// CHECK-SAME: (ptr noalias sret([[STRUCT_INT64_FLOAT_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct int64_float_s f_ret_int64_float_s(void) {
-  return (struct int64_float_s){1, 2.0};
-}
-
-struct char_char_float_s { char a; char b; float c; };
-
-// CHECK-LABEL: define dso_local void @f_char_char_float_s_arg
-// CHECK-SAME: ([2 x i32] [[A_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_char_char_float_s_arg(struct char_char_float_s a) {}
-
-// CHECK-LABEL: define dso_local [2 x i32] @f_ret_char_char_float_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct char_char_float_s f_ret_char_char_float_s(void) {
-  return (struct char_char_float_s){1, 2, 3.0};
-}
-
-// Unions are always passed according to the integer calling convention, even
-// if they can only contain a float.
-
-union float_u { float a; };
-
-// CHECK-LABEL: define dso_local void @f_float_u_arg
-// CHECK-SAME: (i32 [[A_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_u_arg(union float_u a) {}
-
-// CHECK-LABEL: define dso_local i32 @f_ret_float_u
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-union float_u f_ret_float_u(void) {
-  return (union float_u){1.0};
-}

clang/test/CodeGen/RISCV/riscv32-int128-abi.c

+// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --filter "^define |^entry:" --version 2
+// RUN: %clang_cc1 -triple riscv32 -emit-llvm -fforce-enable-int128 %s -o - \
+// RUN:   | FileCheck %s
+
+// CHECK-LABEL: define dso_local i128 @f_int128
+// CHECK-SAME: (i128 noundef [[X:%.*]]) #[[ATTR0:[0-9]+]] {
+// CHECK:  entry:
+//
+__int128_t f_int128(__int128_t x) { return x; }

clang/test/CodeGen/RISCV/riscv64-abi.c

+// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --filter "^define |^entry:" --version 2
+// RUN: %clang_cc1 -triple riscv64 -emit-llvm %s -o - \
+// RUN:   | FileCheck -check-prefixes=LP64-LP64F-LP64D,LP64-LP64F,LP64 %s
+// RUN: %clang_cc1 -triple riscv64 -target-feature +f -target-abi lp64f -emit-llvm %s -o - \
+// RUN:   | FileCheck -check-prefixes=LP64-LP64F-LP64D,LP64F-LP64D,LP64-LP64F,LP64F %s
+// RUN: %clang_cc1 -triple riscv64 -target-feature +f -target-feature +d -target-abi lp64d -emit-llvm %s -o - \
+// RUN:   | FileCheck -check-prefixes=LP64-LP64F-LP64D,LP64F-LP64D,LP64D %s
+
+#include <stddef.h>
+#include <stdint.h>
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_void
+// LP64-LP64F-LP64D-SAME: () #[[ATTR0:[0-9]+]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_void(void) {}
+
+// Scalar arguments and return values smaller than the word size are extended
+// according to the sign of their type, up to 32 bits
+
+// LP64-LP64F-LP64D-LABEL: define dso_local zeroext i1 @f_scalar_0
+// LP64-LP64F-LP64D-SAME: (i1 noundef zeroext [[X:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+_Bool f_scalar_0(_Bool x) { return x; }
+
+// LP64-LP64F-LP64D-LABEL: define dso_local signext i8 @f_scalar_1
+// LP64-LP64F-LP64D-SAME: (i8 noundef signext [[X:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+int8_t f_scalar_1(int8_t x) { return x; }
+
+// LP64-LP64F-LP64D-LABEL: define dso_local zeroext i8 @f_scalar_2
+// LP64-LP64F-LP64D-SAME: (i8 noundef zeroext [[X:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+uint8_t f_scalar_2(uint8_t x) { return x; }
+
+// LP64-LP64F-LP64D-LABEL: define dso_local signext i32 @f_scalar_3
+// LP64-LP64F-LP64D-SAME: (i32 noundef signext [[X:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+uint32_t f_scalar_3(int32_t x) { return x; }
+
+// LP64-LP64F-LP64D-LABEL: define dso_local i64 @f_scalar_4
+// LP64-LP64F-LP64D-SAME: (i64 noundef [[X:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+int64_t f_scalar_4(int64_t x) { return x; }
+
+// LP64-LP64F-LP64D-LABEL: define dso_local float @f_fp_scalar_1
+// LP64-LP64F-LP64D-SAME: (float noundef [[X:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+float f_fp_scalar_1(float x) { return x; }
+
+// LP64-LP64F-LP64D-LABEL: define dso_local double @f_fp_scalar_2
+// LP64-LP64F-LP64D-SAME: (double noundef [[X:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+double f_fp_scalar_2(double x) { return x; }
+
+// LP64-LP64F-LP64D-LABEL: define dso_local fp128 @f_fp_scalar_3
+// LP64-LP64F-LP64D-SAME: (fp128 noundef [[X:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+long double f_fp_scalar_3(long double x) { return x; }
+
+// Empty structs or unions are ignored.
+
+struct empty_s {};
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_agg_empty_struct
+// LP64-LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+struct empty_s f_agg_empty_struct(struct empty_s x) {
+  return x;
+}
+
+union empty_u {};
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_agg_empty_union
+// LP64-LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+union empty_u f_agg_empty_union(union empty_u x) {
+  return x;
+}
+
+// Aggregates <= 2*xlen may be passed in registers, so will be coerced to
+// integer arguments. The rules for return are the same.
+
+struct tiny {
+  uint16_t a, b, c, d;
+};
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_agg_tiny
+// LP64-LP64F-LP64D-SAME: (i64 [[X_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_agg_tiny(struct tiny x) {
+  x.a += x.b;
+  x.c += x.d;
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local i64 @f_agg_tiny_ret
+// LP64-LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+struct tiny f_agg_tiny_ret(void) {
+  return (struct tiny){1, 2, 3, 4};
+}
+
+typedef uint16_t v4i16 __attribute__((vector_size(8)));
+typedef int64_t v1i64 __attribute__((vector_size(8)));
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_vec_tiny_v4i16
+// LP64-LP64F-LP64D-SAME: (i64 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_vec_tiny_v4i16(v4i16 x) {
+  x[0] = x[1];
+  x[2] = x[3];
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local i64 @f_vec_tiny_v4i16_ret
+// LP64-LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+v4i16 f_vec_tiny_v4i16_ret(void) {
+  return (v4i16){1, 2, 3, 4};
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_vec_tiny_v1i64
+// LP64-LP64F-LP64D-SAME: (i64 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_vec_tiny_v1i64(v1i64 x) {
+  x[0] = 114;
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local i64 @f_vec_tiny_v1i64_ret
+// LP64-LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+v1i64 f_vec_tiny_v1i64_ret(void) {
+  return (v1i64){1};
+}
+
+struct small {
+  int64_t a, *b;
+};
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_agg_small
+// LP64-LP64F-LP64D-SAME: ([2 x i64] [[X_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_agg_small(struct small x) {
+  x.a += *x.b;
+  x.b = &x.a;
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local [2 x i64] @f_agg_small_ret
+// LP64-LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+struct small f_agg_small_ret(void) {
+  return (struct small){1, 0};
+}
+
+typedef uint16_t v8i16 __attribute__((vector_size(16)));
+typedef __int128_t v1i128 __attribute__((vector_size(16)));
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_vec_small_v8i16
+// LP64-LP64F-LP64D-SAME: (i128 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_vec_small_v8i16(v8i16 x) {
+  x[0] = x[7];
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local i128 @f_vec_small_v8i16_ret
+// LP64-LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+v8i16 f_vec_small_v8i16_ret(void) {
+  return (v8i16){1, 2, 3, 4, 5, 6, 7, 8};
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_vec_small_v1i128
+// LP64-LP64F-LP64D-SAME: (i128 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_vec_small_v1i128(v1i128 x) {
+  x[0] = 114;
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local i128 @f_vec_small_v1i128_ret
+// LP64-LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+v1i128 f_vec_small_v1i128_ret(void) {
+  return (v1i128){1};
+}
+
+// Aggregates of 2*xlen size and 2*xlen alignment should be coerced to a
+// single 2*xlen-sized argument, to ensure that alignment can be maintained if
+// passed on the stack.
+
+struct small_aligned {
+  __int128_t a;
+};
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_agg_small_aligned
+// LP64-LP64F-LP64D-SAME: (i128 [[X_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_agg_small_aligned(struct small_aligned x) {
+  x.a += x.a;
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local i128 @f_agg_small_aligned_ret
+// LP64-LP64F-LP64D-SAME: (i128 [[X_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+struct small_aligned f_agg_small_aligned_ret(struct small_aligned x) {
+  return (struct small_aligned){10};
+}
+
+// Aggregates greater > 2*xlen will be passed and returned indirectly
+struct large {
+  int64_t a, b, c, d;
+};
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_agg_large
+// LP64-LP64F-LP64D-SAME: (ptr noundef [[X:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_agg_large(struct large x) {
+  x.a = x.b + x.c + x.d;
+}
+
+// The address where the struct should be written to will be the first
+// argument
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_agg_large_ret
+// LP64-LP64F-LP64D-SAME: (ptr noalias sret([[STRUCT_LARGE:%.*]]) align 8 [[AGG_RESULT:%.*]], i32 noundef signext [[I:%.*]], i8 noundef signext [[J:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+struct large f_agg_large_ret(int32_t i, int8_t j) {
+  return (struct large){1, 2, 3, 4};
+}
+
+typedef unsigned char v32i8 __attribute__((vector_size(32)));
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_vec_large_v32i8
+// LP64-LP64F-LP64D-SAME: (ptr noundef [[TMP0:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_vec_large_v32i8(v32i8 x) {
+  x[0] = x[7];
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_vec_large_v32i8_ret
+// LP64-LP64F-LP64D-SAME: (ptr noalias sret(<32 x i8>) align 32 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+v32i8 f_vec_large_v32i8_ret(void) {
+  return (v32i8){1, 2, 3, 4, 5, 6, 7, 8};
+}
+
+// Scalars passed on the stack should have signext/zeroext attributes, just as
+// if they were passed in registers.
+
+// LP64-LP64F-LP64D-LABEL: define dso_local signext i32 @f_scalar_stack_1
+// LP64-LP64F-LP64D-SAME: (i64 [[A_COERCE:%.*]], [2 x i64] [[B_COERCE:%.*]], i128 [[C_COERCE:%.*]], ptr noundef [[D:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]], i8 noundef signext [[H:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+int f_scalar_stack_1(struct tiny a, struct small b, struct small_aligned c,
+                     struct large d, uint8_t e, int8_t f, uint8_t g, int8_t h) {
+  return g + h;
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local signext i32 @f_scalar_stack_2
+// LP64-LP64F-LP64D-SAME: (i32 noundef signext [[A:%.*]], i128 noundef [[B:%.*]], i64 noundef [[C:%.*]], fp128 noundef [[D:%.*]], ptr noundef [[TMP0:%.*]], i8 noundef zeroext [[F:%.*]], i8 noundef signext [[G:%.*]], i8 noundef zeroext [[H:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+int f_scalar_stack_2(int32_t a, __int128_t b, int64_t c, long double d, v32i8 e,
+                     uint8_t f, int8_t g, uint8_t h) {
+  return g + h;
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local signext i32 @f_scalar_stack_3
+// LP64-LP64F-LP64D-SAME: (i32 noundef signext [[A:%.*]], i128 noundef [[B:%.*]], double noundef [[C:%.*]], fp128 noundef [[D:%.*]], ptr noundef [[TMP0:%.*]], i8 noundef zeroext [[F:%.*]], i8 noundef signext [[G:%.*]], i8 noundef zeroext [[H:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+int f_scalar_stack_3(int32_t a, __int128_t b, double c, long double d, v32i8 e,
+                     uint8_t f, int8_t g, uint8_t h) {
+  return g + h;
+}
+
+// Ensure that scalars passed on the stack are still determined correctly in
+// the presence of large return values that consume a register due to the need
+// to pass a pointer.
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_scalar_stack_4
+// LP64-LP64F-LP64D-SAME: (ptr noalias sret([[STRUCT_LARGE:%.*]]) align 8 [[AGG_RESULT:%.*]], i32 noundef signext [[A:%.*]], i128 noundef [[B:%.*]], fp128 noundef [[C:%.*]], ptr noundef [[TMP0:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+struct large f_scalar_stack_4(uint32_t a, __int128_t b, long double c, v32i8 d,
+                              uint8_t e, int8_t f, uint8_t g) {
+  return (struct large){a, e, f, g};
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_scalar_stack_5
+// LP64-LP64F-LP64D-SAME: (ptr noalias sret([[STRUCT_LARGE:%.*]]) align 8 [[AGG_RESULT:%.*]], double noundef [[A:%.*]], i128 noundef [[B:%.*]], fp128 noundef [[C:%.*]], ptr noundef [[TMP0:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+struct large f_scalar_stack_5(double a, __int128_t b, long double c, v32i8 d,
+                              uint8_t e, int8_t f, uint8_t g) {
+  return (struct large){a, e, f, g};
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local signext i32 @f_scalar_stack_6
+// LP64-LP64F-LP64D-SAME: (i32 noundef signext [[A:%.*]], i128 noundef [[B:%.*]], float noundef [[C:%.*]], fp128 noundef [[D:%.*]], ptr noundef [[TMP0:%.*]], i8 noundef zeroext [[F:%.*]], i8 noundef signext [[G:%.*]], i8 noundef zeroext [[H:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+int f_scalar_stack_6(int32_t a, __int128_t b, float c, long double d, v32i8 e,
+                     uint8_t f, int8_t g, uint8_t h) {
+  return g + h;
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_fpr_tracking
+// LP64-LP64F-LP64D-SAME: (float noundef [[A:%.*]], float noundef [[B:%.*]], float noundef [[C:%.*]], float noundef [[D:%.*]], float noundef [[E:%.*]], float noundef [[F:%.*]], float noundef [[G:%.*]], float noundef [[H:%.*]], i8 noundef zeroext [[I:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_fpr_tracking(float a, float b, float c, float d, float e, float f,
+                    float g, float h, uint8_t i) {}
+
+// Check that fp, fp+fp, and int+fp structs are lowered correctly. These will
+// be passed in FPR, FPR+FPR, or GPR+FPR regs if sufficient registers are
+// available the widths are <= XLEN and FLEN, and should be expanded to
+// separate arguments in IR. They are passed by the same rules for returns,
+// but will be lowered to simple two-element structs if necessary (as LLVM IR
+// functions cannot return multiple values).
+
+// A struct containing just one floating-point real is passed as though it
+// were a standalone floating-point real.
+
+struct float_s { float f; };
+
+// LP64-LABEL: define dso_local void @f_float_s_arg
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_float_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_float_s_arg(struct float_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_float_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local float @f_ret_float_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct float_s f_ret_float_s(void) {
+  return (struct float_s){1.0};
+}
+
+// A struct containing a float and any number of zero-width bitfields is
+// passed as though it were a standalone floating-point real.
+
+struct zbf_float_s { int : 0; float f; };
+struct zbf_float_zbf_s { int : 0; float f; int : 0; };
+
+// LP64-LABEL: define dso_local void @f_zbf_float_s_arg
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_zbf_float_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_zbf_float_s_arg(struct zbf_float_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_zbf_float_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local float @f_ret_zbf_float_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct zbf_float_s f_ret_zbf_float_s(void) {
+  return (struct zbf_float_s){1.0};
+}
+
+// LP64-LABEL: define dso_local void @f_zbf_float_zbf_s_arg
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_zbf_float_zbf_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_zbf_float_zbf_s_arg(struct zbf_float_zbf_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_zbf_float_zbf_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local float @f_ret_zbf_float_zbf_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct zbf_float_zbf_s f_ret_zbf_float_zbf_s(void) {
+  return (struct zbf_float_zbf_s){1.0};
+}
+
+// Check that structs containing two float values (FLEN <= width) are expanded
+// provided sufficient FPRs are available.
+
+struct float_float_s { float f; float g; };
+
+// LP64-LABEL: define dso_local void @f_float_float_s_arg
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_float_float_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_float_float_s_arg(struct float_float_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_float_float_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local { float, float } @f_ret_float_float_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct float_float_s f_ret_float_float_s(void) {
+  return (struct float_float_s){1.0, 2.0};
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_float_float_s_arg_insufficient_fprs
+// LP64-LP64F-LP64D-SAME: (float noundef [[A:%.*]], float noundef [[B:%.*]], float noundef [[C:%.*]], float noundef [[D:%.*]], float noundef [[E:%.*]], float noundef [[F:%.*]], float noundef [[G:%.*]], i64 [[H_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_float_float_s_arg_insufficient_fprs(float a, float b, float c, float d,
+    float e, float f, float g, struct float_float_s h) {}
+
+// Check that structs containing int+float values are expanded, provided
+// sufficient FPRs and GPRs are available. The integer components are neither
+// sign or zero-extended.
+
+struct float_int8_s { float f; int8_t i; };
+struct float_uint8_s { float f; uint8_t i; };
+struct float_int32_s { float f; int32_t i; };
+struct float_int64_s { float f; int64_t i; };
+struct float_int128bf_s { float f; __int128_t i : 64; };
+struct float_int8_zbf_s { float f; int8_t i; int : 0; };
+
+// LP64-LABEL: define dso_local void @f_float_int8_s_arg
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_float_int8_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_float_int8_s_arg(struct float_int8_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_float_int8_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local { float, i8 } @f_ret_float_int8_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct float_int8_s f_ret_float_int8_s(void) {
+  return (struct float_int8_s){1.0, 2};
+}
+
+// LP64-LABEL: define dso_local void @f_float_uint8_s_arg
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_float_uint8_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_float_uint8_s_arg(struct float_uint8_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_float_uint8_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local { float, i8 } @f_ret_float_uint8_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct float_uint8_s f_ret_float_uint8_s(void) {
+  return (struct float_uint8_s){1.0, 2};
+}
+
+// LP64-LABEL: define dso_local void @f_float_int32_s_arg
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_float_int32_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_float_int32_s_arg(struct float_int32_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_float_int32_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local { float, i32 } @f_ret_float_int32_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct float_int32_s f_ret_float_int32_s(void) {
+  return (struct float_int32_s){1.0, 2};
+}
+
+// LP64-LABEL: define dso_local void @f_float_int64_s_arg
+// LP64-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_float_int64_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]], i64 [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_float_int64_s_arg(struct float_int64_s a) {}
+
+// LP64-LABEL: define dso_local [2 x i64] @f_ret_float_int64_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local { float, i64 } @f_ret_float_int64_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct float_int64_s f_ret_float_int64_s(void) {
+  return (struct float_int64_s){1.0, 2};
+}
+
+// LP64-LABEL: define dso_local void @f_float_int128bf_s_arg
+// LP64-SAME: (i128 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_float_int128bf_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]], i64 [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_float_int128bf_s_arg(struct float_int128bf_s a) {}
+
+// LP64-LABEL: define dso_local i128 @f_ret_float_int128bf_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local <{ float, i64 }> @f_ret_float_int128bf_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct float_int128bf_s f_ret_float_int128bf_s(void) {
+  return (struct float_int128bf_s){1.0, 2};
+}
+
+// The zero-width bitfield means the struct can't be passed according to the
+// floating point calling convention.
+
+// LP64-LABEL: define dso_local void @f_float_int8_zbf_s
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_float_int8_zbf_s
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_float_int8_zbf_s(struct float_int8_zbf_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_float_int8_zbf_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local { float, i8 } @f_ret_float_int8_zbf_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct float_int8_zbf_s f_ret_float_int8_zbf_s(void) {
+  return (struct float_int8_zbf_s){1.0, 2};
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_float_int8_s_arg_insufficient_gprs
+// LP64-LP64F-LP64D-SAME: (i32 noundef signext [[A:%.*]], i32 noundef signext [[B:%.*]], i32 noundef signext [[C:%.*]], i32 noundef signext [[D:%.*]], i32 noundef signext [[E:%.*]], i32 noundef signext [[F:%.*]], i32 noundef signext [[G:%.*]], i32 noundef signext [[H:%.*]], i64 [[I_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_float_int8_s_arg_insufficient_gprs(int a, int b, int c, int d, int e,
+                                          int f, int g, int h, struct float_int8_s i) {}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_struct_float_int8_insufficient_fprs
+// LP64-LP64F-LP64D-SAME: (float noundef [[A:%.*]], float noundef [[B:%.*]], float noundef [[C:%.*]], float noundef [[D:%.*]], float noundef [[E:%.*]], float noundef [[F:%.*]], float noundef [[G:%.*]], float noundef [[H:%.*]], i64 [[I_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_struct_float_int8_insufficient_fprs(float a, float b, float c, float d,
+                                           float e, float f, float g, float h, struct float_int8_s i) {}
+
+// Complex floating-point values or structs containing a single complex
+// floating-point value should be passed as if it were an fp+fp struct.
+
+// LP64-LABEL: define dso_local void @f_floatcomplex
+// LP64-SAME: (i64 noundef [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_floatcomplex
+// LP64F-LP64D-SAME: (float noundef [[A_COERCE0:%.*]], float noundef [[A_COERCE1:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_floatcomplex(float __complex__ a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_floatcomplex
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local { float, float } @f_ret_floatcomplex
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+float __complex__ f_ret_floatcomplex(void) {
+  return 1.0;
+}
+
+struct floatcomplex_s { float __complex__ c; };
+
+// LP64-LABEL: define dso_local void @f_floatcomplex_s_arg
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_floatcomplex_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_floatcomplex_s_arg(struct floatcomplex_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_floatcomplex_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local { float, float } @f_ret_floatcomplex_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct floatcomplex_s f_ret_floatcomplex_s(void) {
+  return (struct floatcomplex_s){1.0};
+}
+
+// Complex floating-point values or structs containing a single complex
+// floating-point value should be passed in GPRs if no two FPRs is available.
+
+// LP64-LABEL: define dso_local void @f_floatcomplex_insufficient_fprs1
+// LP64-SAME: (i64 noundef [[A_COERCE:%.*]], i64 noundef [[B_COERCE:%.*]], i64 noundef [[C_COERCE:%.*]], i64 noundef [[D_COERCE:%.*]], i64 noundef [[E_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_floatcomplex_insufficient_fprs1
+// LP64F-LP64D-SAME: (float noundef [[A_COERCE0:%.*]], float noundef [[A_COERCE1:%.*]], float noundef [[B_COERCE0:%.*]], float noundef [[B_COERCE1:%.*]], float noundef [[C_COERCE0:%.*]], float noundef [[C_COERCE1:%.*]], float noundef [[D_COERCE0:%.*]], float noundef [[D_COERCE1:%.*]], i64 noundef [[E_COERCE:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_floatcomplex_insufficient_fprs1(float __complex__ a, float __complex__ b,
+                                       float __complex__ c, float __complex__ d,
+                                       float __complex__ e) {}
+
+
+// LP64-LABEL: define dso_local void @f_floatcomplex_s_arg_insufficient_fprs1
+// LP64-SAME: (i64 [[A_COERCE:%.*]], i64 [[B_COERCE:%.*]], i64 [[C_COERCE:%.*]], i64 [[D_COERCE:%.*]], i64 [[E_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_floatcomplex_s_arg_insufficient_fprs1
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]], float [[TMP2:%.*]], float [[TMP3:%.*]], float [[TMP4:%.*]], float [[TMP5:%.*]], float [[TMP6:%.*]], float [[TMP7:%.*]], i64 [[E_COERCE:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_floatcomplex_s_arg_insufficient_fprs1(struct floatcomplex_s a,
+                                             struct floatcomplex_s b,
+                                             struct floatcomplex_s c,
+                                             struct floatcomplex_s d,
+                                             struct floatcomplex_s e) {}
+
+// LP64-LABEL: define dso_local void @f_floatcomplex_insufficient_fprs2
+// LP64-SAME: (float noundef [[A:%.*]], i64 noundef [[B_COERCE:%.*]], i64 noundef [[C_COERCE:%.*]], i64 noundef [[D_COERCE:%.*]], i64 noundef [[E_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_floatcomplex_insufficient_fprs2
+// LP64F-LP64D-SAME: (float noundef [[A:%.*]], float noundef [[B_COERCE0:%.*]], float noundef [[B_COERCE1:%.*]], float noundef [[C_COERCE0:%.*]], float noundef [[C_COERCE1:%.*]], float noundef [[D_COERCE0:%.*]], float noundef [[D_COERCE1:%.*]], i64 noundef [[E_COERCE:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_floatcomplex_insufficient_fprs2(float a,
+                                       float __complex__ b, float __complex__ c,
+                                       float __complex__ d, float __complex__ e) {}
+
+
+// LP64-LABEL: define dso_local void @f_floatcomplex_s_arg_insufficient_fprs2
+// LP64-SAME: (float noundef [[A:%.*]], i64 [[B_COERCE:%.*]], i64 [[C_COERCE:%.*]], i64 [[D_COERCE:%.*]], i64 [[E_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_floatcomplex_s_arg_insufficient_fprs2
+// LP64F-LP64D-SAME: (float noundef [[A:%.*]], float [[TMP0:%.*]], float [[TMP1:%.*]], float [[TMP2:%.*]], float [[TMP3:%.*]], float [[TMP4:%.*]], float [[TMP5:%.*]], i64 [[E_COERCE:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_floatcomplex_s_arg_insufficient_fprs2(float a,
+                                             struct floatcomplex_s b,
+                                             struct floatcomplex_s c,
+                                             struct floatcomplex_s d,
+                                             struct floatcomplex_s e) {}
+
+// Test single or two-element structs that need flattening. e.g. those
+// containing nested structs, floats in small arrays, zero-length structs etc.
+
+struct floatarr1_s { float a[1]; };
+
+// LP64-LABEL: define dso_local void @f_floatarr1_s_arg
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_floatarr1_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_floatarr1_s_arg(struct floatarr1_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_floatarr1_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local float @f_ret_floatarr1_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct floatarr1_s f_ret_floatarr1_s(void) {
+  return (struct floatarr1_s){{1.0}};
+}
+
+struct floatarr2_s { float a[2]; };
+
+// LP64-LABEL: define dso_local void @f_floatarr2_s_arg
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_floatarr2_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_floatarr2_s_arg(struct floatarr2_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_floatarr2_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local { float, float } @f_ret_floatarr2_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct floatarr2_s f_ret_floatarr2_s(void) {
+  return (struct floatarr2_s){{1.0, 2.0}};
+}
+
+struct floatarr2_tricky1_s { struct { float f[1]; } g[2]; };
+
+// LP64-LABEL: define dso_local void @f_floatarr2_tricky1_s_arg
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_floatarr2_tricky1_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_floatarr2_tricky1_s_arg(struct floatarr2_tricky1_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_floatarr2_tricky1_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky1_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct floatarr2_tricky1_s f_ret_floatarr2_tricky1_s(void) {
+  return (struct floatarr2_tricky1_s){{{{1.0}}, {{2.0}}}};
+}
+
+struct floatarr2_tricky2_s { struct {}; struct { float f[1]; } g[2]; };
+
+// LP64-LABEL: define dso_local void @f_floatarr2_tricky2_s_arg
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_floatarr2_tricky2_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_floatarr2_tricky2_s_arg(struct floatarr2_tricky2_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_floatarr2_tricky2_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky2_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct floatarr2_tricky2_s f_ret_floatarr2_tricky2_s(void) {
+  return (struct floatarr2_tricky2_s){{}, {{{1.0}}, {{2.0}}}};
+}
+
+struct floatarr2_tricky3_s { union {}; struct { float f[1]; } g[2]; };
+
+// LP64-LABEL: define dso_local void @f_floatarr2_tricky3_s_arg
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_floatarr2_tricky3_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_floatarr2_tricky3_s_arg(struct floatarr2_tricky3_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_floatarr2_tricky3_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky3_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct floatarr2_tricky3_s f_ret_floatarr2_tricky3_s(void) {
+  return (struct floatarr2_tricky3_s){{}, {{{1.0}}, {{2.0}}}};
+}
+
+struct floatarr2_tricky4_s { union {}; struct { struct {}; float f[1]; } g[2]; };
+
+// LP64-LABEL: define dso_local void @f_floatarr2_tricky4_s_arg
+// LP64-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local void @f_floatarr2_tricky4_s_arg
+// LP64F-LP64D-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+void f_floatarr2_tricky4_s_arg(struct floatarr2_tricky4_s a) {}
+
+// LP64-LABEL: define dso_local i64 @f_ret_floatarr2_tricky4_s
+// LP64-SAME: () #[[ATTR0]] {
+// LP64:  entry:
+//
+// LP64F-LP64D-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky4_s
+// LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64F-LP64D:  entry:
+//
+struct floatarr2_tricky4_s f_ret_floatarr2_tricky4_s(void) {
+  return (struct floatarr2_tricky4_s){{}, {{{}, {1.0}}, {{}, {2.0}}}};
+}
+
+// Test structs that should be passed according to the normal integer calling
+// convention.
+
+struct int_float_int_s { int a; float b; int c; };
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_int_float_int_s_arg
+// LP64-LP64F-LP64D-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_int_float_int_s_arg(struct int_float_int_s a) {}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local [2 x i64] @f_ret_int_float_int_s
+// LP64-LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+struct int_float_int_s f_ret_int_float_int_s(void) {
+  return (struct int_float_int_s){1, 2.0, 3};
+}
+
+struct char_char_float_s { char a; char b; float c; };
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_char_char_float_s_arg
+// LP64-LP64F-LP64D-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_char_char_float_s_arg(struct char_char_float_s a) {}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local i64 @f_ret_char_char_float_s
+// LP64-LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+struct char_char_float_s f_ret_char_char_float_s(void) {
+  return (struct char_char_float_s){1, 2, 3.0};
+}
+
+// Unions are always passed according to the integer calling convention, even
+// if they can only contain a float.
+
+union float_u { float a; };
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_float_u_arg
+// LP64-LP64F-LP64D-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_float_u_arg(union float_u a) {}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local i64 @f_ret_float_u
+// LP64-LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+union float_u f_ret_float_u(void) {
+  return (union float_u){1.0};
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_fpr_tracking2
+// LP64-LP64F-LP64D-SAME: (double noundef [[A:%.*]], double noundef [[B:%.*]], double noundef [[C:%.*]], double noundef [[D:%.*]], double noundef [[E:%.*]], double noundef [[F:%.*]], double noundef [[G:%.*]], double noundef [[H:%.*]], i8 noundef zeroext [[I:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_fpr_tracking2(double a, double b, double c, double d, double e, double f,
+                     double g, double h, uint8_t i) {}
+
+// Check that fp, fp+fp, and int+fp structs are lowered correctly. These will
+// be passed in FPR, FPR+FPR, or GPR+FPR regs if sufficient registers are
+// available the widths are <= XLEN and FLEN, and should be expanded to
+// separate arguments in IR. They are passed by the same rules for returns,
+// but will be lowered to simple two-element structs if necessary (as LLVM IR
+// functions cannot return multiple values).
+
+// A struct containing just one floating-point real is passed as though it
+// were a standalone floating-point real.
+
+struct double_s { double f; };
+
+// LP64-LP64F-LABEL: define dso_local void @f_double_s_arg
+// LP64-LP64F-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_double_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_double_s_arg(struct double_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local i64 @f_ret_double_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local double @f_ret_double_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct double_s f_ret_double_s(void) {
+  return (struct double_s){1.0};
+}
+
+// A struct containing a double and any number of zero-width bitfields is
+// passed as though it were a standalone floating-point real.
+
+struct zbf_double_s { int : 0; double f; };
+struct zbf_double_zbf_s { int : 0; double f; int : 0; };
+
+// LP64-LP64F-LABEL: define dso_local void @f_zbf_double_s_arg
+// LP64-LP64F-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_zbf_double_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_zbf_double_s_arg(struct zbf_double_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local i64 @f_ret_zbf_double_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local double @f_ret_zbf_double_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct zbf_double_s f_ret_zbf_double_s(void) {
+  return (struct zbf_double_s){1.0};
+}
+
+// LP64-LP64F-LABEL: define dso_local void @f_zbf_double_zbf_s_arg
+// LP64-LP64F-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_zbf_double_zbf_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_zbf_double_zbf_s_arg(struct zbf_double_zbf_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local i64 @f_ret_zbf_double_zbf_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local double @f_ret_zbf_double_zbf_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct zbf_double_zbf_s f_ret_zbf_double_zbf_s(void) {
+  return (struct zbf_double_zbf_s){1.0};
+}
+
+// Check that structs containing two floating point values (FLEN <= width) are
+// expanded provided sufficient FPRs are available.
+
+struct double_double_s { double f; double g; };
+struct double_float_s { double f; float g; };
+
+// LP64-LP64F-LABEL: define dso_local void @f_double_double_s_arg
+// LP64-LP64F-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_double_double_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_double_double_s_arg(struct double_double_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local [2 x i64] @f_ret_double_double_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, double } @f_ret_double_double_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct double_double_s f_ret_double_double_s(void) {
+  return (struct double_double_s){1.0, 2.0};
+}
+
+// LP64-LP64F-LABEL: define dso_local void @f_double_float_s_arg
+// LP64-LP64F-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_double_float_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_double_float_s_arg(struct double_float_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local [2 x i64] @f_ret_double_float_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, float } @f_ret_double_float_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct double_float_s f_ret_double_float_s(void) {
+  return (struct double_float_s){1.0, 2.0};
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_double_double_s_arg_insufficient_fprs
+// LP64-LP64F-LP64D-SAME: (float noundef [[A:%.*]], double noundef [[B:%.*]], double noundef [[C:%.*]], double noundef [[D:%.*]], double noundef [[E:%.*]], double noundef [[F:%.*]], double noundef [[G:%.*]], [2 x i64] [[H_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_double_double_s_arg_insufficient_fprs(float a, double b, double c, double d,
+    double e, double f, double g, struct double_double_s h) {}
+
+// Check that structs containing int+double values are expanded, provided
+// sufficient FPRs and GPRs are available. The integer components are neither
+// sign or zero-extended.
+
+struct double_int8_s { double f; int8_t i; };
+struct double_uint8_s { double f; uint8_t i; };
+struct double_int32_s { double f; int32_t i; };
+struct double_int64_s { double f; int64_t i; };
+struct double_int128bf_s { double f; __int128_t i : 64; };
+struct double_int8_zbf_s { double f; int8_t i; int : 0; };
+
+// LP64-LP64F-LABEL: define dso_local void @f_double_int8_s_arg
+// LP64-LP64F-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_double_int8_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_double_int8_s_arg(struct double_int8_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local [2 x i64] @f_ret_double_int8_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, i8 } @f_ret_double_int8_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct double_int8_s f_ret_double_int8_s(void) {
+  return (struct double_int8_s){1.0, 2};
+}
+
+// LP64-LP64F-LABEL: define dso_local void @f_double_uint8_s_arg
+// LP64-LP64F-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_double_uint8_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_double_uint8_s_arg(struct double_uint8_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local [2 x i64] @f_ret_double_uint8_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, i8 } @f_ret_double_uint8_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct double_uint8_s f_ret_double_uint8_s(void) {
+  return (struct double_uint8_s){1.0, 2};
+}
+
+// LP64-LP64F-LABEL: define dso_local void @f_double_int32_s_arg
+// LP64-LP64F-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_double_int32_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_double_int32_s_arg(struct double_int32_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local [2 x i64] @f_ret_double_int32_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, i32 } @f_ret_double_int32_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct double_int32_s f_ret_double_int32_s(void) {
+  return (struct double_int32_s){1.0, 2};
+}
+
+// LP64-LP64F-LABEL: define dso_local void @f_double_int64_s_arg
+// LP64-LP64F-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_double_int64_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]], i64 [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_double_int64_s_arg(struct double_int64_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local [2 x i64] @f_ret_double_int64_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, i64 } @f_ret_double_int64_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct double_int64_s f_ret_double_int64_s(void) {
+  return (struct double_int64_s){1.0, 2};
+}
+
+// LP64-LP64F-LABEL: define dso_local void @f_double_int128bf_s_arg
+// LP64-LP64F-SAME: (i128 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_double_int128bf_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]], i64 [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_double_int128bf_s_arg(struct double_int128bf_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local i128 @f_ret_double_int128bf_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, i64 } @f_ret_double_int128bf_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct double_int128bf_s f_ret_double_int128bf_s(void) {
+  return (struct double_int128bf_s){1.0, 2};
+}
+
+// The zero-width bitfield means the struct can't be passed according to the
+// floating point calling convention.
+
+// LP64-LP64F-LABEL: define dso_local void @f_double_int8_zbf_s
+// LP64-LP64F-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_double_int8_zbf_s
+// LP64D-SAME: (double [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_double_int8_zbf_s(struct double_int8_zbf_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local [2 x i64] @f_ret_double_int8_zbf_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, i8 } @f_ret_double_int8_zbf_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct double_int8_zbf_s f_ret_double_int8_zbf_s(void) {
+  return (struct double_int8_zbf_s){1.0, 2};
+}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_double_int8_s_arg_insufficient_gprs
+// LP64-LP64F-LP64D-SAME: (i32 noundef signext [[A:%.*]], i32 noundef signext [[B:%.*]], i32 noundef signext [[C:%.*]], i32 noundef signext [[D:%.*]], i32 noundef signext [[E:%.*]], i32 noundef signext [[F:%.*]], i32 noundef signext [[G:%.*]], i32 noundef signext [[H:%.*]], [2 x i64] [[I_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_double_int8_s_arg_insufficient_gprs(int a, int b, int c, int d, int e,
+                                          int f, int g, int h, struct double_int8_s i) {}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_struct_double_int8_insufficient_fprs
+// LP64-LP64F-LP64D-SAME: (float noundef [[A:%.*]], double noundef [[B:%.*]], double noundef [[C:%.*]], double noundef [[D:%.*]], double noundef [[E:%.*]], double noundef [[F:%.*]], double noundef [[G:%.*]], double noundef [[H:%.*]], [2 x i64] [[I_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_struct_double_int8_insufficient_fprs(float a, double b, double c, double d,
+                                           double e, double f, double g, double h, struct double_int8_s i) {}
+
+// Complex floating-point values or structs containing a single complex
+// floating-point value should be passed as if it were an fp+fp struct.
+
+// LP64-LP64F-LABEL: define dso_local void @f_doublecomplex
+// LP64-LP64F-SAME: ([2 x i64] noundef [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_doublecomplex
+// LP64D-SAME: (double noundef [[A_COERCE0:%.*]], double noundef [[A_COERCE1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_doublecomplex(double __complex__ a) {}
+
+// LP64-LP64F-LABEL: define dso_local [2 x i64] @f_ret_doublecomplex
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, double } @f_ret_doublecomplex
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+double __complex__ f_ret_doublecomplex(void) {
+  return 1.0;
+}
+
+struct doublecomplex_s { double __complex__ c; };
+
+// LP64-LP64F-LABEL: define dso_local void @f_doublecomplex_s_arg
+// LP64-LP64F-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_doublecomplex_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_doublecomplex_s_arg(struct doublecomplex_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local [2 x i64] @f_ret_doublecomplex_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, double } @f_ret_doublecomplex_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct doublecomplex_s f_ret_doublecomplex_s(void) {
+  return (struct doublecomplex_s){1.0};
+}
+
+// Test single or two-element structs that need flattening. e.g. those
+// containing nested structs, doubles in small arrays, zero-length structs etc.
+
+struct doublearr1_s { double a[1]; };
+
+// LP64-LP64F-LABEL: define dso_local void @f_doublearr1_s_arg
+// LP64-LP64F-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_doublearr1_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_doublearr1_s_arg(struct doublearr1_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local i64 @f_ret_doublearr1_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local double @f_ret_doublearr1_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct doublearr1_s f_ret_doublearr1_s(void) {
+  return (struct doublearr1_s){{1.0}};
+}
+
+struct doublearr2_s { double a[2]; };
+
+// LP64-LP64F-LABEL: define dso_local void @f_doublearr2_s_arg
+// LP64-LP64F-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_doublearr2_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_doublearr2_s_arg(struct doublearr2_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local [2 x i64] @f_ret_doublearr2_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, double } @f_ret_doublearr2_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct doublearr2_s f_ret_doublearr2_s(void) {
+  return (struct doublearr2_s){{1.0, 2.0}};
+}
+
+struct doublearr2_tricky1_s { struct { double f[1]; } g[2]; };
+
+// LP64-LP64F-LABEL: define dso_local void @f_doublearr2_tricky1_s_arg
+// LP64-LP64F-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_doublearr2_tricky1_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_doublearr2_tricky1_s_arg(struct doublearr2_tricky1_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local [2 x i64] @f_ret_doublearr2_tricky1_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky1_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct doublearr2_tricky1_s f_ret_doublearr2_tricky1_s(void) {
+  return (struct doublearr2_tricky1_s){{{{1.0}}, {{2.0}}}};
+}
+
+struct doublearr2_tricky2_s { struct {}; struct { double f[1]; } g[2]; };
+
+// LP64-LP64F-LABEL: define dso_local void @f_doublearr2_tricky2_s_arg
+// LP64-LP64F-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_doublearr2_tricky2_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_doublearr2_tricky2_s_arg(struct doublearr2_tricky2_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local [2 x i64] @f_ret_doublearr2_tricky2_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky2_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct doublearr2_tricky2_s f_ret_doublearr2_tricky2_s(void) {
+  return (struct doublearr2_tricky2_s){{}, {{{1.0}}, {{2.0}}}};
+}
+
+struct doublearr2_tricky3_s { union {}; struct { double f[1]; } g[2]; };
+
+// LP64-LP64F-LABEL: define dso_local void @f_doublearr2_tricky3_s_arg
+// LP64-LP64F-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_doublearr2_tricky3_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_doublearr2_tricky3_s_arg(struct doublearr2_tricky3_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local [2 x i64] @f_ret_doublearr2_tricky3_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky3_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct doublearr2_tricky3_s f_ret_doublearr2_tricky3_s(void) {
+  return (struct doublearr2_tricky3_s){{}, {{{1.0}}, {{2.0}}}};
+}
+
+struct doublearr2_tricky4_s { union {}; struct { struct {}; double f[1]; } g[2]; };
+
+// LP64-LP64F-LABEL: define dso_local void @f_doublearr2_tricky4_s_arg
+// LP64-LP64F-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local void @f_doublearr2_tricky4_s_arg
+// LP64D-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
+// LP64D:  entry:
+//
+void f_doublearr2_tricky4_s_arg(struct doublearr2_tricky4_s a) {}
+
+// LP64-LP64F-LABEL: define dso_local [2 x i64] @f_ret_doublearr2_tricky4_s
+// LP64-LP64F-SAME: () #[[ATTR0]] {
+// LP64-LP64F:  entry:
+//
+// LP64D-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky4_s
+// LP64D-SAME: () #[[ATTR0]] {
+// LP64D:  entry:
+//
+struct doublearr2_tricky4_s f_ret_doublearr2_tricky4_s(void) {
+  return (struct doublearr2_tricky4_s){{}, {{{}, {1.0}}, {{}, {2.0}}}};
+}
+
+// Test structs that should be passed according to the normal integer calling
+// convention.
+
+struct int_double_int_s { int a; double b; int c; };
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_int_double_int_s_arg
+// LP64-LP64F-LP64D-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_int_double_int_s_arg(struct int_double_int_s a) {}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_ret_int_double_int_s
+// LP64-LP64F-LP64D-SAME: (ptr noalias sret([[STRUCT_INT_DOUBLE_INT_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+struct int_double_int_s f_ret_int_double_int_s(void) {
+  return (struct int_double_int_s){1, 2.0, 3};
+}
+
+struct char_char_double_s { char a; char b; double c; };
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_char_char_double_s_arg
+// LP64-LP64F-LP64D-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_char_char_double_s_arg(struct char_char_double_s a) {}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local [2 x i64] @f_ret_char_char_double_s
+// LP64-LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+struct char_char_double_s f_ret_char_char_double_s(void) {
+  return (struct char_char_double_s){1, 2, 3.0};
+}
+
+// Unions are always passed according to the integer calling convention, even
+// if they can only contain a double.
+
+union double_u { double a; };
+
+// LP64-LP64F-LP64D-LABEL: define dso_local void @f_double_u_arg
+// LP64-LP64F-LP64D-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+void f_double_u_arg(union double_u a) {}
+
+// LP64-LP64F-LP64D-LABEL: define dso_local i64 @f_ret_double_u
+// LP64-LP64F-LP64D-SAME: () #[[ATTR0]] {
+// LP64-LP64F-LP64D:  entry:
+//
+union double_u f_ret_double_u(void) {
+  return (union double_u){1.0};
+}
+//// NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
+// LP64F: {{.*}}

clang/test/CodeGen/RISCV/riscv64-lp64-abi.c

-// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --filter "^define |^entry:" --version 2
-// RUN: %clang_cc1 -triple riscv64 -emit-llvm %s -o - | FileCheck %s
-
-// This file contains test cases that will have different output for lp64 vs
-// the other 64-bit ABIs.
-
-#include <stddef.h>
-#include <stdint.h>
-
-struct large {
-  int64_t a, b, c, d;
-};
-
-typedef unsigned char v32i8 __attribute__((vector_size(32)));
-
-// Scalars passed on the stack should have signext/zeroext attributes, just as
-// if they were passed in registers.
-
-// CHECK-LABEL: define dso_local signext i32 @f_scalar_stack_1
-// CHECK-SAME: (i32 noundef signext [[A:%.*]], i128 noundef [[B:%.*]], float noundef [[C:%.*]], fp128 noundef [[D:%.*]], ptr noundef [[TMP0:%.*]], i8 noundef zeroext [[F:%.*]], i8 noundef signext [[G:%.*]], i8 noundef zeroext [[H:%.*]]) #[[ATTR0:[0-9]+]] {
-// CHECK:  entry:
-//
-int f_scalar_stack_1(int32_t a, __int128_t b, float c, long double d, v32i8 e,
-                     uint8_t f, int8_t g, uint8_t h) {
-  return g + h;
-}
-
-// CHECK-LABEL: define dso_local void @f_scalar_stack_2
-// CHECK-SAME: (ptr noalias sret([[STRUCT_LARGE:%.*]]) align 8 [[AGG_RESULT:%.*]], double noundef [[A:%.*]], i128 noundef [[B:%.*]], fp128 noundef [[C:%.*]], ptr noundef [[TMP0:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct large f_scalar_stack_2(double a, __int128_t b, long double c, v32i8 d,
-                              uint8_t e, int8_t f, uint8_t g) {
-  return (struct large){a, e, f, g};
-}
-
-// Complex floating-point values or structs containing a single complex
-// floating-point value should be passed in a GPR.
-
-// CHECK-LABEL: define dso_local void @f_floatcomplex
-// CHECK-SAME: (i64 noundef [[A_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatcomplex(float __complex__ a) {}
-
-// CHECK-LABEL: define dso_local i64 @f_ret_floatcomplex
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-float __complex__ f_ret_floatcomplex(void) {
-  return 1.0;
-}
-
-struct floatcomplex_s { float __complex__ c; };
-
-// CHECK-LABEL: define dso_local void @f_floatcomplex_s_arg
-// CHECK-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatcomplex_s_arg(struct floatcomplex_s a) {}
-
-// CHECK-LABEL: define dso_local i64 @f_ret_floatcomplex_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatcomplex_s f_ret_floatcomplex_s(void) {
-  return (struct floatcomplex_s){1.0};
-}

clang/test/CodeGen/RISCV/riscv64-lp64-lp64f-abi.c

-// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --filter "^define |^entry:" --version 2
-// RUN: %clang_cc1 -triple riscv64 -emit-llvm %s -o - | FileCheck %s
-// RUN: %clang_cc1 -triple riscv64 -target-feature +f -target-abi lp64f -emit-llvm %s -o - \
-// RUN:     | FileCheck %s
-
-// This file contains test cases that will have the same output for the lp64
-// and lp64f ABIs.
-
-#include <stddef.h>
-#include <stdint.h>
-
-struct large {
-  int64_t a, b, c, d;
-};
-
-typedef unsigned char v32i8 __attribute__((vector_size(32)));
-
-// Scalars passed on the stack should have signext/zeroext attributes, just as
-// if they were passed in registers.
-
-// CHECK-LABEL: define dso_local signext i32 @f_scalar_stack_1
-// CHECK-SAME: (i32 noundef signext [[A:%.*]], i128 noundef [[B:%.*]], double noundef [[C:%.*]], fp128 noundef [[D:%.*]], ptr noundef [[TMP0:%.*]], i8 noundef zeroext [[F:%.*]], i8 noundef signext [[G:%.*]], i8 noundef zeroext [[H:%.*]]) #[[ATTR0:[0-9]+]] {
-// CHECK:  entry:
-//
-int f_scalar_stack_1(int32_t a, __int128_t b, double c, long double d, v32i8 e,
-                     uint8_t f, int8_t g, uint8_t h) {
-  return g + h;
-}
-
-// CHECK-LABEL: define dso_local void @f_scalar_stack_2
-// CHECK-SAME: (ptr noalias sret([[STRUCT_LARGE:%.*]]) align 8 [[AGG_RESULT:%.*]], double noundef [[A:%.*]], i128 noundef [[B:%.*]], fp128 noundef [[C:%.*]], ptr noundef [[TMP0:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct large f_scalar_stack_2(double a, __int128_t b, long double c, v32i8 d,
-                              uint8_t e, int8_t f, uint8_t g) {
-  return (struct large){a, e, f, g};
-}

clang/test/CodeGen/RISCV/riscv64-lp64-lp64f-lp64d-abi.c

-// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --filter "^define |^entry:" --version 2
-// RUN: %clang_cc1 -triple riscv64 -emit-llvm %s -o - | FileCheck %s
-// RUN: %clang_cc1 -triple riscv64 -target-feature +f -target-abi lp64f -emit-llvm %s -o - \
-// RUN:     | FileCheck %s
-// RUN: %clang_cc1 -triple riscv64 -target-feature +d -target-feature +f -target-abi lp64d -emit-llvm %s -o - \
-// RUN:     | FileCheck %s
-
-// This file contains test cases that will have the same output for the lp64,
-// lp64f, and lp64d ABIs.
-
-#include <stddef.h>
-#include <stdint.h>
-
-// CHECK-LABEL: define dso_local void @f_void
-// CHECK-SAME: () #[[ATTR0:[0-9]+]] {
-// CHECK:  entry:
-//
-void f_void(void) {}
-
-// Scalar arguments and return values smaller than the word size are extended
-// according to the sign of their type, up to 32 bits
-
-// CHECK-LABEL: define dso_local zeroext i1 @f_scalar_0
-// CHECK-SAME: (i1 noundef zeroext [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-_Bool f_scalar_0(_Bool x) { return x; }
-
-// CHECK-LABEL: define dso_local signext i8 @f_scalar_1
-// CHECK-SAME: (i8 noundef signext [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-int8_t f_scalar_1(int8_t x) { return x; }
-
-// CHECK-LABEL: define dso_local zeroext i8 @f_scalar_2
-// CHECK-SAME: (i8 noundef zeroext [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-uint8_t f_scalar_2(uint8_t x) { return x; }
-
-// CHECK-LABEL: define dso_local signext i32 @f_scalar_3
-// CHECK-SAME: (i32 noundef signext [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-uint32_t f_scalar_3(int32_t x) { return x; }
-
-// CHECK-LABEL: define dso_local i64 @f_scalar_4
-// CHECK-SAME: (i64 noundef [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-int64_t f_scalar_4(int64_t x) { return x; }
-
-// CHECK-LABEL: define dso_local float @f_fp_scalar_1
-// CHECK-SAME: (float noundef [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-float f_fp_scalar_1(float x) { return x; }
-
-// CHECK-LABEL: define dso_local double @f_fp_scalar_2
-// CHECK-SAME: (double noundef [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-double f_fp_scalar_2(double x) { return x; }
-
-// CHECK-LABEL: define dso_local fp128 @f_fp_scalar_3
-// CHECK-SAME: (fp128 noundef [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-long double f_fp_scalar_3(long double x) { return x; }
-
-// Empty structs or unions are ignored.
-
-struct empty_s {};
-
-// CHECK-LABEL: define dso_local void @f_agg_empty_struct
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct empty_s f_agg_empty_struct(struct empty_s x) {
-  return x;
-}
-
-union empty_u {};
-
-// CHECK-LABEL: define dso_local void @f_agg_empty_union
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-union empty_u f_agg_empty_union(union empty_u x) {
-  return x;
-}
-
-// Aggregates <= 2*xlen may be passed in registers, so will be coerced to
-// integer arguments. The rules for return are the same.
-
-struct tiny {
-  uint16_t a, b, c, d;
-};
-
-// CHECK-LABEL: define dso_local void @f_agg_tiny
-// CHECK-SAME: (i64 [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_agg_tiny(struct tiny x) {
-  x.a += x.b;
-  x.c += x.d;
-}
-
-// CHECK-LABEL: define dso_local i64 @f_agg_tiny_ret
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct tiny f_agg_tiny_ret(void) {
-  return (struct tiny){1, 2, 3, 4};
-}
-
-typedef uint16_t v4i16 __attribute__((vector_size(8)));
-typedef int64_t v1i64 __attribute__((vector_size(8)));
-
-// CHECK-LABEL: define dso_local void @f_vec_tiny_v4i16
-// CHECK-SAME: (i64 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_vec_tiny_v4i16(v4i16 x) {
-  x[0] = x[1];
-  x[2] = x[3];
-}
-
-// CHECK-LABEL: define dso_local i64 @f_vec_tiny_v4i16_ret
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-v4i16 f_vec_tiny_v4i16_ret(void) {
-  return (v4i16){1, 2, 3, 4};
-}
-
-// CHECK-LABEL: define dso_local void @f_vec_tiny_v1i64
-// CHECK-SAME: (i64 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_vec_tiny_v1i64(v1i64 x) {
-  x[0] = 114;
-}
-
-// CHECK-LABEL: define dso_local i64 @f_vec_tiny_v1i64_ret
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-v1i64 f_vec_tiny_v1i64_ret(void) {
-  return (v1i64){1};
-}
-
-struct small {
-  int64_t a, *b;
-};
-
-// CHECK-LABEL: define dso_local void @f_agg_small
-// CHECK-SAME: ([2 x i64] [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_agg_small(struct small x) {
-  x.a += *x.b;
-  x.b = &x.a;
-}
-
-// CHECK-LABEL: define dso_local [2 x i64] @f_agg_small_ret
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct small f_agg_small_ret(void) {
-  return (struct small){1, 0};
-}
-
-typedef uint16_t v8i16 __attribute__((vector_size(16)));
-typedef __int128_t v1i128 __attribute__((vector_size(16)));
-
-// CHECK-LABEL: define dso_local void @f_vec_small_v8i16
-// CHECK-SAME: (i128 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_vec_small_v8i16(v8i16 x) {
-  x[0] = x[7];
-}
-
-// CHECK-LABEL: define dso_local i128 @f_vec_small_v8i16_ret
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-v8i16 f_vec_small_v8i16_ret(void) {
-  return (v8i16){1, 2, 3, 4, 5, 6, 7, 8};
-}
-
-// CHECK-LABEL: define dso_local void @f_vec_small_v1i128
-// CHECK-SAME: (i128 noundef [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_vec_small_v1i128(v1i128 x) {
-  x[0] = 114;
-}
-
-// CHECK-LABEL: define dso_local i128 @f_vec_small_v1i128_ret
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-v1i128 f_vec_small_v1i128_ret(void) {
-  return (v1i128){1};
-}
-
-// Aggregates of 2*xlen size and 2*xlen alignment should be coerced to a
-// single 2*xlen-sized argument, to ensure that alignment can be maintained if
-// passed on the stack.
-
-struct small_aligned {
-  __int128_t a;
-};
-
-// CHECK-LABEL: define dso_local void @f_agg_small_aligned
-// CHECK-SAME: (i128 [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_agg_small_aligned(struct small_aligned x) {
-  x.a += x.a;
-}
-
-// CHECK-LABEL: define dso_local i128 @f_agg_small_aligned_ret
-// CHECK-SAME: (i128 [[X_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct small_aligned f_agg_small_aligned_ret(struct small_aligned x) {
-  return (struct small_aligned){10};
-}
-
-// Aggregates greater > 2*xlen will be passed and returned indirectly
-struct large {
-  int64_t a, b, c, d;
-};
-
-// CHECK-LABEL: define dso_local void @f_agg_large
-// CHECK-SAME: (ptr noundef [[X:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_agg_large(struct large x) {
-  x.a = x.b + x.c + x.d;
-}
-
-// The address where the struct should be written to will be the first
-// argument
-// CHECK-LABEL: define dso_local void @f_agg_large_ret
-// CHECK-SAME: (ptr noalias sret([[STRUCT_LARGE:%.*]]) align 8 [[AGG_RESULT:%.*]], i32 noundef signext [[I:%.*]], i8 noundef signext [[J:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct large f_agg_large_ret(int32_t i, int8_t j) {
-  return (struct large){1, 2, 3, 4};
-}
-
-typedef unsigned char v32i8 __attribute__((vector_size(32)));
-
-// CHECK-LABEL: define dso_local void @f_vec_large_v32i8
-// CHECK-SAME: (ptr noundef [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_vec_large_v32i8(v32i8 x) {
-  x[0] = x[7];
-}
-
-// CHECK-LABEL: define dso_local void @f_vec_large_v32i8_ret
-// CHECK-SAME: (ptr noalias sret(<32 x i8>) align 32 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-v32i8 f_vec_large_v32i8_ret(void) {
-  return (v32i8){1, 2, 3, 4, 5, 6, 7, 8};
-}
-
-// Scalars passed on the stack should have signext/zeroext attributes, just as
-// if they were passed in registers.
-
-// CHECK-LABEL: define dso_local signext i32 @f_scalar_stack_1
-// CHECK-SAME: (i64 [[A_COERCE:%.*]], [2 x i64] [[B_COERCE:%.*]], i128 [[C_COERCE:%.*]], ptr noundef [[D:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]], i8 noundef signext [[H:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-int f_scalar_stack_1(struct tiny a, struct small b, struct small_aligned c,
-                     struct large d, uint8_t e, int8_t f, uint8_t g, int8_t h) {
-  return g + h;
-}
-
-// CHECK-LABEL: define dso_local signext i32 @f_scalar_stack_2
-// CHECK-SAME: (i32 noundef signext [[A:%.*]], i128 noundef [[B:%.*]], i64 noundef [[C:%.*]], fp128 noundef [[D:%.*]], ptr noundef [[TMP0:%.*]], i8 noundef zeroext [[F:%.*]], i8 noundef signext [[G:%.*]], i8 noundef zeroext [[H:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-int f_scalar_stack_2(int32_t a, __int128_t b, int64_t c, long double d, v32i8 e,
-                     uint8_t f, int8_t g, uint8_t h) {
-  return g + h;
-}
-
-// Ensure that scalars passed on the stack are still determined correctly in
-// the presence of large return values that consume a register due to the need
-// to pass a pointer.
-
-// CHECK-LABEL: define dso_local void @f_scalar_stack_3
-// CHECK-SAME: (ptr noalias sret([[STRUCT_LARGE:%.*]]) align 8 [[AGG_RESULT:%.*]], i32 noundef signext [[A:%.*]], i128 noundef [[B:%.*]], fp128 noundef [[C:%.*]], ptr noundef [[TMP0:%.*]], i8 noundef zeroext [[E:%.*]], i8 noundef signext [[F:%.*]], i8 noundef zeroext [[G:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct large f_scalar_stack_3(uint32_t a, __int128_t b, long double c, v32i8 d,
-                              uint8_t e, int8_t f, uint8_t g) {
-  return (struct large){a, e, f, g};
-}

clang/test/CodeGen/RISCV/riscv64-lp64d-abi.c

-// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --filter "^define |^entry:" --version 2
-// RUN: %clang_cc1 -triple riscv64 -target-feature +d -target-feature +f -target-abi lp64d -emit-llvm %s -o - \
-// RUN:     | FileCheck %s
-
-#include <stdint.h>
-
-// Verify that the tracking of used GPRs and FPRs works correctly by checking
-// that small integers are sign/zero extended when passed in registers.
-
-// Doubles are passed in FPRs, so argument 'i' will be passed zero-extended
-// because it will be passed in a GPR.
-
-// CHECK-LABEL: define dso_local void @f_fpr_tracking
-// CHECK-SAME: (double noundef [[A:%.*]], double noundef [[B:%.*]], double noundef [[C:%.*]], double noundef [[D:%.*]], double noundef [[E:%.*]], double noundef [[F:%.*]], double noundef [[G:%.*]], double noundef [[H:%.*]], i8 noundef zeroext [[I:%.*]]) #[[ATTR0:[0-9]+]] {
-// CHECK:  entry:
-//
-void f_fpr_tracking(double a, double b, double c, double d, double e, double f,
-                    double g, double h, uint8_t i) {}
-
-// Check that fp, fp+fp, and int+fp structs are lowered correctly. These will
-// be passed in FPR, FPR+FPR, or GPR+FPR regs if sufficient registers are
-// available the widths are <= XLEN and FLEN, and should be expanded to
-// separate arguments in IR. They are passed by the same rules for returns,
-// but will be lowered to simple two-element structs if necessary (as LLVM IR
-// functions cannot return multiple values).
-
-// A struct containing just one floating-point real is passed as though it
-// were a standalone floating-point real.
-
-struct double_s { double f; };
-
-// CHECK-LABEL: define dso_local void @f_double_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_s_arg(struct double_s a) {}
-
-// CHECK-LABEL: define dso_local double @f_ret_double_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_s f_ret_double_s(void) {
-  return (struct double_s){1.0};
-}
-
-// A struct containing a double and any number of zero-width bitfields is
-// passed as though it were a standalone floating-point real.
-
-struct zbf_double_s { int : 0; double f; };
-struct zbf_double_zbf_s { int : 0; double f; int : 0; };
-
-// CHECK-LABEL: define dso_local void @f_zbf_double_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_zbf_double_s_arg(struct zbf_double_s a) {}
-
-// CHECK-LABEL: define dso_local double @f_ret_zbf_double_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct zbf_double_s f_ret_zbf_double_s(void) {
-  return (struct zbf_double_s){1.0};
-}
-
-// CHECK-LABEL: define dso_local void @f_zbf_double_zbf_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_zbf_double_zbf_s_arg(struct zbf_double_zbf_s a) {}
-
-// CHECK-LABEL: define dso_local double @f_ret_zbf_double_zbf_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct zbf_double_zbf_s f_ret_zbf_double_zbf_s(void) {
-  return (struct zbf_double_zbf_s){1.0};
-}
-
-// Check that structs containing two floating point values (FLEN <= width) are
-// expanded provided sufficient FPRs are available.
-
-struct double_double_s { double f; double g; };
-struct double_float_s { double f; float g; };
-
-// CHECK-LABEL: define dso_local void @f_double_double_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_double_s_arg(struct double_double_s a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_double_double_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_double_s f_ret_double_double_s(void) {
-  return (struct double_double_s){1.0, 2.0};
-}
-
-// CHECK-LABEL: define dso_local void @f_double_float_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_float_s_arg(struct double_float_s a) {}
-
-// CHECK-LABEL: define dso_local { double, float } @f_ret_double_float_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_float_s f_ret_double_float_s(void) {
-  return (struct double_float_s){1.0, 2.0};
-}
-
-// CHECK-LABEL: define dso_local void @f_double_double_s_arg_insufficient_fprs
-// CHECK-SAME: (float noundef [[A:%.*]], double noundef [[B:%.*]], double noundef [[C:%.*]], double noundef [[D:%.*]], double noundef [[E:%.*]], double noundef [[F:%.*]], double noundef [[G:%.*]], [2 x i64] [[H_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_double_s_arg_insufficient_fprs(float a, double b, double c, double d,
-    double e, double f, double g, struct double_double_s h) {}
-
-// Check that structs containing int+double values are expanded, provided
-// sufficient FPRs and GPRs are available. The integer components are neither
-// sign or zero-extended.
-
-struct double_int8_s { double f; int8_t i; };
-struct double_uint8_s { double f; uint8_t i; };
-struct double_int32_s { double f; int32_t i; };
-struct double_int64_s { double f; int64_t i; };
-struct double_int128bf_s { double f; __int128_t i : 64; };
-struct double_int8_zbf_s { double f; int8_t i; int : 0; };
-
-// CHECK-LABEL: define dso_local void @f_double_int8_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_int8_s_arg(struct double_int8_s a) {}
-
-// CHECK-LABEL: define dso_local { double, i8 } @f_ret_double_int8_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_int8_s f_ret_double_int8_s(void) {
-  return (struct double_int8_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_double_uint8_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_uint8_s_arg(struct double_uint8_s a) {}
-
-// CHECK-LABEL: define dso_local { double, i8 } @f_ret_double_uint8_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_uint8_s f_ret_double_uint8_s(void) {
-  return (struct double_uint8_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_double_int32_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_int32_s_arg(struct double_int32_s a) {}
-
-// CHECK-LABEL: define dso_local { double, i32 } @f_ret_double_int32_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_int32_s f_ret_double_int32_s(void) {
-  return (struct double_int32_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_double_int64_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], i64 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_int64_s_arg(struct double_int64_s a) {}
-
-// CHECK-LABEL: define dso_local { double, i64 } @f_ret_double_int64_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_int64_s f_ret_double_int64_s(void) {
-  return (struct double_int64_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_double_int128bf_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], i64 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_int128bf_s_arg(struct double_int128bf_s a) {}
-
-// CHECK-LABEL: define dso_local { double, i64 } @f_ret_double_int128bf_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_int128bf_s f_ret_double_int128bf_s(void) {
-  return (struct double_int128bf_s){1.0, 2};
-}
-
-// The zero-width bitfield means the struct can't be passed according to the
-// floating point calling convention.
-
-// CHECK-LABEL: define dso_local void @f_double_int8_zbf_s
-// CHECK-SAME: (double [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_int8_zbf_s(struct double_int8_zbf_s a) {}
-
-// CHECK-LABEL: define dso_local { double, i8 } @f_ret_double_int8_zbf_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct double_int8_zbf_s f_ret_double_int8_zbf_s(void) {
-  return (struct double_int8_zbf_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_double_int8_s_arg_insufficient_gprs
-// CHECK-SAME: (i32 noundef signext [[A:%.*]], i32 noundef signext [[B:%.*]], i32 noundef signext [[C:%.*]], i32 noundef signext [[D:%.*]], i32 noundef signext [[E:%.*]], i32 noundef signext [[F:%.*]], i32 noundef signext [[G:%.*]], i32 noundef signext [[H:%.*]], [2 x i64] [[I_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_int8_s_arg_insufficient_gprs(int a, int b, int c, int d, int e,
-                                          int f, int g, int h, struct double_int8_s i) {}
-
-// CHECK-LABEL: define dso_local void @f_struct_double_int8_insufficient_fprs
-// CHECK-SAME: (float noundef [[A:%.*]], double noundef [[B:%.*]], double noundef [[C:%.*]], double noundef [[D:%.*]], double noundef [[E:%.*]], double noundef [[F:%.*]], double noundef [[G:%.*]], double noundef [[H:%.*]], [2 x i64] [[I_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_struct_double_int8_insufficient_fprs(float a, double b, double c, double d,
-                                           double e, double f, double g, double h, struct double_int8_s i) {}
-
-// Complex floating-point values or structs containing a single complex
-// floating-point value should be passed as if it were an fp+fp struct.
-
-// CHECK-LABEL: define dso_local void @f_doublecomplex
-// CHECK-SAME: (double noundef [[A_COERCE0:%.*]], double noundef [[A_COERCE1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublecomplex(double __complex__ a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublecomplex
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-double __complex__ f_ret_doublecomplex(void) {
-  return 1.0;
-}
-
-struct doublecomplex_s { double __complex__ c; };
-
-// CHECK-LABEL: define dso_local void @f_doublecomplex_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublecomplex_s_arg(struct doublecomplex_s a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublecomplex_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct doublecomplex_s f_ret_doublecomplex_s(void) {
-  return (struct doublecomplex_s){1.0};
-}
-
-// Test single or two-element structs that need flattening. e.g. those
-// containing nested structs, doubles in small arrays, zero-length structs etc.
-
-struct doublearr1_s { double a[1]; };
-
-// CHECK-LABEL: define dso_local void @f_doublearr1_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublearr1_s_arg(struct doublearr1_s a) {}
-
-// CHECK-LABEL: define dso_local double @f_ret_doublearr1_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct doublearr1_s f_ret_doublearr1_s(void) {
-  return (struct doublearr1_s){{1.0}};
-}
-
-struct doublearr2_s { double a[2]; };
-
-// CHECK-LABEL: define dso_local void @f_doublearr2_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublearr2_s_arg(struct doublearr2_s a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublearr2_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct doublearr2_s f_ret_doublearr2_s(void) {
-  return (struct doublearr2_s){{1.0, 2.0}};
-}
-
-struct doublearr2_tricky1_s { struct { double f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_doublearr2_tricky1_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublearr2_tricky1_s_arg(struct doublearr2_tricky1_s a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky1_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct doublearr2_tricky1_s f_ret_doublearr2_tricky1_s(void) {
-  return (struct doublearr2_tricky1_s){{{{1.0}}, {{2.0}}}};
-}
-
-struct doublearr2_tricky2_s { struct {}; struct { double f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_doublearr2_tricky2_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublearr2_tricky2_s_arg(struct doublearr2_tricky2_s a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky2_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct doublearr2_tricky2_s f_ret_doublearr2_tricky2_s(void) {
-  return (struct doublearr2_tricky2_s){{}, {{{1.0}}, {{2.0}}}};
-}
-
-struct doublearr2_tricky3_s { union {}; struct { double f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_doublearr2_tricky3_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublearr2_tricky3_s_arg(struct doublearr2_tricky3_s a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky3_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct doublearr2_tricky3_s f_ret_doublearr2_tricky3_s(void) {
-  return (struct doublearr2_tricky3_s){{}, {{{1.0}}, {{2.0}}}};
-}
-
-struct doublearr2_tricky4_s { union {}; struct { struct {}; double f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_doublearr2_tricky4_s_arg
-// CHECK-SAME: (double [[TMP0:%.*]], double [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_doublearr2_tricky4_s_arg(struct doublearr2_tricky4_s a) {}
-
-// CHECK-LABEL: define dso_local { double, double } @f_ret_doublearr2_tricky4_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct doublearr2_tricky4_s f_ret_doublearr2_tricky4_s(void) {
-  return (struct doublearr2_tricky4_s){{}, {{{}, {1.0}}, {{}, {2.0}}}};
-}
-
-// Test structs that should be passed according to the normal integer calling
-// convention.
-
-struct int_double_int_s { int a; double b; int c; };
-
-// CHECK-LABEL: define dso_local void @f_int_double_int_s_arg
-// CHECK-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_int_double_int_s_arg(struct int_double_int_s a) {}
-
-// CHECK-LABEL: define dso_local void @f_ret_int_double_int_s
-// CHECK-SAME: (ptr noalias sret([[STRUCT_INT_DOUBLE_INT_S:%.*]]) align 8 [[AGG_RESULT:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct int_double_int_s f_ret_int_double_int_s(void) {
-  return (struct int_double_int_s){1, 2.0, 3};
-}
-
-struct char_char_double_s { char a; char b; double c; };
-
-// CHECK-LABEL: define dso_local void @f_char_char_double_s_arg
-// CHECK-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_char_char_double_s_arg(struct char_char_double_s a) {}
-
-// CHECK-LABEL: define dso_local [2 x i64] @f_ret_char_char_double_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct char_char_double_s f_ret_char_char_double_s(void) {
-  return (struct char_char_double_s){1, 2, 3.0};
-}
-
-// Unions are always passed according to the integer calling convention, even
-// if they can only contain a double.
-
-union double_u { double a; };
-
-// CHECK-LABEL: define dso_local void @f_double_u_arg
-// CHECK-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_double_u_arg(union double_u a) {}
-
-// CHECK-LABEL: define dso_local i64 @f_ret_double_u
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-union double_u f_ret_double_u(void) {
-  return (union double_u){1.0};
-}

clang/test/CodeGen/RISCV/riscv64-lp64f-lp64d-abi.c

-// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --filter "^define |^entry:" --version 2
-// RUN: %clang_cc1 -triple riscv64 -target-feature +f -target-abi lp64f -emit-llvm %s -o - \
-// RUN:     | FileCheck %s
-// RUN: %clang_cc1 -triple riscv64 -target-feature +d -target-feature +f -target-abi lp64d -emit-llvm %s -o - \
-// RUN:     | FileCheck %s
-
-#include <stdint.h>
-
-// Verify that the tracking of used GPRs and FPRs works correctly by checking
-// that small integers are sign/zero extended when passed in registers.
-
-// Floats are passed in FPRs, so argument 'i' will be passed zero-extended
-// because it will be passed in a GPR.
-
-// CHECK-LABEL: define dso_local void @f_fpr_tracking
-// CHECK-SAME: (float noundef [[A:%.*]], float noundef [[B:%.*]], float noundef [[C:%.*]], float noundef [[D:%.*]], float noundef [[E:%.*]], float noundef [[F:%.*]], float noundef [[G:%.*]], float noundef [[H:%.*]], i8 noundef zeroext [[I:%.*]]) #[[ATTR0:[0-9]+]] {
-// CHECK:  entry:
-//
-void f_fpr_tracking(float a, float b, float c, float d, float e, float f,
-                    float g, float h, uint8_t i) {}
-
-// Check that fp, fp+fp, and int+fp structs are lowered correctly. These will
-// be passed in FPR, FPR+FPR, or GPR+FPR regs if sufficient registers are
-// available the widths are <= XLEN and FLEN, and should be expanded to
-// separate arguments in IR. They are passed by the same rules for returns,
-// but will be lowered to simple two-element structs if necessary (as LLVM IR
-// functions cannot return multiple values).
-
-// A struct containing just one floating-point real is passed as though it
-// were a standalone floating-point real.
-
-struct float_s { float f; };
-
-// CHECK-LABEL: define dso_local void @f_float_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_s_arg(struct float_s a) {}
-
-// CHECK-LABEL: define dso_local float @f_ret_float_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_s f_ret_float_s(void) {
-  return (struct float_s){1.0};
-}
-
-// A struct containing a float and any number of zero-width bitfields is
-// passed as though it were a standalone floating-point real.
-
-struct zbf_float_s { int : 0; float f; };
-struct zbf_float_zbf_s { int : 0; float f; int : 0; };
-
-// CHECK-LABEL: define dso_local void @f_zbf_float_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_zbf_float_s_arg(struct zbf_float_s a) {}
-
-// CHECK-LABEL: define dso_local float @f_ret_zbf_float_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct zbf_float_s f_ret_zbf_float_s(void) {
-  return (struct zbf_float_s){1.0};
-}
-
-// CHECK-LABEL: define dso_local void @f_zbf_float_zbf_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_zbf_float_zbf_s_arg(struct zbf_float_zbf_s a) {}
-
-// CHECK-LABEL: define dso_local float @f_ret_zbf_float_zbf_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct zbf_float_zbf_s f_ret_zbf_float_zbf_s(void) {
-  return (struct zbf_float_zbf_s){1.0};
-}
-
-// Check that structs containing two float values (FLEN <= width) are expanded
-// provided sufficient FPRs are available.
-
-struct float_float_s { float f; float g; };
-
-// CHECK-LABEL: define dso_local void @f_float_float_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_float_s_arg(struct float_float_s a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_float_float_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_float_s f_ret_float_float_s(void) {
-  return (struct float_float_s){1.0, 2.0};
-}
-
-// CHECK-LABEL: define dso_local void @f_float_float_s_arg_insufficient_fprs
-// CHECK-SAME: (float noundef [[A:%.*]], float noundef [[B:%.*]], float noundef [[C:%.*]], float noundef [[D:%.*]], float noundef [[E:%.*]], float noundef [[F:%.*]], float noundef [[G:%.*]], i64 [[H_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_float_s_arg_insufficient_fprs(float a, float b, float c, float d,
-    float e, float f, float g, struct float_float_s h) {}
-
-// Check that structs containing int+float values are expanded, provided
-// sufficient FPRs and GPRs are available. The integer components are neither
-// sign or zero-extended.
-
-struct float_int8_s { float f; int8_t i; };
-struct float_uint8_s { float f; uint8_t i; };
-struct float_int32_s { float f; int32_t i; };
-struct float_int64_s { float f; int64_t i; };
-struct float_int128bf_s { float f; __int128_t i : 64; };
-struct float_int8_zbf_s { float f; int8_t i; int : 0; };
-
-// CHECK-LABEL: define dso_local void @f_float_int8_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_int8_s_arg(struct float_int8_s a) {}
-
-// CHECK-LABEL: define dso_local { float, i8 } @f_ret_float_int8_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_int8_s f_ret_float_int8_s(void) {
-  return (struct float_int8_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_float_uint8_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_uint8_s_arg(struct float_uint8_s a) {}
-
-// CHECK-LABEL: define dso_local { float, i8 } @f_ret_float_uint8_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_uint8_s f_ret_float_uint8_s(void) {
-  return (struct float_uint8_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_float_int32_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_int32_s_arg(struct float_int32_s a) {}
-
-// CHECK-LABEL: define dso_local { float, i32 } @f_ret_float_int32_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_int32_s f_ret_float_int32_s(void) {
-  return (struct float_int32_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_float_int64_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], i64 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_int64_s_arg(struct float_int64_s a) {}
-
-// CHECK-LABEL: define dso_local { float, i64 } @f_ret_float_int64_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_int64_s f_ret_float_int64_s(void) {
-  return (struct float_int64_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_float_int128bf_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], i64 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_int128bf_s_arg(struct float_int128bf_s a) {}
-
-// CHECK-LABEL: define dso_local <{ float, i64 }> @f_ret_float_int128bf_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_int128bf_s f_ret_float_int128bf_s(void) {
-  return (struct float_int128bf_s){1.0, 2};
-}
-
-// The zero-width bitfield means the struct can't be passed according to the
-// floating point calling convention.
-
-// CHECK-LABEL: define dso_local void @f_float_int8_zbf_s
-// CHECK-SAME: (float [[TMP0:%.*]], i8 [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_int8_zbf_s(struct float_int8_zbf_s a) {}
-
-// CHECK-LABEL: define dso_local { float, i8 } @f_ret_float_int8_zbf_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct float_int8_zbf_s f_ret_float_int8_zbf_s(void) {
-  return (struct float_int8_zbf_s){1.0, 2};
-}
-
-// CHECK-LABEL: define dso_local void @f_float_int8_s_arg_insufficient_gprs
-// CHECK-SAME: (i32 noundef signext [[A:%.*]], i32 noundef signext [[B:%.*]], i32 noundef signext [[C:%.*]], i32 noundef signext [[D:%.*]], i32 noundef signext [[E:%.*]], i32 noundef signext [[F:%.*]], i32 noundef signext [[G:%.*]], i32 noundef signext [[H:%.*]], i64 [[I_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_int8_s_arg_insufficient_gprs(int a, int b, int c, int d, int e,
-                                          int f, int g, int h, struct float_int8_s i) {}
-
-// CHECK-LABEL: define dso_local void @f_struct_float_int8_insufficient_fprs
-// CHECK-SAME: (float noundef [[A:%.*]], float noundef [[B:%.*]], float noundef [[C:%.*]], float noundef [[D:%.*]], float noundef [[E:%.*]], float noundef [[F:%.*]], float noundef [[G:%.*]], float noundef [[H:%.*]], i64 [[I_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_struct_float_int8_insufficient_fprs(float a, float b, float c, float d,
-                                           float e, float f, float g, float h, struct float_int8_s i) {}
-
-// Complex floating-point values or structs containing a single complex
-// floating-point value should be passed as if it were an fp+fp struct.
-
-// CHECK-LABEL: define dso_local void @f_floatcomplex
-// CHECK-SAME: (float noundef [[A_COERCE0:%.*]], float noundef [[A_COERCE1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatcomplex(float __complex__ a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_floatcomplex
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-float __complex__ f_ret_floatcomplex(void) {
-  return 1.0;
-}
-
-struct floatcomplex_s { float __complex__ c; };
-
-// CHECK-LABEL: define dso_local void @f_floatcomplex_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatcomplex_s_arg(struct floatcomplex_s a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_floatcomplex_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatcomplex_s f_ret_floatcomplex_s(void) {
-  return (struct floatcomplex_s){1.0};
-}
-
-// Complex floating-point values or structs containing a single complex
-// floating-point value should be passed in GPRs if no two FPRs is available.
-
-// CHECK-LABEL: define dso_local void @f_floatcomplex_insufficient_fprs1
-// CHECK-SAME: (float noundef [[A_COERCE0:%.*]], float noundef [[A_COERCE1:%.*]], float noundef [[B_COERCE0:%.*]], float noundef [[B_COERCE1:%.*]], float noundef [[C_COERCE0:%.*]], float noundef [[C_COERCE1:%.*]], float noundef [[D_COERCE0:%.*]], float noundef [[D_COERCE1:%.*]], i64 noundef [[E_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatcomplex_insufficient_fprs1(float __complex__ a, float __complex__ b,
-                                       float __complex__ c, float __complex__ d,
-                                       float __complex__ e) {}
-
-
-// CHECK-LABEL: define dso_local void @f_floatcomplex_s_arg_insufficient_fprs1
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]], float [[TMP2:%.*]], float [[TMP3:%.*]], float [[TMP4:%.*]], float [[TMP5:%.*]], float [[TMP6:%.*]], float [[TMP7:%.*]], i64 [[E_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatcomplex_s_arg_insufficient_fprs1(struct floatcomplex_s a,
-                                             struct floatcomplex_s b,
-                                             struct floatcomplex_s c,
-                                             struct floatcomplex_s d,
-                                             struct floatcomplex_s e) {}
-
-// CHECK-LABEL: define dso_local void @f_floatcomplex_insufficient_fprs2
-// CHECK-SAME: (float noundef [[A:%.*]], float noundef [[B_COERCE0:%.*]], float noundef [[B_COERCE1:%.*]], float noundef [[C_COERCE0:%.*]], float noundef [[C_COERCE1:%.*]], float noundef [[D_COERCE0:%.*]], float noundef [[D_COERCE1:%.*]], i64 noundef [[E_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatcomplex_insufficient_fprs2(float a,
-                                       float __complex__ b, float __complex__ c,
-                                       float __complex__ d, float __complex__ e) {}
-
-
-// CHECK-LABEL: define dso_local void @f_floatcomplex_s_arg_insufficient_fprs2
-// CHECK-SAME: (float noundef [[A:%.*]], float [[TMP0:%.*]], float [[TMP1:%.*]], float [[TMP2:%.*]], float [[TMP3:%.*]], float [[TMP4:%.*]], float [[TMP5:%.*]], i64 [[E_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatcomplex_s_arg_insufficient_fprs2(float a,
-                                             struct floatcomplex_s b,
-                                             struct floatcomplex_s c,
-                                             struct floatcomplex_s d,
-                                             struct floatcomplex_s e) {}
-
-// Test single or two-element structs that need flattening. e.g. those
-// containing nested structs, floats in small arrays, zero-length structs etc.
-
-struct floatarr1_s { float a[1]; };
-
-// CHECK-LABEL: define dso_local void @f_floatarr1_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatarr1_s_arg(struct floatarr1_s a) {}
-
-// CHECK-LABEL: define dso_local float @f_ret_floatarr1_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatarr1_s f_ret_floatarr1_s(void) {
-  return (struct floatarr1_s){{1.0}};
-}
-
-struct floatarr2_s { float a[2]; };
-
-// CHECK-LABEL: define dso_local void @f_floatarr2_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatarr2_s_arg(struct floatarr2_s a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_floatarr2_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatarr2_s f_ret_floatarr2_s(void) {
-  return (struct floatarr2_s){{1.0, 2.0}};
-}
-
-struct floatarr2_tricky1_s { struct { float f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_floatarr2_tricky1_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatarr2_tricky1_s_arg(struct floatarr2_tricky1_s a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky1_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatarr2_tricky1_s f_ret_floatarr2_tricky1_s(void) {
-  return (struct floatarr2_tricky1_s){{{{1.0}}, {{2.0}}}};
-}
-
-struct floatarr2_tricky2_s { struct {}; struct { float f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_floatarr2_tricky2_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatarr2_tricky2_s_arg(struct floatarr2_tricky2_s a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky2_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatarr2_tricky2_s f_ret_floatarr2_tricky2_s(void) {
-  return (struct floatarr2_tricky2_s){{}, {{{1.0}}, {{2.0}}}};
-}
-
-struct floatarr2_tricky3_s { union {}; struct { float f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_floatarr2_tricky3_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatarr2_tricky3_s_arg(struct floatarr2_tricky3_s a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky3_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatarr2_tricky3_s f_ret_floatarr2_tricky3_s(void) {
-  return (struct floatarr2_tricky3_s){{}, {{{1.0}}, {{2.0}}}};
-}
-
-struct floatarr2_tricky4_s { union {}; struct { struct {}; float f[1]; } g[2]; };
-
-// CHECK-LABEL: define dso_local void @f_floatarr2_tricky4_s_arg
-// CHECK-SAME: (float [[TMP0:%.*]], float [[TMP1:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_floatarr2_tricky4_s_arg(struct floatarr2_tricky4_s a) {}
-
-// CHECK-LABEL: define dso_local { float, float } @f_ret_floatarr2_tricky4_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct floatarr2_tricky4_s f_ret_floatarr2_tricky4_s(void) {
-  return (struct floatarr2_tricky4_s){{}, {{{}, {1.0}}, {{}, {2.0}}}};
-}
-
-// Test structs that should be passed according to the normal integer calling
-// convention.
-
-struct int_float_int_s { int a; float b; int c; };
-
-// CHECK-LABEL: define dso_local void @f_int_float_int_s_arg
-// CHECK-SAME: ([2 x i64] [[A_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_int_float_int_s_arg(struct int_float_int_s a) {}
-
-// CHECK-LABEL: define dso_local [2 x i64] @f_ret_int_float_int_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct int_float_int_s f_ret_int_float_int_s(void) {
-  return (struct int_float_int_s){1, 2.0, 3};
-}
-
-struct char_char_float_s { char a; char b; float c; };
-
-// CHECK-LABEL: define dso_local void @f_char_char_float_s_arg
-// CHECK-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_char_char_float_s_arg(struct char_char_float_s a) {}
-
-// CHECK-LABEL: define dso_local i64 @f_ret_char_char_float_s
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-struct char_char_float_s f_ret_char_char_float_s(void) {
-  return (struct char_char_float_s){1, 2, 3.0};
-}
-
-// Unions are always passed according to the integer calling convention, even
-// if they can only contain a float.
-
-union float_u { float a; };
-
-// CHECK-LABEL: define dso_local void @f_float_u_arg
-// CHECK-SAME: (i64 [[A_COERCE:%.*]]) #[[ATTR0]] {
-// CHECK:  entry:
-//
-void f_float_u_arg(union float_u a) {}
-
-// CHECK-LABEL: define dso_local i64 @f_ret_float_u
-// CHECK-SAME: () #[[ATTR0]] {
-// CHECK:  entry:
-//
-union float_u f_ret_float_u(void) {
-  return (union float_u){1.0};
-}