test/Transforms/GlobalOpt/2009-03-05-dbg.ll

   1 ; REQUIRES: asserts
   2 ; RUN: opt < %s -globalopt -stats -disable-output 2>&1 | grep "1 globalopt - Number of global vars shrunk to booleans"
   3
   4 @Stop = internal global i32 0                     ; <i32*> [#uses=3]
   5
   6 define i32 @foo(i32 %i) nounwind ssp {
   7 entry:
   8   %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
   9   call void @llvm.dbg.value(metadata !{i32 %i}, i64 0, metadata !3, metadata !{})
  10   %0 = icmp eq i32 %i, 1, !dbg !7                 ; <i1> [#uses=1]
  11   br i1 %0, label %bb, label %bb1, !dbg !7
  12
  13 bb:                                               ; preds = %entry
  14   store i32 0, i32* @Stop, align 4, !dbg !9
  15   %1 = mul nsw i32 %i, 42, !dbg !10               ; <i32> [#uses=1]
  16   call void @llvm.dbg.value(metadata !{i32 %1}, i64 0, metadata !3, metadata !{}), !dbg !10
  17   br label %bb2, !dbg !10
  18
  19 bb1:                                              ; preds = %entry
  20   store i32 1, i32* @Stop, align 4, !dbg !11
  21   br label %bb2, !dbg !11
  22
  23 bb2:                                              ; preds = %bb1, %bb
  24   %i_addr.0 = phi i32 [ %1, %bb ], [ %i, %bb1 ]   ; <i32> [#uses=1]
  25   br label %return, !dbg !12
  26
  27 return:                                           ; preds = %bb2
  28   ret i32 %i_addr.0, !dbg !12
  29 }
  30
  31 declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone
  32
  33 define i32 @bar() nounwind ssp {
  34 entry:
  35   %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
  36   %0 = load i32* @Stop, align 4, !dbg !13         ; <i32> [#uses=1]
  37   %1 = icmp eq i32 %0, 1, !dbg !13                ; <i1> [#uses=1]
  38   br i1 %1, label %bb, label %bb1, !dbg !13
  39
  40 bb:                                               ; preds = %entry
  41   br label %bb2, !dbg !18
  42
  43 bb1:                                              ; preds = %entry
  44   br label %bb2, !dbg !19
  45
  46 bb2:                                              ; preds = %bb1, %bb
  47   %.0 = phi i32 [ 0, %bb ], [ 1, %bb1 ]           ; <i32> [#uses=1]
  48   br label %return, !dbg !19
  49
  50 return:                                           ; preds = %bb2
  51   ret i32 %.0, !dbg !19
  52 }
  53
  54 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone
  55
  56 !llvm.dbg.gv = !{!0}
  57
  58 !0 = metadata !{i32 458804, i32 0, metadata !1, metadata !"Stop", metadata !"Stop", metadata !"", metadata !1, i32 2, metadata !2, i1 true, i1 true, i32* @Stop} ; [ DW_TAG_variable ]
  59 !1 = metadata !{i32 458769, metadata !20, i32 1, metadata !"4.2.1 (Based on Apple Inc. build 5658) (LLVM build)", i1 true, metadata !"", i32 0, metadata !21, metadata !21, null, null, null, metadata !""} ; [ DW_TAG_compile_unit ]
  60 !2 = metadata !{i32 458788, null, metadata !1, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ]
  61 !3 = metadata !{i32 459009, metadata !4, metadata !"i", metadata !1, i32 4, metadata !2} ; [ DW_TAG_arg_variable ]
  62 !4 = metadata !{i32 458798, i32 0, metadata !1, metadata !"foo", metadata !"foo", metadata !"foo", i32 4, metadata !5, i1 false, i1 true, i32 0, i32 0, null, i32 0, i32 0, null, null, null, null, i32 0} ; [ DW_TAG_subprogram ]
  63 !5 = metadata !{i32 458773, metadata !1, null, metadata !1, i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !6, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
  64 !6 = metadata !{metadata !2, metadata !2}
  65 !7 = metadata !{i32 5, i32 0, metadata !8, null}
  66 !8 = metadata !{i32 458763, metadata !20, metadata !4, i32 0, i32 0, i32 0} ; [ DW_TAG_lexical_block ]
  67 !9 = metadata !{i32 6, i32 0, metadata !8, null}
  68 !10 = metadata !{i32 7, i32 0, metadata !8, null}
  69 !11 = metadata !{i32 9, i32 0, metadata !8, null}
  70 !12 = metadata !{i32 11, i32 0, metadata !8, null}
  71 !13 = metadata !{i32 14, i32 0, metadata !14, null}
  72 !14 = metadata !{i32 458763, metadata !20, metadata !15, i32 0, i32 0, i32 0} ; [ DW_TAG_lexical_block ]
  73 !15 = metadata !{i32 458798, i32 0, metadata !1, metadata !"bar", metadata !"bar", metadata !"bar", i32 13, metadata !16, i1 false, i1 true, i32 0, i32 0, null, i32 0, i32 0, null, null, null, null, i32 0} ; [ DW_TAG_subprogram ]
  74 !16 = metadata !{i32 458773, metadata !1, null, metadata !1, i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !17, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
  75 !17 = metadata !{metadata !2}
  76 !18 = metadata !{i32 15, i32 0, metadata !14, null}
  77 !19 = metadata !{i32 16, i32 0, metadata !14, null}
  78 !20 = metadata !{metadata !"g.c", metadata !"/tmp"}
  79 !21 = metadata !{i32 0}