test/DebugInfo/X86/dbg-const.ll

   1 ; RUN: llc < %s - | FileCheck %s
   2 ;
   3 ; FIXME: A potentially more interesting test case would be:
   4 ; %call = @bar()
   5 ; dbg.value j=0
   6 ; %call2 = @bar()
   7 ; dbg.value j=%call
   8 ;
   9 ; We cannot current handle the above sequence because codegenprepare
  10 ; hoists the second dbg.value above %call2, which then appears to
  11 ; conflict with j=0. It does this because SelectionDAG cannot handle
  12 ; global debug values.
  13
  14 target triple = "x86_64-apple-darwin10.0.0"
  15
  16 ;CHECK:        ## DW_OP_consts
  17 ;CHECK-NEXT:  .byte     42
  18 define i32 @foobar() nounwind readonly noinline ssp {
  19 entry:
  20   tail call void @llvm.dbg.value(metadata !8, i64 0, metadata !6, metadata !{}), !dbg !9
  21   %call = tail call i32 @bar(), !dbg !11
  22   tail call void @llvm.dbg.value(metadata !{i32 %call}, i64 0, metadata !6, metadata !{}), !dbg !11
  23   %call2 = tail call i32 @bar(), !dbg !11
  24   %add = add nsw i32 %call2, %call, !dbg !12
  25   ret i32 %add, !dbg !10
  26 }
  27
  28 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone
  29 declare i32 @bar() nounwind readnone
  30
  31 !llvm.dbg.cu = !{!2}
  32 !llvm.module.flags = !{!17}
  33
  34 !0 = metadata !{i32 786478, metadata !15, metadata !1, metadata !"foobar", metadata !"foobar", metadata !"foobar", i32 12, metadata !3, i1 false, i1 true, i32 0, i32 0, null, i1 false, i1 true, i32 ()* @foobar, null, null, metadata !14, i32 0} ; [ DW_TAG_subprogram ]
  35 !1 = metadata !{i32 786473, metadata !15} ; [ DW_TAG_file_type ]
  36 !2 = metadata !{i32 786449, metadata !15, i32 12, metadata !"clang version 2.9 (trunk 114183)", i1 true, metadata !"", i32 0, metadata !16, metadata !16, metadata !13, null,  null, metadata !"", i32 1} ; [ DW_TAG_compile_unit ]
  37 !3 = metadata !{i32 786453, metadata !15, metadata !1, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !4, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
  38 !4 = metadata !{metadata !5}
  39 !5 = metadata !{i32 786468, metadata !15, metadata !1, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5}
  40 !6 = metadata !{i32 786688, metadata !7, metadata !"j", metadata !1, i32 15, metadata !5, i32 0, null}
  41 !7 = metadata !{i32 786443, metadata !15, metadata !0, i32 12, i32 52, i32 0} ; [ DW_TAG_lexical_block ]
  42 !8 = metadata !{i32 42}
  43 !9 = metadata !{i32 15, i32 12, metadata !7, null}
  44 !10 = metadata !{i32 23, i32 3, metadata !7, null}
  45 !11 = metadata !{i32 17, i32 3, metadata !7, null}
  46 !12 = metadata !{i32 18, i32 3, metadata !7, null}
  47 !13 = metadata !{metadata !0}
  48 !14 = metadata !{metadata !6}
  49 !15 = metadata !{metadata !"mu.c", metadata !"/private/tmp"}
  50 !16 = metadata !{i32 0}
  51 !17 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}