test/DebugInfo/printdbginfo2.ll

   1 ; RUN: opt < %s -print-dbginfo -disable-output | FileCheck %s
   2 ;  grep {%b is variable b of type x declared at x.c:7} %t1
   3 ;  grep {%2 is variable b of type x declared at x.c:7} %t1
   4 ;  grep {@c.1442 is variable c of type int declared at x.c:4} %t1
   5
   6 %struct.foo = type { i32 }
   7
   8 @main.c = internal global i32 5                   ; <i32*> [#uses=1]
   9
  10 define i32 @main() nounwind {
  11 entry:
  12 ; CHECK:; (x.c:6:3)
  13   %retval = alloca i32                            ; <i32*> [#uses=3]
  14   %b = alloca %struct.foo, align 4                ; <%struct.foo*> [#uses=2]
  15 ; CHECK:; %b is variable b of type foo declared at x.c:7
  16   %a = alloca [4 x i32], align 4                  ; <[4 x i32]*> [#uses=1]
  17 ; CHECK:; %a is variable a of type  declared at x.c:8
  18   call void @llvm.dbg.func.start(metadata !3)
  19 ; CHECK:; fully qualified function name: main return type: int at line 5
  20   store i32 0, i32* %retval
  21   call void @llvm.dbg.stoppoint(i32 6, i32 3, metadata !1)
  22 ; CHECK:; x.c:7:3
  23   call void @llvm.dbg.stoppoint(i32 7, i32 3, metadata !1)
  24   %0 = bitcast %struct.foo* %b to { }*            ; <{ }*> [#uses=1]
  25   call void @llvm.dbg.declare({ }* %0, metadata !4)
  26 ; CHECK:; %0 is variable b of type foo declared at x.c:7
  27   call void @llvm.dbg.stoppoint(i32 8, i32 3, metadata !1)
  28 ; CHECK:; x.c:8:3
  29   %1 = bitcast [4 x i32]* %a to { }*              ; <{ }*> [#uses=1]
  30   call void @llvm.dbg.declare({ }* %1, metadata !8)
  31 ; CHECK:; %1 is variable a of type  declared at x.c:8
  32   call void @llvm.dbg.stoppoint(i32 9, i32 3, metadata !1)
  33 ; CHECK:; x.c:9:3
  34   %tmp = getelementptr inbounds %struct.foo* %b, i32 0, i32 0 ; <i32*> [#uses=1]
  35 ; CHECK:; %tmp is variable b of type foo declared at x.c:7
  36   store i32 5, i32* %tmp
  37 ; CHECK:; x.c:10:3
  38   call void @llvm.dbg.stoppoint(i32 10, i32 3, metadata !1)
  39   %tmp1 = load i32* @main.c                       ; <i32> [#uses=1]
  40 ; CHECK:; @main.c is variable c of type int declared at x.c:6
  41   store i32 %tmp1, i32* %retval
  42   br label %2
  43
  44 ; <label>:2                                       ; preds = %entry
  45   call void @llvm.dbg.stoppoint(i32 11, i32 1, metadata !1)
  46 ; CHECK:; (x.c:11:1)
  47   call void @llvm.dbg.region.end(metadata !3)
  48   %3 = load i32* %retval                          ; <i32> [#uses=1]
  49   ret i32 %3
  50 }
  51
  52 declare void @llvm.dbg.func.start(metadata) nounwind readnone
  53
  54 declare void @llvm.dbg.stoppoint(i32, i32, metadata) nounwind readnone
  55
  56 declare void @llvm.dbg.declare({ }*, metadata) nounwind readnone
  57
  58 declare void @llvm.dbg.region.end(metadata) nounwind readnone
  59
  60 !llvm.dbg.gv = !{!0}
  61
  62 !0 = metadata !{i32 458804, i32 0, metadata !1, metadata !"c", metadata !"c", metadata !"", metadata !1, i32 6, metadata !2, i1 true, i1 true, i32* @main.c}
  63 !1 = metadata !{i32 458769, i32 0, i32 12, metadata !"x.c", metadata !"/home/edwin/llvm-git/llvm/test/DebugInfo", metadata !"clang 1.0", i1 true, i1 false, metadata !"", i32 0}
  64 !2 = metadata !{i32 458788, metadata !1, metadata !"int", metadata !1, i32 0, i64 32, i64 32, i64 0, i32 0, i32 5}
  65 !3 = metadata !{i32 458798, i32 0, metadata !1, metadata !"main", metadata !"main", metadata !"main", metadata !1, i32 5, metadata !2, i1 false, i1 true}
  66 !4 = metadata !{i32 459008, metadata !3, metadata !"b", metadata !1, i32 7, metadata !5}
  67 !5 = metadata !{i32 458771, metadata !1, metadata !"foo", metadata !1, i32 1, i64 32, i64 32, i64 0, i32 0, null, metadata !6, i32 0}
  68 !6 = metadata !{metadata !7}
  69 !7 = metadata !{i32 458765, metadata !1, metadata !"a", metadata !1, i32 2, i64 32, i64 32, i64 0, i32 0, metadata !2}
  70 !8 = metadata !{i32 459008, metadata !3, metadata !"a", metadata !1, i32 8, metadata !9}
  71 !9 = metadata !{i32 458753, metadata !1, metadata !"", null, i32 0, i64 128, i64 32, i64 0, i32 0, metadata !2, metadata !10, i32 0}
  72 !10 = metadata !{metadata !11}
  73 !11 = metadata !{i32 458785, i64 0, i64 3}