[llvm-branch-commits] [llvm] 1f67247 - [DebugInfo] Add handling of stringLengthExp operand of DIStringType.
Chih-Ping Chen via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Tue Dec 8 11:55:27 PST 2020
Author: Chih-Ping Chen
Date: 2020-12-08T14:49:59-05:00
New Revision: 1f67247eea13f62f26de3b0eca3755ed8b3a2b8e
URL: https://github.com/llvm/llvm-project/commit/1f67247eea13f62f26de3b0eca3755ed8b3a2b8e
DIFF: https://github.com/llvm/llvm-project/commit/1f67247eea13f62f26de3b0eca3755ed8b3a2b8e.diff
LOG: [DebugInfo] Add handling of stringLengthExp operand of DIStringType.
This patch makes DWARF writer emit DW_AT_string_length using
the stringLengthExp operand of DIStringType.
This is part of the effort to add debug info support for
Fortran deferred length strings.
Also updated the tests to exercise the change.
Differential Revision: https://reviews.llvm.org/D92412
Added:
Modified:
llvm/lib/CodeGen/AsmPrinter/DwarfUnit.cpp
llvm/test/DebugInfo/X86/distringtype.ll
llvm/test/DebugInfo/fortran-string-type.ll
Removed:
################################################################################
diff --git a/llvm/lib/CodeGen/AsmPrinter/DwarfUnit.cpp b/llvm/lib/CodeGen/AsmPrinter/DwarfUnit.cpp
index a74ee0f736a4..b552a07c99c0 100644
--- a/llvm/lib/CodeGen/AsmPrinter/DwarfUnit.cpp
+++ b/llvm/lib/CodeGen/AsmPrinter/DwarfUnit.cpp
@@ -696,6 +696,15 @@ void DwarfUnit::constructTypeDIE(DIE &Buffer, const DIStringType *STy) {
if (DIVariable *Var = STy->getStringLength()) {
if (auto *VarDIE = getDIE(Var))
addDIEEntry(Buffer, dwarf::DW_AT_string_length, *VarDIE);
+ } else if (DIExpression *Expr = STy->getStringLengthExp()) {
+ DIELoc *Loc = new (DIEValueAllocator) DIELoc;
+ DIEDwarfExpression DwarfExpr(*Asm, getCU(), *Loc);
+ // This is to describe the memory location of the
+ // length of a Fortran deferred length string, so
+ // lock it down as such.
+ DwarfExpr.setMemoryLocationKind();
+ DwarfExpr.addExpression(Expr);
+ addBlock(Buffer, dwarf::DW_AT_string_length, DwarfExpr.finalize());
} else {
uint64_t Size = STy->getSizeInBits() >> 3;
addUInt(Buffer, dwarf::DW_AT_byte_size, None, Size);
diff --git a/llvm/test/DebugInfo/X86/distringtype.ll b/llvm/test/DebugInfo/X86/distringtype.ll
index 65fac64ae3b1..5d53de29f82d 100644
--- a/llvm/test/DebugInfo/X86/distringtype.ll
+++ b/llvm/test/DebugInfo/X86/distringtype.ll
@@ -1,17 +1,23 @@
;; Test for !DIStringType.!DIStringType is used to construct a Fortran
;; CHARACTER intrinsic type, with a LEN type parameter where LEN is a
;; dynamic parameter as in a deferred-length CHARACTER. LLVM after
-;; processing this !DIStringType metadata, generates DW_AT_string_length attribute.
-;; !DIStringType(name: "character(*)", stringLength: !{{[0-9]+}},
-;; stringLengthExpression: !DIExpression(), size: 32)
+;; processing !DIStringType metadata in either of the following forms,
+;; generates DW_AT_string_length attribute
+;; !DIStringType(name: "character(*)", stringLength: !{{[0-9]+}})
+;; !DIStringType(name: "character(*)", stringLengthExpr: !DIExpression(...))
; RUN: llc -filetype=obj %s -o - | llvm-dwarfdump - | FileCheck %s
; CHECK: DW_TAG_string_type
+; CHECK: DW_AT_name (".str.DEFERRED")
+; CHECK-NEXT: DW_AT_string_length (DW_OP_push_object_address, DW_OP_plus_uconst 0x8)
+; CHECK: DW_TAG_string_type
; CHECK: DW_AT_name ("character(*)!2")
; CHECK-NEXT: DW_AT_string_length
-;; sample fortran testcase involving assumed length string type.
+;; sample fortran testcase involving deferred and assumed length string types.
;; program assumedLength
+;; character(len=:), allocatable :: deferred
+;; allocate(character(10)::deferred)
;; call sub('Hello')
;; call sub('Goodbye')
;; contains
@@ -22,111 +28,144 @@
;; end subroutine sub
;; end program assumedLength
+; ModuleID = 'distring.f90'
+source_filename = "distring.f90"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
-%struct.struct_ul_MAIN__324 = type <{ i8* }>
-
- at .C327_MAIN_ = internal constant [7 x i8] c"Goodbye"
- at .C326_MAIN_ = internal constant [5 x i8] c"Hello"
- at .C306_MAIN_ = internal constant i32 0
- at .C336_assumedlength_sub = internal constant i32 14
- at .C306_assumedlength_sub = internal constant i32 0
- at .C307_assumedlength_sub = internal constant i64 0
- at .C331_assumedlength_sub = internal constant i32 6
- at .C329_assumedlength_sub = internal constant [8 x i8] c"test.f90"
- at .C328_assumedlength_sub = internal constant i32 8
-
-define void @MAIN_() !dbg !5 {
-L.entry:
- %.S0000_331 = alloca %struct.struct_ul_MAIN__324, align 8
- %0 = bitcast i32* @.C306_MAIN_ to i8*, !dbg !8
- %1 = bitcast void (...)* @fort_init to void (i8*, ...)*, !dbg !8
- call void (i8*, ...) %1(i8* %0), !dbg !8
- br label %L.LB1_335
-
-L.LB1_335: ; preds = %L.entry
- %2 = bitcast [5 x i8]* @.C326_MAIN_ to i64*, !dbg !9
- %3 = bitcast %struct.struct_ul_MAIN__324* %.S0000_331 to i64*, !dbg !9
- call void @assumedlength_sub(i64* %2, i64 5, i64* %3), !dbg !9
- %4 = bitcast [7 x i8]* @.C327_MAIN_ to i64*, !dbg !10
- %5 = bitcast %struct.struct_ul_MAIN__324* %.S0000_331 to i64*, !dbg !10
- call void @assumedlength_sub(i64* %4, i64 7, i64* %5), !dbg !10
- ret void, !dbg !11
+%"QNCA_a0$i8*$rank0$" = type { i8*, i64, i64, i64, i64, i64 }
+
+ at 0 = internal unnamed_addr constant [7 x i8] c"Goodbye"
+ at 1 = internal unnamed_addr constant [5 x i8] c"Hello"
+@"assumedlength_$DEFERRED" = internal global %"QNCA_a0$i8*$rank0$" zeroinitializer, !dbg !0
+ at 2 = internal unnamed_addr constant i32 2
+
+; Function Attrs: noinline nounwind uwtable
+define void @MAIN__() #0 !dbg !2 {
+alloca_0:
+ %"var$1" = alloca [8 x i64], align 8
+ %"var$2" = alloca i64, align 8
+ %strlit = load [7 x i8], [7 x i8]* @0, align 1
+ %strlit1 = load [5 x i8], [5 x i8]* @1, align 1
+ %func_result = call i32 @for_set_reentrancy(i32* @2), !dbg !12
+ %val_fetch = load i64, i64* getelementptr inbounds (%"QNCA_a0$i8*$rank0$", %"QNCA_a0$i8*$rank0$"* @"assumedlength_$DEFERRED", i32 0, i32 1), align 1, !dbg !13
+ %val_fetch4 = load i64, i64* getelementptr inbounds (%"QNCA_a0$i8*$rank0$", %"QNCA_a0$i8*$rank0$"* @"assumedlength_$DEFERRED", i32 0, i32 3), align 1, !dbg !13
+ %and = and i64 %val_fetch4, 256, !dbg !13
+ %lshr = lshr i64 %and, 8, !dbg !13
+ %shl = shl i64 %lshr, 8, !dbg !13
+ %or = or i64 133, %shl, !dbg !13
+ %and5 = and i64 %val_fetch4, 1030792151040, !dbg !13
+ %lshr6 = lshr i64 %and5, 36, !dbg !13
+ %and7 = and i64 %or, -1030792151041, !dbg !13
+ %shl8 = shl i64 %lshr6, 36, !dbg !13
+ %or9 = or i64 %and7, %shl8, !dbg !13
+ store i64 %or9, i64* getelementptr inbounds (%"QNCA_a0$i8*$rank0$", %"QNCA_a0$i8*$rank0$"* @"assumedlength_$DEFERRED", i32 0, i32 3), align 1, !dbg !13
+ store i64 10, i64* getelementptr inbounds (%"QNCA_a0$i8*$rank0$", %"QNCA_a0$i8*$rank0$"* @"assumedlength_$DEFERRED", i32 0, i32 1), align 1, !dbg !13
+ store i64 0, i64* getelementptr inbounds (%"QNCA_a0$i8*$rank0$", %"QNCA_a0$i8*$rank0$"* @"assumedlength_$DEFERRED", i32 0, i32 4), align 1, !dbg !13
+ store i64 0, i64* getelementptr inbounds (%"QNCA_a0$i8*$rank0$", %"QNCA_a0$i8*$rank0$"* @"assumedlength_$DEFERRED", i32 0, i32 2), align 1, !dbg !13
+ %val_fetch10 = load i64, i64* getelementptr inbounds (%"QNCA_a0$i8*$rank0$", %"QNCA_a0$i8*$rank0$"* @"assumedlength_$DEFERRED", i32 0, i32 3), align 1, !dbg !13
+ %val_fetch11 = load i64, i64* getelementptr inbounds (%"QNCA_a0$i8*$rank0$", %"QNCA_a0$i8*$rank0$"* @"assumedlength_$DEFERRED", i32 0, i32 3), align 1, !dbg !13
+ %and12 = and i64 %val_fetch11, -68451041281, !dbg !13
+ %or13 = or i64 %and12, 1073741824, !dbg !13
+ store i64 %or13, i64* getelementptr inbounds (%"QNCA_a0$i8*$rank0$", %"QNCA_a0$i8*$rank0$"* @"assumedlength_$DEFERRED", i32 0, i32 3), align 1, !dbg !13
+ %and14 = and i64 %val_fetch10, 1, !dbg !13
+ %shl15 = shl i64 %and14, 1, !dbg !13
+ %int_zext = trunc i64 %shl15 to i32, !dbg !13
+ %or16 = or i32 0, %int_zext, !dbg !13
+ %and17 = and i32 %or16, -17, !dbg !13
+ %and18 = and i64 %val_fetch10, 256, !dbg !13
+ %lshr19 = lshr i64 %and18, 8, !dbg !13
+ %and20 = and i32 %and17, -2097153, !dbg !13
+ %shl21 = shl i64 %lshr19, 21, !dbg !13
+ %int_zext22 = trunc i64 %shl21 to i32, !dbg !13
+ %or23 = or i32 %and20, %int_zext22, !dbg !13
+ %and24 = and i64 %val_fetch10, 1030792151040, !dbg !13
+ %lshr25 = lshr i64 %and24, 36, !dbg !13
+ %and26 = and i32 %or23, -31457281, !dbg !13
+ %shl27 = shl i64 %lshr25, 21, !dbg !13
+ %int_zext28 = trunc i64 %shl27 to i32, !dbg !13
+ %or29 = or i32 %and26, %int_zext28, !dbg !13
+ %and30 = and i64 %val_fetch10, 1099511627776, !dbg !13
+ %lshr31 = lshr i64 %and30, 40, !dbg !13
+ %and32 = and i32 %or29, -33554433, !dbg !13
+ %shl33 = shl i64 %lshr31, 25, !dbg !13
+ %int_zext34 = trunc i64 %shl33 to i32, !dbg !13
+ %or35 = or i32 %and32, %int_zext34, !dbg !13
+ %and36 = and i32 %or35, -2031617, !dbg !13
+ %or37 = or i32 %and36, 262144, !dbg !13
+ %func_result3 = call i32 @for_alloc_allocatable(i64 10, i8** getelementptr inbounds (%"QNCA_a0$i8*$rank0$", %"QNCA_a0$i8*$rank0$"* @"assumedlength_$DEFERRED", i32 0, i32 0), i32 %or37), !dbg !13
+ call void @assumedlength_IP_sub_(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @1, i32 0, i32 0), i64 5), !dbg !14
+ call void @assumedlength_IP_sub_(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @0, i32 0, i32 0), i64 7), !dbg !15
+ ret void, !dbg !16
}
-define internal void @assumedlength_sub(i64* noalias %string, i64 %.U0001.arg, i64* noalias %.S0000) !dbg !12 {
-L.entry:
- %.U0001.addr = alloca i64, align 8
- %z__io_333 = alloca i32, align 4
- call void @llvm.dbg.declare(metadata i64* %string, metadata !16, metadata !DIExpression()), !dbg !20
- store i64 %.U0001.arg, i64* %.U0001.addr, align 8
- call void @llvm.dbg.declare(metadata i64* %.U0001.addr, metadata !18, metadata !DIExpression()), !dbg !20
- call void @llvm.dbg.declare(metadata i64* %.S0000, metadata !21, metadata !DIExpression()), !dbg !20
- br label %L.LB2_347
-
-L.LB2_347: ; preds = %L.entry
- %0 = bitcast i32* @.C328_assumedlength_sub to i8*, !dbg !23
- %1 = bitcast [8 x i8]* @.C329_assumedlength_sub to i8*, !dbg !23
- %2 = bitcast void (...)* @f90io_src_info03a to void (i8*, i8*, i64, ...)*, !dbg !23
- call void (i8*, i8*, i64, ...) %2(i8* %0, i8* %1, i64 8), !dbg !23
- %3 = bitcast i32* @.C331_assumedlength_sub to i8*, !dbg !23
- %4 = bitcast i32* @.C306_assumedlength_sub to i8*, !dbg !23
- %5 = bitcast i32* @.C306_assumedlength_sub to i8*, !dbg !23
- %6 = bitcast i32 (...)* @f90io_print_init to i32 (i8*, i8*, i8*, i8*, ...)*, !dbg !23
- %7 = call i32 (i8*, i8*, i8*, i8*, ...) %6(i8* %3, i8* null, i8* %4, i8* %5), !dbg !23
- call void @llvm.dbg.declare(metadata i32* %z__io_333, metadata !24, metadata !DIExpression()), !dbg !20
- store i32 %7, i32* %z__io_333, align 4, !dbg !23
- %8 = bitcast i64* %string to i8*, !dbg !23
- %9 = load i64, i64* %.U0001.addr, align 8, !dbg !23
- %10 = bitcast i32 (...)* @f90io_sc_ch_ldw to i32 (i8*, i32, i64, ...)*, !dbg !23
- %11 = call i32 (i8*, i32, i64, ...) %10(i8* %8, i32 14, i64 %9), !dbg !23
- store i32 %11, i32* %z__io_333, align 4, !dbg !23
- %12 = call i32 (...) @f90io_ldw_end(), !dbg !23
- store i32 %12, i32* %z__io_333, align 4, !dbg !23
- ret void, !dbg !26
+; Function Attrs: noinline nounwind uwtable
+define void @assumedlength_IP_sub_(i8* noalias nocapture readonly %STRING, i64 %"STRING.len$val") #0 !dbg !17 {
+alloca_1:
+ %"var$3" = alloca [8 x i64], align 8
+ %STRING.len = alloca i64, align 8, !dbg !23
+ %"var$4" = alloca i32, align 4, !dbg !23
+ %"(&)val$" = alloca [4 x i8], align 1, !dbg !23
+ %argblock = alloca { i64, i8* }, align 8, !dbg !23
+ call void @llvm.dbg.declare(metadata i64* %STRING.len, metadata !19, metadata !DIExpression()), !dbg !23
+ call void @llvm.dbg.declare(metadata i8* %STRING, metadata !21, metadata !DIExpression()), !dbg !24
+ store i64 %"STRING.len$val", i64* %STRING.len, align 8
+ %strlit = load [7 x i8], [7 x i8]* @0, align 1, !dbg !25
+ %strlit1 = load [5 x i8], [5 x i8]* @1, align 1, !dbg !25
+ %STRING.len_fetch = load i64, i64* %STRING.len, align 1, !dbg !26
+ store [4 x i8] c"8\04\01\00", [4 x i8]* %"(&)val$", align 1, !dbg !26
+ %BLKFIELD_ = getelementptr inbounds { i64, i8* }, { i64, i8* }* %argblock, i32 0, i32 0, !dbg !26
+ store i64 %STRING.len_fetch, i64* %BLKFIELD_, align 1, !dbg !26
+ %BLKFIELD_3 = getelementptr inbounds { i64, i8* }, { i64, i8* }* %argblock, i32 0, i32 1, !dbg !26
+ store i8* %STRING, i8** %BLKFIELD_3, align 1, !dbg !26
+ %"(i8*)var$3$" = bitcast [8 x i64]* %"var$3" to i8*, !dbg !26
+ %"(i8*)(&)val$$" = bitcast [4 x i8]* %"(&)val$" to i8*, !dbg !26
+ %"(i8*)argblock$" = bitcast { i64, i8* }* %argblock to i8*, !dbg !26
+ %func_result = call i32 (i8*, i32, i64, i8*, i8*, ...) @for_write_seq_lis(i8* %"(i8*)var$3$", i32 -1, i64 1239157112576, i8* %"(i8*)(&)val$$", i8* %"(i8*)argblock$"), !dbg !26
+ ret void, !dbg !27
}
-declare signext i32 @f90io_ldw_end(...)
-
-declare signext i32 @f90io_sc_ch_ldw(...)
-
-declare signext i32 @f90io_print_init(...)
-
-declare void @f90io_src_info03a(...)
-
-; Function Attrs: nounwind readnone speculatable willreturn
-declare void @llvm.dbg.declare(metadata, metadata, metadata)
-
-declare void @fort_init(...)
-
-!llvm.module.flags = !{!0, !1}
-!llvm.dbg.cu = !{!2}
-
-!0 = !{i32 2, !"Dwarf Version", i32 4}
-!1 = !{i32 2, !"Debug Info Version", i32 3}
-!2 = distinct !DICompileUnit(language: DW_LANG_Fortran90, file: !3, producer: " F90 Flang - 1.5 2017-05-01", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, retainedTypes: !4, globals: !4, imports: !4)
-!3 = !DIFile(filename: "test.f90", directory: "/tmp")
-!4 = !{}
-!5 = distinct !DISubprogram(name: "assumedlength", scope: !2, file: !3, line: 1, type: !6, scopeLine: 1, spFlags: DISPFlagDefinition | DISPFlagMainSubprogram, unit: !2)
-!6 = !DISubroutineType(cc: DW_CC_program, types: !7)
-!7 = !{null}
-!8 = !DILocation(line: 1, column: 1, scope: !5)
-!9 = !DILocation(line: 2, column: 1, scope: !5)
-!10 = !DILocation(line: 3, column: 1, scope: !5)
-!11 = !DILocation(line: 4, column: 1, scope: !5)
-!12 = distinct !DISubprogram(name: "sub", scope: !5, file: !3, line: 5, type: !13, scopeLine: 5, spFlags: DISPFlagLocalToUnit | DISPFlagDefinition, unit: !2)
-!13 = !DISubroutineType(types: !14)
-!14 = !{null, !15}
-!15 = !DIStringType(name: "character(*)!1", size: 32)
-!16 = !DILocalVariable(name: "string", arg: 1, scope: !12, file: !3, type: !17)
-!17 = !DIStringType(name: "character(*)!2", stringLength: !18, stringLengthExpression: !DIExpression(), size: 32)
-!18 = !DILocalVariable(arg: 2, scope: !12, file: !3, type: !19, flags: DIFlagArtificial)
-!19 = !DIBasicType(name: "integer*8", size: 64, align: 64, encoding: DW_ATE_signed)
-!20 = !DILocation(line: 0, scope: !12)
-!21 = !DILocalVariable(arg: 3, scope: !12, file: !3, type: !22, flags: DIFlagArtificial)
-!22 = !DIBasicType(name: "uinteger*8", size: 64, align: 64, encoding: DW_ATE_unsigned)
-!23 = !DILocation(line: 8, column: 1, scope: !12)
-!24 = distinct !DILocalVariable(scope: !12, file: !3, type: !25, flags: DIFlagArtificial)
-!25 = !DIBasicType(name: "integer", size: 32, align: 32, encoding: DW_ATE_signed)
-!26 = !DILocation(line: 9, column: 1, scope: !12)
+declare i32 @for_set_reentrancy(i32*)
+
+declare i32 @for_alloc_allocatable(i64, i8**, i32)
+
+; Function Attrs: nofree nosync nounwind readnone speculatable willreturn
+declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
+
+declare i32 @for_write_seq_lis(i8*, i32, i64, i8*, i8*, ...)
+
+attributes #0 = { noinline nounwind uwtable "intel-lang"="fortran" "min-legal-vector-width"="0" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" }
+attributes #1 = { nofree nosync nounwind readnone speculatable willreturn }
+
+!llvm.module.flags = !{!10, !11}
+!llvm.dbg.cu = !{!6}
+!omp_offload.info = !{}
+
+!0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
+!1 = distinct !DIGlobalVariable(name: "deferred", linkageName: "assumedlength_$DEFERRED", scope: !2, file: !3, line: 2, type: !9, isLocal: true, isDefinition: true)
+!2 = distinct !DISubprogram(name: "assumedlength", linkageName: "MAIN__", scope: !3, file: !3, line: 1, type: !4, scopeLine: 1, spFlags: DISPFlagDefinition, unit: !6, retainedNodes: !7)
+!3 = !DIFile(filename: "distring.f90", directory: "/iusers/cchen15/examples/tests")
+!4 = !DISubroutineType(types: !5)
+!5 = !{null}
+!6 = distinct !DICompileUnit(language: DW_LANG_Fortran95, file: !3, producer: "Intel(R) Fortran 21.0-2142", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !7, globals: !8, splitDebugInlining: false, nameTableKind: None)
+!7 = !{}
+!8 = !{!0}
+!9 = !DIStringType(name: ".str.DEFERRED", stringLengthExpression: !DIExpression(DW_OP_push_object_address, DW_OP_plus_uconst, 8))
+!10 = !{i32 2, !"Debug Info Version", i32 3}
+!11 = !{i32 2, !"Dwarf Version", i32 4}
+!12 = !DILocation(line: 1, column: 9, scope: !2)
+!13 = !DILocation(line: 3, column: 3, scope: !2)
+!14 = !DILocation(line: 4, column: 8, scope: !2)
+!15 = !DILocation(line: 5, column: 8, scope: !2)
+!16 = !DILocation(line: 6, column: 3, scope: !2)
+!17 = distinct !DISubprogram(name: "sub", linkageName: "assumedlength_IP_sub_", scope: !3, file: !3, line: 7, type: !4, scopeLine: 7, spFlags: DISPFlagDefinition, unit: !6, retainedNodes: !18)
+!18 = !{!19, !21}
+!19 = !DILocalVariable(name: "STRING.len", scope: !17, type: !20, flags: DIFlagArtificial)
+!20 = !DIBasicType(name: "INTEGER*8", size: 64, encoding: DW_ATE_signed)
+!21 = !DILocalVariable(name: "string", arg: 1, scope: !17, file: !3, line: 7, type: !22)
+!22 = !DIStringType(name: "character(*)!2", stringLength: !19)
+!23 = !DILocation(line: 0, scope: !17)
+!24 = !DILocation(line: 7, column: 18, scope: !17)
+!25 = !DILocation(line: 7, column: 14, scope: !17)
+!26 = !DILocation(line: 10, column: 11, scope: !17)
+!27 = !DILocation(line: 11, column: 3, scope: !17)
diff --git a/llvm/test/DebugInfo/fortran-string-type.ll b/llvm/test/DebugInfo/fortran-string-type.ll
index cbd3b1b401dd..937f065d1d6d 100644
--- a/llvm/test/DebugInfo/fortran-string-type.ll
+++ b/llvm/test/DebugInfo/fortran-string-type.ll
@@ -7,6 +7,7 @@
; CHECK: !DIStringType(name: "character(*)", stringLength: !{{[0-9]+}}, stringLengthExpression: !DIExpression(), size: 32)
; CHECK: !DIStringType(name: "character(10)", size: 80, align: 8)
; CHECK: !DIBasicType(tag: DW_TAG_string_type
+; CHECK: !DIStringType(name: ".str.DEFERRED", stringLengthExpression: !DIExpression(DW_OP_push_object_address, DW_OP_plus_uconst, 8))
!llvm.module.flags = !{!0, !1}
!llvm.dbg.cu = !{!2}
@@ -16,7 +17,7 @@
!2 = distinct !DICompileUnit(language: DW_LANG_Fortran90, file: !3, producer: "Flang", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, retainedTypes: !5, globals: !4, imports: !4)
!3 = !DIFile(filename: "fortran-string-type.f", directory: "/")
!4 = !{}
-!5 = !{!6, !9, !12, !13}
+!5 = !{!6, !9, !12, !13, !14}
!6 = !DIStringType(name: "character(*)", stringLength: !7, stringLengthExpression: !DIExpression(), size: 32)
!7 = !DILocalVariable(arg: 2, scope: !8, file: !3, line: 256, type: !11, flags: DIFlagArtificial)
!8 = distinct !DISubprogram(name: "subprgm", scope: !2, file: !3, line: 256, type: !9, isLocal: false, isDefinition: true, scopeLine: 256, isOptimized: false, unit: !2)
@@ -25,3 +26,4 @@
!11 = !DIBasicType(name: "integer*8", size: 64, align: 64, encoding: DW_ATE_signed)
!12 = !DIStringType(name: "character(10)", size: 80, align: 8)
!13 = !DIBasicType(tag: DW_TAG_string_type, name: "character")
+!14 = !DIStringType(name: ".str.DEFERRED", stringLengthExpression: !DIExpression(DW_OP_push_object_address, DW_OP_plus_uconst, 8))
More information about the llvm-branch-commits
mailing list