32 lines · plain
1// Test fir.copy codegen.2// RUN: fir-opt --fir-to-llvm-ir %s -o - | FileCheck %s3 4!t=!fir.type<sometype{i:!fir.array<9xi32>}>5 6module attributes {llvm.data_layout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"} {7 8func.func @test_copy_1(%arg0: !fir.ref<!t>, %arg1: !fir.ref<!t>) {9 fir.copy %arg0 to %arg1 no_overlap : !fir.ref<!t>, !fir.ref<!t>10 return11}12// CHECK-LABEL: llvm.func @test_copy_1(13// CHECK-SAME: %[[VAL_0:[0-9]+|[a-zA-Z$._-][a-zA-Z0-9$._-]*]]: !llvm.ptr,14// CHECK-SAME: %[[VAL_1:[0-9]+|[a-zA-Z$._-][a-zA-Z0-9$._-]*]]: !llvm.ptr) {15// CHECK: %[[VAL_2:.*]] = llvm.mlir.constant(36 : i64) : i6416// CHECK: "llvm.intr.memcpy"(%[[VAL_1]], %[[VAL_0]], %[[VAL_2]]) <{isVolatile = false}> : (!llvm.ptr, !llvm.ptr, i64) -> ()17// CHECK: llvm.return18// CHECK: }19 20func.func @test_copy_2(%arg0: !fir.ref<!t>, %arg1: !fir.ref<!t>) {21 fir.copy %arg0 to %arg1 : !fir.ref<!t>, !fir.ref<!t>22 return23}24// CHECK-LABEL: llvm.func @test_copy_2(25// CHECK-SAME: %[[VAL_0:[0-9]+|[a-zA-Z$._-][a-zA-Z0-9$._-]*]]: !llvm.ptr,26// CHECK-SAME: %[[VAL_1:[0-9]+|[a-zA-Z$._-][a-zA-Z0-9$._-]*]]: !llvm.ptr) {27// CHECK: %[[VAL_2:.*]] = llvm.mlir.constant(36 : i64) : i6428// CHECK: "llvm.intr.memmove"(%[[VAL_1]], %[[VAL_0]], %[[VAL_2]]) <{isVolatile = false}> : (!llvm.ptr, !llvm.ptr, i64) -> ()29// CHECK: llvm.return30// CHECK: }31}32