[flang-commits] [flang] [flang][debug] Support IndexType. (PR #113921)
Abid Qadeer via flang-commits
flang-commits at lists.llvm.org
Tue Oct 29 04:28:51 PDT 2024
https://github.com/abidh updated https://github.com/llvm/llvm-project/pull/113921
>From e57de186ae1293a2637633de0c361f158855e868 Mon Sep 17 00:00:00 2001
From: Abid Qadeer <haqadeer at amd.com>
Date: Thu, 24 Oct 2024 11:20:04 +0100
Subject: [PATCH 1/2] [flang][debug] Support IndexType.
---
flang/lib/Optimizer/Transforms/DebugTypeGenerator.cpp | 3 +++
flang/test/Transforms/debug-index-type.fir | 10 ++++++++++
2 files changed, 13 insertions(+)
create mode 100644 flang/test/Transforms/debug-index-type.fir
diff --git a/flang/lib/Optimizer/Transforms/DebugTypeGenerator.cpp b/flang/lib/Optimizer/Transforms/DebugTypeGenerator.cpp
index 1ab6c76dae8eda..13bfb21c16bd8a 100644
--- a/flang/lib/Optimizer/Transforms/DebugTypeGenerator.cpp
+++ b/flang/lib/Optimizer/Transforms/DebugTypeGenerator.cpp
@@ -581,6 +581,9 @@ DebugTypeGenerator::convertType(mlir::Type Ty, mlir::LLVM::DIFileAttr fileAttr,
/*genAssociated=*/false);
} else if (auto vecTy = mlir::dyn_cast_or_null<fir::VectorType>(Ty)) {
return convertVectorType(vecTy, fileAttr, scope, declOp);
+ } else if (mlir::isa<mlir::IndexType>(Ty)) {
+ return genBasicType(context, mlir::StringAttr::get(context, "integer"), 64,
+ llvm::dwarf::DW_ATE_signed);
} else if (auto boxTy = mlir::dyn_cast_or_null<fir::BoxType>(Ty)) {
auto elTy = boxTy.getElementType();
if (auto seqTy = mlir::dyn_cast_or_null<fir::SequenceType>(elTy))
diff --git a/flang/test/Transforms/debug-index-type.fir b/flang/test/Transforms/debug-index-type.fir
new file mode 100644
index 00000000000000..20bd8471d7cf64
--- /dev/null
+++ b/flang/test/Transforms/debug-index-type.fir
@@ -0,0 +1,10 @@
+// RUN: fir-opt --add-debug-info --mlir-print-debuginfo %s | FileCheck %s
+
+module attributes {dlti.dl_spec = #dlti.dl_spec<>} {
+ func.func private @str(%arg0: index) -> i32 loc(#loc1)
+}
+#loc1 = loc("test.f90":5:1)
+
+// CHECK: #[[INT32_TY:.*]] = #llvm.di_basic_type<tag = DW_TAG_base_type, name = "integer", sizeInBits = 32, encoding = DW_ATE_signed>
+// CHECK: #[[INT64_TY:.*]] = #llvm.di_basic_type<tag = DW_TAG_base_type, name = "integer", sizeInBits = 64, encoding = DW_ATE_signed>
+// CHECK: #llvm.di_subroutine_type<{{.*}}types = #[[INT32_TY]], #[[INT64_TY]]>
>From 4033ff24a4082fedbf181d43c57718f6540900d8 Mon Sep 17 00:00:00 2001
From: Abid Qadeer <haqadeer at amd.com>
Date: Mon, 28 Oct 2024 18:38:56 +0000
Subject: [PATCH 2/2] Use getIndexTypeBitwidth instead of hardcoded 64.
---
flang/lib/Optimizer/Transforms/DebugTypeGenerator.cpp | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/flang/lib/Optimizer/Transforms/DebugTypeGenerator.cpp b/flang/lib/Optimizer/Transforms/DebugTypeGenerator.cpp
index 13bfb21c16bd8a..8e516734a90879 100644
--- a/flang/lib/Optimizer/Transforms/DebugTypeGenerator.cpp
+++ b/flang/lib/Optimizer/Transforms/DebugTypeGenerator.cpp
@@ -582,7 +582,8 @@ DebugTypeGenerator::convertType(mlir::Type Ty, mlir::LLVM::DIFileAttr fileAttr,
} else if (auto vecTy = mlir::dyn_cast_or_null<fir::VectorType>(Ty)) {
return convertVectorType(vecTy, fileAttr, scope, declOp);
} else if (mlir::isa<mlir::IndexType>(Ty)) {
- return genBasicType(context, mlir::StringAttr::get(context, "integer"), 64,
+ return genBasicType(context, mlir::StringAttr::get(context, "integer"),
+ llvmTypeConverter.getIndexTypeBitwidth(),
llvm::dwarf::DW_ATE_signed);
} else if (auto boxTy = mlir::dyn_cast_or_null<fir::BoxType>(Ty)) {
auto elTy = boxTy.getElementType();
More information about the flang-commits
mailing list