llvm/test/DebugInfo/X86/global-sra-struct-part-overlap-segment.ll

   1 ; RUN: opt -S -p globalopt < %s | FileCheck %s
   2
   3 ;; Generated at -g from:
   4 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   5 ;;MODULE mymod
   6 ;;   IMPLICIT NONE
   7 ;;   INTEGER, PARAMETER :: dp = SELECTED_REAL_KIND(14, 200)
   8 ;;CONTAINS
   9 ;;   FUNCTION foo(arg)
  10 ;;      REAL(KIND=dp), DIMENSION(3, 3), INTENT(IN)         :: arg
  11 ;;      INTEGER, DIMENSION(3)                              :: foo
  12 ;;      foo = bar(arg)
  13 ;;   END FUNCTION foo
  14 ;;   FUNCTION bar(arg)
  15 ;;      REAL(KIND=dp), DIMENSION(3, 3), INTENT(IN)         :: arg
  16 ;;      INTEGER, DIMENSION(3)                              :: bar
  17 ;;      REAL(KIND=dp)                                      :: rvar(3)
  18 ;;      rvar = arg(1,:)
  19 ;;      IF(rvar(1) == 0._dp) print *,"IF"
  20 ;;      bar = FLOOR(rvar)
  21 ;;   END FUNCTION bar
  22 ;;END MODULE mymod
  23 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  24
  25 %struct.BSS3 = type <{ [24 x i8] }>
  26
  27 @.BSS3 = internal unnamed_addr global %struct.BSS3 zeroinitializer, align 32, !dbg !0, !dbg !7, !dbg !29
  28 ;CHECK: @.BSS3.0 = internal unnamed_addr global double 0.000000e+00, align 32, !dbg ![[GVE1:.*]], !dbg ![[GVE2:.*]]
  29 ;CHECK: @.BSS3.1 = internal unnamed_addr global double 0.000000e+00, align 32, !dbg ![[GVE3:.*]], !dbg ![[GVE4:.*]], !dbg ![[GVE6:.*]]
  30 ;CHECK: @.BSS3.2 = internal unnamed_addr global double 0.000000e+00, align 16, !dbg ![[GVE5:.*]]
  31
  32 @.C363_mymod_bar_ = internal constant [2 x i8] c"IF"
  33 @.C330_mymod_bar_ = internal constant i32 0
  34 @.C360_mymod_bar_ = internal constant i32 6
  35 @.C357_mymod_bar_ = internal constant [9 x i8] c"frag1.f90"
  36 @.C359_mymod_bar_ = internal constant i32 15
  37
  38 define float @mymod_() local_unnamed_addr {
  39 .L.entry:
  40   ret float undef
  41 }
  42
  43 define void @mymod_foo_(i64* noalias nocapture writeonly %foo, i64* noalias nocapture readonly %arg) local_unnamed_addr !dbg !22 {
  44 L.entry:
  45   tail call void @llvm.experimental.noalias.scope.decl(metadata !23)
  46   tail call void @llvm.experimental.noalias.scope.decl(metadata !26)
  47   %0 = bitcast i64* %arg to double*
  48   %1 = load double, double* %0, align 8, !noalias !23
  49   store double %1, double* bitcast (%struct.BSS3* @.BSS3 to double*), align 32, !noalias !28
  50   %2 = getelementptr i64, i64* %arg, i64 3
  51   %3 = bitcast i64* %2 to double*
  52   %4 = load double, double* %3, align 8, !alias.scope !26, !noalias !23
  53   store double %4, double* bitcast (i8* getelementptr inbounds (%struct.BSS3, %struct.BSS3* @.BSS3, i64 0, i32 0, i64 8) to double*), align 8, !noalias !28
  54   %5 = getelementptr i64, i64* %arg, i64 6
  55   %6 = bitcast i64* %5 to double*
  56   %7 = load double, double* %6, align 8, !alias.scope !26, !noalias !23
  57   store double %7, double* bitcast (i8* getelementptr inbounds (%struct.BSS3, %struct.BSS3* @.BSS3, i64 0, i32 0, i64 16) to double*), align 16, !noalias !28
  58   %8 = fcmp une double %1, 0.000000e+00
  59   br i1 %8, label %L.LB3_377.i, label %L.LB3_417.i
  60
  61 L.LB3_417.i:                                      ; preds = %L.entry
  62   tail call void (i8*, i8*, i64, ...) bitcast (void (...)* @f90io_src_info03a to void (i8*, i8*, i64, ...)*)(i8* bitcast (i32* @.C359_mymod_bar_ to i8*), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.C357_mymod_bar_, i64 0, i64 0), i64 9), !noalias !28
  63   %9 = tail call i32 (i8*, i8*, i8*, i8*, ...) bitcast (i32 (...)* @f90io_print_init to i32 (i8*, i8*, i8*, i8*, ...)*)(i8* bitcast (i32* @.C360_mymod_bar_ to i8*), i8* null, i8* bitcast (i32* @.C330_mymod_bar_ to i8*), i8* bitcast (i32* @.C330_mymod_bar_ to i8*)), !noalias !28
  64   %10 = tail call i32 (i8*, i32, i64, ...) bitcast (i32 (...)* @f90io_sc_ch_ldw to i32 (i8*, i32, i64, ...)*)(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.C363_mymod_bar_, i64 0, i64 0), i32 14, i64 2), !noalias !28
  65   %11 = tail call i32 (...) @f90io_ldw_end(), !noalias !28
  66   %.pre = load double, double* bitcast (%struct.BSS3* @.BSS3 to double*), align 32, !noalias !28
  67   %.pre1 = load double, double* bitcast (i8* getelementptr inbounds (%struct.BSS3, %struct.BSS3* @.BSS3, i64 0, i32 0, i64 8) to double*), align 8, !noalias !28
  68   %.pre2 = load double, double* bitcast (i8* getelementptr inbounds (%struct.BSS3, %struct.BSS3* @.BSS3, i64 0, i32 0, i64 16) to double*), align 16, !noalias !28
  69   br label %L.LB3_377.i
  70
  71 L.LB3_377.i:                                      ; preds = %L.LB3_417.i, %L.entry
  72   %12 = phi double [ %.pre2, %L.LB3_417.i ], [ %7, %L.entry ]
  73   %13 = phi double [ %.pre1, %L.LB3_417.i ], [ %4, %L.entry ]
  74   %14 = phi double [ %.pre, %L.LB3_417.i ], [ %1, %L.entry ]
  75   %15 = bitcast i64* %foo to i8*
  76   %16 = tail call double @llvm.floor.f64(double %14)
  77   %17 = fptosi double %16 to i32
  78   %18 = bitcast i64* %foo to i32*
  79   store i32 %17, i32* %18, align 4, !alias.scope !23, !noalias !26
  80   %19 = tail call double @llvm.floor.f64(double %13)
  81   %20 = fptosi double %19 to i32
  82   %21 = getelementptr i8, i8* %15, i64 4
  83   %22 = bitcast i8* %21 to i32*
  84   store i32 %20, i32* %22, align 4, !alias.scope !23, !noalias !26
  85   %23 = tail call double @llvm.floor.f64(double %12)
  86   %24 = fptosi double %23 to i32
  87   %25 = getelementptr i64, i64* %foo, i64 1
  88   %26 = bitcast i64* %25 to i32*
  89   store i32 %24, i32* %26, align 4, !alias.scope !23, !noalias !26
  90   ret void
  91 }
  92
  93 define void @mymod_bar_(i64* noalias nocapture writeonly %bar, i64* noalias nocapture readonly %arg) local_unnamed_addr !dbg !9 {
  94 L.entry:
  95   %0 = bitcast i64* %arg to double*
  96   %1 = load double, double* %0, align 8
  97   store double %1, double* bitcast (%struct.BSS3* @.BSS3 to double*), align 32
  98   %2 = getelementptr i64, i64* %arg, i64 3
  99   %3 = bitcast i64* %2 to double*
 100   %4 = load double, double* %3, align 8
 101   store double %4, double* bitcast (i8* getelementptr inbounds (%struct.BSS3, %struct.BSS3* @.BSS3, i64 0, i32 0, i64 8) to double*), align 8
 102   %5 = getelementptr i64, i64* %arg, i64 6
 103   %6 = bitcast i64* %5 to double*
 104   %7 = load double, double* %6, align 8
 105   store double %7, double* bitcast (i8* getelementptr inbounds (%struct.BSS3, %struct.BSS3* @.BSS3, i64 0, i32 0, i64 16) to double*), align 16
 106   %8 = fcmp une double %1, 0.000000e+00
 107   br i1 %8, label %L.LB3_377, label %L.LB3_417
 108
 109 L.LB3_417:                                        ; preds = %L.entry
 110   tail call void (i8*, i8*, i64, ...) bitcast (void (...)* @f90io_src_info03a to void (i8*, i8*, i64, ...)*)(i8* bitcast (i32* @.C359_mymod_bar_ to i8*), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.C357_mymod_bar_, i64 0, i64 0), i64 9)
 111   %9 = tail call i32 (i8*, i8*, i8*, i8*, ...) bitcast (i32 (...)* @f90io_print_init to i32 (i8*, i8*, i8*, i8*, ...)*)(i8* bitcast (i32* @.C360_mymod_bar_ to i8*), i8* null, i8* bitcast (i32* @.C330_mymod_bar_ to i8*), i8* bitcast (i32* @.C330_mymod_bar_ to i8*))
 112   %10 = tail call i32 (i8*, i32, i64, ...) bitcast (i32 (...)* @f90io_sc_ch_ldw to i32 (i8*, i32, i64, ...)*)(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.C363_mymod_bar_, i64 0, i64 0), i32 14, i64 2)
 113   %11 = tail call i32 (...) @f90io_ldw_end()
 114   %.pre = load double, double* bitcast (%struct.BSS3* @.BSS3 to double*), align 32
 115   %.pre1 = load double, double* bitcast (i8* getelementptr inbounds (%struct.BSS3, %struct.BSS3* @.BSS3, i64 0, i32 0, i64 8) to double*), align 8
 116   %.pre2 = load double, double* bitcast (i8* getelementptr inbounds (%struct.BSS3, %struct.BSS3* @.BSS3, i64 0, i32 0, i64 16) to double*), align 16
 117   br label %L.LB3_377
 118
 119 L.LB3_377:                                        ; preds = %L.LB3_417, %L.entry
 120   %12 = phi double [ %.pre2, %L.LB3_417 ], [ %7, %L.entry ]
 121   %13 = phi double [ %.pre1, %L.LB3_417 ], [ %4, %L.entry ]
 122   %14 = phi double [ %.pre, %L.LB3_417 ], [ %1, %L.entry ]
 123   %15 = bitcast i64* %bar to i8*
 124   %16 = tail call double @llvm.floor.f64(double %14)
 125   %17 = fptosi double %16 to i32
 126   %18 = bitcast i64* %bar to i32*
 127   store i32 %17, i32* %18, align 4
 128   %19 = tail call double @llvm.floor.f64(double %13)
 129   %20 = fptosi double %19 to i32
 130   %21 = getelementptr i8, i8* %15, i64 4
 131   %22 = bitcast i8* %21 to i32*
 132   store i32 %20, i32* %22, align 4
 133   %23 = tail call double @llvm.floor.f64(double %12)
 134   %24 = fptosi double %23 to i32
 135   %25 = getelementptr i64, i64* %bar, i64 1
 136   %26 = bitcast i64* %25 to i32*
 137   store i32 %24, i32* %26, align 4
 138   ret void
 139 }
 140
 141 declare signext i32 @f90io_ldw_end(...) local_unnamed_addr
 142
 143 declare signext i32 @f90io_sc_ch_ldw(...) local_unnamed_addr
 144
 145 declare signext i32 @f90io_print_init(...) local_unnamed_addr
 146
 147 declare void @f90io_src_info03a(...) local_unnamed_addr
 148
 149 ; Function Attrs: nocallback nofree nosync nounwind readnone speculatable willreturn
 150 declare double @llvm.floor.f64(double)
 151
 152 ; Function Attrs: inaccessiblememonly nocallback nofree nosync nounwind willreturn
 153 declare void @llvm.experimental.noalias.scope.decl(metadata)
 154
 155 !llvm.module.flags = !{!20, !21}
 156 !llvm.dbg.cu = !{!3}
 157
 158 ; CHECK-DAG: ![[GVE1]] = !DIGlobalVariableExpression(var: ![[GV1:.*]], expr: !DIExpression(DW_OP_LLVM_fragment, 0, 64))
 159 ; CHECK-DAG: ![[GV1]] = distinct !DIGlobalVariable(name: "bar1"
 160 ; CHECK-DAG: ![[GVE2]] = !DIGlobalVariableExpression(var: ![[GV2:.*]], expr: !DIExpression(DW_OP_LLVM_fragment, 0, 64))
 161 ; CHECK-DAG: ![[GV2]] = distinct !DIGlobalVariable(name: "rvar"
 162 ; CHECK-DAG: ![[GVE3]] = !DIGlobalVariableExpression(var: ![[GV1]], expr: !DIExpression(DW_OP_LLVM_fragment, 64, 32))
 163 ; CHECK-DAG: ![[GVE4]] = !DIGlobalVariableExpression(var: ![[GV2]], expr: !DIExpression(DW_OP_LLVM_fragment, 64, 64))
 164 ; CHECK-DAG: ![[GVE5]] = !DIGlobalVariableExpression(var: ![[GV2]], expr: !DIExpression(DW_OP_LLVM_fragment, 128, 64))
 165 ; CHECK-DAG: ![[GVE6]] = !DIGlobalVariableExpression(var: ![[GV3:.*]], expr: !DIExpression(DW_OP_LLVM_fragment, 32, 32))
 166 ; CHECK-DAG: ![[GV3]] = distinct !DIGlobalVariable(name: "ivar"
 167
 168 !0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression())
 169 !1 = distinct !DIGlobalVariable(name: "bar1", scope: !2, file: !4, type: !12, isLocal: true, isDefinition: true)
 170 !2 = !DIModule(scope: !3, name: "mymod", isDecl: true)
 171 !3 = distinct !DICompileUnit(language: DW_LANG_Fortran90, file: !4, producer: " F90 Flang - 1.5 2017-05-01", isOptimized: true, flags: "'+flang -g -O3 -S -emit-llvm -o -O1'", runtimeVersion: 0, emissionKind: FullDebug, enums: !5, retainedTypes: !5, globals: !6, imports: !5, nameTableKind: None)
 172 !4 = !DIFile(filename: "global-sra-struct-part-overlap-segment_0.f90", directory: "/tmp")
 173 !5 = !{}
 174 !6 = !{!0, !7, !29}
 175 !7 = !DIGlobalVariableExpression(var: !8, expr: !DIExpression())
 176 !8 = distinct !DIGlobalVariable(name: "rvar", scope: !9, file: !4, line: 13, type: !19, isLocal: true, isDefinition: true)
 177 !9 = distinct !DISubprogram(name: "bar", scope: !2, file: !4, line: 10, type: !10, scopeLine: 10, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !3)
 178 !10 = !DISubroutineType(types: !11)
 179 !11 = !{null, !12, !16}
 180 !12 = !DICompositeType(tag: DW_TAG_array_type, baseType: !13, size: 96, align: 32, elements: !14)
 181 !13 = !DIBasicType(name: "integer", size: 32, align: 32, encoding: DW_ATE_signed)
 182 !14 = !{!15}
 183 !15 = !DISubrange(lowerBound: 1, upperBound: 3)
 184 !16 = !DICompositeType(tag: DW_TAG_array_type, baseType: !17, size: 576, align: 64, elements: !18)
 185 !17 = !DIBasicType(name: "double precision", size: 64, align: 64, encoding: DW_ATE_float)
 186 !18 = !{!15, !15}
 187 !19 = !DICompositeType(tag: DW_TAG_array_type, baseType: !17, size: 192, align: 64, elements: !14)
 188 !20 = !{i32 2, !"Dwarf Version", i32 4}
 189 !21 = !{i32 2, !"Debug Info Version", i32 3}
 190 !22 = distinct !DISubprogram(name: "foo", scope: !2, file: !4, line: 5, type: !10, scopeLine: 5, flags: DIFlagAllCallsDescribed, spFlags: DISPFlagDefinition | DISPFlagOptimized, unit: !3)
 191 !23 = !{!24}
 192 !24 = distinct !{!24, !25, !"mymod_bar_: %bar"}
 193 !25 = distinct !{!25, !"mymod_bar_"}
 194 !26 = !{!27}
 195 !27 = distinct !{!27, !25, !"mymod_bar_: %arg"}
 196 !28 = !{!24, !27}
 197 !29 = !DIGlobalVariableExpression(var: !30, expr: !DIExpression(DW_OP_plus_uconst, 4))
 198 !30 = distinct !DIGlobalVariable(name: "ivar", scope: !9, file: !4, line: 13, type: !31, isLocal: true, isDefinition: true)
 199 !31 = !DIBasicType(name: "integer*8", size: 64, align: 32, encoding: DW_ATE_signed)