================
@@ -0,0 +1,87 @@
+// RUN: cir-opt %s -cir-call-conv-lowering=target=x86_64 | FileCheck %s
+// RUN: cir-opt %s -cir-call-conv-lowering=target=x86_64 -cir-to-llvm -o -
2>/dev/null \
+// RUN: | mlir-translate -mlir-to-llvmir --allow-unregistered-dialect \
+// RUN: | FileCheck %s --check-prefix=LLVM
+
+!s8i = !cir.int<s, 8>
+!s32i = !cir.int<s, 32>
+!s64i = !cir.int<s, 64>
+!rec_Pair = !cir.struct<"Pair" {!s32i, !s32i}>
+!rec_Two = !cir.struct<"Two" {!s64i, !s64i}>
+!rec_Mixed = !cir.struct<"Mixed" {!s8i, !s32i}>
+!rec_CharBuf = !cir.struct<"CharBuf" {!cir.array<!s8i x 4>}>
+
+module attributes {
+ cir.triple = "x86_64-unknown-linux-gnu",
+ dlti.dl_spec = #dlti.dl_spec<
+ #dlti.dl_entry<i8, dense<8>: vector<2xi64>>,
+ #dlti.dl_entry<i32, dense<32>: vector<2xi64>>,
+ #dlti.dl_entry<i64, dense<64>: vector<2xi64>>>
+} {
+
+ // A two-int struct (8 bytes) is coerced to a single i64 register.
+ cir.func @take_pair(%arg0: !rec_Pair) {
+ cir.return
+ }
+
+ // CHECK: cir.func{{.*}} @take_pair(%arg0: !u64i)
+ // CHECK: %[[SLOT:.*]] = cir.alloca "coerce" {{.*}} : !cir.ptr<!u64i>
+ // CHECK: cir.store %arg0, %[[SLOT]] : !u64i, !cir.ptr<!u64i>
+ // CHECK: %[[CAST:.*]] = cir.cast bitcast %[[SLOT]] : !cir.ptr<!u64i> ->
!cir.ptr<!rec_Pair>
+
+ // A two-i64 struct (16 bytes) is passed as two i64 registers (flattened).
+ cir.func @take_two(%arg0: !rec_Two) {
+ cir.return
+ }
+
+ // CHECK: cir.func{{.*}} @take_two(%arg0: !s64i, %arg1: !s64i)
----------------
adams381 wrote:
Gave `take_pair` and `take_two` bodies that read a field, so the coerce
prologue and the record access are visible now.
https://github.com/llvm/llvm-project/pull/210528
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
