Skip to content

Commit c07abf7

Browse files
authored
[flang][debug] Support fir::ReferenceType. (#113480)
1 parent cd0373e commit c07abf7

File tree

2 files changed

+15
-0
lines changed

2 files changed

+15
-0
lines changed

flang/lib/Optimizer/Transforms/DebugTypeGenerator.cpp

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -511,6 +511,11 @@ DebugTypeGenerator::convertType(mlir::Type Ty, mlir::LLVM::DIFileAttr fileAttr,
511511
/*hasDescriptor=*/false);
512512
} else if (auto recTy = mlir::dyn_cast_or_null<fir::RecordType>(Ty)) {
513513
return convertRecordType(recTy, fileAttr, scope, declOp);
514+
} else if (auto refTy = mlir::dyn_cast_if_present<fir::ReferenceType>(Ty)) {
515+
auto elTy = refTy.getEleTy();
516+
return convertPointerLikeType(elTy, fileAttr, scope, declOp,
517+
/*genAllocated=*/false,
518+
/*genAssociated=*/false);
514519
} else if (auto boxTy = mlir::dyn_cast_or_null<fir::BoxType>(Ty)) {
515520
auto elTy = boxTy.getElementType();
516521
if (auto seqTy = mlir::dyn_cast_or_null<fir::SequenceType>(elTy))
Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
// RUN: fir-opt --add-debug-info --mlir-print-debuginfo %s | FileCheck %s
2+
3+
module attributes {dlti.dl_spec = #dlti.dl_spec<>} {
4+
func.func private @_FortranAioBeginExternalListOutput(i8) -> !fir.ref<i8> loc(#loc1)
5+
}
6+
#loc1 = loc("test.f90":5:1)
7+
8+
// CHECK: #[[INT8_TY:.*]] = #llvm.di_basic_type<tag = DW_TAG_base_type, name = "integer", sizeInBits = 8, encoding = DW_ATE_signed>
9+
// CHECK: #[[REF_TY:.*]] = #llvm.di_derived_type<tag = DW_TAG_pointer_type, name = "", baseType = #[[INT8_TY]]{{.*}}>
10+
// CHECK: #llvm.di_subroutine_type<{{.*}}types = #[[REF_TY]], #[[INT8_TY]]>

0 commit comments

Comments
 (0)