llvm/test/DebugInfo/X86/dimodule-external-fortran.ll

   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'
  38 source_filename = "em.f90"
  39 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
  40 target 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
  46 define void @MAIN__() #0 !dbg !2 {
  47 alloca_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
  59 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
  60
  61 declare i32 @for_set_reentrancy(ptr)
  62
  63 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" }
  64 attributes #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)