1; This test verifies that the debug info for an external Fortran module 2; is correctly generated. 3; 4; To generate the test source, compile the following two files in order in 5; the same directory (as the second compilation uses the .mod from the first): 6; external_module.f90 (to compile: <fortran compiler> -g -c external_module.f90) 7; module external_module 8; real :: dummy 9; end module external_module 10; 11; em.f90 (to compile: <fortran compierl> -g -llvm-emit -c -S em.f90) 12; program use_external_module 13; use external_module 14; implicit none 15; 16; real :: x 17; x = 2.0 + dummy 18; 19; end program use_external_module 20; 21; The test would be in em.ll. 22 23; RUN: llc -filetype=obj %s -o - | llvm-dwarfdump - | FileCheck %s 24 25; CHECK: [[DIE_ID:0x[0-9a-f]+]]: DW_TAG_module 26; CHECK-NEXT: DW_AT_name ("external_module") 27; CHECK-NEXT: DW_AT_declaration (true) 28 29; CHECK: DW_TAG_imported_module 30; CHECK-NEXT: DW_AT_decl_file 31; CHECK-NEXT: DW_AT_decl_line 32; CHECK-NEXT: DW_AT_import ([[DIE_ID]]) 33 34; When the debugger sees the module being imported is a declaration, 35; it should go to the global scope to find the module's definition. 36 37; ModuleID = 'em.f90' 38source_filename = "em.f90" 39target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" 40target triple = "x86_64-unknown-linux-gnu" 41 42@external_module_mp_dummy_ = available_externally global float 0.000000e+00, align 8, !dbg !0 43@0 = internal unnamed_addr constant i32 2 44 45; Function Attrs: noinline nounwind uwtable 46define void @MAIN__() #0 !dbg !2 { 47alloca_0: 48 %"var$1" = alloca [8 x i64], align 8 49 %"use_external_module_$X" = alloca float, align 8 50 call void @llvm.dbg.declare(metadata ptr %"use_external_module_$X", metadata !13, metadata !DIExpression()), !dbg !17 51 %func_result = call i32 @for_set_reentrancy(ptr @0), !dbg !18 52 %external_module_mp_dummy__fetch = load float, ptr @external_module_mp_dummy_, align 1, !dbg !19 53 %add = fadd reassoc ninf nsz arcp contract afn float 2.000000e+00, %external_module_mp_dummy__fetch, !dbg !20 54 store float %add, ptr %"use_external_module_$X", align 1, !dbg !19 55 ret void, !dbg !21 56} 57 58; Function Attrs: nofree nosync nounwind readnone speculatable willreturn 59declare void @llvm.dbg.declare(metadata, metadata, metadata) #1 60 61declare i32 @for_set_reentrancy(ptr) 62 63attributes #0 = { noinline nounwind uwtable "intel-lang"="fortran" "min-legal-vector-width"="0" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" } 64attributes #1 = { nofree nosync nounwind readnone speculatable willreturn } 65 66!llvm.module.flags = !{!15, !16} 67!llvm.dbg.cu = !{!6} 68!omp_offload.info = !{} 69 70!0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression()) 71!1 = distinct !DIGlobalVariable(name: "dummy", linkageName: "external_module_mp_dummy_", scope: !2, file: !3, line: 1, type: !14, isLocal: false, isDefinition: true) 72!2 = distinct !DISubprogram(name: "use_external_module", linkageName: "MAIN__", scope: !3, file: !3, line: 1, type: !4, scopeLine: 1, spFlags: DISPFlagDefinition, unit: !6, retainedNodes: !12) 73!3 = !DIFile(filename: "em.f90", directory: "tests") 74!4 = !DISubroutineType(types: !5) 75!5 = !{null} 76!6 = distinct !DICompileUnit(language: DW_LANG_Fortran95, file: !3, producer: "Intel(R) Fortran 21.0-2165", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !7, globals: !8, splitDebugInlining: false, nameTableKind: None) 77!7 = !{} 78!8 = !{!0} 79!9 = !{} 80!10 = !DIImportedEntity(tag: DW_TAG_imported_module, scope: !2, entity: !11, file: !3, line: 2) 81!11 = !DIModule(scope: !2, name: "external_module", isDecl: true) 82!12 = !{!10, !13} 83!13 = !DILocalVariable(name: "x", scope: !2, file: !3, line: 5, type: !14) 84!14 = !DIBasicType(name: "REAL*4", size: 32, encoding: DW_ATE_float) 85!15 = !{i32 2, !"Debug Info Version", i32 3} 86!16 = !{i32 2, !"Dwarf Version", i32 4} 87!17 = !DILocation(line: 5, column: 12, scope: !2) 88!18 = !DILocation(line: 1, column: 9, scope: !2) 89!19 = !DILocation(line: 6, column: 4, scope: !2) 90!20 = !DILocation(line: 6, column: 12, scope: !2) 91!21 = !DILocation(line: 8, column: 1, scope: !2) 92