test/Transforms/DeadArgElim/2010-04-30-DbgInfo.ll

   1 ; RUN: opt -S -deadargelim < %s | FileCheck %s
   2
   3 @.str = private constant [1 x i8] zeroinitializer, align 1 ; <[1 x i8]*> [#uses=1]
   4
   5 define i8* @vfs_addname(i8* %name, i32 %len, i32 %hash, i32 %flags) nounwind ssp {
   6 entry:
   7   call void @llvm.dbg.value(metadata !{i8* %name}, i64 0, metadata !0, metadata !{})
   8   call void @llvm.dbg.value(metadata !{i32 %len}, i64 0, metadata !10, metadata !{})
   9   call void @llvm.dbg.value(metadata !{i32 %hash}, i64 0, metadata !11, metadata !{})
  10   call void @llvm.dbg.value(metadata !{i32 %flags}, i64 0, metadata !12, metadata !{})
  11 ; CHECK:  call fastcc i8* @add_name_internal(i8* %name, i32 %hash) [[NUW:#[0-9]+]], !dbg !{{[0-9]+}}
  12   %0 = call fastcc i8* @add_name_internal(i8* %name, i32 %len, i32 %hash, i8 zeroext 0, i32 %flags) nounwind, !dbg !13 ; <i8*> [#uses=1]
  13   ret i8* %0, !dbg !13
  14 }
  15
  16 declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone
  17
  18 define internal fastcc i8* @add_name_internal(i8* %name, i32 %len, i32 %hash, i8 zeroext %extra, i32 %flags) noinline nounwind ssp {
  19 entry:
  20   call void @llvm.dbg.value(metadata !{i8* %name}, i64 0, metadata !15, metadata !{})
  21   call void @llvm.dbg.value(metadata !{i32 %len}, i64 0, metadata !20, metadata !{})
  22   call void @llvm.dbg.value(metadata !{i32 %hash}, i64 0, metadata !21, metadata !{})
  23   call void @llvm.dbg.value(metadata !{i8 %extra}, i64 0, metadata !22, metadata !{})
  24   call void @llvm.dbg.value(metadata !{i32 %flags}, i64 0, metadata !23, metadata !{})
  25   %0 = icmp eq i32 %hash, 0, !dbg !24             ; <i1> [#uses=1]
  26   br i1 %0, label %bb, label %bb1, !dbg !24
  27
  28 bb:                                               ; preds = %entry
  29   br label %bb2, !dbg !26
  30
  31 bb1:                                              ; preds = %entry
  32   br label %bb2, !dbg !27
  33
  34 bb2:                                              ; preds = %bb1, %bb
  35   %.0 = phi i8* [ getelementptr inbounds ([1 x i8]* @.str, i64 0, i64 0), %bb ], [ %name, %bb1 ] ; <i8*> [#uses=1]
  36   ret i8* %.0, !dbg !27
  37 }
  38
  39 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) nounwind readnone
  40
  41 ; CHECK: attributes #0 = { nounwind ssp }
  42 ; CHECK: attributes #1 = { nounwind readnone }
  43 ; CHECK: attributes #2 = { noinline nounwind ssp }
  44 ; CHECK: attributes [[NUW]] = { nounwind }
  45
  46 !llvm.dbg.cu = !{!3}
  47 !llvm.module.flags = !{!30}
  48 !0 = metadata !{i32 524545, metadata !1, metadata !"name", metadata !2, i32 8, metadata !6} ; [ DW_TAG_arg_variable ]
  49 !1 = metadata !{i32 524334, metadata !28, metadata !2, metadata !"vfs_addname", metadata !"vfs_addname", metadata !"vfs_addname", i32 12, metadata !4, i1 false, i1 true, i32 0, i32 0, null, i1 false, i32 0, null, null, null, null, i32 0} ; [ DW_TAG_subprogram ]
  50 !2 = metadata !{i32 524329, metadata !28} ; [ DW_TAG_file_type ]
  51 !3 = metadata !{i32 524305, metadata !28, i32 1, metadata !"4.2.1 (Based on Apple Inc. build 5658) (LLVM build 9999)", i1 true, metadata !"", i32 0, metadata !29, metadata !29, null, null, null, metadata !""} ; [ DW_TAG_compile_unit ]
  52 !4 = metadata !{i32 524309, metadata !28, metadata !2, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !5, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
  53 !5 = metadata !{metadata !6, metadata !6, metadata !9, metadata !9, metadata !9}
  54 !6 = metadata !{i32 524303, metadata !28, metadata !2, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 0, metadata !7} ; [ DW_TAG_pointer_type ]
  55 !7 = metadata !{i32 524326, metadata !28, metadata !2, metadata !"", i32 0, i64 8, i64 8, i64 0, i32 0, metadata !8} ; [ DW_TAG_const_type ]
  56 !8 = metadata !{i32 524324, metadata !28, metadata !2, metadata !"char", i32 0, i64 8, i64 8, i64 0, i32 0, i32 6} ; [ DW_TAG_base_type ]
  57 !9 = metadata !{i32 524324, metadata !28, metadata !2, metadata !"unsigned int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 7} ; [ DW_TAG_base_type ]
  58 !10 = metadata !{i32 524545, metadata !1, metadata !"len", metadata !2, i32 9, metadata !9} ; [ DW_TAG_arg_variable ]
  59 !11 = metadata !{i32 524545, metadata !1, metadata !"hash", metadata !2, i32 10, metadata !9} ; [ DW_TAG_arg_variable ]
  60 !12 = metadata !{i32 524545, metadata !1, metadata !"flags", metadata !2, i32 11, metadata !9} ; [ DW_TAG_arg_variable ]
  61 !13 = metadata !{i32 13, i32 0, metadata !14, null}
  62 !14 = metadata !{i32 524299, metadata !28, metadata !1, i32 12, i32 0, i32 0} ; [ DW_TAG_lexical_block ]
  63 !15 = metadata !{i32 524545, metadata !16, metadata !"name", metadata !2, i32 17, metadata !6} ; [ DW_TAG_arg_variable ]
  64 !16 = metadata !{i32 524334, metadata !28, metadata !2, metadata !"add_name_internal", metadata !"add_name_internal", metadata !"add_name_internal", i32 22, metadata !17, i1 true, i1 true, i32 0, i32 0, null, i1 false, i32 0, null, null, null, null, i32 0} ; [ DW_TAG_subprogram ]
  65 !17 = metadata !{i32 524309, metadata !28, metadata !2, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !18, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ]
  66 !18 = metadata !{metadata !6, metadata !6, metadata !9, metadata !9, metadata !19, metadata !9}
  67 !19 = metadata !{i32 524324, metadata !28, metadata !2, metadata !"unsigned char", i32 0, i64 8, i64 8, i64 0, i32 0, i32 8} ; [ DW_TAG_base_type ]
  68 !20 = metadata !{i32 524545, metadata !16, metadata !"len", metadata !2, i32 18, metadata !9} ; [ DW_TAG_arg_variable ]
  69 !21 = metadata !{i32 524545, metadata !16, metadata !"hash", metadata !2, i32 19, metadata !9} ; [ DW_TAG_arg_variable ]
  70 !22 = metadata !{i32 524545, metadata !16, metadata !"extra", metadata !2, i32 20, metadata !19} ; [ DW_TAG_arg_variable ]
  71 !23 = metadata !{i32 524545, metadata !16, metadata !"flags", metadata !2, i32 21, metadata !9} ; [ DW_TAG_arg_variable ]
  72 !24 = metadata !{i32 23, i32 0, metadata !25, null}
  73 !25 = metadata !{i32 524299, metadata !28, metadata !16, i32 22, i32 0, i32 0} ; [ DW_TAG_lexical_block ]
  74 !26 = metadata !{i32 24, i32 0, metadata !25, null}
  75 !27 = metadata !{i32 26, i32 0, metadata !25, null}
  76 !28 = metadata !{metadata !"tail.c", metadata !"/Users/echeng/LLVM/radars/r7927803/"}
  77 !29 = metadata !{i32 0}
  78 !30 = metadata !{i32 1, metadata !"Debug Info Version", i32 1}