92 lines · plain
1// RUN: fir-opt --external-name-interop="append-underscore=true" %s | FileCheck %s --check-prefix=CHECK-UNDER2// RUN: fir-opt --external-name-interop="append-underscore=false" %s | FileCheck %s --check-prefix=CHECK-NOUNDER3// RUN: tco --external-name-interop="append-underscore=true" %s | FileCheck %s --check-prefix=CHECK-UNDER4// RUN: tco --external-name-interop="append-underscore=false" %s | FileCheck %s --check-prefix=CHECK-NOUNDER5// RUN: tco --external-name-interop="append-underscore=true" %s | tco --fir-to-llvm-ir | FileCheck %s --check-prefix=LLVMIR-UNDER6// RUN: tco --external-name-interop="append-underscore=false" %s | tco --fir-to-llvm-ir | FileCheck %s --check-prefix=LLVMIR-NOUNDER7 8func.func @_QPfoo() {9 %c0 = arith.constant 0 : index10 %0 = fir.address_of(@_QCa) : !fir.ref<!fir.array<4xi8>>11 %1 = fir.convert %0 : (!fir.ref<!fir.array<4xi8>>) -> !fir.ref<!fir.array<?xi8>>12 %2 = fir.coordinate_of %1, %c0 : (!fir.ref<!fir.array<?xi8>>, index) -> !fir.ref<i8>13 %3 = fir.convert %2 : (!fir.ref<i8>) -> !fir.ref<i32>14 %4 = fir.address_of(@_QC) : !fir.ref<!fir.array<4xi8>>15 %5 = fir.convert %4 : (!fir.ref<!fir.array<4xi8>>) -> !fir.ref<!fir.array<?xi8>>16 %6 = fir.coordinate_of %5, %c0 : (!fir.ref<!fir.array<?xi8>>, index) -> !fir.ref<i8>17 %7 = fir.convert %6 : (!fir.ref<i8>) -> !fir.ref<f32>18 fir.call @_QPbar(%3) : (!fir.ref<i32>) -> ()19 fir.call @_QPbar2(%7) : (!fir.ref<f32>) -> ()20 return21}22fir.global common @_QCa(dense<0> : vector<4xi8>) : !fir.array<4xi8>23fir.global common @_QC(dense<0> : vector<4xi8>) : !fir.array<4xi8>24func.func private @_QPbar(!fir.ref<i32>)25func.func private @_QPbar2(!fir.ref<f32>)26 27// CHECK-UNDER: func @foo_28// CHECK-UNDER: %{{.*}} = fir.address_of(@a_) : !fir.ref<!fir.array<4xi8>>29// CHECK-UNDER: %{{.*}} = fir.address_of(@__BLNK__) : !fir.ref<!fir.array<4xi8>>30// CHECK-UNDER: fir.call @bar_31// CHECK-UNDER: fir.call @bar2_32// CHECK-UNDER: fir.global common @a_(dense<0> : vector<4xi8>) : !fir.array<4xi8>33// CHECK-UNDER: fir.global common @__BLNK__(dense<0> : vector<4xi8>) : !fir.array<4xi8>34// CHECK-UNDER: func private @bar_(!fir.ref<i32>)35 36// CHECK-NOUNDER: func @foo(37// CHECK-NOUNDER: %{{.*}} = fir.address_of(@a) : !fir.ref<!fir.array<4xi8>>38// CHECK-NOUNDER: %{{.*}} = fir.address_of(@__BLNK__) : !fir.ref<!fir.array<4xi8>>39// CHECK-NOUNDER: fir.call @bar(40// CHECK-NOUNDER: fir.call @bar2(41// CHECK-NOUNDER: fir.global common @a(dense<0> : vector<4xi8>) : !fir.array<4xi8>42// CHECK-NOUNDER: fir.global common @__BLNK__(dense<0> : vector<4xi8>) : !fir.array<4xi8>43// CHECK-NOUNDER: func private @bar(!fir.ref<i32>)44 45// LLVMIR-UNDER: %{{.*}} = llvm.mlir.addressof @a_ : !llvm.ptr46// LLVMIR-UNDER: %{{.*}} = llvm.mlir.addressof @__BLNK__ : !llvm.ptr47// LLVMIR-UNDER: llvm.call @bar_(%{{.*}}) : (!llvm.ptr) -> ()48// LLVMIR-UNDER: llvm.call @bar2_(%{{.*}}) : (!llvm.ptr) -> ()49 50// LLVMIR-UNDER: llvm.mlir.global common @a_(dense<0> : vector<4xi8>) {{.*}} : !llvm.array<4 x i8>51// LLVMIR-UNDER: llvm.mlir.global common @__BLNK__(dense<0> : vector<4xi8>) {{.*}} : !llvm.array<4 x i8>52// LLVMIR-UNDER: llvm.func @bar_(!llvm.ptr) attributes {fir.internal_name = "_QPbar", sym_visibility = "private"}53// LLVMIR-UNDER: llvm.func @bar2_(!llvm.ptr) attributes {fir.internal_name = "_QPbar2", sym_visibility = "private"}54 55// LLVMIR-NOUNDER: %{{.*}} = llvm.mlir.addressof @a : !llvm.ptr56// LLVMIR-NOUNDER: %{{.*}} = llvm.mlir.addressof @__BLNK__ : !llvm.ptr57// LLVMIR-NOUNDER: llvm.call @bar(%{{.*}}) : (!llvm.ptr) -> ()58// LLVMIR-NOUNDER: llvm.call @bar2(%{{.*}}) : (!llvm.ptr) -> ()59 60// LLVMIR-NOUNDER: llvm.mlir.global common @a(dense<0> : vector<4xi8>) {{.*}} : !llvm.array<4 x i8>61// LLVMIR-NOUNDER: llvm.mlir.global common @__BLNK__(dense<0> : vector<4xi8>) {{.*}} : !llvm.array<4 x i8>62// LLVMIR-NOUNDER: llvm.func @bar(!llvm.ptr) attributes {fir.internal_name = "_QPbar", sym_visibility = "private"}63// LLVMIR-NOUNDER: llvm.func @bar2(!llvm.ptr) attributes {fir.internal_name = "_QPbar2", sym_visibility = "private"}64 65// ----- 66 67func.func @_QPcallee() {68 fir.call @_QPcallee() : () -> ()69 return70}71 72func.func @_QPcaller() {73 fir.call @_QPcallee() : () -> ()74 return 75}76 77// CHECK-UNDER: func @callee_78// CHECK-UNDER: fir.call @callee_79// CHECK-UNDER: func @caller_80// CHECK-UNDER: fir.call @callee_81 82// LLVMIR-UNDER: llvm.call @callee_() : () -> ()83// LLVMIR-UNDER: llvm.call @callee_() : () -> ()84 85// CHECK-NOUNDER: func @callee(86// CHECK-NOUNDER: fir.call @callee(87// CHECK-NOUNDER: func @caller(88// CHECK-NOUNDER: fir.call @callee(89 90// LLVMIR-NOUNDER: llvm.call @callee() : () -> ()91// LLVMIR-NOUNDER: llvm.call @callee() : () -> ()92