llvm/test/DebugInfo/COFF/fortran-basic.ll

   1 ; RUN: llc < %s -filetype=obj | llvm-readobj - --codeview | FileCheck %s
   2 ;
   3 ; The IR in this test derives from the following Fortran program:
   4 ;       program array
   5 ;         integer array1, array2
   6 ;         dimension array1(10)
   7 ;         dimension array2(3:10)
   8 ;         double precision d
   9 ;         logical l
  10 ;         character*6 c
  11 ;         complex*8 cmp8
  12 ;         complex*16 cmp16
  13 ;         complex*32 cmp32
  14 ;
  15 ;         common /com/ d, l, c
  16 ;
  17 ;         array1(1) = 1
  18 ;         array2(3) = 2
  19 ;         d = 8.0
  20 ;         l = .TRUE.
  21 ;         c = 'oooooo'
  22 ;         cmp8 = (8.8, 1.1)
  23 ;         cmp16 = (16.16, 2.2)
  24 ;         cmp32 = (32.32, 3.3)
  25 ;       end
  26 ;
  27 ; CHECK: Array ([[array2_t:.*]]) {
  28 ; CHECK-NEXT: TypeLeafKind: LF_ARRAY
  29 ; CHECK-NEXT: ElementType: int
  30 ; CHECK-NEXT: IndexType: unsigned __int64
  31 ; CHECK-NEXT: SizeOf: 32
  32 ;
  33 ; CHECK: Array ([[array1_t:.*]]) {
  34 ; CHECK-NEXT: TypeLeafKind: LF_ARRAY
  35 ; CHECK-NEXT: ElementType: int
  36 ; CHECK-NEXT: IndexType: unsigned __int64
  37 ; CHECK-NEXT: SizeOf: 40
  38 ;
  39 ; CHECK: Array ([[char_6_t:.*]]) {
  40 ; CHECK-NEXT: TypeLeafKind: LF_ARRAY
  41 ; CHECK-NEXT: ElementType: char
  42 ; CHECK-NEXT: IndexType: unsigned __int64
  43 ; CHECK-NEXT: SizeOf: 6
  44 ; CHECK-NEXT: CHARACTER_0
  45 ;
  46 ; CHECK:      Type: _Complex __float128 (0x53)
  47 ; CHECK-NEXT: Flags [
  48 ; CHECK-NEXT: ]
  49 ; CHECK-NEXT: VarName: CMP32
  50 ;
  51 ; CHECK:      Type: _Complex double (0x51)
  52 ; CHECK-NEXT: Flags [
  53 ; CHECK-NEXT: ]
  54 ; CHECK-NEXT: VarName: CMP16
  55 ;
  56 ; CHECK:      Type: _Complex float (0x50)
  57 ; CHECK-NEXT: Flags [
  58 ; CHECK-NEXT: ]
  59 ; CHECK-NEXT: VarName: CMP8
  60 ;
  61 ; CHECK: DataOffset: ARRAY$ARRAY2+0x0
  62 ; CHECK-NEXT: Type: [[array2_t]]
  63 ; CHECK-NEXT: DisplayName: ARRAY2
  64 ; CHECK-NEXT: LinkageName: ARRAY$ARRAY2
  65 ;
  66 ; CHECK: DataOffset: ARRAY$ARRAY1+0x0
  67 ; CHECK-NEXT: Type: [[array1_t]]
  68 ; CHECK-NEXT: DisplayName: ARRAY1
  69 ; CHECK-NEXT: LinkageName: ARRAY$ARRAY1
  70 ;
  71 ; CHECK: DataOffset: COM+0x0
  72 ; CHECK-NEXT: Type: double
  73 ; CHECK-NEXT: DisplayName: D
  74 ; CHECK-NEXT: LinkageName: COM
  75 ;
  76 ; CHECK: DataOffset: COM+0x8
  77 ; CHECK-NEXT: Type: __bool32
  78 ; CHECK-NEXT: DisplayName: L
  79 ; CHECK-NEXT: LinkageName: COM
  80 ;
  81 ; CHECK: DataOffset: COM+0xC
  82 ; CHECK-NEXT: Type: CHARACTER_0 ([[char_6_t]])
  83 ; CHECK-NEXT: DisplayName: C
  84 ; CHECK-NEXT: LinkageName: COM
  85
  86 ; ModuleID = 'fortran-basic.f'
  87 source_filename = "fortran-basic.f"
  88 target datalayout = "e-m:w-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
  89 target triple = "x86_64-pc-windows-msvc"
  90
  91 %complex_256bit = type { fp128, fp128 }
  92 %complex_128bit = type { double, double }
  93 %complex_64bit = type { float, float }
  94
  95 @strlit = internal unnamed_addr constant [6 x i8] c"oooooo"
  96 @COM = common unnamed_addr global [18 x i8] zeroinitializer, align 32, !dbg !0, !dbg !9, !dbg !12
  97 @"ARRAY$ARRAY2" = internal global [8 x i32] zeroinitializer, align 16, !dbg !15
  98 @"ARRAY$ARRAY1" = internal global [10 x i32] zeroinitializer, align 16, !dbg !21
  99 @0 = internal unnamed_addr constant i32 2
 100
 101 ; Function Attrs: noinline nounwind optnone uwtable
 102 define void @MAIN__() #0 !dbg !3 {
 103 alloca_0:
 104   %"$io_ctx" = alloca [6 x i64], align 8
 105   %"ARRAY$CMP32" = alloca %complex_256bit, align 16
 106   %"ARRAY$CMP16" = alloca %complex_128bit, align 8, !dbg !42
 107   %"ARRAY$CMP8" = alloca %complex_64bit, align 8, !dbg !42
 108   call void @llvm.dbg.declare(metadata ptr %"ARRAY$CMP32", metadata !27, metadata !DIExpression()), !dbg !42
 109   call void @llvm.dbg.declare(metadata ptr %"ARRAY$CMP16", metadata !29, metadata !DIExpression()), !dbg !41
 110   call void @llvm.dbg.declare(metadata ptr %"ARRAY$CMP8", metadata !31, metadata !DIExpression()), !dbg !40
 111   %strlit_fetch.1 = load [6 x i8], ptr @strlit, align 1, !dbg !39
 112   %func_result = call i32 @for_set_reentrancy(ptr @0), !dbg !39
 113   store i32 1, ptr @"ARRAY$ARRAY1", align 1, !dbg !43
 114   store i32 2, ptr @"ARRAY$ARRAY2", align 1, !dbg !44
 115   store double 8.000000e+00, ptr @COM, align 1, !dbg !45
 116   store i32 -1, ptr getelementptr inbounds ([18 x i8], ptr @COM, i32 0, i64 8), align 1, !dbg !46
 117   call void @llvm.for.cpystr.i64.i64.i64(ptr getelementptr inbounds ([18 x i8], ptr @COM, i32 0, i64 12), i64 6, ptr @strlit, i64 3, i64 0, i1 false), !dbg !47
 118   store %complex_64bit { float 0x40219999A0000000, float 0x3FF19999A0000000 }, ptr %"ARRAY$CMP8", align 8, !dbg !48
 119   store %complex_128bit { double 0x403028F5C0000000, double 0x40019999A0000000 }, ptr %"ARRAY$CMP16", align 8, !dbg !49
 120   store %complex_256bit { fp128 0xL00000000000000004004028F5C000000, fp128 0xL00000000000000004000A66666000000 }, ptr %"ARRAY$CMP32", align 16, !dbg !50
 121   ret void, !dbg !51
 122 }
 123
 124 declare i32 @for_set_reentrancy(ptr nocapture readonly)
 125
 126 ; Function Attrs: nounwind readnone speculatable
 127 declare ptr @llvm.intel.subscript.p0.i64.i64.p0.i64(i8, i64, i64, ptr, i64) #1
 128
 129 ; Function Attrs: argmemonly nofree nosync nounwind willreturn
 130 declare void @llvm.for.cpystr.i64.i64.i64(ptr noalias nocapture writeonly, i64, ptr noalias nocapture readonly, i64, i64, i1 immarg) #2
 131
 132 ; Function Attrs: nocallback nofree nosync nounwind readnone speculatable willreturn
 133 declare void @llvm.dbg.declare(metadata, metadata, metadata) #3
 134
 135 attributes #0 = { noinline nounwind optnone uwtable "frame-pointer"="none" "intel-lang"="fortran" "min-legal-vector-width"="0" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" }
 136 attributes #1 = { nounwind readnone speculatable }
 137 attributes #2 = { argmemonly nofree nosync nounwind willreturn }
 138 attributes #3 = { nocallback nofree nosync nounwind readnone speculatable willreturn }
 139
 140 !llvm.module.flags = !{!34, !35, !36}
 141 !llvm.dbg.cu = !{!7}
 142 !omp_offload.info = !{}
 143
 144 !0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
 145 !1 = distinct !DIGlobalVariable(name: "D", linkageName: "COM", scope: !2, file: !4, line: 5, type: !33, isLocal: false, isDefinition: true)
 146 !2 = !DICommonBlock(scope: !3, declaration: null, name: "COM", file: !4, line: 8)
 147 !3 = distinct !DISubprogram(name: "ARRAY", linkageName: "MAIN__", scope: !4, file: !4, line: 1, type: !5, scopeLine: 1, spFlags: DISPFlagDefinition | DISPFlagMainSubprogram, unit: !7, retainedNodes: !26)
 148 !4 = !DIFile(filename: "fortran-basic.f", directory: "d:\\temp")
 149 !5 = !DISubroutineType(types: !6)
 150 !6 = !{null}
 151 !7 = distinct !DICompileUnit(language: DW_LANG_Fortran95, file: !4, producer: "Fortran", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, globals: !8, splitDebugInlining: false, nameTableKind: None)
 152 !8 = !{!0, !9, !12, !15, !21}
 153 !9 = !DIGlobalVariableExpression(var: !10, expr: !DIExpression(DW_OP_plus_uconst, 8))
 154 !10 = distinct !DIGlobalVariable(name: "L", linkageName: "COM", scope: !2, file: !4, line: 6, type: !11, isLocal: false, isDefinition: true)
 155 !11 = !DIBasicType(name: "LOGICAL*4", size: 32, encoding: DW_ATE_boolean)
 156 !12 = !DIGlobalVariableExpression(var: !13, expr: !DIExpression(DW_OP_plus_uconst, 12))
 157 !13 = distinct !DIGlobalVariable(name: "C", linkageName: "COM", scope: !2, file: !4, line: 7, type: !14, isLocal: false, isDefinition: true)
 158 !14 = !DIStringType(name: "CHARACTER_0", size: 48)
 159 !15 = !DIGlobalVariableExpression(var: !16, expr: !DIExpression())
 160 !16 = distinct !DIGlobalVariable(name: "ARRAY2", linkageName: "ARRAY$ARRAY2", scope: !3, file: !4, line: 2, type: !17, isLocal: true, isDefinition: true)
 161 !17 = !DICompositeType(tag: DW_TAG_array_type, baseType: !18, elements: !19)
 162 !18 = !DIBasicType(name: "INTEGER*4", size: 32, encoding: DW_ATE_signed)
 163 !19 = !{!20}
 164 !20 = !DISubrange(lowerBound: 3, upperBound: 10)
 165 !21 = !DIGlobalVariableExpression(var: !22, expr: !DIExpression())
 166 !22 = distinct !DIGlobalVariable(name: "ARRAY1", linkageName: "ARRAY$ARRAY1", scope: !3, file: !4, line: 2, type: !23, isLocal: true, isDefinition: true)
 167 !23 = !DICompositeType(tag: DW_TAG_array_type, baseType: !18, elements: !24)
 168 !24 = !{!25}
 169 !25 = !DISubrange(count: 10, lowerBound: 1)
 170 !26 = !{!27, !29, !31}
 171 !27 = !DILocalVariable(name: "CMP32", scope: !3, file: !4, line: 10, type: !28)
 172 !28 = !DIBasicType(name: "COMPLEX*32", size: 256, encoding: DW_ATE_complex_float)
 173 !29 = !DILocalVariable(name: "CMP16", scope: !3, file: !4, line: 9, type: !30)
 174 !30 = !DIBasicType(name: "COMPLEX*16", size: 128, encoding: DW_ATE_complex_float)
 175 !31 = !DILocalVariable(name: "CMP8", scope: !3, file: !4, line: 8, type: !32)
 176 !32 = !DIBasicType(name: "COMPLEX*8", size: 64, encoding: DW_ATE_complex_float)
 177 !33 = !DIBasicType(name: "REAL*8", size: 64, encoding: DW_ATE_float)
 178 !34 = !{i32 7, !"PIC Level", i32 2}
 179 !35 = !{i32 2, !"Debug Info Version", i32 3}
 180 !36 = !{i32 2, !"CodeView", i32 1}
 181 !39 = !DILocation(line: 1, column: 10, scope: !3)
 182 !40 = !DILocation(line: 8, column: 9, scope: !3)
 183 !41 = !DILocation(line: 9, column: 9, scope: !3)
 184 !42 = !DILocation(line: 10, column: 9, scope: !3)
 185 !43 = !DILocation(line: 14, column: 9, scope: !3)
 186 !44 = !DILocation(line: 15, column: 9, scope: !3)
 187 !45 = !DILocation(line: 16, column: 9, scope: !3)
 188 !46 = !DILocation(line: 17, column: 9, scope: !3)
 189 !47 = !DILocation(line: 18, column: 9, scope: !3)
 190 !48 = !DILocation(line: 19, column: 9, scope: !3)
 191 !49 = !DILocation(line: 20, column: 9, scope: !3)
 192 !50 = !DILocation(line: 21, column: 9, scope: !3)
 193 !51 = !DILocation(line: 22, column: 2, scope: !3)